User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:08, 12 December 2011 (diff | hist) . . (-68) . . Options (→Quickstart Guide)
- 14:06, 12 December 2011 (diff | hist) . . (+150) . . Options (→Quickstart Guide)
- 14:05, 12 December 2011 (diff | hist) . . (+3,259) . . Options
- 13:50, 12 December 2011 (diff | hist) . . (+12) . . Options (→How to add new options)
- 08:57, 9 December 2011 (diff | hist) . . (+522) . . Meeting Minutes - December 9, 2011 (current)
- 08:25, 9 December 2011 (diff | hist) . . (+270) . . Meeting Minutes - December 9, 2011
- 08:18, 9 December 2011 (diff | hist) . . (+173) . . N Meeting Minutes - December 9, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-12-09|10am|11am}} =Finite model finding= Work ongoing. =Quantifiers= In flux (with sharing issues). =Options merge?= Options")
- 09:59, 2 December 2011 (diff | hist) . . (+60) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 09:50, 2 December 2011 (diff | hist) . . (-1) . . Meeting Minutes - December 2, 2011 (→Agenda: Opening up CVC4 development)
- 09:50, 2 December 2011 (diff | hist) . . (+117) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 09:44, 2 December 2011 (diff | hist) . . (+287) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 09:36, 2 December 2011 (diff | hist) . . (+203) . . Meeting Minutes - December 2, 2011 (→Integers)
- 09:33, 2 December 2011 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2011
- 09:33, 2 December 2011 (diff | hist) . . (+70) . . Meeting Minutes - December 2, 2011 (→List for Dejan)
- 09:32, 2 December 2011 (diff | hist) . . (-2) . . Meeting Minutes - December 2, 2011 (→List for Dejan)
- 09:32, 2 December 2011 (diff | hist) . . (+83) . . Meeting Minutes - December 2, 2011 (→Shared terms in arithmetic)
- 09:24, 2 December 2011 (diff | hist) . . (+40) . . Meeting Minutes - December 2, 2011 (→Portfolio)
- 09:24, 2 December 2011 (diff | hist) . . (0) . . Meeting Minutes - December 2, 2011 (→CASCADE)
- 09:23, 2 December 2011 (diff | hist) . . (-9) . . Meeting Minutes - December 2, 2011 (→Proofs)
- 09:23, 2 December 2011 (diff | hist) . . (+32) . . Meeting Minutes - December 2, 2011 (→CASCADE)
- 09:02, 2 December 2011 (diff | hist) . . (+29) . . Meeting Minutes - December 2, 2011 (→Bitvectors)
- 09:01, 2 December 2011 (diff | hist) . . (+13) . . Meeting Minutes - December 2, 2011 (→Bitvectors)
- 09:01, 2 December 2011 (diff | hist) . . (+192) . . Meeting Minutes - December 2, 2011 (→Bitvectors)
- 08:53, 2 December 2011 (diff | hist) . . (+1,072) . . Meeting Minutes - December 2, 2011 (→Bitvectors)
- 08:14, 2 December 2011 (diff | hist) . . (+111) . . Meeting Minutes - December 2, 2011
- 08:13, 2 December 2011 (diff | hist) . . (-5) . . Meeting Minutes - December 2, 2011
- 08:11, 2 December 2011 (diff | hist) . . (+98) . . Meeting Minutes - December 2, 2011
- 09:33, 27 November 2011 (diff | hist) . . (+12) . . Release checklist
- 17:05, 20 November 2011 (diff | hist) . . (0) . . Options (→Attributes)
- 17:05, 20 November 2011 (diff | hist) . . (+29) . . Options (→Standard handlers)
- 17:02, 20 November 2011 (diff | hist) . . (+14) . . Options (→:predicate-include)
- 17:02, 20 November 2011 (diff | hist) . . (+892) . . Options (→Attributes)
- 10:11, 20 November 2011 (diff | hist) . . (+1,016) . . Options (→How it works)
- 16:27, 19 November 2011 (diff | hist) . . (0) . . Options (→Benefits)
- 16:26, 19 November 2011 (diff | hist) . . (0) . . Options (→Benefits)
- 16:26, 19 November 2011 (diff | hist) . . (-26) . . Options (→How to add a new subdirectory that has options)
- 16:25, 19 November 2011 (diff | hist) . . (0) . . Options
- 16:25, 19 November 2011 (diff | hist) . . (-5) . . Options (→Declarative "options" files)
- 16:24, 19 November 2011 (diff | hist) . . (+29) . . Options (→Impact)
- 16:24, 19 November 2011 (diff | hist) . . (+15) . . Options (→Impact)
- 16:24, 19 November 2011 (diff | hist) . . (0) . . Options (→Impact)
- 16:23, 19 November 2011 (diff | hist) . . (+153) . . Options (→Impact)
- 16:22, 19 November 2011 (diff | hist) . . (+68) . . Options (→Benefits)
- 12:39, 19 November 2011 (diff | hist) . . (+10) . . Options (→How to add a new subdirectory that has options)
- 12:39, 19 November 2011 (diff | hist) . . (+230) . . Options (→How to add a new subdirectory that has options)
- 12:38, 19 November 2011 (diff | hist) . . (+239) . . Options (→How it works)
- 12:36, 19 November 2011 (diff | hist) . . (+12) . . Options (→How it works)
- 12:16, 19 November 2011 (diff | hist) . . (-23) . . Options (→Impact)
- 12:07, 19 November 2011 (diff | hist) . . (+1,744) . . Options (→Declarative "options" files)
- 11:58, 19 November 2011 (diff | hist) . . (+20) . . Options (→Putting it all together)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
