User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:16, 2 December 2013 (diff | hist) . . (+119) . . Meeting Minutes - December 2, 2013 (→Agenda)
- 12:14, 2 December 2013 (diff | hist) . . (+81) . . Meeting Minutes - December 2, 2013 (→Release)
- 12:13, 2 December 2013 (diff | hist) . . (+19) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:13, 2 December 2013 (diff | hist) . . (+146) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:07, 2 December 2013 (diff | hist) . . (+77) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:02, 2 December 2013 (diff | hist) . . (+31) . . Meeting Minutes - December 2, 2013
- 12:02, 2 December 2013 (diff | hist) . . (+324) . . Meeting Minutes - December 2, 2013
- 16:41, 27 November 2013 (diff | hist) . . (+174) . . Meeting Minutes - December 2, 2013
- 13:57, 27 November 2013 (diff | hist) . . (+1) . . About CVC4
- 09:27, 27 November 2013 (diff | hist) . . (+286) . . N Meeting Minutes - December 2, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-12-02|1:30pm|3:30pm}} =Status= Morgan * preparing release ** library versioning ** debian packaging ** etc. * incremental mode default in…")
- 13:10, 25 November 2013 (diff | hist) . . (+390) . . Meeting Minutes - November 25, 2013 (→Inter-theory communication) (current)
- 12:51, 25 November 2013 (diff | hist) . . (+314) . . Meeting Minutes - November 25, 2013 (→Agenda)
- 12:33, 25 November 2013 (diff | hist) . . (+194) . . Meeting Minutes - November 25, 2013 (→Status)
- 12:19, 25 November 2013 (diff | hist) . . (+269) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:57, 25 November 2013 (diff | hist) . . (+149) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:57, 25 November 2013 (diff | hist) . . (+235) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:46, 25 November 2013 (diff | hist) . . (+63) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:39, 25 November 2013 (diff | hist) . . (+71) . . Meeting Minutes - November 25, 2013
- 11:29, 25 November 2013 (diff | hist) . . (+52) . . Meeting Minutes - November 25, 2013
- 11:45, 23 November 2013 (diff | hist) . . (+34) . . Meeting Minutes - November 25, 2013
- 15:54, 21 November 2013 (diff | hist) . . (+118) . . N Meeting Minutes - November 25, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-25|1:30pm|3:30pm}} =Agenda= ==Memory use== ==Inter-theory communication==")
- 13:29, 18 November 2013 (diff | hist) . . (+406) . . Meeting Minutes - November 18, 2013 (→Followups) (current)
- 12:56, 18 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 18, 2013
- 12:53, 18 November 2013 (diff | hist) . . (+451) . . Meeting Minutes - November 18, 2013
- 12:29, 18 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 18, 2013
- 12:25, 18 November 2013 (diff | hist) . . (+543) . . N Meeting Minutes - November 18, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-18|2pm|3:30pm}} =Status= Morgan Kshitij * Liana *[http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=5823&referenc…")
- 13:31, 11 November 2013 (diff | hist) . . (+273) . . User Manual (→Exit status)
- 13:11, 11 November 2013 (diff | hist) . . (+87) . . User Manual (→Exit status)
- 13:11, 11 November 2013 (diff | hist) . . (-1,571) . . User Manual (→Exit status)
- 13:09, 11 November 2013 (diff | hist) . . (+186) . . Meeting Minutes - November 11, 2013 (→Boolean term conversion) (current)
- 12:22, 11 November 2013 (diff | hist) . . (+466) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:56, 11 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:55, 11 November 2013 (diff | hist) . . (+422) . . Meeting Minutes - November 11, 2013 (→Status)
- 11:10, 11 November 2013 (diff | hist) . . (+61) . . Meeting Minutes - November 11, 2013
- 09:51, 11 November 2013 (diff | hist) . . (+54) . . Meeting Minutes - November 11, 2013
- 09:07, 11 November 2013 (diff | hist) . . (+548) . . Meeting Minutes - November 11, 2013
- 16:08, 4 November 2013 (diff | hist) . . (+60) . . N Meeting Minutes - November 11, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-11-11|1:30pm|3:30pm}}")
- 16:07, 4 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 4, 2013 (current)
- 13:31, 4 November 2013 (diff | hist) . . (+198) . . Meeting Minutes - November 4, 2013 (→Discussion)
- 13:18, 4 November 2013 (diff | hist) . . (+275) . . Meeting Minutes - November 4, 2013
- 12:58, 4 November 2013 (diff | hist) . . (+1,915) . . N Meeting Minutes - November 4, 2013 (Created page with "=Status= Morgan * AFOSR final report * set up infrastructure for CASCADE results database * path schema discussions with Stephane * KIND merge coming, other commits Liana * bit…")
- 12:14, 28 October 2013 (diff | hist) . . (+310) . . Meeting Minutes - October 28, 2013 (current)
- 11:27, 28 October 2013 (diff | hist) . . (+610) . . Meeting Minutes - October 28, 2013 (→Status)
- 19:41, 24 October 2013 (diff | hist) . . (+200) . . Meeting Minutes - October 28, 2013
- 14:50, 21 October 2013 (diff | hist) . . (0) . . Meeting Minutes - October 28, 2013
- 14:32, 21 October 2013 (diff | hist) . . (+115) . . Meeting Minutes - October 28, 2013
- 14:32, 21 October 2013 (diff | hist) . . (+62) . . Meeting Minutes - October 21, 2013 (current)
- 14:31, 21 October 2013 (diff | hist) . . (+117) . . N Meeting Minutes - October 28, 2013 (Created page with " Morgan * find HAMPI benchmarks / write to Vijay * datatypes thing?---getCardinality() caching * benchmarks for clark")
- 14:31, 21 October 2013 (diff | hist) . . (+14) . . Meeting Minutes - October 21, 2013 (→Follow-ups)
- 11:33, 21 October 2013 (diff | hist) . . (+1,597) . . Meeting Minutes - October 21, 2013 (→Agenda)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
