User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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 …")
- 08:08, 9 December 2013 (diff | hist) . . (-1) . . Acknowledgments (current)
- 08:08, 9 December 2013 (diff | hist) . . (+73) . . Acknowledgments
- 08:04, 9 December 2013 (diff | hist) . . (+607) . . CVC4 Copyright (current)
- 08:03, 9 December 2013 (diff | hist) . . (0) . . CVC4 Copyright
- 08:03, 9 December 2013 (diff | hist) . . (+6) . . CVC4 Copyright
- 08:01, 9 December 2013 (diff | hist) . . (-39) . . About CVC4
- 08:01, 9 December 2013 (diff | hist) . . (+60) . . About CVC4
- 13:11, 2 December 2013 (diff | hist) . . (+7) . . Meeting Minutes - December 2, 2013 (→Release) (current)
- 12:35, 2 December 2013 (diff | hist) . . (-2) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:32, 2 December 2013 (diff | hist) . . (+162) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:29, 2 December 2013 (diff | hist) . . (+69) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:27, 2 December 2013 (diff | hist) . . (+179) . . Meeting Minutes - December 2, 2013 (→Status)
- 12:23, 2 December 2013 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:22, 2 December 2013 (diff | hist) . . (+26) . . N File:Manual ring 2exp10 3vars 0ite unsat.smt2 (Example from Tim 12/2/2013) (current)
- 12:21, 2 December 2013 (diff | hist) . . (+2) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:21, 2 December 2013 (diff | hist) . . (+50) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:20, 2 December 2013 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2013 (→Rings)
- 12:20, 2 December 2013 (diff | hist) . . (+1,907) . . Meeting Minutes - December 2, 2013
- 12:18, 2 December 2013 (diff | hist) . . (+38) . . Meeting Minutes - December 2, 2013 (→Release)
- 12:16, 2 December 2013 (diff | hist) . . (+12) . . Meeting Minutes - December 2, 2013 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
