User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:53, 3 December 2012 (diff | hist) . . (+162) . . CVC4 Wishlist
- 11:50, 3 December 2012 (diff | hist) . . (+19) . . Meeting Minutes - December 4, 2012 (→Updating the wishlist)
- 11:50, 3 December 2012 (diff | hist) . . (+1,603) . . Meeting Minutes - December 4, 2012 (→Policy going forward)
- 11:43, 3 December 2012 (diff | hist) . . (+85) . . Meeting Minutes - December 4, 2012 (→Discussion items)
- 11:31, 3 December 2012 (diff | hist) . . (-421) . . SMT-LIB Compliance
- 12:03, 1 December 2012 (diff | hist) . . (-1) . . About CVC4
- 12:03, 1 December 2012 (diff | hist) . . (+48) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 12: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?==")
- 13:48, 30 November 2012 (diff | hist) . . (-319) . . Tutorials (→SMT-LIB)
- 12: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)
- 12:07, 29 November 2012 (diff | hist) . . (+1) . . Build Problems (→builds Directory)
- 12:06, 29 November 2012 (diff | hist) . . (0) . . Build Problems (→builds Directory)
- 10:06, 27 November 2012 (diff | hist) . . (+5) . . Meeting Minutes - November 27, 2012 (current)
- 10:02, 27 November 2012 (diff | hist) . . (-404) . . Meeting Minutes - November 27, 2012
- 12:18, 26 November 2012 (diff | hist) . . (+32) . . Meeting Minutes - November 26, 2012 (current)
- 12:17, 26 November 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 10:52, 26 November 2012 (diff | hist) . . (+58) . . Meeting Minutes - November 26, 2012
- 10: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…")
- 11:26, 13 November 2012 (diff | hist) . . (+42) . . Meeting Minutes - November 27, 2012
- 11:25, 13 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 13, 2012 (current)
- 11:25, 13 November 2012 (diff | hist) . . (-1,031) . . Meeting Minutes - November 27, 2012 (→Action items)
- 10: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)…")
- 10:09, 13 November 2012 (diff | hist) . . (-85) . . Library (current)
- 10:07, 13 November 2012 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 10:02, 13 November 2012 (diff | hist) . . (+140) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 09:48, 13 November 2012 (diff | hist) . . (+34) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:48, 13 November 2012 (diff | hist) . . (-31) . . Meeting Minutes - November 13, 2012 (→Tasks during Andy's visit)
- 09:45, 13 November 2012 (diff | hist) . . (+49) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:44, 13 November 2012 (diff | hist) . . (+359) . . Meeting Minutes - November 13, 2012 (→Andy's EqualityQueryQuantifiersEngine)
- 09:34, 13 November 2012 (diff | hist) . . (+78) . . Meeting Minutes - November 13, 2012 (→Action items)
- 09:33, 13 November 2012 (diff | hist) . . (+511) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 09:00, 13 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 13, 2012 (→Models, sharing, subtypes, OH MY!)
- 08:58, 13 November 2012 (diff | hist) . . (+39) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 08:58, 13 November 2012 (diff | hist) . . (+79) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:57, 13 November 2012 (diff | hist) . . (+117) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:56, 13 November 2012 (diff | hist) . . (+1) . . Meeting Minutes - November 13, 2012 (→=DeltaRationals)
- 08:56, 13 November 2012 (diff | hist) . . (+19) . . Meeting Minutes - November 13, 2012 (→{{BUG|445}})
- 08:56, 13 November 2012 (diff | hist) . . (+122) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:55, 13 November 2012 (diff | hist) . . (+63) . . Meeting Minutes - November 13, 2012 (→Action items)
- 08:52, 13 November 2012 (diff | hist) . . (+83) . . Meeting Minutes - November 13, 2012 (→Action items)
- 08:47, 13 November 2012 (diff | hist) . . (+248) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:43, 13 November 2012 (diff | hist) . . (+369) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:33, 13 November 2012 (diff | hist) . . (+31) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 08:31, 13 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 13, 2012 (→Action items)
- 08:31, 13 November 2012 (diff | hist) . . (+25) . . Meeting Minutes - November 13, 2012 (→Status)
- 08:30, 13 November 2012 (diff | hist) . . (+319) . . Meeting Minutes - November 13, 2012 (→Status)
- 07:58, 13 November 2012 (diff | hist) . . (+204) . . Meeting Minutes - November 13, 2012 (→Discussion)
- 09:41, 12 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 13, 2012
- 09:39, 12 November 2012 (diff | hist) . . (+161) . . Meeting Minutes - November 13, 2012 (→{{BUG|444}})
- 09:38, 12 November 2012 (diff | hist) . . (-13) . . Meeting Minutes - November 13, 2012 (→{{BUG|444}})
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
