User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:08, 9 December 2013 (diff | hist) . . (-1) . . Acknowledgments (current)
- 07:08, 9 December 2013 (diff | hist) . . (+73) . . Acknowledgments
- 07:04, 9 December 2013 (diff | hist) . . (+607) . . CVC4 Copyright (current)
- 07:03, 9 December 2013 (diff | hist) . . (0) . . CVC4 Copyright
- 07:03, 9 December 2013 (diff | hist) . . (+6) . . CVC4 Copyright
- 07:01, 9 December 2013 (diff | hist) . . (-39) . . About CVC4
- 07:01, 9 December 2013 (diff | hist) . . (+60) . . About CVC4
- 12:11, 2 December 2013 (diff | hist) . . (+7) . . Meeting Minutes - December 2, 2013 (→Release) (current)
- 11:35, 2 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:32, 2 December 2013 (diff | hist) . . (+162) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:29, 2 December 2013 (diff | hist) . . (+69) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:27, 2 December 2013 (diff | hist) . . (+179) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:23, 2 December 2013 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2013 (→Rings)
- 11:22, 2 December 2013 (diff | hist) . . (+26) . . N File:Manual ring 2exp10 3vars 0ite unsat.smt2 (Example from Tim 12/2/2013) (current)
- 11:21, 2 December 2013 (diff | hist) . . (+2) . . Meeting Minutes - December 2, 2013 (→Rings)
- 11:21, 2 December 2013 (diff | hist) . . (+50) . . Meeting Minutes - December 2, 2013 (→Rings)
- 11:20, 2 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2013 (→Rings)
- 11:20, 2 December 2013 (diff | hist) . . (+1,907) . . Meeting Minutes - December 2, 2013
- 11:18, 2 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 2, 2013 (→Release)
- 11:16, 2 December 2013 (diff | hist) . . (+12) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:16, 2 December 2013 (diff | hist) . . (+119) . . Meeting Minutes - December 2, 2013 (→Agenda)
- 11:14, 2 December 2013 (diff | hist) . . (+81) . . Meeting Minutes - December 2, 2013 (→Release)
- 11:13, 2 December 2013 (diff | hist) . . (+19) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:13, 2 December 2013 (diff | hist) . . (+146) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:07, 2 December 2013 (diff | hist) . . (+77) . . Meeting Minutes - December 2, 2013 (→Status)
- 11:02, 2 December 2013 (diff | hist) . . (+31) . . Meeting Minutes - December 2, 2013
- 11:02, 2 December 2013 (diff | hist) . . (+324) . . Meeting Minutes - December 2, 2013
- 15:41, 27 November 2013 (diff | hist) . . (+174) . . Meeting Minutes - December 2, 2013
- 12:57, 27 November 2013 (diff | hist) . . (+1) . . About CVC4
- 08: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…")
- 12:10, 25 November 2013 (diff | hist) . . (+390) . . Meeting Minutes - November 25, 2013 (→Inter-theory communication) (current)
- 11:51, 25 November 2013 (diff | hist) . . (+314) . . Meeting Minutes - November 25, 2013 (→Agenda)
- 11:33, 25 November 2013 (diff | hist) . . (+194) . . Meeting Minutes - November 25, 2013 (→Status)
- 11:19, 25 November 2013 (diff | hist) . . (+269) . . Meeting Minutes - November 25, 2013 (→Status)
- 10:57, 25 November 2013 (diff | hist) . . (+149) . . Meeting Minutes - November 25, 2013 (→Status)
- 10:57, 25 November 2013 (diff | hist) . . (+235) . . Meeting Minutes - November 25, 2013 (→Status)
- 10:46, 25 November 2013 (diff | hist) . . (+63) . . Meeting Minutes - November 25, 2013 (→Status)
- 10:39, 25 November 2013 (diff | hist) . . (+71) . . Meeting Minutes - November 25, 2013
- 10:29, 25 November 2013 (diff | hist) . . (+52) . . Meeting Minutes - November 25, 2013
- 10:45, 23 November 2013 (diff | hist) . . (+34) . . Meeting Minutes - November 25, 2013
- 14: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==")
- 12:29, 18 November 2013 (diff | hist) . . (+406) . . Meeting Minutes - November 18, 2013 (→Followups) (current)
- 11:56, 18 November 2013 (diff | hist) . . (+62) . . Meeting Minutes - November 18, 2013
- 11:53, 18 November 2013 (diff | hist) . . (+451) . . Meeting Minutes - November 18, 2013
- 11:29, 18 November 2013 (diff | hist) . . (-1) . . Meeting Minutes - November 18, 2013
- 11: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…")
- 12:31, 11 November 2013 (diff | hist) . . (+273) . . User Manual (→Exit status)
- 12:11, 11 November 2013 (diff | hist) . . (+87) . . User Manual (→Exit status)
- 12:11, 11 November 2013 (diff | hist) . . (-1,571) . . User Manual (→Exit status)
- 12:09, 11 November 2013 (diff | hist) . . (+186) . . Meeting Minutes - November 11, 2013 (→Boolean term conversion) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
