User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:50, 4 November 2012 (diff | hist) . . (+66) . . m User Manual (→Terms and Formulas)
- 12:28, 4 November 2012 (diff | hist) . . (+53) . . m User Manual (→Terms and Formulas)
- 11:01, 4 November 2012 (diff | hist) . . (+115) . . m User Manual (→Terms and Formulas)
- 10:58, 4 November 2012 (diff | hist) . . (-6) . . m User Manual (→Terms and Formulas)
- 10:50, 4 November 2012 (diff | hist) . . (-1) . . m User Manual (→Type Checking)
- 10:49, 4 November 2012 (diff | hist) . . (+5,342) . . User Manual (Added content.)
- 16:34, 29 October 2012 (diff | hist) . . (+152) . . User Manual (→Non-Parametric Data Types)
- 16:29, 29 October 2012 (diff | hist) . . (+302) . . User Manual (→Parametric Data Types)
- 16:17, 29 October 2012 (diff | hist) . . (+161) . . User Manual (→Inductive Data Types)
- 15:59, 29 October 2012 (diff | hist) . . (-45) . . m User Manual (→Non-Parametric Data Types)
- 15:46, 29 October 2012 (diff | hist) . . (+1,259) . . User Manual (Started adding presentation of parametric types.)
- 15:17, 29 October 2012 (diff | hist) . . (+140) . . m User Manual (→Array Types)
- 20:27, 25 October 2012 (diff | hist) . . (0) . . m User Manual (→Inductive Data Types)
- 20:26, 25 October 2012 (diff | hist) . . (+51) . . m User Manual (→Inductive Data Types)
- 20:23, 25 October 2012 (diff | hist) . . (+1,644) . . User Manual (Added content.)
- 19:51, 25 October 2012 (diff | hist) . . (-23) . . m User Manual (→CVC4's native input language)
- 19:47, 25 October 2012 (diff | hist) . . (-58) . . m User Manual (→Inductive Data Types)
- 19:45, 25 October 2012 (diff | hist) . . (+866) . . User Manual (Added content.)
- 19:38, 25 October 2012 (diff | hist) . . (+990) . . User Manual (Added content.)
- 19:27, 25 October 2012 (diff | hist) . . (+4) . . User Manual (Reshuffled subsections)
- 19:24, 25 October 2012 (diff | hist) . . (+4) . . m User Manual (→Function Types)
- 19:22, 25 October 2012 (diff | hist) . . (+1) . . m User Manual (→The INT Type)
- 19:22, 25 October 2012 (diff | hist) . . (+135) . . User Manual (Cosmetic changes)
- 19:14, 25 October 2012 (diff | hist) . . (+2) . . m User Manual (→The BOOLEAN Type)
- 19:13, 25 October 2012 (diff | hist) . . (+1) . . m User Manual (→CVC4's native input language)
- 19:55, 16 October 2012 (diff | hist) . . (+2) . . m User Manual (→Inductive Data Types)
- 19:42, 16 October 2012 (diff | hist) . . (-11) . . m User Manual (→Inductive Data Types)
- 19:41, 16 October 2012 (diff | hist) . . (+106) . . m User Manual (→Inductive Data Types)
- 19:32, 16 October 2012 (diff | hist) . . (+3,689) . . User Manual (Added content.)
- 19:14, 16 October 2012 (diff | hist) . . (-31) . . m User Manual (→CVC4's native input language)
- 15: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.)
- 14:00, 16 October 2012 (diff | hist) . . (-1) . . m User Manual (→Type System)
- 13:57, 16 October 2012 (diff | hist) . . (+761) . . User Manual (Added content.)
- 21:26, 15 October 2012 (diff | hist) . . (+1) . . m User Manual (→Function Types)
- 21:23, 15 October 2012 (diff | hist) . . (+1,126) . . User Manual (Added content.)
- 21:16, 15 October 2012 (diff | hist) . . (+745) . . User Manual (Added content.)
- 20:52, 15 October 2012 (diff | hist) . . (+2) . . m User Manual (→User-defined Basic Types)
- 20:49, 15 October 2012 (diff | hist) . . (+361) . . User Manual (Added content.)
- 17:02, 15 October 2012 (diff | hist) . . (+206) . . User Manual (Added content.)
- 16:56, 15 October 2012 (diff | hist) . . (+242) . . User Manual (Added content.)
- 16:51, 15 October 2012 (diff | hist) . . (+928) . . User Manual (Added intro.)
- 16:46, 15 October 2012 (diff | hist) . . (+22) . . m User Manual (→What is CVC4?)
- 16:45, 15 October 2012 (diff | hist) . . (+297) . . User Manual (Added note about current lack of proof certificates. Other minor changes.)
- 16:34, 15 October 2012 (diff | hist) . . (+882) . . User Manual (Section skeleton)
- 16:19, 15 October 2012 (diff | hist) . . (+45) . . m User Manual (→What is CVC4?)
- 16:14, 15 October 2012 (diff | hist) . . (+27) . . m User Manual (→What is CVC4?)
- 16:07, 15 October 2012 (diff | hist) . . (+46) . . m User Manual (→What is CVC4?)
- 15:45, 15 October 2012 (diff | hist) . . (-374) . . m User Manual (→What is CVC4?)
- 15:41, 15 October 2012 (diff | hist) . . (+2,629) . . User Manual (First draft of intro section)
- 15:16, 15 October 2012 (diff | hist) . . (+13) . . User Manual (→CVC4's native input language)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
