User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 10:36, 10 December 2012 (diff | hist) . . (-3) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2012))
- 10:35, 10 December 2012 (diff | hist) . . (-462) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2012)
- 10:35, 10 December 2012 (diff | hist) . . (-265) . . Developer Meeting Minutes (→First Quarter 2012)
- 10:35, 10 December 2012 (diff | hist) . . (+86) . . Developer Meeting Minutes for 2012 (→Fourth Quarter 2012)
- 10:34, 10 December 2012 (diff | hist) . . (+200) . . Developer Meeting Minutes for 2012 (→Third Quarter 2012)
- 10:33, 10 December 2012 (diff | hist) . . (+25) . . Meeting Minutes - December 11, 2012 (→Status)
- 10:33, 10 December 2012 (diff | hist) . . (+6) . . Meeting Minutes - December 11, 2012 (→Status)
- 10:33, 10 December 2012 (diff | hist) . . (+16) . . Meeting Minutes - December 11, 2012 (→Status)
- 10:32, 10 December 2012 (diff | hist) . . (+339) . . N Meeting Minutes - December 11, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-12-11|11am|1pm}} =Status= * The move to GitHub is complete! Morgan *support script fixing *[http://cvc4.cs.nyu.edu/stats/ Stats] are ava…")
- 14:41, 6 December 2012 (diff | hist) . . (-1) . . m Git Workflow (→Tutorials on Git)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
