User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:43, 21 March 2012 (diff | hist) . . (+9) . . Meeting Minutes - March 22, 2012 (→Bug round-up)
- 13:35, 21 March 2012 (diff | hist) . . (+27) . . Meeting Minutes - March 22, 2012 (→Arrays)
- 13:35, 21 March 2012 (diff | hist) . . (+206) . . Meeting Minutes - March 22, 2012 (→Minor commits / interface changes)
- 13:34, 21 March 2012 (diff | hist) . . (-181) . . Meeting Minutes - March 22, 2012 (→Action items)
- 13:34, 21 March 2012 (diff | hist) . . (+2) . . Meeting Minutes - March 22, 2012 (→Action items)
- 12:24, 21 March 2012 (diff | hist) . . (+103) . . Meeting Minutes - March 22, 2012 (→Arrays)
- 11:18, 21 March 2012 (diff | hist) . . (+1,176) . . N Meeting Minutes - March 22, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-22|11am|1pm}} =CVC4 status= ====Bug round-up==== <font color="red">''EqualityEngine'' bug is blocking arrays</font> ====Merges==== …")
- 16:06, 14 March 2012 (diff | hist) . . (+20) . . Meeting Minutes - March 15, 2012 (→Portfolio) (current)
- 12:27, 14 March 2012 (diff | hist) . . (+12) . . Meeting Minutes - March 15, 2012 (→CVC4 status)
- 12:27, 14 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 15, 2012 (→Bug round-up)
- 12:24, 14 March 2012 (diff | hist) . . (+291) . . Meeting Minutes - March 15, 2012
- 11:30, 8 March 2012 (diff | hist) . . (+109) . . Meeting Minutes - March 15, 2012 (→Action items)
- 11:29, 8 March 2012 (diff | hist) . . (+84) . . Meeting Minutes - March 8, 2012 (→Status of last week's) (current)
- 11:23, 8 March 2012 (diff | hist) . . (+148) . . Meeting Minutes - March 8, 2012
- 11:23, 8 March 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 1, 2012 (→Bug round-up) (current)
- 11:23, 8 March 2012 (diff | hist) . . (+9) . . Meeting Minutes - March 8, 2012 (→Action items)
- 11:23, 8 March 2012 (diff | hist) . . (-157) . . Meeting Minutes - March 8, 2012 (→Status of last week's)
- 11:22, 8 March 2012 (diff | hist) . . (+884) . . N Meeting Minutes - March 15, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-15|11am|1pm}} =CVC4 status= ====Bug round-up==== ====Merges==== options (Morgan) ====Lemma deletion==== ====Integers==== ====Port…")
- 10:44, 8 March 2012 (diff | hist) . . (+25) . . Meeting Minutes - March 8, 2012 (→Rewrite-rules and arithmetic loop)
- 10:18, 8 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 8, 2012 (→Partial assignments)
- 10:15, 8 March 2012 (diff | hist) . . (+39) . . Meeting Minutes - March 8, 2012 (→Lemma deletion)
- 10:15, 8 March 2012 (diff | hist) . . (+99) . . Meeting Minutes - March 8, 2012 (→Getting rewrite statistics)
- 10:07, 8 March 2012 (diff | hist) . . (+39) . . Meeting Minutes - March 8, 2012 (→Getting rewrite statistics)
- 09:08, 8 March 2012 (diff | hist) . . (+2) . . Meeting Minutes - March 1, 2012 (→Bug round-up)
- 08:56, 8 March 2012 (diff | hist) . . (+423) . . Meeting Minutes - March 8, 2012 (→Action items)
- 08:54, 8 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 8, 2012 (→Portfolio)
- 21:46, 7 March 2012 (diff | hist) . . (+32) . . Meeting Minutes - March 8, 2012 (→Discussion)
- 21:45, 7 March 2012 (diff | hist) . . (+389) . . Meeting Minutes - March 8, 2012 (→Bitvectors)
- 21:42, 7 March 2012 (diff | hist) . . (+45) . . Meeting Minutes - March 8, 2012 (→Discussion)
- 21:40, 7 March 2012 (diff | hist) . . (-133) . . Meeting Minutes - March 8, 2012 (→Quantifiers)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
