User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 06:58, 5 March 2013 (diff | hist) . . (+24) . . Meeting Minutes - March 5, 2013
- 06: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")
- 10:28, 26 February 2013 (diff | hist) . . (+681) . . Meeting Minutes - February 26, 2013 (current)
- 10:00, 26 February 2013 (diff | hist) . . (+60) . . Meeting Minutes - February 26, 2013
- 09: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 …")
- 05:30, 22 February 2013 (diff | hist) . . (-173) . . Public talk:Third Party Applications (Blanked the page) (current)
- 14:05, 14 February 2013 (diff | hist) . . (+40) . . Meeting Minutes - February 19, 2013 (→Discussion) (current)
- 08:47, 13 February 2013 (diff | hist) . . (+1) . . Meeting Minutes - February 19, 2013 (→Status)
- 08:47, 13 February 2013 (diff | hist) . . (+54) . . Meeting Minutes - February 19, 2013
- 08: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)
