User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:53, 28 August 2013 (diff | hist) . . (+67) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+13) . . Meeting Minutes - August 28, 2013 (→Status)
- 10:52, 28 August 2013 (diff | hist) . . (+63) . . Meeting Minutes - August 28, 2013 (→Status)
- 15:24, 22 August 2013 (diff | hist) . . (-223) . . Meeting Minutes - August 21, 2013 (current)
- 15:24, 22 August 2013 (diff | hist) . . (+223) . . Meeting Minutes - August 28, 2013
- 15:23, 22 August 2013 (diff | hist) . . (+80) . . N Meeting Minutes - August 28, 2013 (Created page with "Category:Minutes {{mtglinks|||2013-08-28|1:30pm|3:30pm}} =Status= =Agenda=")
- 15:23, 22 August 2013 (diff | hist) . . (+192) . . Developer Meeting Minutes for 2013
- 15:21, 22 August 2013 (diff | hist) . . (+121) . . Developer Meeting Minutes for 2013 (→First Quarter 2013)
- 15:20, 22 August 2013 (diff | hist) . . (+336) . . Developer Meeting Minutes (→Meeting calendar)
- 15:16, 22 August 2013 (diff | hist) . . (0) . . About CVC4 (→Decision Procedures)
- 07:09, 20 August 2013 (diff | hist) . . (+26) . . Meeting Minutes - August 21, 2013
- 09:38, 15 August 2013 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Meeting calendar)
- 09:37, 15 August 2013 (diff | hist) . . (+24) . . Developer Meeting Minutes (→Meeting calendar)
- 09:36, 15 August 2013 (diff | hist) . . (0) . . Meeting Minutes - August 21, 2013
- 17:14, 14 August 2013 (diff | hist) . . (+62) . . Meeting Minutes - August 21, 2013
- 17:13, 14 August 2013 (diff | hist) . . (+1,268) . . N Meeting Minutes - August 21, 2013 (Created page with "=Status= =Agenda= ==Preprocessing and incrementality (Tim)== ==CVC4 bugs, release== * should quash these bugs before release ===ITE simplification bug=== # A term-level ITE…")
- 17:13, 14 August 2013 (diff | hist) . . (-1,206) . . Meeting Minutes - August 14, 2013 (current)
- 11:33, 14 August 2013 (diff | hist) . . (+191) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:30, 14 August 2013 (diff | hist) . . (+88) . . Meeting Minutes - August 14, 2013 (→Status)
- 11:13, 14 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 11:12, 14 August 2013 (diff | hist) . . (+645) . . Meeting Minutes - August 14, 2013 (→Status)
- 15:32, 13 August 2013 (diff | hist) . . (-39) . . Meeting Minutes - August 14, 2013 (→Cluster breakage)
- 15:02, 13 August 2013 (diff | hist) . . (+262) . . Meeting Minutes - August 14, 2013
- 12:34, 13 August 2013 (diff | hist) . . (+20) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:34, 13 August 2013 (diff | hist) . . (+48) . . Meeting Minutes - August 14, 2013
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:33, 13 August 2013 (diff | hist) . . (-24) . . Developer Meeting Minutes (→Meeting calendar)
- 12:26, 13 August 2013 (diff | hist) . . (+134) . . Meeting Minutes - August 14, 2013 (→CVC4 bugs, release)
- 12:24, 13 August 2013 (diff | hist) . . (+152) . . Meeting Minutes - August 14, 2013 (→Agenda)
- 12:23, 13 August 2013 (diff | hist) . . (+19) . . Meeting Minutes - August 14, 2013 (→Status)
- 12:22, 13 August 2013 (diff | hist) . . (+18) . . Meeting Minutes - August 14, 2013 (→Status)
- 12: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…")
- 16:20, 31 July 2013 (diff | hist) . . (0) . . Developer's Guide (→Adding theory support to the parser)
- 16:17, 31 July 2013 (diff | hist) . . (+2) . . Developer's Guide (→Adding theory support to the parser)
- 13:38, 11 July 2013 (diff | hist) . . (0) . . Public:Third Party Applications
- 13:37, 11 July 2013 (diff | hist) . . (+335) . . Public:Third Party Applications
- 11:32, 6 July 2013 (diff | hist) . . (+96) . . Public:Third Party Applications
- 09:58, 1 June 2013 (diff | hist) . . (-337) . . Public:Third Party Applications (Undo revision 4654 by 198.61.225.140 (Talk))
- 09: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)
- 10:01, 31 May 2013 (diff | hist) . . (-320) . . Public:Third Party Applications (Undo revision 4650 by 4.30.97.163 (Talk))
- 10: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)
- 14: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)
- 09:58, 29 May 2013 (diff | hist) . . (+28) . . SMT-LIB Compliance
- 09:58, 29 May 2013 (diff | hist) . . (-95) . . SMT-LIB Compliance
- 13: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)
- 08: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)
- 05: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)
- 08: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)
- 05: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)
- 09:13, 14 May 2013 (diff | hist) . . (+56) . . Meeting Minutes - May 14, 2013 (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
