User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:45, 19 January 2013 (diff | hist) . . (+42) . . Release checklist
- 07:45, 19 January 2013 (diff | hist) . . (+137) . . Meeting Minutes - January 22, 2013 (→Discussion)
- 07:44, 19 January 2013 (diff | hist) . . (+11) . . Release checklist
- 07:44, 19 January 2013 (diff | hist) . . (-666) . . Release checklist (Replaced content with "Release requirements for 1.1:")
- 07:43, 19 January 2013 (diff | hist) . . (-3) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 07:42, 19 January 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 07:42, 19 January 2013 (diff | hist) . . (+10) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 07:42, 19 January 2013 (diff | hist) . . (+3) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 07:42, 19 January 2013 (diff | hist) . . (+575) . . Developer Meeting Minutes
- 07:40, 19 January 2013 (diff | hist) . . (+28) . . Meeting Minutes - January 22, 2013 (→Status)
- 07: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") ** ''…")
- 07:37, 19 January 2013 (diff | hist) . . (+87) . . Meeting Minutes - January 17, 2013 (current)
- 07: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…")
- 07:33, 19 January 2013 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 07:59, 17 January 2013 (diff | hist) . . (+61) . . Meeting Minutes - January 17, 2013
- 07:58, 17 January 2013 (diff | hist) . . (+57) . . Meeting Minutes - December 18, 2012 (current)
- 07:58, 17 January 2013 (diff | hist) . . (+12) . . N Meeting Minutes - January 17, 2013 (Created page with "=Discussion=")
- 07:57, 17 January 2013 (diff | hist) . . (-73) . . MediaWiki:Sidebar (current)
- 09: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…")
- 09:27, 11 December 2012 (diff | hist) . . (-227) . . Meeting Minutes - December 11, 2012 (→Discussion) (current)
- 09:16, 11 December 2012 (diff | hist) . . (+454) . . Meeting Minutes - December 11, 2012 (→Status)
- 08:39, 11 December 2012 (diff | hist) . . (+62) . . Meeting Minutes - December 11, 2012 (→Status)
- 20:30, 10 December 2012 (diff | hist) . . (+51) . . Meeting Minutes - December 11, 2012 (→Old repo)
- 14:50, 10 December 2012 (diff | hist) . . (+1) . . Meeting Minutes - December 11, 2012 (→Status)
- 14:49, 10 December 2012 (diff | hist) . . (+54) . . Meeting Minutes - December 11, 2012 (→Old repo)
- 14:49, 10 December 2012 (diff | hist) . . (+200) . . Meeting Minutes - December 11, 2012
- 09:37, 10 December 2012 (diff | hist) . . (-67) . . Developer Meeting Minutes (→Recent and upcoming meetings)
- 09:36, 10 December 2012 (diff | hist) . . (-744) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2012)
- 09:36, 10 December 2012 (diff | hist) . . (+224) . . Developer Meeting Minutes for 2012 (current)
- 09:36, 10 December 2012 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 09:36, 10 December 2012 (diff | hist) . . (-3) . . Developer Meeting Minutes (→Archived Meeting Minutes (pre-2012))
- 09:35, 10 December 2012 (diff | hist) . . (-462) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2012)
- 09:35, 10 December 2012 (diff | hist) . . (-265) . . Developer Meeting Minutes (→First Quarter 2012)
- 09:35, 10 December 2012 (diff | hist) . . (+86) . . Developer Meeting Minutes for 2012 (→Fourth Quarter 2012)
- 09:34, 10 December 2012 (diff | hist) . . (+200) . . Developer Meeting Minutes for 2012 (→Third Quarter 2012)
- 09:33, 10 December 2012 (diff | hist) . . (+25) . . Meeting Minutes - December 11, 2012 (→Status)
- 09:33, 10 December 2012 (diff | hist) . . (+6) . . Meeting Minutes - December 11, 2012 (→Status)
- 09:33, 10 December 2012 (diff | hist) . . (+16) . . Meeting Minutes - December 11, 2012 (→Status)
- 09: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…")
- 13:41, 6 December 2012 (diff | hist) . . (-1) . . m Git Workflow (→Tutorials on Git)
- 05:36, 4 December 2012 (diff | hist) . . (0) . . Meeting Minutes - December 4, 2012 (current)
- 05:35, 4 December 2012 (diff | hist) . . (+27) . . Meeting Minutes - December 4, 2012 (→What to do about the cluster of one?)
- 05:35, 4 December 2012 (diff | hist) . . (+42) . . Meeting Minutes - December 4, 2012 (→Policy going forward)
- 05:35, 4 December 2012 (diff | hist) . . (+225) . . Meeting Minutes - December 4, 2012 (→Discussion items)
- 05:32, 4 December 2012 (diff | hist) . . (+37) . . Meeting Minutes - December 4, 2012
- 05:29, 4 December 2012 (diff | hist) . . (+21) . . Meeting Minutes - December 4, 2012 (→Updating the wishlist)
- 13:34, 3 December 2012 (diff | hist) . . (+3) . . CVC4 Copyright
- 13:34, 3 December 2012 (diff | hist) . . (-53) . . CVC4 Copyright
- 11:58, 3 December 2012 (diff | hist) . . (+77) . . CVC4 Wishlist (→New, proposed items (12/3/2012)) (current)
- 11:56, 3 December 2012 (diff | hist) . . (+343) . . CVC4 Wishlist
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
