User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:07, 15 April 2013 (diff | hist) . . (-2,232) . . Public:Third Party Applications (Undo revision 4602 by 63.238.72.56 (Talk))
- 12:06, 15 April 2013 (diff | hist) . . (-1) . . m Public:Third Party Applications (Reverted edits by 190.143.102.154 (Talk) to last revision by 63.238.72.56)
- 08:52, 13 April 2013 (diff | hist) . . (-1,595) . . m Public:Third Party Applications (Reverted edits by 81.82.217.56 (Talk) to last revision by Mdeters)
- 09:30, 9 April 2013 (diff | hist) . . (+22) . . Meeting Minutes - April 9, 2013 (→Status) (current)
- 09:29, 9 April 2013 (diff | hist) . . (+289) . . Meeting Minutes - April 9, 2013 (→Discussion)
- 08:56, 9 April 2013 (diff | hist) . . (+869) . . N Meeting Minutes - April 9, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-09|11:00am|1pm}} =Status= Morgan * completeness proofs w/ Stephane * release-related duties * installer for Mac OS X Clark * Preparat…")
- 09:55, 6 April 2013 (diff | hist) . . (-869) . . Public:Third Party Applications
- 04:44, 4 April 2013 (diff | hist) . . (-498) . . Public:Third Party Applications
- 12:46, 2 April 2013 (diff | hist) . . (+7) . . SMT-LIB Compliance
- 10:51, 2 April 2013 (diff | hist) . . (+70) . . Public:Third Party Applications (reverting spam)
- 09:14, 2 April 2013 (diff | hist) . . (+238) . . Meeting Minutes - April 2, 2013 (→Status) (current)
- 09:04, 2 April 2013 (diff | hist) . . (+678) . . N Meeting Minutes - April 2, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-02|11:00am|1pm}} =Status= Morgan * release-related duties Stephane * path schemas work - working paper in good shape Wei * https://d…")
- 08:58, 26 March 2013 (diff | hist) . . (+3) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1) (current)
- 08:43, 26 March 2013 (diff | hist) . . (0) . . Meeting Minutes - March 26, 2013
- 08:43, 26 March 2013 (diff | hist) . . (+861) . . Meeting Minutes - March 26, 2013 (→Status)
- 08:01, 26 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 08:00, 26 March 2013 (diff | hist) . . (+81) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 10:32, 25 March 2013 (diff | hist) . . (+120) . . Meeting Minutes - March 26, 2013
- 12:46, 20 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 15:05, 19 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013
- 13:48, 19 March 2013 (diff | hist) . . (+686) . . N Meeting Minutes - March 26, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-03-19|11:00am|1pm}} =Status= ==Run up to 1.1== Commits to go in: By Sunday 3/24/2013: * BV - core and inequality solver (Liana) * arra…")
- 12:18, 19 March 2013 (diff | hist) . . (+35) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1) (current)
- 11:56, 19 March 2013 (diff | hist) . . (+24) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 09:11, 19 March 2013 (diff | hist) . . (+74) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 08:49, 19 March 2013 (diff | hist) . . (+126) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 08:42, 19 March 2013 (diff | hist) . . (+1,282) . . Meeting Minutes - March 19, 2013 (→Status)
- 13:28, 18 March 2013 (diff | hist) . . (-1) . . Meeting Minutes - March 19, 2013
- 15:31, 13 March 2013 (diff | hist) . . (+103) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 15:29, 13 March 2013 (diff | hist) . . (+85) . . Meeting Minutes - March 19, 2013
- 15:28, 13 March 2013 (diff | hist) . . (+60) . . Meeting Minutes - March 19, 2013
- 15:28, 13 March 2013 (diff | hist) . . (+10) . . Meeting Minutes - March 19, 2013
- 15:27, 13 March 2013 (diff | hist) . . (+104) . . Meeting Minutes - March 19, 2013
- 17:27, 12 March 2013 (diff | hist) . . (-5) . . Meeting Minutes - March 19, 2013
- 17:26, 12 March 2013 (diff | hist) . . (+122) . . Meeting Minutes - March 19, 2013
- 17:24, 12 March 2013 (diff | hist) . . (+44) . . Meeting Minutes - March 19, 2013
- 17:23, 12 March 2013 (diff | hist) . . (+68) . . Meeting Minutes - March 19, 2013
- 17:15, 12 March 2013 (diff | hist) . . (-1) . . Meeting Minutes - March 19, 2013
- 17:15, 12 March 2013 (diff | hist) . . (+493) . . N Meeting Minutes - March 19, 2013 (Created page with "Morgan * KIND integration ** fixed {{bug|497}} *** in the process, got a [http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=5220&reference_id=5218&p=5 bit of an…")
- 08:45, 12 March 2013 (diff | hist) . . (+261) . . Meeting Minutes - March 12, 2013 (→Status) (current)
- 08:38, 12 March 2013 (diff | hist) . . (+53) . . Meeting Minutes - March 12, 2013 (→What do we want for SMT-EVAL)
- 08:37, 12 March 2013 (diff | hist) . . (+32) . . Meeting Minutes - March 12, 2013 (→Status)
- 08:36, 12 March 2013 (diff | hist) . . (+48) . . Meeting Minutes - March 12, 2013 (→Discussion)
- 08:36, 12 March 2013 (diff | hist) . . (+794) . . Meeting Minutes - March 12, 2013 (→Status)
- 17:02, 11 March 2013 (diff | hist) . . (-17) . . Meeting Minutes - March 12, 2013 (→Status)
- 17:02, 11 March 2013 (diff | hist) . . (+65) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:48, 11 March 2013 (diff | hist) . . (+108) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:45, 11 March 2013 (diff | hist) . . (+294) . . N Meeting Minutes - March 12, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-03-12|11:00am|1pm}} =Status= Morgan * * some KIND integration work ** --incremental --decision=justification much better performancewise…")
- 10:32, 5 March 2013 (diff | hist) . . (+25) . . Meeting Minutes - March 5, 2013 (→Discussion) (current)
- 09:55, 5 March 2013 (diff | hist) . . (+607) . . Meeting Minutes - March 5, 2013
- 09:19, 5 March 2013 (diff | hist) . . (+219) . . Meeting Minutes - March 5, 2013 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
