User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:36, 4 December 2012 (diff | hist) . . (0) . . Meeting Minutes - December 4, 2012 (current)
- 06:35, 4 December 2012 (diff | hist) . . (+27) . . Meeting Minutes - December 4, 2012 (→What to do about the cluster of one?)
- 06:35, 4 December 2012 (diff | hist) . . (+42) . . Meeting Minutes - December 4, 2012 (→Policy going forward)
- 06:35, 4 December 2012 (diff | hist) . . (+225) . . Meeting Minutes - December 4, 2012 (→Discussion items)
- 06:32, 4 December 2012 (diff | hist) . . (+37) . . Meeting Minutes - December 4, 2012
- 06:29, 4 December 2012 (diff | hist) . . (+21) . . Meeting Minutes - December 4, 2012 (→Updating the wishlist)
- 14:34, 3 December 2012 (diff | hist) . . (+3) . . CVC4 Copyright
- 14:34, 3 December 2012 (diff | hist) . . (-53) . . CVC4 Copyright
- 12:58, 3 December 2012 (diff | hist) . . (+77) . . CVC4 Wishlist (→New, proposed items (12/3/2012)) (current)
- 12:56, 3 December 2012 (diff | hist) . . (+343) . . CVC4 Wishlist
- 12:53, 3 December 2012 (diff | hist) . . (+162) . . CVC4 Wishlist
- 12:50, 3 December 2012 (diff | hist) . . (+19) . . Meeting Minutes - December 4, 2012 (→Updating the wishlist)
- 12:50, 3 December 2012 (diff | hist) . . (+1,603) . . Meeting Minutes - December 4, 2012 (→Policy going forward)
- 12:43, 3 December 2012 (diff | hist) . . (+85) . . Meeting Minutes - December 4, 2012 (→Discussion items)
- 12:31, 3 December 2012 (diff | hist) . . (-421) . . SMT-LIB Compliance
- 13:03, 1 December 2012 (diff | hist) . . (-1) . . About CVC4
- 13:03, 1 December 2012 (diff | hist) . . (+48) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 13:02, 1 December 2012 (diff | hist) . . (+140) . . N Meeting Minutes - December 4, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-12-04|11am|1pm}} The release is out! =Discussion items= ==Policy going forward== ==Move to git?==")
- 14:48, 30 November 2012 (diff | hist) . . (-319) . . Tutorials (→SMT-LIB)
- 13:57, 30 November 2012 (diff | hist) . . (+563) . . N Meeting Minutes - November 30, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-30|3pm|4pm}} Morgan's List: * --smtlib-strict * Java examples for what's there * go through bugzilla * figure out a reorganization of d…") (current)
- 13:07, 29 November 2012 (diff | hist) . . (+1) . . Build Problems (→builds Directory)
- 13:06, 29 November 2012 (diff | hist) . . (0) . . Build Problems (→builds Directory)
- 11:06, 27 November 2012 (diff | hist) . . (+5) . . Meeting Minutes - November 27, 2012 (current)
- 11:02, 27 November 2012 (diff | hist) . . (-404) . . Meeting Minutes - November 27, 2012
- 13:18, 26 November 2012 (diff | hist) . . (+32) . . Meeting Minutes - November 26, 2012 (current)
- 13:17, 26 November 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 11:52, 26 November 2012 (diff | hist) . . (+58) . . Meeting Minutes - November 26, 2012
- 11:28, 26 November 2012 (diff | hist) . . (+435) . . N Meeting Minutes - November 26, 2012 (Created page with "CVC4 huddle 11/26/2012 many outstanding bugs fixed (came up due to fuzzer, etc.) * fuzzer appears to run with --check-models ok * arithmetic bugs fixed, and a too-strong asserti…")
- 12:26, 13 November 2012 (diff | hist) . . (+42) . . Meeting Minutes - November 27, 2012
- 12:25, 13 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 13, 2012 (current)
- 12:25, 13 November 2012 (diff | hist) . . (-1,031) . . Meeting Minutes - November 27, 2012 (→Action items)
- 11:10, 13 November 2012 (diff | hist) . . (+2,697) . . N Meeting Minutes - November 27, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-27|11am|1pm}} =Status= =Discussion= =Action items= nightly builds should do a *local* regressions every night for portfolio (Morgan)…")
- 11:09, 13 November 2012 (diff | hist) . . (-85) . . Library (current)
- 11:07, 13 November 2012 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 11:02, 13 November 2012 (diff | hist) . . (+140) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 10:48, 13 November 2012 (diff | hist) . . (+34) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:48, 13 November 2012 (diff | hist) . . (-31) . . Meeting Minutes - November 13, 2012 (→Tasks during Andy's visit)
- 10:45, 13 November 2012 (diff | hist) . . (+49) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:44, 13 November 2012 (diff | hist) . . (+359) . . Meeting Minutes - November 13, 2012 (→Andy's EqualityQueryQuantifiersEngine)
- 10:34, 13 November 2012 (diff | hist) . . (+78) . . Meeting Minutes - November 13, 2012 (→Action items)
- 10:33, 13 November 2012 (diff | hist) . . (+511) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 10:00, 13 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 13, 2012 (→Models, sharing, subtypes, OH MY!)
- 09:58, 13 November 2012 (diff | hist) . . (+39) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 09:58, 13 November 2012 (diff | hist) . . (+79) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:57, 13 November 2012 (diff | hist) . . (+117) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:56, 13 November 2012 (diff | hist) . . (+1) . . Meeting Minutes - November 13, 2012 (→=DeltaRationals)
- 09:56, 13 November 2012 (diff | hist) . . (+19) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 09:56, 13 November 2012 (diff | hist) . . (+122) . . Meeting Minutes - November 13, 2012 (→Status)
- 09:55, 13 November 2012 (diff | hist) . . (+63) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:52, 13 November 2012 (diff | hist) . . (+83) . . Meeting Minutes - November 13, 2012 (→Action items)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
