User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:58, 13 January 2014 (diff | hist) . . (+103) . . N Meeting Minutes - January 13, 2014 (Created page with "http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=5980&reference_id=5978&category=&p=5")
- 08:49, 9 January 2014 (diff | hist) . . (+1) . . Meeting Minutes - January 6, 2014 (→Status) (current)
- 12:45, 6 January 2014 (diff | hist) . . (+71) . . Meeting Minutes - January 6, 2014 (→Followups)
- 12:44, 6 January 2014 (diff | hist) . . (+13) . . Meeting Minutes - January 6, 2014 (→Discussion)
- 12:39, 6 January 2014 (diff | hist) . . (+108) . . Meeting Minutes - January 6, 2014 (→Followups)
- 12:38, 6 January 2014 (diff | hist) . . (+333) . . Meeting Minutes - January 6, 2014
- 12:20, 6 January 2014 (diff | hist) . . (+490) . . Meeting Minutes - January 6, 2014 (→Status)
- 11:56, 6 January 2014 (diff | hist) . . (+384) . . Meeting Minutes - January 6, 2014 (→Status)
- 11:42, 18 December 2013 (diff | hist) . . (+75) . . Meeting Minutes - January 6, 2014
- 11:41, 18 December 2013 (diff | hist) . . (+286) . . N Meeting Minutes - January 6, 2014 (Created page with "=Status= Morgan *enabled leaderboard over weekend *enabled preprocess compare-jobs script *CASCADE regressions *reviewed readline use **default configure is production-all-gpl *…")
- 11:40, 18 December 2013 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 11:40, 18 December 2013 (diff | hist) . . (+358) . . Developer Meeting Minutes (→Meeting calendar)
- 11:39, 18 December 2013 (diff | hist) . . (+1,392) . . N Developer Meeting Minutes for 2014 (Created page with "==First Quarter 2014== <ul>{{ mtgindex|2014-01-06}}{{ mtgindex|2014-01-13}}{{ mtgindex|2014-01-20}}{{ mtgindex|2014-01-27}}{{ mtgindex|2014-02-03}}{{ mtgindex|2014-02-10}}{{ mtg…")
- 11:34, 18 December 2013 (diff | hist) . . (0) . . Developer Meeting Minutes for 2013 (→Third Quarter 2013) (current)
- 20:41, 16 December 2013 (diff | hist) . . (+22) . . Meeting Minutes - December 16, 2013 (→Follow ups) (current)
- 12:46, 16 December 2013 (diff | hist) . . (+45) . . Meeting Minutes - December 16, 2013 (→Discussion)
- 12:29, 16 December 2013 (diff | hist) . . (+103) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:21, 16 December 2013 (diff | hist) . . (+294) . . Meeting Minutes - December 16, 2013 (→Follow ups)
- 12:03, 16 December 2013 (diff | hist) . . (-14) . . Meeting Minutes - December 16, 2013 (→Follow-ups)
- 12:03, 16 December 2013 (diff | hist) . . (+66) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:00, 16 December 2013 (diff | hist) . . (-97) . . Meeting Minutes - December 16, 2013 (→Status)
- 11:59, 16 December 2013 (diff | hist) . . (+228) . . Meeting Minutes - December 16, 2013 (→Status)
- 23:01, 12 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 16, 2013 (→Status)
- 23:01, 12 December 2013 (diff | hist) . . (+44) . . Meeting Minutes - December 16, 2013
- 17:04, 12 December 2013 (diff | hist) . . (+87) . . Meeting Minutes - December 16, 2013
- 22:42, 11 December 2013 (diff | hist) . . (+157) . . Meeting Minutes - December 16, 2013 (→Status)
- 12:57, 11 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 16, 2013
- 12:57, 11 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 16, 2013
- 12:57, 11 December 2013 (diff | hist) . . (+370) . . N Meeting Minutes - December 16, 2013 (Created page with "=Status= Morgan * GLPK build improvements---license * StarExec jobs * CASCADE regressions * preprocessing statistic in database, compare script * follow-ups to everyone expectin…")
- 21:22, 10 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013 (→Followups) (current)
- 13:06, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:03, 9 December 2013 (diff | hist) . . (+51) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 13:02, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:02, 9 December 2013 (diff | hist) . . (+29) . . Meeting Minutes - December 9, 2013 (→Followups)
- 13:00, 9 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013
- 12:54, 9 December 2013 (diff | hist) . . (+4) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:43, 9 December 2013 (diff | hist) . . (+180) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:28, 9 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:27, 9 December 2013 (diff | hist) . . (+102) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:24, 9 December 2013 (diff | hist) . . (+32) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:13, 9 December 2013 (diff | hist) . . (+132) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:07, 9 December 2013 (diff | hist) . . (+68) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:01, 9 December 2013 (diff | hist) . . (+27) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:01, 9 December 2013 (diff | hist) . . (+16) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:00, 9 December 2013 (diff | hist) . . (+1) . . Meeting Minutes - December 9, 2013 (→Status)
- 12:00, 9 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 9, 2013
- 12:00, 9 December 2013 (diff | hist) . . (+49) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:59, 9 December 2013 (diff | hist) . . (-3) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:59, 9 December 2013 (diff | hist) . . (+6) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:57, 9 December 2013 (diff | hist) . . (+559) . . N Meeting Minutes - December 9, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-12-09|1:30pm|3:30pm}} =Status= Release 1.3 is out! Morgan * release duties * seminar given Wei * Kshitij * sets * leaving in 2 days …")
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
