User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:48, 17 September 2012 (diff | hist) . . (+958) . . N Related Links (Created page with "Satisfiability Modulo Theories (SMT) * [http://www.smtlib.org/ SMT-LIB Initiative] * [http://www.smtcomp.org/ SMT-COMP Competition] * [http://www.smtexec.org/ SMT-EXEC Service] *…")
- 13:42, 17 September 2012 (diff | hist) . . (0) . . People (→Development Team)
- 13:42, 17 September 2012 (diff | hist) . . (-47) . . People
- 13:41, 17 September 2012 (diff | hist) . . (+5) . . People
- 13:41, 17 September 2012 (diff | hist) . . (+478) . . N People (Created page with "=Project Leaders= Clark Barrett, New York University Cesare Tinelli, University of Iowa =Development Team= Kshitij Bansal, New York University François Bobot, University of I…")
- 13:28, 17 September 2012 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 13:27, 17 September 2012 (diff | hist) . . (+74) . . Support
- 13:26, 17 September 2012 (diff | hist) . . (+443) . . N Support (Created page with "=Technical Support= Please send all bug reports to [mailto:cvc-bugs@cs.nyu.edu cvc-bugs@cs.nyu.edu]. If you have a question, a feature request, or would like to contribute in so…")
- 13:25, 17 September 2012 (diff | hist) . . (+7) . . MediaWiki:Sidebar
- 12:52, 17 September 2012 (diff | hist) . . (+141) . . MediaWiki:Sidebar
- 12:48, 17 September 2012 (diff | hist) . . (+72) . . CVC4
- 12:41, 17 September 2012 (diff | hist) . . (-645) . . CVC4
- 12:37, 17 September 2012 (diff | hist) . . (0) . . m CVC4 (moved CVC Portal to CVC4)
- 12:37, 17 September 2012 (diff | hist) . . (+18) . . N CVC Portal (moved CVC Portal to CVC4) (current)
- 12:35, 17 September 2012 (diff | hist) . . (+27) . . Meeting Minutes - September 18, 2012 (→Action items)
- 12:35, 17 September 2012 (diff | hist) . . (+18) . . Meeting Minutes - September 18, 2012 (→Discussion)
- 12:25, 17 September 2012 (diff | hist) . . (+27) . . Meeting Minutes - September 18, 2012
- 11:53, 17 September 2012 (diff | hist) . . (-6) . . m Public Interface Review
- 11:53, 17 September 2012 (diff | hist) . . (-59) . . Public Interface Review
- 11:52, 17 September 2012 (diff | hist) . . (+59) . . Public Interface Review
- 11:52, 17 September 2012 (diff | hist) . . (+135) . . Public Interface Review
- 11:51, 17 September 2012 (diff | hist) . . (+45) . . MediaWiki:Sidebar
- 11:50, 17 September 2012 (diff | hist) . . (0) . . MediaWiki:Sidebar
- 11:50, 17 September 2012 (diff | hist) . . (+29) . . MediaWiki:Sidebar
- 11:32, 17 September 2012 (diff | hist) . . (-1,596) . . Meeting Minutes - September 11, 2012 (current)
- 11:31, 17 September 2012 (diff | hist) . . (-174) . . Meeting Minutes - September 18, 2012 (→Action items)
- 11:29, 17 September 2012 (diff | hist) . . (+1,429) . . N Meeting Minutes - September 18, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-18|11am|1pm}} =Status= =Discussion= =Action items= '''From last time:''' *Merge model stuff into trunk (Andy) *After model merge, ad…")
- 11:18, 17 September 2012 (diff | hist) . . (0) . . Using SSL with Church (→Fingerprint)
- 11:17, 17 September 2012 (diff | hist) . . (0) . . File:Church-ssl-cert.pem (uploaded a new version of "File:Church-ssl-cert.pem") (current)
- 06:58, 14 September 2012 (diff | hist) . . (+71) . . MediaWiki:Sidebar
- 06:57, 14 September 2012 (diff | hist) . . (+58) . . MediaWiki:Sidebar
- 06:56, 14 September 2012 (diff | hist) . . (-273) . . MediaWiki:Sidebar
- 06:51, 14 September 2012 (diff | hist) . . (+27) . . N Tutorials (Created page with "Tutorial content for CVC4..")
- 08:26, 11 September 2012 (diff | hist) . . (+145) . . Meeting Minutes - September 11, 2012 (→Discussion)
- 07:38, 11 September 2012 (diff | hist) . . (+522) . . Meeting Minutes - September 11, 2012 (→Status)
- 07:16, 11 September 2012 (diff | hist) . . (-88) . . Meeting Minutes - September 11, 2012 (→Status)
- 07:14, 11 September 2012 (diff | hist) . . (+3,356) . . N Meeting Minutes - September 11, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-11|11am|1pm}} =Status= Morgan * bugfixing * CVC3 compatibility layer * public interface review Dejan * thesis Kshitij * working on p…")
- 11:49, 30 August 2012 (diff | hist) . . (-267) . . Meeting Minutes - September 6, 2012 (→Action items) (current)
- 11:48, 30 August 2012 (diff | hist) . . (+234) . . Meeting Minutes - August 30, 2012 (→Compatibility layer) (current)
- 11:47, 30 August 2012 (diff | hist) . . (-1,588) . . Meeting Minutes - August 30, 2012
- 11:47, 30 August 2012 (diff | hist) . . (+3,623) . . N Meeting Minutes - September 6, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-09-06|11am|1pm}} =Status= Morgan * bugfixing * CVC3 compatibility layer * public interface review Dejan * thesis Kshitij * working on p…")
- 07:50, 30 August 2012 (diff | hist) . . (+182) . . Meeting Minutes - August 30, 2012 (→Action items)
- 07:42, 30 August 2012 (diff | hist) . . (+37) . . Release checklist
- 07:39, 30 August 2012 (diff | hist) . . (+25) . . Meeting Minutes - August 30, 2012 (→Status)
- 07:33, 30 August 2012 (diff | hist) . . (+37) . . Meeting Minutes - August 30, 2012 (→Action items)
- 07:33, 30 August 2012 (diff | hist) . . (+302) . . Meeting Minutes - August 30, 2012 (→Status)
- 15:34, 29 August 2012 (diff | hist) . . (+287) . . Meeting Minutes - August 30, 2012 (→Recent slowdown tracked to r4246 kinds file)
- 14:40, 29 August 2012 (diff | hist) . . (+49) . . Meeting Minutes - August 30, 2012
- 17:04, 27 August 2012 (diff | hist) . . (+1) . . Meeting Minutes - August 30, 2012
- 11:19, 27 August 2012 (diff | hist) . . (+46) . . Meeting Minutes - August 30, 2012 (→Compatibility layer)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
