User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:02, 29 January 2013 (diff | hist) . . (+609) . . Meeting Minutes - January 29, 2013 (→Status)
- 09:47, 29 January 2013 (diff | hist) . . (+3) . . Meeting Minutes - January 29, 2013 (→Status)
- 09:45, 29 January 2013 (diff | hist) . . (+114) . . Meeting Minutes - January 29, 2013 (→Status)
- 09:45, 29 January 2013 (diff | hist) . . (0) . . Meeting Minutes - January 29, 2013
- 09:44, 29 January 2013 (diff | hist) . . (+351) . . Meeting Minutes - January 29, 2013 (→Status)
- 09:37, 29 January 2013 (diff | hist) . . (+641) . . Meeting Minutes - January 29, 2013 (→Status)
- 05:38, 29 January 2013 (diff | hist) . . (+158) . . Meeting Minutes - January 29, 2013 (→Discussion)
- 13:40, 28 January 2013 (diff | hist) . . (-1) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 13:39, 28 January 2013 (diff | hist) . . (+36) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 13:38, 28 January 2013 (diff | hist) . . (+4) . . Meeting Minutes - January 29, 2013 (→Arithmetic rewrite)
- 13:38, 28 January 2013 (diff | hist) . . (+2,544) . . Meeting Minutes - January 29, 2013 (→Discussion)
- 13:34, 28 January 2013 (diff | hist) . . (+10) . . Meeting Minutes - January 29, 2013
- 13:34, 28 January 2013 (diff | hist) . . (+298) . . N Meeting Minutes - January 29, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-01-29|11am|1pm}} =Status= Morgan * finished CADE-related experiments * MacOS port (stable port is "cvc4", nightly port is "cvc4-devel") *…")
- 10:59, 22 January 2013 (diff | hist) . . (+4) . . Developer's Guide (fix antlr.org links -> antlr3.org)
- 12:44, 19 January 2013 (diff | hist) . . (+28) . . Meeting Minutes - January 22, 2013 (→Discussion) (current)
- 12:44, 19 January 2013 (diff | hist) . . (-154) . . Meeting Minutes - January 22, 2013 (→Where do we go from here?)
- 09:32, 19 January 2013 (diff | hist) . . (+54) . . Meeting Minutes - January 22, 2013 (→Status)
- 09:30, 19 January 2013 (diff | hist) . . (+91) . . Meeting Minutes - January 22, 2013 (→Status)
- 08:47, 19 January 2013 (diff | hist) . . (0) . . Meeting Minutes - January 22, 2013 (→Where do we go from here?)
- 08:46, 19 January 2013 (diff | hist) . . (+17) . . Meeting Minutes - January 22, 2013
- 08:45, 19 January 2013 (diff | hist) . . (+42) . . Release checklist
- 08:45, 19 January 2013 (diff | hist) . . (+137) . . Meeting Minutes - January 22, 2013 (→Discussion)
- 08:44, 19 January 2013 (diff | hist) . . (+11) . . Release checklist
- 08:44, 19 January 2013 (diff | hist) . . (-666) . . Release checklist (Replaced content with "Release requirements for 1.1:")
- 08:43, 19 January 2013 (diff | hist) . . (-3) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 08:42, 19 January 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 08:42, 19 January 2013 (diff | hist) . . (+10) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 08:42, 19 January 2013 (diff | hist) . . (+3) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 08:42, 19 January 2013 (diff | hist) . . (+575) . . Developer Meeting Minutes
- 08:40, 19 January 2013 (diff | hist) . . (+28) . . Meeting Minutes - January 22, 2013 (→Status)
- 08:40, 19 January 2013 (diff | hist) . . (+351) . . N Meeting Minutes - January 22, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-01-22|11am|1pm}} =Status= Morgan * CADE experiments * web stats * MacOS port (stable port is "cvc4", nightly port is "cvc4-devel") ** ''…")
- 08:37, 19 January 2013 (diff | hist) . . (+87) . . Meeting Minutes - January 17, 2013 (current)
- 08:36, 19 January 2013 (diff | hist) . . (+720) . . N Developer Meeting Minutes for 2013 (Created page with "==First Quarter 2013== <ul>{{ mtgindex|2013-01-17}}{{ mtgindex|2013-01-22}}{{ mtgindex|2013-01-29}}{{ mtgindex|2013-02-05}}{{ mtgindex|2013-02-12}}{{ mtgindex|2013-02-19}}{{ mtg…")
- 08:33, 19 January 2013 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 08:59, 17 January 2013 (diff | hist) . . (+61) . . Meeting Minutes - January 17, 2013
- 08:58, 17 January 2013 (diff | hist) . . (+57) . . Meeting Minutes - December 18, 2012 (current)
- 08:58, 17 January 2013 (diff | hist) . . (+12) . . N Meeting Minutes - January 17, 2013 (Created page with "=Discussion=")
- 08:57, 17 January 2013 (diff | hist) . . (-73) . . MediaWiki:Sidebar (current)
- 10:00, 18 December 2012 (diff | hist) . . (+623) . . N Meeting Minutes - December 18, 2012 (Created page with "=Status= Morgan/Stephane * verification of counter systems * pushing forward a few ideas about path schema subsumption Kshitij * Junjie compile issues with CVC4 * course gradin…")
- 10:27, 11 December 2012 (diff | hist) . . (-227) . . Meeting Minutes - December 11, 2012 (→Discussion) (current)
- 10:16, 11 December 2012 (diff | hist) . . (+454) . . Meeting Minutes - December 11, 2012 (→Status)
- 09:39, 11 December 2012 (diff | hist) . . (+62) . . Meeting Minutes - December 11, 2012 (→Status)
- 21:30, 10 December 2012 (diff | hist) . . (+51) . . Meeting Minutes - December 11, 2012 (→Old repo)
- 15:50, 10 December 2012 (diff | hist) . . (+1) . . Meeting Minutes - December 11, 2012 (→Status)
- 15:49, 10 December 2012 (diff | hist) . . (+54) . . Meeting Minutes - December 11, 2012 (→Old repo)
- 15:49, 10 December 2012 (diff | hist) . . (+200) . . Meeting Minutes - December 11, 2012
- 10:37, 10 December 2012 (diff | hist) . . (-67) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 10:36, 10 December 2012 (diff | hist) . . (-744) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2012)
- 10:36, 10 December 2012 (diff | hist) . . (+224) . . Developer Meeting Minutes for 2012 (current)
- 10:36, 10 December 2012 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
