User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 21:36, 7 March 2012 (diff | hist) . . (-28) . . Meeting Minutes - March 8, 2012 (→Finite model finding)
- 21:34, 7 March 2012 (diff | hist) . . (+280) . . Meeting Minutes - March 8, 2012 (→Finite model finding)
- 21:33, 7 March 2012 (diff | hist) . . (+968) . . Meeting Minutes - March 8, 2012 (→Quantifiers)
- 21:31, 7 March 2012 (diff | hist) . . (+39) . . Meeting Minutes - March 8, 2012 (→Proofs)
- 20:27, 7 March 2012 (diff | hist) . . (+2) . . Meeting Minutes - March 8, 2012 (→Minor commits / interface changes)
- 14:55, 7 March 2012 (diff | hist) . . (+278) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:52, 7 March 2012 (diff | hist) . . (+8) . . Meeting Minutes - March 8, 2012 (→Bug round-up)
- 14:51, 7 March 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:50, 7 March 2012 (diff | hist) . . (+12) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:50, 7 March 2012 (diff | hist) . . (+716) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:45, 7 March 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:44, 7 March 2012 (diff | hist) . . (+4) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:44, 7 March 2012 (diff | hist) . . (+1,471) . . Meeting Minutes - March 8, 2012 (→Rewrite rules)
- 14:41, 7 March 2012 (diff | hist) . . (+46) . . Meeting Minutes - March 8, 2012 (→Merges)
- 14:40, 7 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 8, 2012 (→Integers)
- 11:04, 7 March 2012 (diff | hist) . . (+2,155) . . Developer's Guide (→Building)
- 11:00, 7 March 2012 (diff | hist) . . (+75) . . Meeting Minutes - March 8, 2012 (→Minor commits / interface changes)
- 10:56, 7 March 2012 (diff | hist) . . (0) . . Meeting Minutes - March 8, 2012 (→Documentation)
- 10:55, 7 March 2012 (diff | hist) . . (+34) . . Meeting Minutes - March 8, 2012 (→Documentation)
- 10:55, 7 March 2012 (diff | hist) . . (+36) . . Meeting Minutes - March 8, 2012 (→Documentation)
- 10:54, 7 March 2012 (diff | hist) . . (+104) . . Meeting Minutes - March 8, 2012 (→Reference Guide (Liana/Morgan))
- 10:54, 7 March 2012 (diff | hist) . . (+70) . . Meeting Minutes - March 8, 2012 (→CASCADE)
- 10:53, 7 March 2012 (diff | hist) . . (+50) . . Meeting Minutes - March 8, 2012 (→Web services)
- 10:53, 7 March 2012 (diff | hist) . . (+61) . . Meeting Minutes - March 8, 2012 (→Minor commits / interface changes)
- 10:52, 7 March 2012 (diff | hist) . . (+128) . . Meeting Minutes - March 8, 2012 (→Arrays)
- 14:03, 6 March 2012 (diff | hist) . . (-12) . . Developer's Guide (→ANTLR3)
- 16:36, 3 March 2012 (diff | hist) . . (+105) . . Developer's Guide (→Running the full regression suite on the cluster)
- 11:04, 1 March 2012 (diff | hist) . . (-125) . . Meeting Minutes - March 1, 2012
- 11:04, 1 March 2012 (diff | hist) . . (+652) . . N Meeting Minutes - March 8, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-08|11am|1pm}} =CVC4 status= ====Bug round-up==== <font color="red">Incremental hanging bug (Morgan)</font> ====Merges==== options (…")
- 10:59, 1 March 2012 (diff | hist) . . (+43) . . Meeting Minutes - March 1, 2012 (→How do we handle unit lemmas?)
- 10:56, 1 March 2012 (diff | hist) . . (+508) . . Meeting Minutes - March 1, 2012 (→propagateAsDecision complications)
- 10:26, 1 March 2012 (diff | hist) . . (+55) . . Meeting Minutes - March 1, 2012 (→Action items)
- 10:19, 1 March 2012 (diff | hist) . . (-15) . . Meeting Minutes - March 1, 2012 (→Andy having performance issues with sharing/integers)
- 10:12, 1 March 2012 (diff | hist) . . (+74) . . Meeting Minutes - March 1, 2012
- 10:11, 1 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 1, 2012 (→Andy having performance issues with sharing/integers)
- 10:09, 1 March 2012 (diff | hist) . . (+147) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 10:01, 1 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 1, 2012 (→Action items)
- 10:00, 1 March 2012 (diff | hist) . . (+11) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 10:00, 1 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 09:55, 1 March 2012 (diff | hist) . . (+34) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 09:55, 1 March 2012 (diff | hist) . . (-96) . . Meeting Minutes - March 1, 2012 (→Answering SAT without extending to a complete assignment)
- 09:43, 1 March 2012 (diff | hist) . . (+60) . . Meeting Minutes - March 1, 2012 (→Action items)
- 09:42, 1 March 2012 (diff | hist) . . (+1) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 09:40, 1 March 2012 (diff | hist) . . (+67) . . Meeting Minutes - March 1, 2012 (→Action items)
- 09:40, 1 March 2012 (diff | hist) . . (-90) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 09:19, 1 March 2012 (diff | hist) . . (+3) . . Meeting Minutes - March 1, 2012 (→Quantifiers)
- 09:16, 1 March 2012 (diff | hist) . . (+22) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:16, 1 March 2012 (diff | hist) . . (+89) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:04, 1 March 2012 (diff | hist) . . (-27) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:03, 1 March 2012 (diff | hist) . . (0) . . Meeting Minutes - March 1, 2012 (→CASCADE)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
