User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:41, 12 July 2012 (diff | hist) . . (+1) . . Release checklist
- 09:41, 12 July 2012 (diff | hist) . . (-45) . . Release checklist
- 09:41, 12 July 2012 (diff | hist) . . (-26) . . SMT-LIB Compliance (→SMT-LIBv2 compliance)
- 09:40, 12 July 2012 (diff | hist) . . (-14) . . User Manual (→CVC4 support for the SMT-LIB language)
- 09: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…")
- 09:00, 12 July 2012 (diff | hist) . . (+51) . . Meeting Minutes - July 12, 2012 (→Action items) (current)
- 08:38, 12 July 2012 (diff | hist) . . (+37) . . Meeting Minutes - July 12, 2012 (→Action items)
- 08:19, 12 July 2012 (diff | hist) . . (-99) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 08:18, 12 July 2012 (diff | hist) . . (+52) . . Meeting Minutes - July 12, 2012 (→Action items)
- 07: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)
- 07:54, 12 July 2012 (diff | hist) . . (-6) . . Meeting Minutes - July 12, 2012
- 07:51, 12 July 2012 (diff | hist) . . (+78) . . Meeting Minutes - July 12, 2012 (→Action items)
- 07:50, 12 July 2012 (diff | hist) . . (-105) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 07:33, 12 July 2012 (diff | hist) . . (+107) . . Release checklist
- 07:28, 12 July 2012 (diff | hist) . . (+56) . . Meeting Minutes - July 12, 2012 (→Action items)
- 07:27, 12 July 2012 (diff | hist) . . (+34) . . Meeting Minutes - July 12, 2012 (→CVC4 status)
- 04:20, 12 July 2012 (diff | hist) . . (+10) . . Meeting Minutes - July 12, 2012 (→Discussion)
- 11:25, 11 July 2012 (diff | hist) . . (+72) . . Meeting Minutes - July 12, 2012 (→Discussion)
- 11:23, 11 July 2012 (diff | hist) . . (+24) . . Using SSL with Church (→Instructions for Mac OS X)
- 17:29, 8 July 2012 (diff | hist) . . (+161) . . Meeting Minutes - July 12, 2012 (→SMT-LIBv2 compliance)
- 17:23, 8 July 2012 (diff | hist) . . (+75) . . Meeting Minutes - July 12, 2012 (→SMT-LIBv2 compliance)
- 15:24, 8 July 2012 (diff | hist) . . (+1,332) . . Meeting Minutes - July 12, 2012
- 14:46, 8 July 2012 (diff | hist) . . (+28) . . Meeting Minutes - July 6, 2012 (current)
- 14:45, 8 July 2012 (diff | hist) . . (-2) . . Release checklist
- 14:44, 8 July 2012 (diff | hist) . . (+45) . . Release checklist
- 14:44, 8 July 2012 (diff | hist) . . (+1,043) . . N Meeting Minutes - July 12, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-07-13|11:45am|1:15pm}} =CVC4 status= Morgan * numerous bugfixes committed * working on better recursive parallel make * options merge De…")
- 09:15, 6 July 2012 (diff | hist) . . (+156) . . Meeting Minutes - July 6, 2012 (→Discussion)
- 09:11, 6 July 2012 (diff | hist) . . (+964) . . N Meeting Minutes - July 6, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-07-06|11:45am|1:15pm}} =CVC4 status= Morgan * numerous bugfixes coming * documentation/typo fixes * better recursive parallel make * opti…")
- 04:46, 29 June 2012 (diff | hist) . . (-74) . . Release checklist
- 04:11, 29 June 2012 (diff | hist) . . (-46) . . Release checklist (→Tabled)
- 11:05, 9 June 2012 (diff | hist) . . (-54) . . Meeting Minutes - June 8, 2012 (→Bug round-up) (current)
- 13:28, 8 June 2012 (diff | hist) . . (+1,368) . . N Meeting Minutes - June 15, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-06-15|1pm|3pm}} =CVC4 status= ====Cluster hardware status==== ====Bug round-up==== <font color="red">LAMBDA typechecking bug ({{bug|322…") (current)
- 10:40, 8 June 2012 (diff | hist) . . (+13) . . Meeting Minutes - June 8, 2012 (→Discussion)
- 10:40, 8 June 2012 (diff | hist) . . (+56) . . Meeting Minutes - June 8, 2012 (→Action items)
- 10:20, 8 June 2012 (diff | hist) . . (+32) . . Meeting Minutes - June 8, 2012 (→Action items)
- 10:02, 8 June 2012 (diff | hist) . . (+351) . . Meeting Minutes - June 8, 2012 (→Minor commits / interface changes)
- 10:00, 8 June 2012 (diff | hist) . . (+265) . . Meeting Minutes - June 8, 2012 (→Action items)
- 09:57, 8 June 2012 (diff | hist) . . (-82) . . Meeting Minutes - June 8, 2012 (→CVC4 status)
- 09:56, 8 June 2012 (diff | hist) . . (+975) . . Meeting Minutes - June 8, 2012
- 13:30, 1 June 2012 (diff | hist) . . (0) . . Options (→How to access option values in code)
- 13:30, 1 June 2012 (diff | hist) . . (+262) . . Options (→How to access option values in code)
- 13:29, 1 June 2012 (diff | hist) . . (+15) . . Options (→How to access option values in code)
- 11:13, 1 June 2012 (diff | hist) . . (+129) . . Options (→:predicate)
- 11:12, 1 June 2012 (diff | hist) . . (+179) . . Options (→:handler)
- 07:33, 1 June 2012 (diff | hist) . . (-312) . . Options (→Specifications)
- 07:33, 1 June 2012 (diff | hist) . . (+68) . . Options (→Specifications)
- 07:33, 1 June 2012 (diff | hist) . . (+244) . . Options (→Specifications)
- 07:30, 1 June 2012 (diff | hist) . . (+3) . . Options (→"module" command)
- 07:30, 1 June 2012 (diff | hist) . . (+6) . . Options (→"module" command)
- 07:29, 1 June 2012 (diff | hist) . . (-1) . . Options (→How to access option values in code)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
