User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:22, 13 August 2013 (diff | hist) . . (+18) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:22, 13 August 2013 (diff | hist) . . (+1,128) . . N Meeting Minutes - August 14, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-08-14|1:30pm|3:30pm}} =Status= Morgan * poster * numerous bugfixes * incrementality * papers (w/ Stephane) Liana Wei Tim Kshitij And…")
- 15:20, 31 July 2013 (diff | hist) . . (0) . . Developer's Guide (→Adding theory support to the parser)
- 15:17, 31 July 2013 (diff | hist) . . (+2) . . Developer's Guide (→Adding theory support to the parser)
- 12:38, 11 July 2013 (diff | hist) . . (0) . . Public:Third Party Applications
- 12:37, 11 July 2013 (diff | hist) . . (+335) . . Public:Third Party Applications
- 10:32, 6 July 2013 (diff | hist) . . (+96) . . Public:Third Party Applications
- 08:58, 1 June 2013 (diff | hist) . . (-337) . . Public:Third Party Applications (Undo revision 4654 by 198.61.225.140 (Talk))
- 08:58, 1 June 2013 (diff | hist) . . (-54) . . m Public:Third Party Applications (Reverted edits by 193.36.178.45 (Talk) to last revision by 198.61.225.140)
- 09:01, 31 May 2013 (diff | hist) . . (-320) . . Public:Third Party Applications (Undo revision 4650 by 4.30.97.163 (Talk))
- 09:01, 31 May 2013 (diff | hist) . . (+49) . . m Public:Third Party Applications (Reverted edits by 186.177.17.226 (Talk) to last revision by 4.30.97.163)
- 13:12, 30 May 2013 (diff | hist) . . (-386) . . m Public:Third Party Applications (Reverted edits by 5.53.134.241 (Talk) to last revision by Mdeters)
- 08:58, 29 May 2013 (diff | hist) . . (+28) . . SMT-LIB Compliance
- 08:58, 29 May 2013 (diff | hist) . . (-95) . . SMT-LIB Compliance
- 12:43, 27 May 2013 (diff | hist) . . (-273) . . m Public:Third Party Applications (Reverted edits by 174.142.18.252 (Talk) to last revision by Mdeters)
- 07:10, 25 May 2013 (diff | hist) . . (-934) . . m Public:Third Party Applications (Reverted edits by 78.128.76.231 (Talk) to last revision by Mdeters)
- 04:34, 24 May 2013 (diff | hist) . . (-22) . . m Public:Third Party Applications (Reverted edits by 42.96.129.66 (Talk) to last revision by 69.122.19.66)
- 07:43, 21 May 2013 (diff | hist) . . (+462) . . N Meeting Minutes - May 21, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-05-21|11:00am|1pm}} =Status= Morgan * numerous bugfixes, mostly compliance issues raised by David Cok Liana * fmcad paper ** justificati…") (current)
- 04:06, 16 May 2013 (diff | hist) . . (-7) . . m Public:Third Party Applications (Reverted edits by 151.58.238.13 (Talk) to last revision by Mdeters)
- 08:13, 14 May 2013 (diff | hist) . . (+56) . . Meeting Minutes - May 14, 2013 (current)
- 08:10, 14 May 2013 (diff | hist) . . (-7) . . Public:Third Party Applications
- 08: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)
- 08:06, 14 May 2013 (diff | hist) . . (+60) . . Meeting Minutes - May 14, 2013
- 08: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…")
- 08:02, 7 May 2013 (diff | hist) . . (+59) . . Meeting Minutes - May 7, 2013 (current)
- 08: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…")
- 08:28, 30 April 2013 (diff | hist) . . (+144) . . Meeting Minutes - April 30, 2013 (→Discussion) (current)
- 07:58, 30 April 2013 (diff | hist) . . (+1,509) . . Meeting Minutes - April 30, 2013 (→Status)
- 13:08, 29 April 2013 (diff | hist) . . (+117) . . Meeting Minutes - April 30, 2013 (→Discussion)
- 11: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…")
- 08:23, 25 April 2013 (diff | hist) . . (+372) . . Meeting Minutes - April 25, 2013 (current)
- 08:04, 25 April 2013 (diff | hist) . . (+523) . . Meeting Minutes - April 25, 2013
- 07:58, 25 April 2013 (diff | hist) . . (+1,518) . . Meeting Minutes - April 25, 2013 (→Status)
- 16:40, 24 April 2013 (diff | hist) . . (+88) . . Meeting Minutes - April 25, 2013 (→Status)
- 16:02, 24 April 2013 (diff | hist) . . (+40) . . Meeting Minutes - April 25, 2013 (→Discussion)
- 16:01, 24 April 2013 (diff | hist) . . (+252) . . Meeting Minutes - April 25, 2013
- 16:00, 24 April 2013 (diff | hist) . . (0) . . Developer Meeting Minutes (→Meeting calendar)
- 15:30, 24 April 2013 (diff | hist) . . (+77) . . Meeting Minutes - April 25, 2013
- 15: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}}")
- 04: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)
- 11:07, 15 April 2013 (diff | hist) . . (-2,232) . . Public:Third Party Applications (Undo revision 4602 by 63.238.72.56 (Talk))
- 11: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)
- 07: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)
- 08:30, 9 April 2013 (diff | hist) . . (+22) . . Meeting Minutes - April 9, 2013 (→Status) (current)
- 08:29, 9 April 2013 (diff | hist) . . (+289) . . Meeting Minutes - April 9, 2013 (→Discussion)
- 07: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…")
- 08:55, 6 April 2013 (diff | hist) . . (-869) . . Public:Third Party Applications
- 03:44, 4 April 2013 (diff | hist) . . (-498) . . Public:Third Party Applications
- 11:46, 2 April 2013 (diff | hist) . . (+7) . . SMT-LIB Compliance
- 09:51, 2 April 2013 (diff | hist) . . (+70) . . Public:Third Party Applications (reverting spam)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
