User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:37, 12 November 2012 (diff | hist) . . (+4) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 09:37, 12 November 2012 (diff | hist) . . (-2) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 09:37, 12 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 13, 2012 (→Bug 444)
- 09:37, 12 November 2012 (diff | hist) . . (+9) . . Meeting Minutes - November 13, 2012 (→{{{BUG|444}}})
- 09:37, 12 November 2012 (diff | hist) . . (+116) . . Meeting Minutes - November 13, 2012
- 13:05, 7 November 2012 (diff | hist) . . (+40) . . Meeting Minutes - November 13, 2012 (→Action items)
- 12:49, 7 November 2012 (diff | hist) . . (-54) . . Meeting Minutes - November 6, 2012 (→Action items) (current)
- 12:49, 7 November 2012 (diff | hist) . . (+2,323) . . N Meeting Minutes - November 13, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-13|11am|1pm}} =Status= =Discussion= =Action items= '''Code reviews:''' *Model generation (Clark) *Quantifiers (Dejan) *Preprocessing…")
- 12:25, 6 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 6, 2012 (→Action items)
- 11:58, 6 November 2012 (diff | hist) . . (+27) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:45, 6 November 2012 (diff | hist) . . (+118) . . Meeting Minutes - November 6, 2012 (→Model issues)
- 09:37, 6 November 2012 (diff | hist) . . (+73) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:36, 6 November 2012 (diff | hist) . . (+249) . . Meeting Minutes - November 6, 2012 (→Model issues)
- 09:32, 6 November 2012 (diff | hist) . . (+159) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:21, 6 November 2012 (diff | hist) . . (0) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:21, 6 November 2012 (diff | hist) . . (-24) . . Meeting Minutes - November 6, 2012 (→Incremental issues)
- 09:20, 6 November 2012 (diff | hist) . . (+277) . . Meeting Minutes - November 6, 2012 (→CVC native language)
- 09:06, 6 November 2012 (diff | hist) . . (+43) . . Meeting Minutes - November 6, 2012 (→Action items)
- 09:05, 6 November 2012 (diff | hist) . . (+31) . . Meeting Minutes - November 6, 2012 (→CVC native language)
- 08:48, 6 November 2012 (diff | hist) . . (+449) . . Meeting Minutes - November 6, 2012 (→Discussion)
- 08:39, 6 November 2012 (diff | hist) . . (+109) . . Meeting Minutes - November 6, 2012 (→Action items)
- 08:27, 6 November 2012 (diff | hist) . . (+61) . . Meeting Minutes - November 6, 2012 (→Discussion)
- 08:25, 6 November 2012 (diff | hist) . . (+16) . . CVC4 Copyright
- 09:42, 5 November 2012 (diff | hist) . . (+246) . . Meeting Minutes - November 6, 2012 (→Lemma deletion)
- 09:41, 5 November 2012 (diff | hist) . . (-1,111) . . Meeting Minutes - November 6, 2012 (→Status)
- 09:40, 5 November 2012 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 09:40, 5 November 2012 (diff | hist) . . (+3,017) . . N Meeting Minutes - November 6, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-11-06|11am|1pm}} =Status= model bug (Clark) * some set of assertions, then model builder called ** all assertions have been distributed o…")
- 09:26, 24 October 2012 (diff | hist) . . (+11) . . Developer's Guide (→ANTLR3)
- 09:26, 24 October 2012 (diff | hist) . . (+42) . . Developer's Guide (→ANTLR3)
- 08:47, 23 October 2012 (diff | hist) . . (-63) . . Release checklist
- 08:46, 23 October 2012 (diff | hist) . . (+157) . . Release checklist
- 08:39, 23 October 2012 (diff | hist) . . (+173) . . Meeting Minutes - October 23, 2012 (current)
- 07:51, 23 October 2012 (diff | hist) . . (+958) . . Meeting Minutes - October 23, 2012 (→Status)
- 07:16, 23 October 2012 (diff | hist) . . (+1,886) . . N Meeting Minutes - October 23, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-23|11am|1pm}} =Status= =Discussion= =Action items= '''Code reviews:''' *Model generation (Clark) *Quantifiers (Dejan) *Preprocessing…")
- 05:01, 11 October 2012 (diff | hist) . . (+41) . . CVC4 Copyright
- 04:53, 11 October 2012 (diff | hist) . . (-34) . . CVC4 Copyright
- 04:38, 11 October 2012 (diff | hist) . . (+11,152) . . CVC4 Copyright
- 04:38, 11 October 2012 (diff | hist) . . (+1,776) . . N CVC4 Copyright (Created page with "The copyright and (lack of) warranty information most relevant to you is in the file ''COPYING'' that you got with your CVC4 source code, or received with any binary packaging of…")
- 04:35, 11 October 2012 (diff | hist) . . (+5) . . MediaWiki:Sidebar
- 04:34, 11 October 2012 (diff | hist) . . (-1) . . MediaWiki:Sidebar
- 04:34, 11 October 2012 (diff | hist) . . (+1) . . MediaWiki:Sidebar
- 04:32, 11 October 2012 (diff | hist) . . (+19) . . MediaWiki:Sidebar
- 14:28, 9 October 2012 (diff | hist) . . (+135) . . Meeting Minutes - October 16, 2012 (→Action items) (current)
- 12:53, 9 October 2012 (diff | hist) . . (+147) . . SMT-LIB Compliance
- 12:17, 9 October 2012 (diff | hist) . . (-2) . . SMT-LIB Compliance
- 12:16, 9 October 2012 (diff | hist) . . (+8) . . SMT-LIB Compliance
- 12:14, 9 October 2012 (diff | hist) . . (+47) . . SMT-LIB Compliance
- 12:13, 9 October 2012 (diff | hist) . . (-4) . . MediaWiki:Sidebar
- 12:13, 9 October 2012 (diff | hist) . . (0) . . m SMT-LIB Compliance (moved SMT-LIBv2 Compliance to SMT-LIB Compliance)
- 12:13, 9 October 2012 (diff | hist) . . (+32) . . N SMT-LIBv2 Compliance (moved SMT-LIBv2 Compliance to SMT-LIB Compliance) (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
