User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08: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")
- 07:49, 9 January 2014 (diff | hist) . . (+1) . . Meeting Minutes - January 6, 2014 (→Status) (current)
- 11:45, 6 January 2014 (diff | hist) . . (+71) . . Meeting Minutes - January 6, 2014 (→Followups)
- 11:44, 6 January 2014 (diff | hist) . . (+13) . . Meeting Minutes - January 6, 2014 (→Discussion)
- 11:39, 6 January 2014 (diff | hist) . . (+108) . . Meeting Minutes - January 6, 2014 (→Followups)
- 11:38, 6 January 2014 (diff | hist) . . (+333) . . Meeting Minutes - January 6, 2014
- 11:20, 6 January 2014 (diff | hist) . . (+490) . . Meeting Minutes - January 6, 2014 (→Status)
- 10:56, 6 January 2014 (diff | hist) . . (+384) . . Meeting Minutes - January 6, 2014 (→Status)
- 10:42, 18 December 2013 (diff | hist) . . (+75) . . Meeting Minutes - January 6, 2014
- 10: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 *…")
- 10:40, 18 December 2013 (diff | hist) . . (+41) . . Developer Meeting Minutes (→Archived Meeting Minutes by Year)
- 10:40, 18 December 2013 (diff | hist) . . (+358) . . Developer Meeting Minutes (→Meeting calendar)
- 10: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…")
- 10:34, 18 December 2013 (diff | hist) . . (0) . . Developer Meeting Minutes for 2013 (→Third Quarter 2013) (current)
- 19:41, 16 December 2013 (diff | hist) . . (+22) . . Meeting Minutes - December 16, 2013 (→Follow ups) (current)
- 11:46, 16 December 2013 (diff | hist) . . (+45) . . Meeting Minutes - December 16, 2013 (→Discussion)
- 11:29, 16 December 2013 (diff | hist) . . (+103) . . Meeting Minutes - December 16, 2013 (→Status)
- 11:21, 16 December 2013 (diff | hist) . . (+294) . . Meeting Minutes - December 16, 2013 (→Follow ups)
- 11:03, 16 December 2013 (diff | hist) . . (-14) . . Meeting Minutes - December 16, 2013 (→Follow-ups)
- 11:03, 16 December 2013 (diff | hist) . . (+66) . . Meeting Minutes - December 16, 2013 (→Status)
- 11:00, 16 December 2013 (diff | hist) . . (-97) . . Meeting Minutes - December 16, 2013 (→Status)
- 10:59, 16 December 2013 (diff | hist) . . (+228) . . Meeting Minutes - December 16, 2013 (→Status)
- 22:01, 12 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 16, 2013 (→Status)
- 22:01, 12 December 2013 (diff | hist) . . (+44) . . Meeting Minutes - December 16, 2013
- 16:04, 12 December 2013 (diff | hist) . . (+87) . . Meeting Minutes - December 16, 2013
- 21:42, 11 December 2013 (diff | hist) . . (+157) . . Meeting Minutes - December 16, 2013 (→Status)
- 11:57, 11 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 16, 2013
- 11:57, 11 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 16, 2013
- 11: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…")
- 20:22, 10 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013 (→Followups) (current)
- 12:06, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:03, 9 December 2013 (diff | hist) . . (+51) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 12:02, 9 December 2013 (diff | hist) . . (+28) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:02, 9 December 2013 (diff | hist) . . (+29) . . Meeting Minutes - December 9, 2013 (→Followups)
- 12:00, 9 December 2013 (diff | hist) . . (+47) . . Meeting Minutes - December 9, 2013
- 11:54, 9 December 2013 (diff | hist) . . (+4) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 11:43, 9 December 2013 (diff | hist) . . (+180) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 11:28, 9 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 9, 2013 (→Followups)
- 11:27, 9 December 2013 (diff | hist) . . (+102) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:24, 9 December 2013 (diff | hist) . . (+32) . . Meeting Minutes - December 9, 2013 (→Followups)
- 11:13, 9 December 2013 (diff | hist) . . (+132) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:07, 9 December 2013 (diff | hist) . . (+68) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:01, 9 December 2013 (diff | hist) . . (+27) . . Meeting Minutes - December 9, 2013 (→Followups)
- 11:01, 9 December 2013 (diff | hist) . . (+16) . . Meeting Minutes - December 9, 2013 (→Discussion)
- 11:00, 9 December 2013 (diff | hist) . . (+1) . . Meeting Minutes - December 9, 2013 (→Status)
- 11:00, 9 December 2013 (diff | hist) . . (+90) . . Meeting Minutes - December 9, 2013
- 11:00, 9 December 2013 (diff | hist) . . (+49) . . Meeting Minutes - December 9, 2013 (→Status)
- 10:59, 9 December 2013 (diff | hist) . . (-3) . . Meeting Minutes - December 9, 2013 (→Status)
- 10:59, 9 December 2013 (diff | hist) . . (+6) . . Meeting Minutes - December 9, 2013 (→Status)
- 10: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)
