User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:42, 18 November 2011 (diff | hist) . . (-40) . . Options (→option)
- 14:41, 18 November 2011 (diff | hist) . . (+8,360) . . N Options (Created page with "This article explains the CVC4 options system. =A brief history= CVC4 has long had a command-line options system based on ''getopt().'' getopt() (and ''getopt_long()'', its co…")
- 14:41, 18 November 2011 (diff | hist) . . (+282) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 13:36, 18 November 2011 (diff | hist) . . (-70) . . Meeting Minutes - November 18, 2011 (→Agenda: Being Backtracking-friendly in DioSolver without CDVectors)
- 12:57, 18 November 2011 (diff | hist) . . (+162) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 12:56, 18 November 2011 (diff | hist) . . (+284) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 12:56, 18 November 2011 (diff | hist) . . (-276) . . Meeting Minutes - November 18, 2011 (→Opening up CVC4 development)
- 09:40, 18 November 2011 (diff | hist) . . (+38) . . Meeting Minutes - November 18, 2011
- 09:34, 18 November 2011 (diff | hist) . . (+330) . . Meeting Minutes - November 18, 2011 (→Integers)
- 09:24, 18 November 2011 (diff | hist) . . (+132) . . Meeting Minutes - November 18, 2011
- 09:08, 18 November 2011 (diff | hist) . . (+138) . . Meeting Minutes - November 18, 2011 (→CASCADE)
- 08:50, 18 November 2011 (diff | hist) . . (+128) . . Meeting Minutes - November 18, 2011 (→Quantifiers)
- 08:37, 18 November 2011 (diff | hist) . . (+29) . . Release checklist
- 08:33, 18 November 2011 (diff | hist) . . (+57) . . Release checklist
- 08:26, 18 November 2011 (diff | hist) . . (+22) . . Meeting Minutes - November 18, 2011 (→Meeting scheduling)
- 06:50, 18 November 2011 (diff | hist) . . (+26) . . Meeting Minutes - November 18, 2011 (→CASCADE)
- 06:50, 18 November 2011 (diff | hist) . . (+48) . . Meeting Minutes - November 18, 2011
- 06:49, 18 November 2011 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2011)
- 06:49, 18 November 2011 (diff | hist) . . (+174) . . N Meeting Minutes - December 2, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-12-02|10am|12pm}} =Release status= Release checklist =KIND integration= =CASCADE= =Proofs= =Bitvectors= =Integers= =Quantifiers=")
- 06:48, 18 November 2011 (diff | hist) . . (0) . . Meeting Minutes - November 18, 2011
- 12:45, 17 November 2011 (diff | hist) . . (-72) . . Release checklist
- 12:37, 17 November 2011 (diff | hist) . . (+72) . . Release checklist
- 12:35, 17 November 2011 (diff | hist) . . (+104) . . Release checklist
- 12:34, 17 November 2011 (diff | hist) . . (+58) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 12:34, 17 November 2011 (diff | hist) . . (+36) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 11:23, 17 November 2011 (diff | hist) . . (+1,133) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 11:15, 17 November 2011 (diff | hist) . . (+8) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 11:15, 17 November 2011 (diff | hist) . . (-1) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 11:14, 17 November 2011 (diff | hist) . . (+1,462) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 11:11, 17 November 2011 (diff | hist) . . (+4) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 11:10, 17 November 2011 (diff | hist) . . (+26) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 11:09, 17 November 2011 (diff | hist) . . (+592) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 11:05, 17 November 2011 (diff | hist) . . (+78) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 10:37, 17 November 2011 (diff | hist) . . (+450) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 10:27, 17 November 2011 (diff | hist) . . (+6) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 10:27, 17 November 2011 (diff | hist) . . (+1,482) . . Meeting Minutes - November 18, 2011 (→Agenda: Boolean terms)
- 12:00, 16 November 2011 (diff | hist) . . (+276) . . Meeting Minutes - November 18, 2011 (→Release status)
- 11:59, 16 November 2011 (diff | hist) . . (+15) . . MediaWiki:Sidebar
- 11:57, 16 November 2011 (diff | hist) . . (+357) . . N Release checklist (Created page with "Release requirements for 1.0: * works with KIND * fix remaining, known bugs in: ** simplification ** user push/pop ** sharing * model generation for UF * integers merge * qu…")
- 11:56, 16 November 2011 (diff | hist) . . (-243) . . Meeting Minutes - November 18, 2011 (→Release status)
- 20:02, 15 November 2011 (diff | hist) . . (+55) . . Meeting Minutes - November 18, 2011 (→Agenda: Language bindings)
- 20:01, 15 November 2011 (diff | hist) . . (+29) . . Meeting Minutes - November 18, 2011 (→Agenda: Language bindings)
- 20:00, 15 November 2011 (diff | hist) . . (+77) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 11:12, 14 November 2011 (diff | hist) . . (+100) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 11:11, 14 November 2011 (diff | hist) . . (-1,139) . . Meeting Minutes - November 18, 2011 (→Agenda: Options processing)
- 10:15, 11 November 2011 (diff | hist) . . (+4,135) . . N Meeting Minutes - November 18, 2011 (Created page with "Category:Minutes {{mtglinks|||2011-11-11|10am|12pm}} =Release status= Release requirements for 1.0: * works with KIND * fix remaining, known user push/pop bugs * model gen…")
- 10:11, 11 November 2011 (diff | hist) . . (-3,718) . . Meeting Minutes - November 11, 2011 (current)
- 10:10, 11 November 2011 (diff | hist) . . (+169) . . Meeting Minutes - November 11, 2011 (→Quantifiers)
- 09:55, 11 November 2011 (diff | hist) . . (-22) . . Meeting Minutes - November 11, 2011 (→Parallel Stalmarck)
- 09:54, 11 November 2011 (diff | hist) . . (+386) . . Meeting Minutes - November 11, 2011 (→Quantifiers)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
