User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:42, 5 April 2012 (diff | hist) . . (+139) . . Meeting Minutes - April 5, 2012 (→Action items)
- 08:36, 5 April 2012 (diff | hist) . . (+186) . . CVC4 Wishlist
- 12:45, 4 April 2012 (diff | hist) . . (+194) . . Meeting Minutes - April 5, 2012 (→Bug round-up)
- 15:26, 3 April 2012 (diff | hist) . . (+423) . . Meeting Minutes - April 5, 2012 (→Discussion)
- 17:06, 2 April 2012 (diff | hist) . . (+1,339) . . N Meeting Minutes - April 5, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-04-05|11am|1pm}} =CVC4 status= ====Bug round-up==== QF_AUFBV now supported in SMT-LIBv1 properly (on arrays-clark branch) (Morgan) ====…")
- 08:52, 29 March 2012 (diff | hist) . . (+90) . . Meeting Minutes - March 29, 2012 (→Integers) (current)
- 08:38, 29 March 2012 (diff | hist) . . (+63) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:35, 29 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:29, 29 March 2012 (diff | hist) . . (+47) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:16, 29 March 2012 (diff | hist) . . (+32) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:16, 29 March 2012 (diff | hist) . . (+46) . . Meeting Minutes - March 29, 2012 (→Action items)
- 07:53, 29 March 2012 (diff | hist) . . (+13) . . Meeting Minutes - March 29, 2012 (→Discussion)
- 07:35, 29 March 2012 (diff | hist) . . (+8) . . Meeting Minutes - March 29, 2012 (→Arrays)
- 07:15, 29 March 2012 (diff | hist) . . (+65) . . Meeting Minutes - March 29, 2012 (→Action items)
- 06:44, 29 March 2012 (diff | hist) . . (+596) . . Meeting Minutes - March 29, 2012 (→Bitvectors)
- 06:44, 29 March 2012 (diff | hist) . . (-154) . . Meeting Minutes - March 29, 2012 (→Andy's discussion items)
- 06:41, 29 March 2012 (diff | hist) . . (+16) . . Meeting Minutes - March 29, 2012 (→Andy's discussion items)
- 06:40, 29 March 2012 (diff | hist) . . (+3,968) . . Meeting Minutes - March 29, 2012 (→Discussion)
- 06:40, 29 March 2012 (diff | hist) . . (+204) . . Meeting Minutes - March 29, 2012 (→Quantifiers)
- 06:35, 29 March 2012 (diff | hist) . . (+470) . . Meeting Minutes - March 29, 2012 (→Quantifiers)
- 06:34, 29 March 2012 (diff | hist) . . (+38) . . Meeting Minutes - March 29, 2012 (→Proofs)
- 12:47, 28 March 2012 (diff | hist) . . (+42) . . Meeting Minutes - March 29, 2012 (→Arithmetic)
- 12:38, 28 March 2012 (diff | hist) . . (+158) . . Meeting Minutes - March 29, 2012 (→Sharing performance)
- 12:19, 28 March 2012 (diff | hist) . . (+19) . . Meeting Minutes - March 29, 2012 (→Arrays)
- 12:16, 28 March 2012 (diff | hist) . . (+115) . . Meeting Minutes - March 29, 2012 (→Arithmetic)
- 12:16, 28 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 29, 2012 (→Integers)
- 12:09, 28 March 2012 (diff | hist) . . (-144) . . Meeting Minutes - March 29, 2012 (→Kind integration)
- 12:08, 28 March 2012 (diff | hist) . . (-109) . . Meeting Minutes - March 29, 2012 (→Action items)
- 08:01, 28 March 2012 (diff | hist) . . (+1,172) . . N Meeting Minutes - March 29, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-29|11am|1pm}} =CVC4 status= ====Bug round-up==== ====Merges==== options (Morgan) ====Kind integration==== Integration ongoing * so…")
- 13:59, 21 March 2012 (diff | hist) . . (+188) . . Meeting Minutes - March 22, 2012 (→Kind integration)
- 13:43, 21 March 2012 (diff | hist) . . (+9) . . Meeting Minutes - March 22, 2012 (→Bug round-up)
- 12:35, 21 March 2012 (diff | hist) . . (+27) . . Meeting Minutes - March 22, 2012 (→Arrays)
- 12:35, 21 March 2012 (diff | hist) . . (+206) . . Meeting Minutes - March 22, 2012 (→Minor commits / interface changes)
- 12:34, 21 March 2012 (diff | hist) . . (-181) . . Meeting Minutes - March 22, 2012 (→Action items)
- 12:34, 21 March 2012 (diff | hist) . . (+2) . . Meeting Minutes - March 22, 2012 (→Action items)
- 11:24, 21 March 2012 (diff | hist) . . (+103) . . Meeting Minutes - March 22, 2012 (→Arrays)
- 10: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==== …")
- 15:06, 14 March 2012 (diff | hist) . . (+20) . . Meeting Minutes - March 15, 2012 (→Portfolio) (current)
- 11:27, 14 March 2012 (diff | hist) . . (+12) . . Meeting Minutes - March 15, 2012 (→CVC4 status)
- 11:27, 14 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 15, 2012 (→Bug round-up)
- 11:24, 14 March 2012 (diff | hist) . . (+291) . . Meeting Minutes - March 15, 2012
- 10:30, 8 March 2012 (diff | hist) . . (+109) . . Meeting Minutes - March 15, 2012 (→Action items)
- 10:29, 8 March 2012 (diff | hist) . . (+84) . . Meeting Minutes - March 8, 2012 (→Status of last week's) (current)
- 10:23, 8 March 2012 (diff | hist) . . (+148) . . Meeting Minutes - March 8, 2012
- 10:23, 8 March 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 1, 2012 (→Bug round-up) (current)
- 10:23, 8 March 2012 (diff | hist) . . (+9) . . Meeting Minutes - March 8, 2012 (→Action items)
- 10:23, 8 March 2012 (diff | hist) . . (-157) . . Meeting Minutes - March 8, 2012 (→Status of last week's)
- 10: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…")
- 09:44, 8 March 2012 (diff | hist) . . (+25) . . Meeting Minutes - March 8, 2012 (→Rewrite-rules and arithmetic loop)
- 09:18, 8 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 8, 2012 (→Partial assignments)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
