User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:40, 27 January 2014 (diff | hist) . . (+118) . . Meeting Minutes - January 27, 2014
- 12:32, 27 January 2014 (diff | hist) . . (+371) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:21, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:20, 27 January 2014 (diff | hist) . . (+99) . . Meeting Minutes - January 27, 2014 (→Status)
- 12:04, 27 January 2014 (diff | hist) . . (+166) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+27) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:57, 27 January 2014 (diff | hist) . . (+186) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (-11) . . Meeting Minutes - January 27, 2014 (→Status)
- 11:52, 27 January 2014 (diff | hist) . . (+439) . . N Meeting Minutes - January 27, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-27|1:30pm|3:30pm}} =Status= Morgan * some forward progress on ** proof compaction ** strings experiments for Tianyi for CAV ** rings p…")
- 12:31, 21 January 2014 (diff | hist) . . (-21) . . Meeting Minutes - January 21, 2014 (→Discussion) (current)
- 12:22, 21 January 2014 (diff | hist) . . (+77) . . Meeting Minutes - January 21, 2014
- 12:06, 21 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 21, 2014
- 11:59, 21 January 2014 (diff | hist) . . (+120) . . Meeting Minutes - January 21, 2014
- 11:56, 21 January 2014 (diff | hist) . . (+249) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:59, 21 January 2014 (diff | hist) . . (+20) . . Meeting Minutes - January 21, 2014 (→Followups)
- 06:58, 21 January 2014 (diff | hist) . . (-13) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:58, 21 January 2014 (diff | hist) . . (+69) . . Meeting Minutes - January 21, 2014 (→Status)
- 06:57, 21 January 2014 (diff | hist) . . (+190) . . Meeting Minutes - January 21, 2014
- 12:28, 18 January 2014 (diff | hist) . . (+157) . . N Meeting Minutes - January 21, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-01-21|1:30pm|3:30pm}} =Status= =Discussion= Partial functions in the theory of strings (e.g. "charAt" and "substr")")
- 12:28, 18 January 2014 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 12:31, 13 January 2014 (diff | hist) . . (+48) . . Meeting Minutes - January 13, 2014 (→Status) (current)
- 12:31, 13 January 2014 (diff | hist) . . (-1) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:30, 13 January 2014 (diff | hist) . . (+47) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (-2) . . Meeting Minutes - January 13, 2014 (→Status)
- 12:04, 13 January 2014 (diff | hist) . . (+241) . . Meeting Minutes - January 13, 2014 (→Status)
- 11:58, 13 January 2014 (diff | hist) . . (+39) . . Meeting Minutes - January 13, 2014 (→Follow-ups)
- 11:57, 13 January 2014 (diff | hist) . . (+187) . . Meeting Minutes - January 13, 2014
- 10:07, 13 January 2014 (diff | hist) . . (+86) . . Meeting Minutes - January 13, 2014
- 10:03, 13 January 2014 (diff | hist) . . (+986) . . Meeting Minutes - January 13, 2014
- 09:59, 13 January 2014 (diff | hist) . . (+62) . . Meeting Minutes - January 13, 2014
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
