User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:14, 2 April 2013 (diff | hist) . . (+238) . . Meeting Minutes - April 2, 2013 (→Status) (current)
- 08: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…")
- 07:58, 26 March 2013 (diff | hist) . . (+3) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1) (current)
- 07:43, 26 March 2013 (diff | hist) . . (0) . . Meeting Minutes - March 26, 2013
- 07:43, 26 March 2013 (diff | hist) . . (+861) . . Meeting Minutes - March 26, 2013 (→Status)
- 07:01, 26 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 07:00, 26 March 2013 (diff | hist) . . (+81) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 09:32, 25 March 2013 (diff | hist) . . (+120) . . Meeting Minutes - March 26, 2013
- 11:46, 20 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013 (→Run up to 1.1)
- 14:05, 19 March 2013 (diff | hist) . . (+27) . . Meeting Minutes - March 26, 2013
- 12: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…")
- 11:18, 19 March 2013 (diff | hist) . . (+35) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1) (current)
- 10:56, 19 March 2013 (diff | hist) . . (+24) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 08:11, 19 March 2013 (diff | hist) . . (+74) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 07:49, 19 March 2013 (diff | hist) . . (+126) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 07:42, 19 March 2013 (diff | hist) . . (+1,282) . . Meeting Minutes - March 19, 2013 (→Status)
- 12:28, 18 March 2013 (diff | hist) . . (-1) . . Meeting Minutes - March 19, 2013
- 14:31, 13 March 2013 (diff | hist) . . (+103) . . Meeting Minutes - March 19, 2013 (→Run up to 1.1)
- 14:29, 13 March 2013 (diff | hist) . . (+85) . . Meeting Minutes - March 19, 2013
- 14:28, 13 March 2013 (diff | hist) . . (+60) . . Meeting Minutes - March 19, 2013
- 14:28, 13 March 2013 (diff | hist) . . (+10) . . Meeting Minutes - March 19, 2013
- 14:27, 13 March 2013 (diff | hist) . . (+104) . . Meeting Minutes - March 19, 2013
- 16:27, 12 March 2013 (diff | hist) . . (-5) . . Meeting Minutes - March 19, 2013
- 16:26, 12 March 2013 (diff | hist) . . (+122) . . Meeting Minutes - March 19, 2013
- 16:24, 12 March 2013 (diff | hist) . . (+44) . . Meeting Minutes - March 19, 2013
- 16:23, 12 March 2013 (diff | hist) . . (+68) . . Meeting Minutes - March 19, 2013
- 16:15, 12 March 2013 (diff | hist) . . (-1) . . Meeting Minutes - March 19, 2013
- 16: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…")
- 07:45, 12 March 2013 (diff | hist) . . (+261) . . Meeting Minutes - March 12, 2013 (→Status) (current)
- 07:38, 12 March 2013 (diff | hist) . . (+53) . . Meeting Minutes - March 12, 2013 (→What do we want for SMT-EVAL)
- 07:37, 12 March 2013 (diff | hist) . . (+32) . . Meeting Minutes - March 12, 2013 (→Status)
- 07:36, 12 March 2013 (diff | hist) . . (+48) . . Meeting Minutes - March 12, 2013 (→Discussion)
- 07:36, 12 March 2013 (diff | hist) . . (+794) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:02, 11 March 2013 (diff | hist) . . (-17) . . Meeting Minutes - March 12, 2013 (→Status)
- 16:02, 11 March 2013 (diff | hist) . . (+65) . . Meeting Minutes - March 12, 2013 (→Status)
- 15:48, 11 March 2013 (diff | hist) . . (+108) . . Meeting Minutes - March 12, 2013 (→Status)
- 15: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…")
- 09:32, 5 March 2013 (diff | hist) . . (+25) . . Meeting Minutes - March 5, 2013 (→Discussion) (current)
- 08:55, 5 March 2013 (diff | hist) . . (+607) . . Meeting Minutes - March 5, 2013
- 08:19, 5 March 2013 (diff | hist) . . (+219) . . Meeting Minutes - March 5, 2013 (→Status)
- 05:58, 5 March 2013 (diff | hist) . . (+24) . . Meeting Minutes - March 5, 2013
- 05:58, 5 March 2013 (diff | hist) . . (+147) . . N Meeting Minutes - March 5, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-03-05|11:00am|1pm}} Morgan * SMT-Exec disk failure * CVC4 slowdown with KIND * extensions to NTS-LIB parser")
- 09:28, 26 February 2013 (diff | hist) . . (+681) . . Meeting Minutes - February 26, 2013 (current)
- 09:00, 26 February 2013 (diff | hist) . . (+60) . . Meeting Minutes - February 26, 2013
- 08:59, 26 February 2013 (diff | hist) . . (+979) . . N Meeting Minutes - February 26, 2013 (Created page with "=Status= Morgan * KIND integration * church lockdown * Java bindings issues * bugfixes * NTS parsing to support path schema enumeration/subsumption work Stephane * path schema …")
- 04:30, 22 February 2013 (diff | hist) . . (-173) . . Public talk:Third Party Applications (Blanked the page) (current)
- 13:05, 14 February 2013 (diff | hist) . . (+40) . . Meeting Minutes - February 19, 2013 (→Discussion) (current)
- 07:47, 13 February 2013 (diff | hist) . . (+1) . . Meeting Minutes - February 19, 2013 (→Status)
- 07:47, 13 February 2013 (diff | hist) . . (+54) . . Meeting Minutes - February 19, 2013
- 07:46, 13 February 2013 (diff | hist) . . (+14) . . Meeting Minutes - February 19, 2013 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
