User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:46, 23 October 2012 (diff | hist) . . (+157) . . Release checklist
- 09:39, 23 October 2012 (diff | hist) . . (+173) . . Meeting Minutes - October 23, 2012 (current)
- 08:51, 23 October 2012 (diff | hist) . . (+958) . . Meeting Minutes - October 23, 2012 (→Status)
- 08:16, 23 October 2012 (diff | hist) . . (+1,886) . . N Meeting Minutes - October 23, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-23|11am|1pm}} =Status= =Discussion= =Action items= '''Code reviews:''' *Model generation (Clark) *Quantifiers (Dejan) *Preprocessing…")
- 06:01, 11 October 2012 (diff | hist) . . (+41) . . CVC4 Copyright
- 05:53, 11 October 2012 (diff | hist) . . (-34) . . CVC4 Copyright
- 05:38, 11 October 2012 (diff | hist) . . (+11,152) . . CVC4 Copyright
- 05:38, 11 October 2012 (diff | hist) . . (+1,776) . . N CVC4 Copyright (Created page with "The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of…")
- 05:35, 11 October 2012 (diff | hist) . . (+5) . . MediaWiki:Sidebar
- 05:34, 11 October 2012 (diff | hist) . . (-1) . . MediaWiki:Sidebar
- 05:34, 11 October 2012 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 05:32, 11 October 2012 (diff | hist) . . (+19) . . MediaWiki:Sidebar
- 15:28, 9 October 2012 (diff | hist) . . (+135) . . Meeting Minutes - October 16, 2012 (→Action items) (current)
- 13:53, 9 October 2012 (diff | hist) . . (+147) . . SMT-LIB Compliance
- 13:17, 9 October 2012 (diff | hist) . . (-2) . . SMT-LIB Compliance
- 13:16, 9 October 2012 (diff | hist) . . (+8) . . SMT-LIB Compliance
- 13:14, 9 October 2012 (diff | hist) . . (+47) . . SMT-LIB Compliance
- 13:13, 9 October 2012 (diff | hist) . . (-4) . . MediaWiki:Sidebar
- 13:13, 9 October 2012 (diff | hist) . . (0) . . m SMT-LIB Compliance (moved SMT-LIBv2 Compliance to SMT-LIB Compliance)
- 13:13, 9 October 2012 (diff | hist) . . (+32) . . N SMT-LIBv2 Compliance (moved SMT-LIBv2 Compliance to SMT-LIB Compliance) (current)
- 13:12, 9 October 2012 (diff | hist) . . (+114) . . SMT-LIB Compliance
- 13:10, 9 October 2012 (diff | hist) . . (-651) . . SMT-LIB Compliance
- 12:58, 9 October 2012 (diff | hist) . . (+237) . . User Manual (→Getting statistics)
- 12:55, 9 October 2012 (diff | hist) . . (+330) . . User Manual (→Verbosity)
- 12:51, 9 October 2012 (diff | hist) . . (-138) . . User Manual (→Getting statistics)
- 12:43, 9 October 2012 (diff | hist) . . (+18) . . User Manual (→Exit status)
- 12:38, 9 October 2012 (diff | hist) . . (+300) . . User Manual (→Verbosity)
- 12:31, 9 October 2012 (diff | hist) . . (-101) . . User Manual (→Verbosity)
- 12:31, 9 October 2012 (diff | hist) . . (+542) . . User Manual (→Verbosity)
- 12:29, 9 October 2012 (diff | hist) . . (-1) . . User Manual (→Verbosity)
- 12:29, 9 October 2012 (diff | hist) . . (+425) . . User Manual (→Verbosity)
- 12:26, 9 October 2012 (diff | hist) . . (-13) . . User Manual (→Verbosity)
- 12:26, 9 October 2012 (diff | hist) . . (+330) . . User Manual (→Exit status)
- 12:24, 9 October 2012 (diff | hist) . . (+4) . . User Manual (→Exit status)
- 12:24, 9 October 2012 (diff | hist) . . (0) . . User Manual (→Exit status)
- 12:23, 9 October 2012 (diff | hist) . . (+171) . . User Manual (→Exit status)
- 12:22, 9 October 2012 (diff | hist) . . (+159) . . User Manual (→Exit status)
- 12:20, 9 October 2012 (diff | hist) . . (+358) . . User Manual (→Exit status)
- 12:16, 9 October 2012 (diff | hist) . . (+34) . . User Manual (→Exit status)
- 12:16, 9 October 2012 (diff | hist) . . (+38) . . User Manual (→Exit status)
- 12:16, 9 October 2012 (diff | hist) . . (+4) . . User Manual (→Exit status)
- 12:15, 9 October 2012 (diff | hist) . . (-25) . . User Manual (→Exit status)
- 12:14, 9 October 2012 (diff | hist) . . (+32) . . User Manual (→Exit status)
- 12:14, 9 October 2012 (diff | hist) . . (+2,803) . . User Manual (→CVC4's native input language)
- 09:57, 9 October 2012 (diff | hist) . . (+27) . . Meeting Minutes - October 9, 2012 (current)
- 09:57, 9 October 2012 (diff | hist) . . (+1,751) . . N Meeting Minutes - October 16, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-16|11am|1pm}} =Status= =Discussion= =Action items= '''Code reviews:''' *Model generation (Clark) *Quantifiers (Dejan) *Preprocessing…")
- 09:52, 9 October 2012 (diff | hist) . . (+51) . . Meeting Minutes - October 9, 2012 (→Action items)
- 09:52, 9 October 2012 (diff | hist) . . (+43) . . Meeting Minutes - October 9, 2012 (→Action items)
- 09:51, 9 October 2012 (diff | hist) . . (+282) . . Meeting Minutes - October 9, 2012 (→Action items)
- 09:25, 9 October 2012 (diff | hist) . . (+41) . . Meeting Minutes - October 9, 2012 (→Action items)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
