User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 19:02, 15 November 2011 (diff | hist) . . (+55) . . Meeting Minutes - November 18, 2011 (→Agenda: Language bindings)
- 19:01, 15 November 2011 (diff | hist) . . (+29) . . Meeting Minutes - November 18, 2011 (→Agenda: Language bindings)
- 19:00, 15 November 2011 (diff | hist) . . (+77) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 10:12, 14 November 2011 (diff | hist) . . (+100) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 10:11, 14 November 2011 (diff | hist) . . (-1,139) . . Meeting Minutes - November 18, 2011 (→Agenda: Options processing)
- 09:15, 11 November 2011 (diff | hist) . . (+4,135) . . N Meeting Minutes - November 18, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-11-11|10am|12pm}} =Release status= Release requirements for 1.0: * works with KIND * fix remaining, known user push/pop bugs * model gen…")
- 09:11, 11 November 2011 (diff | hist) . . (-3,718) . . Meeting Minutes - November 11, 2011 (current)
- 09:10, 11 November 2011 (diff | hist) . . (+169) . . Meeting Minutes - November 11, 2011 (→Quantifiers)
- 08:55, 11 November 2011 (diff | hist) . . (-22) . . Meeting Minutes - November 11, 2011 (→Parallel Stalmarck)
- 08:54, 11 November 2011 (diff | hist) . . (+386) . . Meeting Minutes - November 11, 2011 (→Quantifiers)
- 08:38, 11 November 2011 (diff | hist) . . (+35) . . Meeting Minutes - November 11, 2011 (→KIND integration)
- 08:37, 11 November 2011 (diff | hist) . . (+20) . . Meeting Minutes - November 11, 2011 (→Integers)
- 08:35, 11 November 2011 (diff | hist) . . (+168) . . Meeting Minutes - November 11, 2011 (→Integers)
- 08:33, 11 November 2011 (diff | hist) . . (+70) . . Meeting Minutes - November 11, 2011 (→Integers)
- 08:33, 11 November 2011 (diff | hist) . . (-78) . . Meeting Minutes - November 11, 2011 (→Integers)
- 08:30, 11 November 2011 (diff | hist) . . (+25) . . Meeting Minutes - November 11, 2011 (→CASCADE)
- 08:30, 11 November 2011 (diff | hist) . . (-20) . . Meeting Minutes - November 11, 2011 (→KIND integration)
- 08:30, 11 November 2011 (diff | hist) . . (-10) . . Meeting Minutes - November 11, 2011 (→Proofs)
- 07:59, 11 November 2011 (diff | hist) . . (+620) . . Meeting Minutes - November 11, 2011 (→Bitvectors)
- 07:42, 11 November 2011 (diff | hist) . . (+123) . . Meeting Minutes - November 11, 2011 (→VSTTE competition)
- 18:16, 10 November 2011 (diff | hist) . . (+1,139) . . Meeting Minutes - November 11, 2011
- 12:48, 5 November 2011 (diff | hist) . . (+49) . . Meeting Minutes - November 11, 2011 (→Compatibility layer)
- 12:17, 5 November 2011 (diff | hist) . . (+16) . . Meeting Minutes - November 11, 2011
- 12:15, 5 November 2011 (diff | hist) . . (+57) . . Meeting Minutes - November 11, 2011 (→Compatibility layer)
- 12:14, 5 November 2011 (diff | hist) . . (+560) . . Meeting Minutes - November 11, 2011 (→Compatibility layer)
- 12:13, 5 November 2011 (diff | hist) . . (+28) . . Meeting Minutes - November 11, 2011 (→Language bindings)
- 12:03, 5 November 2011 (diff | hist) . . (+22) . . Meeting Minutes - November 11, 2011
- 12:03, 5 November 2011 (diff | hist) . . (+22) . . Meeting Minutes - November 11, 2011 (→Integers)
- 11:51, 5 November 2011 (diff | hist) . . (+124) . . Meeting Minutes - November 11, 2011
- 11:49, 5 November 2011 (diff | hist) . . (+2,954) . . N Meeting Minutes - November 11, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-11-11|10am|12pm}} =Release status= Release requirements for 1.0: * works with KIND * fix remaining, known user push/pop bugs * model gen…")
- 07:58, 4 November 2011 (diff | hist) . . (+50) . . Meeting Minutes - November 4, 2011 (→Agenda: Compatibility layer) (current)
- 07:53, 4 November 2011 (diff | hist) . . (+380) . . Meeting Minutes - November 4, 2011 (→KIND integration)
- 07:38, 4 November 2011 (diff | hist) . . (+335) . . Meeting Minutes - November 4, 2011
- 07:32, 4 November 2011 (diff | hist) . . (+10) . . Meeting Minutes - November 4, 2011 (→VSTTE challenge problems)
- 07:12, 4 November 2011 (diff | hist) . . (+152) . . Meeting Minutes - November 4, 2011 (→Portfolio)
- 07:11, 4 November 2011 (diff | hist) . . (+123) . . CVC4 Wishlist
- 07:05, 4 November 2011 (diff | hist) . . (+423) . . Meeting Minutes - November 4, 2011 (→Portfolio)
- 06:56, 4 November 2011 (diff | hist) . . (+510) . . Meeting Minutes - November 4, 2011
- 06:48, 4 November 2011 (diff | hist) . . (+562) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 06:30, 4 November 2011 (diff | hist) . . (+616) . . Meeting Minutes - November 4, 2011
- 06:18, 4 November 2011 (diff | hist) . . (+31) . . Meeting Minutes - November 4, 2011 (→CASCADE)
- 06:17, 4 November 2011 (diff | hist) . . (+118) . . Meeting Minutes - November 4, 2011
- 06:47, 3 November 2011 (diff | hist) . . (+4) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 06:42, 3 November 2011 (diff | hist) . . (+250) . . Meeting Minutes - November 4, 2011 (→Quantifiers)
- 17:26, 1 November 2011 (diff | hist) . . (+257) . . Meeting Minutes - November 4, 2011
- 17:23, 1 November 2011 (diff | hist) . . (+311) . . Meeting Minutes - November 4, 2011
- 18:48, 28 October 2011 (diff | hist) . . (+85) . . Meeting Minutes - November 4, 2011 (→KIND integration)
- 18:48, 28 October 2011 (diff | hist) . . (+448) . . Meeting Minutes - November 4, 2011
- 16:30, 28 October 2011 (diff | hist) . . (+305) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4) (current)
- 16:28, 28 October 2011 (diff | hist) . . (+351) . . Meeting Minutes - October 28, 2011 (→Portfolio CVC4)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
