User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:08, 3 October 2012 (diff | hist) . . (+5) . . About CVC4
- 11:04, 3 October 2012 (diff | hist) . . (-8) . . User Manual
- 11:02, 3 October 2012 (diff | hist) . . (+5) . . About CVC4
- 11:01, 3 October 2012 (diff | hist) . . (0) . . N File:Cvc3 night logo.png (current)
- 11:00, 3 October 2012 (diff | hist) . . (0) . . N File:Cvc3 logo.jpg (current)
- 11:00, 3 October 2012 (diff | hist) . . (0) . . N File:Svc.gif (current)
- 11:00, 3 October 2012 (diff | hist) . . (+225) . . About CVC4
- 10:52, 3 October 2012 (diff | hist) . . (-99) . . About CVC4
- 10:49, 3 October 2012 (diff | hist) . . (+3) . . MediaWiki:Sidebar
- 10:47, 3 October 2012 (diff | hist) . . (-1) . . MediaWiki:Sidebar
- 10:47, 3 October 2012 (diff | hist) . . (+13) . . MediaWiki:Sidebar
- 10:46, 3 October 2012 (diff | hist) . . (0) . . m About CVC4 (moved History to The History of CVC4)
- 10:46, 3 October 2012 (diff | hist) . . (+33) . . N History (moved History to The History of CVC4) (current)
- 10:46, 3 October 2012 (diff | hist) . . (+2,446) . . N About CVC4 (Created page with "The Cooperating Validity Checker series has a long history. The Stanford Validity Checker~(SVC)~\cite{svc} came first, incorporating theories and its own SAT solver. Its success…")
- 10:45, 3 October 2012 (diff | hist) . . (-9) . . MediaWiki:Sidebar
- 10:44, 3 October 2012 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 10:44, 3 October 2012 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 10:44, 3 October 2012 (diff | hist) . . (+8) . . MediaWiki:Sidebar
- 10:43, 3 October 2012 (diff | hist) . . (0) . . m Talk:Tutorials (moved Talk:Tutorial to Talk:Tutorials) (current)
- 10:43, 3 October 2012 (diff | hist) . . (+28) . . N Talk:Tutorial (moved Talk:Tutorial to Talk:Tutorials) (current)
- 10:43, 3 October 2012 (diff | hist) . . (0) . . m Tutorials (moved Tutorial to Tutorials)
- 10:43, 3 October 2012 (diff | hist) . . (+23) . . N Tutorial (moved Tutorial to Tutorials) (current)
- 10:43, 3 October 2012 (diff | hist) . . (+21) . . MediaWiki:Sidebar
- 10:33, 3 October 2012 (diff | hist) . . (+204) . . User Manual
- 15:09, 2 October 2012 (diff | hist) . . (+89) . . User Manual (→Time and resource limits)
- 15:08, 2 October 2012 (diff | hist) . . (+2,633) . . User Manual
- 15:06, 2 October 2012 (diff | hist) . . (+134) . . User Manual (→CVC4's native input language)
- 15:06, 2 October 2012 (diff | hist) . . (+416) . . User Manual (→CVC4 support for the SMT-LIB language)
- 15:05, 2 October 2012 (diff | hist) . . (+1,759) . . User Manual (→Upgrading from CVC3 to CVC4)
- 15:01, 2 October 2012 (diff | hist) . . (+27) . . Meeting Minutes - October 9, 2012 (→Action items)
- 14:58, 2 October 2012 (diff | hist) . . (+27) . . Meeting Minutes - October 9, 2012 (→Action items)
- 14:57, 2 October 2012 (diff | hist) . . (+81) . . Meeting Minutes - October 9, 2012 (→Action items)
- 13:37, 2 October 2012 (diff | hist) . . (+397) . . Meeting Minutes - October 9, 2012 (→Action items)
- 13:37, 2 October 2012 (diff | hist) . . (+305) . . Meeting Minutes - October 2, 2012 (→Action items) (current)
- 13:33, 2 October 2012 (diff | hist) . . (+35) . . Meeting Minutes - October 2, 2012 (→Action items)
- 13:33, 2 October 2012 (diff | hist) . . (+46) . . Meeting Minutes - October 2, 2012 (→Action items)
- 13:32, 2 October 2012 (diff | hist) . . (-72) . . Meeting Minutes - October 9, 2012 (→Action items)
- 13:32, 2 October 2012 (diff | hist) . . (+2,211) . . N Meeting Minutes - October 9, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-09|11am|1pm}} =Status= [http://church.cims.nyu.edu/bugzilla3/buglist.cgi?query_format=advanced&bug_status=UNCONFIRMED&bug_status=NEW&b…")
- 13:30, 2 October 2012 (diff | hist) . . (+48) . . Meeting Minutes - October 2, 2012 (→Action items)
- 09:55, 2 October 2012 (diff | hist) . . (+84) . . Tutorials
- 09:54, 2 October 2012 (diff | hist) . . (+261) . . N Talk:Tutorials (Created page with "UF (Dejan) Simple example for quantifiers (Andy) Arithmetic (Tim) Arrays (Clark) Bitvectors (Liana) Datatypes (Andy) All of the above need documentation for: * CVC language…")
- 09:49, 2 October 2012 (diff | hist) . . (+65) . . Talk:User Manual
- 09:44, 2 October 2012 (diff | hist) . . (-24) . . User Manual (→The CVC4 library ("in-memory") interface)
- 09:40, 2 October 2012 (diff | hist) . . (+78) . . Meeting Minutes - October 2, 2012 (→Action items)
- 09:34, 2 October 2012 (diff | hist) . . (+110) . . Talk:User Manual
- 09:32, 2 October 2012 (diff | hist) . . (+110) . . N Talk:User Manual (Created page with "Cesare does #2 - presentation language interface SMT-LIBv2 link to the docs/tutorials * notes on compliance ?")
- 09:29, 2 October 2012 (diff | hist) . . (+15) . . Meeting Minutes - October 2, 2012 (→Documentation assignments)
- 09:28, 2 October 2012 (diff | hist) . . (+63) . . Meeting Minutes - October 2, 2012 (→Action items)
- 09:25, 2 October 2012 (diff | hist) . . (+167) . . Meeting Minutes - October 2, 2012 (→Documentation assignments)
- 09:00, 2 October 2012 (diff | hist) . . (+55) . . Meeting Minutes - October 2, 2012 (→What to do about portfolio "silent-failover" ?)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
