User contributions
From CVC4
- 14:56, 24 April 2018 (diff | hist) . . (+22) . . m Sets
- 14:55, 24 April 2018 (diff | hist) . . (+14) . . m About CVC4
- 15:27, 20 September 2017 (diff | hist) . . (+4) . . m CVC4's native language Draft (→Document Organization)
- 10:04, 10 August 2017 (diff | hist) . . (-1) . . m CVC4's native language Draft (→Type System)
- 13:39, 8 June 2017 (diff | hist) . . (-4) . . m User Manual Draft (→Getting CVC4) (current)
- 13:36, 8 June 2017 (diff | hist) . . (+16,328) . . m User Manual Draft (→Test)
- 13:35, 8 June 2017 (diff | hist) . . (+15) . . Nm User Manual Draft (Created page with "==Test== Test")
- 13:44, 7 June 2017 (diff | hist) . . (-40) . . m User Registration (current)
- 11:06, 1 November 2015 (diff | hist) . . (+1) . . m CVC4's native language (→Global symbol definitions)
- 10:55, 1 November 2015 (diff | hist) . . (0) . . m CVC4's native language (→Terms and Formulas)
- 16:26, 9 June 2015 (diff | hist) . . (+1) . . m Strings (→Extension)
- 16:26, 9 June 2015 (diff | hist) . . (+14) . . m Strings (→Limitation)
- 15:02, 9 June 2015 (diff | hist) . . (-1) . . m Strings (→Escape Sequences for String Literals)
- 15:00, 9 June 2015 (diff | hist) . . (+1) . . m Strings (→Escape Sequences for Regular Expressions)
- 14:59, 9 June 2015 (diff | hist) . . (+75) . . m Strings (→Theory Signature)
- 14:49, 9 June 2015 (diff | hist) . . (-5) . . m Strings
- 14:42, 9 June 2015 (diff | hist) . . (+328) . . Strings (Revised section on string constants to be consistent with SMT-LIB 2.5, CVC4 front end might need to be revised accordingly)
- 14:07, 9 June 2015 (diff | hist) . . (+1,071) . . Strings (Started polishing text)
- 13:05, 9 June 2015 (diff | hist) . . (+131) . . m Strings
- 23:25, 19 February 2013 (diff | hist) . . (0) . . m RewriteRulesTheory (→Syntax)
- 23:19, 19 February 2013 (diff | hist) . . (+8) . . m RewriteRulesTheory (→Prologue)
- 23:17, 19 February 2013 (diff | hist) . . (0) . . m RewriteRulesTheory (→Prologue)
- 22:54, 12 February 2013 (diff | hist) . . (+1) . . m CVC4's native language (→Tuple Types)
- 22:52, 12 February 2013 (diff | hist) . . (+1) . . m CVC4's native language (→The BOOLEAN Type)
- 17:30, 12 February 2013 (diff | hist) . . (+40) . . m RewriteRulesTheory (→Prologue)
- 17:25, 12 February 2013 (diff | hist) . . (0) . . m RewriteRulesTheory (→Syntax)
- 17:24, 12 February 2013 (diff | hist) . . (-356) . . m RewriteRulesTheory (→Syntax)
- 17:22, 12 February 2013 (diff | hist) . . (+1,057) . . m RewriteRulesTheory (→Syntax)
- 17:03, 12 February 2013 (diff | hist) . . (+30) . . m RewriteRulesTheory (→Syntax)
- 16:55, 12 February 2013 (diff | hist) . . (+342) . . m RewriteRulesTheory (→Syntax)
- 16:43, 12 February 2013 (diff | hist) . . (+74) . . m RewriteRulesTheory (→Prologue)
- 16:39, 12 February 2013 (diff | hist) . . (+181) . . m RewriteRulesTheory (→Principe)
- 15:28, 3 December 2012 (diff | hist) . . (+16) . . m CVC4's native language (→Commands)
- 15:27, 3 December 2012 (diff | hist) . . (+29) . . m CVC4's native language (→Commands)
- 14:42, 3 December 2012 (diff | hist) . . (+815) . . m CVC4's native language (→POPTO)
- 14:21, 3 December 2012 (diff | hist) . . (+4) . . m CVC4's native language (→The BOOLEAN Type)
- 14:21, 3 December 2012 (diff | hist) . . (+8) . . m CVC4's native language (→The BOOLEAN Type)
- 14:20, 3 December 2012 (diff | hist) . . (+2) . . m CVC4's native language (→The BOOLEAN Type)
- 14:19, 3 December 2012 (diff | hist) . . (+378) . . m CVC4's native language (Added example)
- 16:19, 30 November 2012 (diff | hist) . . (-18) . . m CVC4's native language (→Local symbol definitions)
- 16:15, 30 November 2012 (diff | hist) . . (-15) . . m CVC4's native language (→Parametric Data Types)
- 16:14, 30 November 2012 (diff | hist) . . (+32) . . m CVC4's native language
- 16:13, 30 November 2012 (diff | hist) . . (-38) . . m User Manual (→CVC4's input languages)
- 22:42, 25 November 2012 (diff | hist) . . (-236) . . Related Links (Replaced individual links to SMT workshops with link to the workshop's website.) (current)
- 21:38, 25 November 2012 (diff | hist) . . (+22) . . m User Manual (→Parametric Data Types)
- 21:31, 25 November 2012 (diff | hist) . . (-4) . . m User Manual (→Arithmetic)
- 21:30, 25 November 2012 (diff | hist) . . (+7) . . m User Manual (→Arithmetic)
- 21:30, 25 November 2012 (diff | hist) . . (+3) . . m User Manual (→Arithmetic)
- 21:29, 25 November 2012 (diff | hist) . . (-15) . . m User Manual (→Arithmetic)
- 21:29, 25 November 2012 (diff | hist) . . (+198) . . m User Manual (→Arithmetic)
- 21:17, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→POPTO)
- 21:17, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→COUNTEREXAMPLE)
- 21:17, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→COUNTERMODEL)
- 21:17, 25 November 2012 (diff | hist) . . (+148) . . m User Manual (→Commands)
- 21:08, 25 November 2012 (diff | hist) . . (+3,320) . . User Manual (Added content.)
- 20:59, 25 November 2012 (diff | hist) . . (+674) . . m User Manual (→Commands)
- 20:47, 25 November 2012 (diff | hist) . . (+16) . . m User Manual (→Commands)
- 20:46, 25 November 2012 (diff | hist) . . (+18) . . m User Manual (→Commands)
- 20:42, 25 November 2012 (diff | hist) . . (+1) . . m User Manual (→QUERY)
- 20:42, 25 November 2012 (diff | hist) . . (+1) . . m User Manual (→Data types)
- 20:41, 25 November 2012 (diff | hist) . . (+1) . . m User Manual (→Logical Symbols)
- 20:37, 25 November 2012 (diff | hist) . . (+108) . . User Manual (Added content.)
- 20:35, 25 November 2012 (diff | hist) . . (-43) . . m User Manual (→QUERY)
- 20:32, 25 November 2012 (diff | hist) . . (+46) . . m User Manual (→QUERY)
- 20:27, 25 November 2012 (diff | hist) . . (-1) . . m User Manual (→QUERY)
- 20:25, 25 November 2012 (diff | hist) . . (+42) . . m User Manual (→QUERY)
- 20:24, 25 November 2012 (diff | hist) . . (+161) . . m User Manual (→QUERY)
- 20:18, 25 November 2012 (diff | hist) . . (-10) . . m User Manual (→QUERY)
- 20:13, 25 November 2012 (diff | hist) . . (+124) . . m User Manual (→QUERY)
- 20:09, 25 November 2012 (diff | hist) . . (+4) . . m User Manual (→QUERY)
- 20:08, 25 November 2012 (diff | hist) . . (+19) . . m User Manual (→QUERY)
- 20:07, 25 November 2012 (diff | hist) . . (+2,659) . . m User Manual (Added content.)
- 18:20, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→Commands)
- 18:17, 25 November 2012 (diff | hist) . . (0) . . m User Manual (→Commands)
- 18:17, 25 November 2012 (diff | hist) . . (+19) . . m User Manual (→Commands)
- 18:14, 25 November 2012 (diff | hist) . . (+1) . . m User Manual (→Commands)
- 18:14, 25 November 2012 (diff | hist) . . (+83) . . m User Manual (→Commands)
- 18:12, 25 November 2012 (diff | hist) . . (-85) . . m User Manual (→Commands)
- 18:09, 25 November 2012 (diff | hist) . . (0) . . m User Manual (→Commands)
- 18:08, 25 November 2012 (diff | hist) . . (+10) . . m User Manual (→Subtypes)
- 18:05, 25 November 2012 (diff | hist) . . (-1) . . m User Manual (→Arrays)
- 18:05, 25 November 2012 (diff | hist) . . (+10) . . m User Manual (→Arrays)
- 18:03, 25 November 2012 (diff | hist) . . (+223) . . m User Manual (→Arithmetic)
- 17:56, 25 November 2012 (diff | hist) . . (-1) . . m User Manual (→User-defined Functions and Types)
- 17:55, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→Logical Symbols)
- 17:53, 25 November 2012 (diff | hist) . . (+15) . . m User Manual (→Predefined symbols)
- 17:51, 25 November 2012 (diff | hist) . . (+154) . . m User Manual (→Terms and Formulas)
- 17:45, 25 November 2012 (diff | hist) . . (+205) . . m User Manual (→Local symbol definitions)
- 17:39, 25 November 2012 (diff | hist) . . (+45) . . m User Manual (→Local symbol definitions)
- 17:21, 25 November 2012 (diff | hist) . . (+69) . . m User Manual (→Terms and Formulas)
- 17:13, 25 November 2012 (diff | hist) . . (+2) . . m User Manual (→Type Ascription)
- 17:13, 25 November 2012 (diff | hist) . . (+10) . . m User Manual (→Type Checking)
- 17:10, 25 November 2012 (diff | hist) . . (+102) . . m User Manual (→Type Checking)
- 17:05, 25 November 2012 (diff | hist) . . (+1,055) . . m User Manual (→Type Checking)
- 16:31, 25 November 2012 (diff | hist) . . (-10) . . m User Manual (→Non-Parametric Data Types)
- 14:51, 25 November 2012 (diff | hist) . . (-24) . . m User Manual (→Inductive Data Types)
- 14:49, 25 November 2012 (diff | hist) . . (+29) . . m User Manual (→Record Types)
- 14:46, 25 November 2012 (diff | hist) . . (+66) . . m User Manual (→User-defined Basic Types)
- 14:43, 25 November 2012 (diff | hist) . . (+39) . . m User Manual (→Array Types)
- 14:36, 25 November 2012 (diff | hist) . . (+191) . . m User Manual (→The INT Type)
- 14:29, 25 November 2012 (diff | hist) . . (+8) . . m User Manual (→The BOOLEAN Type)
- 14:28, 25 November 2012 (diff | hist) . . (-1) . . m User Manual (→Type System)
- 14:28, 25 November 2012 (diff | hist) . . (+121) . . m User Manual (→Type System)
- 14:16, 25 November 2012 (diff | hist) . . (+4) . . m User Manual (→Non-Parametric Data Types)
- 22:15, 10 November 2012 (diff | hist) . . (+183) . . m User Manual (→Commands)
- 22:06, 10 November 2012 (diff | hist) . . (+67) . . m User Manual (→Commands)
- 21:59, 10 November 2012 (diff | hist) . . (+327) . . m User Manual (→Commands)
- 21:51, 10 November 2012 (diff | hist) . . (+226) . . m User Manual (→Commands)
- 21:42, 10 November 2012 (diff | hist) . . (+2,059) . . m User Manual (Added content.)
- 21:38, 10 November 2012 (diff | hist) . . (+24) . . m User Manual (→Tuples and Records)
- 21:32, 10 November 2012 (diff | hist) . . (+11) . . m User Manual (→Tuples and Records)
- 21:21, 10 November 2012 (diff | hist) . . (+3) . . m User Manual (→Tuples and Records)
- 21:18, 10 November 2012 (diff | hist) . . (+3,311) . . User Manual (Added content.)
- 21:05, 10 November 2012 (diff | hist) . . (+28) . . m User Manual (→Data types)
- 21:03, 10 November 2012 (diff | hist) . . (+2) . . m User Manual (→Data types)
- 21:01, 10 November 2012 (diff | hist) . . (+455) . . User Manual (Added content.)
- 20:59, 10 November 2012 (diff | hist) . . (+2) . . m User Manual (→Type Checking)
- 17:16, 9 November 2012 (diff | hist) . . (-6) . . m Related Links (Changed Iowa link to CLC site)
- 17:10, 9 November 2012 (diff | hist) . . (+4) . . m People (→Development Team)
- 17:10, 9 November 2012 (diff | hist) . . (+4) . . m People (→Project Leaders)
- 17:09, 9 November 2012 (diff | hist) . . (+10) . . m Support (Added that the list is also for users of CVC4)
- 21:35, 8 November 2012 (diff | hist) . . (+11) . . User Manual (→Parametric Data Types)
- 21:34, 8 November 2012 (diff | hist) . . (+13) . . m User Manual (→Parametric Data Types)
- 21:33, 8 November 2012 (diff | hist) . . (+330) . . m User Manual (→Parametric Data Types)
- 21:24, 8 November 2012 (diff | hist) . . (0) . . m User Manual (→Non-Parametric Data Types)
- 16:41, 4 November 2012 (diff | hist) . . (+1) . . m User Manual (→Arrays)
- 16:40, 4 November 2012 (diff | hist) . . (-136) . . m User Manual (→Arrays)
- 16:33, 4 November 2012 (diff | hist) . . (+14) . . m User Manual (→Arrays)
- 16:31, 4 November 2012 (diff | hist) . . (+1,469) . . User Manual (Added content.)
- 16:25, 4 November 2012 (diff | hist) . . (+611) . . m User Manual (→Arithmetic)
- 16:15, 4 November 2012 (diff | hist) . . (0) . . m User Manual (→Logical Symbols)
- 16:15, 4 November 2012 (diff | hist) . . (+492) . . m User Manual (→User-defined Functions and Types)
- 15:23, 4 November 2012 (diff | hist) . . (+1) . . m User Manual (→Logical Symbols)
- 15:22, 4 November 2012 (diff | hist) . . (+168) . . m User Manual (→Logical Symbols)
- 15:18, 4 November 2012 (diff | hist) . . (+74) . . m User Manual (→Logical Symbols)
- 15:13, 4 November 2012 (diff | hist) . . (+289) . . m User Manual (→Terms and Formulas)
- 15:08, 4 November 2012 (diff | hist) . . (+3,837) . . User Manual (Added content for terms section.)
- 14:56, 4 November 2012 (diff | hist) . . (+25) . . m User Manual (→Terms and Formulas)
- 13:59, 4 November 2012 (diff | hist) . . (+338) . . m User Manual (→Terms and Formulas)
- 13:50, 4 November 2012 (diff | hist) . . (+66) . . m User Manual (→Terms and Formulas)
- 13:28, 4 November 2012 (diff | hist) . . (+53) . . m User Manual (→Terms and Formulas)
- 12:01, 4 November 2012 (diff | hist) . . (+115) . . m User Manual (→Terms and Formulas)
- 11:58, 4 November 2012 (diff | hist) . . (-6) . . m User Manual (→Terms and Formulas)
- 11:50, 4 November 2012 (diff | hist) . . (-1) . . m User Manual (→Type Checking)
- 11:49, 4 November 2012 (diff | hist) . . (+5,342) . . User Manual (Added content.)
- 17:34, 29 October 2012 (diff | hist) . . (+152) . . User Manual (→Non-Parametric Data Types)
- 17:29, 29 October 2012 (diff | hist) . . (+302) . . User Manual (→Parametric Data Types)
- 17:17, 29 October 2012 (diff | hist) . . (+161) . . User Manual (→Inductive Data Types)
- 16:59, 29 October 2012 (diff | hist) . . (-45) . . m User Manual (→Non-Parametric Data Types)
- 16:46, 29 October 2012 (diff | hist) . . (+1,259) . . User Manual (Started adding presentation of parametric types.)
- 16:17, 29 October 2012 (diff | hist) . . (+140) . . m User Manual (→Array Types)
- 21:27, 25 October 2012 (diff | hist) . . (0) . . m User Manual (→Inductive Data Types)
- 21:26, 25 October 2012 (diff | hist) . . (+51) . . m User Manual (→Inductive Data Types)
- 21:23, 25 October 2012 (diff | hist) . . (+1,644) . . User Manual (Added content.)
- 20:51, 25 October 2012 (diff | hist) . . (-23) . . m User Manual (→CVC4's native input language)
- 20:47, 25 October 2012 (diff | hist) . . (-58) . . m User Manual (→Inductive Data Types)
- 20:45, 25 October 2012 (diff | hist) . . (+866) . . User Manual (Added content.)
- 20:38, 25 October 2012 (diff | hist) . . (+990) . . User Manual (Added content.)
- 20:27, 25 October 2012 (diff | hist) . . (+4) . . User Manual (Reshuffled subsections)
- 20:24, 25 October 2012 (diff | hist) . . (+4) . . m User Manual (→Function Types)
- 20:22, 25 October 2012 (diff | hist) . . (+1) . . m User Manual (→The INT Type)
- 20:22, 25 October 2012 (diff | hist) . . (+135) . . User Manual (Cosmetic changes)
- 20:14, 25 October 2012 (diff | hist) . . (+2) . . m User Manual (→The BOOLEAN Type)
- 20:13, 25 October 2012 (diff | hist) . . (+1) . . m User Manual (→CVC4's native input language)
- 20:55, 16 October 2012 (diff | hist) . . (+2) . . m User Manual (→Inductive Data Types)
- 20:42, 16 October 2012 (diff | hist) . . (-11) . . m User Manual (→Inductive Data Types)
- 20:41, 16 October 2012 (diff | hist) . . (+106) . . m User Manual (→Inductive Data Types)
- 20:32, 16 October 2012 (diff | hist) . . (+3,689) . . User Manual (Added content.)
- 20:14, 16 October 2012 (diff | hist) . . (-31) . . m User Manual (→CVC4's native input language)
- 16:01, 16 October 2012 (diff | hist) . . (+287) . . User Manual (Reclassified types into first-order and higher-order ones, instead of value and non-value types.)
- 15:00, 16 October 2012 (diff | hist) . . (-1) . . m User Manual (→Type System)
- 14:57, 16 October 2012 (diff | hist) . . (+761) . . User Manual (Added content.)
- 22:26, 15 October 2012 (diff | hist) . . (+1) . . m User Manual (→Function Types)
- 22:23, 15 October 2012 (diff | hist) . . (+1,126) . . User Manual (Added content.)
- 22:16, 15 October 2012 (diff | hist) . . (+745) . . User Manual (Added content.)
- 21:52, 15 October 2012 (diff | hist) . . (+2) . . m User Manual (→User-defined Basic Types)
- 21:49, 15 October 2012 (diff | hist) . . (+361) . . User Manual (Added content.)
- 18:02, 15 October 2012 (diff | hist) . . (+206) . . User Manual (Added content.)
- 17:56, 15 October 2012 (diff | hist) . . (+242) . . User Manual (Added content.)
- 17:51, 15 October 2012 (diff | hist) . . (+928) . . User Manual (Added intro.)
- 17:46, 15 October 2012 (diff | hist) . . (+22) . . m User Manual (→What is CVC4?)
- 17:45, 15 October 2012 (diff | hist) . . (+297) . . User Manual (Added note about current lack of proof certificates. Other minor changes.)
- 17:34, 15 October 2012 (diff | hist) . . (+882) . . User Manual (Section skeleton)
- 17:19, 15 October 2012 (diff | hist) . . (+45) . . m User Manual (→What is CVC4?)
- 17:14, 15 October 2012 (diff | hist) . . (+27) . . m User Manual (→What is CVC4?)
- 17:07, 15 October 2012 (diff | hist) . . (+46) . . m User Manual (→What is CVC4?)
- 16:45, 15 October 2012 (diff | hist) . . (-374) . . m User Manual (→What is CVC4?)
- 16:41, 15 October 2012 (diff | hist) . . (+2,629) . . User Manual (First draft of intro section)
- 16:16, 15 October 2012 (diff | hist) . . (+13) . . User Manual (→CVC4's native input language)