User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:10, 14 May 2013 (diff | hist) . . (-7) . . Public:Third Party Applications
- 09:06, 14 May 2013 (diff | hist) . . (+23) . . m Public:Third Party Applications (Reverted edits by 124.195.9.125 (Talk) to last revision by 2.228.151.221)
- 09:06, 14 May 2013 (diff | hist) . . (+60) . . Meeting Minutes - May 14, 2013
- 09:05, 14 May 2013 (diff | hist) . . (+1,075) . . N Meeting Minutes - May 14, 2013 (Created page with "=Status= Clark * baby Andy * CASC, binary due next Monday ** will refactor some, run final tests * expecting middle-of-the-pack for FOF * decently high expectations (perhaps ev…")
- 09:02, 7 May 2013 (diff | hist) . . (+59) . . Meeting Minutes - May 7, 2013 (current)
- 09:01, 7 May 2013 (diff | hist) . . (+1,320) . . N Meeting Minutes - May 7, 2013 (Created page with " =Status= Morgan * preparing for release Clark * investigating some slowdowns, arrays bug (?) Stephane * undecidability proof for 1SL2 * slides for Thursday's seminar * FroCoS…")
- 09:28, 30 April 2013 (diff | hist) . . (+144) . . Meeting Minutes - April 30, 2013 (→Discussion) (current)
- 08:58, 30 April 2013 (diff | hist) . . (+1,509) . . Meeting Minutes - April 30, 2013 (→Status)
- 14:08, 29 April 2013 (diff | hist) . . (+117) . . Meeting Minutes - April 30, 2013 (→Discussion)
- 12:06, 29 April 2013 (diff | hist) . . (+356) . . N Meeting Minutes - April 30, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-30|11:00am|1pm}} =Status= Morgan * glpk stuff, fcsimplex merge * lazy-defs checking * working with Stephane on various projects * pape…")
- 09:23, 25 April 2013 (diff | hist) . . (+372) . . Meeting Minutes - April 25, 2013 (current)
- 09:04, 25 April 2013 (diff | hist) . . (+523) . . Meeting Minutes - April 25, 2013
- 08:58, 25 April 2013 (diff | hist) . . (+1,518) . . Meeting Minutes - April 25, 2013 (→Status)
- 17:40, 24 April 2013 (diff | hist) . . (+88) . . Meeting Minutes - April 25, 2013 (→Status)
- 17:02, 24 April 2013 (diff | hist) . . (+40) . . Meeting Minutes - April 25, 2013 (→Discussion)
- 17:01, 24 April 2013 (diff | hist) . . (+252) . . Meeting Minutes - April 25, 2013
- 17:00, 24 April 2013 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 16:30, 24 April 2013 (diff | hist) . . (+77) . . Meeting Minutes - April 25, 2013
- 16:29, 24 April 2013 (diff | hist) . . (+58) . . N Meeting Minutes - April 25, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-04-25|11:00am|1pm}}")
- 05:20, 19 April 2013 (diff | hist) . . (-1,435) . . m Public:Third Party Applications (Reverted edits by 208.115.77.11 (Talk) to last revision by Mdeters)
- 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
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
