User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:23, 7 August 2012 (diff | hist) . . (+112) . . Public Interface Review
- 10:22, 7 August 2012 (diff | hist) . . (+17) . . Public Interface Review
- 16:02, 6 August 2012 (diff | hist) . . (+37) . . Public Interface Review
- 13:46, 4 August 2012 (diff | hist) . . (+27) . . Meeting Minutes - August 9, 2012 (→Action items)
- 13:29, 3 August 2012 (diff | hist) . . (+71) . . Meeting Minutes - August 9, 2012 (→Action items)
- 13:03, 2 August 2012 (diff | hist) . . (+10) . . Meeting Minutes - August 2, 2012 (current)
- 13:02, 2 August 2012 (diff | hist) . . (0) . . Meeting Minutes - August 9, 2012
- 13:01, 2 August 2012 (diff | hist) . . (+10) . . Meeting Minutes - August 9, 2012 (→Action items)
- 11:44, 2 August 2012 (diff | hist) . . (+628) . . Meeting Minutes - August 9, 2012
- 11:43, 2 August 2012 (diff | hist) . . (+114) . . Meeting Minutes - August 9, 2012
- 11:43, 2 August 2012 (diff | hist) . . (+65) . . Meeting Minutes - August 2, 2012 (→Action items)
- 10:19, 2 August 2012 (diff | hist) . . (+25) . . N Meeting Minutes - August 9, 2012 (Created page with " ==StatsRegistry issues==")
- 10:16, 2 August 2012 (diff | hist) . . (+1,423) . . Meeting Minutes - August 2, 2012
- 10:06, 2 August 2012 (diff | hist) . . (-17) . . Release checklist
- 09:17, 2 August 2012 (diff | hist) . . (+1,074) . . Meeting Minutes - August 2, 2012
- 08:07, 2 August 2012 (diff | hist) . . (+150) . . Meeting Minutes - August 2, 2012 (→Status)
- 15:15, 1 August 2012 (diff | hist) . . (+133) . . Meeting Minutes - August 2, 2012
- 12:19, 31 July 2012 (diff | hist) . . (+149) . . Developer Meeting Minutes for 2012 (→Second Quarter 2012)
- 12:19, 31 July 2012 (diff | hist) . . (+151) . . Developer Meeting Minutes for 2012 (→First Quarter 2012)
- 12:18, 31 July 2012 (diff | hist) . . (+87) . . Developer Meeting Minutes for 2012
- 12:17, 31 July 2012 (diff | hist) . . (+86) . . Developer Meeting Minutes for 2012
- 12:17, 31 July 2012 (diff | hist) . . (+55) . . N Meeting Minutes - August 2, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-08-02|11am|1pm}}")
- 10:56, 30 July 2012 (diff | hist) . . (+103) . . Options (→Option declarations: a quickstart guide)
- 10:38, 30 July 2012 (diff | hist) . . (+286) . . Developer Meeting Minutes (→Third Quarter 2012)
- 10:01, 26 July 2012 (diff | hist) . . (+790) . . Meeting Minutes - July 26, 2012 (current)
- 08:57, 26 July 2012 (diff | hist) . . (+239) . . N Meeting Minutes - July 26, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-07-26|11am|1pm}} Morgan * SMT-LIBv2 compliance * bugfixing / build problems fixing * TypeEnumerators Dejan * array constants * discussion…")
- 10:42, 12 July 2012 (diff | hist) . . (0) . . User Manual (→CVC4 support for the SMT-LIB language)
- 10:42, 12 July 2012 (diff | hist) . . (0) . . m SMT-LIB Compliance (moved SMT-LIBv2 compliance to SMT-LIBv2 Compliance)
- 10:42, 12 July 2012 (diff | hist) . . (+34) . . N SMT-LIBv2 compliance (moved SMT-LIBv2 compliance to SMT-LIBv2 Compliance) (current)
- 10:42, 12 July 2012 (diff | hist) . . (+45) . . MediaWiki:Sidebar
- 10:41, 12 July 2012 (diff | hist) . . (+1) . . Release checklist
- 10:41, 12 July 2012 (diff | hist) . . (-45) . . Release checklist
- 10:41, 12 July 2012 (diff | hist) . . (-26) . . SMT-LIB Compliance (→SMT-LIBv2 compliance)
- 10:40, 12 July 2012 (diff | hist) . . (-14) . . User Manual (→CVC4 support for the SMT-LIB language)
- 10:40, 12 July 2012 (diff | hist) . . (+1,566) . . N SMT-LIB Compliance (Created page with "==SMT-LIBv2 compliance== Mostly compliant with --lang smtlib2 (but we get extra strict/conformance things with --smtlib2) Commands: * Bread and butter - supported fully ** ( se…")
- 10:00, 12 July 2012 (diff | hist) . . (+51) . . Meeting Minutes - July 12, 2012 (→Action items) (current)
- 09:38, 12 July 2012 (diff | hist) . . (+37) . . Meeting Minutes - July 12, 2012 (→Action items)
- 09:19, 12 July 2012 (diff | hist) . . (-99) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 09:18, 12 July 2012 (diff | hist) . . (+52) . . Meeting Minutes - July 12, 2012 (→Action items)
- 08:55, 12 July 2012 (diff | hist) . . (0) . . m Meeting Minutes - July 12, 2012 (moved Meeting Minutes - July 13, 2012 to Meeting Minutes - July 12, 2012)
- 08:54, 12 July 2012 (diff | hist) . . (-6) . . Meeting Minutes - July 12, 2012
- 08:51, 12 July 2012 (diff | hist) . . (+78) . . Meeting Minutes - July 12, 2012 (→Action items)
- 08:50, 12 July 2012 (diff | hist) . . (-105) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 08:33, 12 July 2012 (diff | hist) . . (+107) . . Release checklist
- 08:28, 12 July 2012 (diff | hist) . . (+56) . . Meeting Minutes - July 12, 2012 (→Action items)
- 08:27, 12 July 2012 (diff | hist) . . (+34) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 05:20, 12 July 2012 (diff | hist) . . (+10) . . Meeting Minutes - July 12, 2012 (→Discussion)
- 12:25, 11 July 2012 (diff | hist) . . (+72) . . Meeting Minutes - July 12, 2012 (→Discussion)
- 12:23, 11 July 2012 (diff | hist) . . (+24) . . Using SSL with Church (→Instructions for Mac OS X)
- 18:29, 8 July 2012 (diff | hist) . . (+161) . . Meeting Minutes - July 12, 2012 (→SMT-LIBv2 compliance)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
