User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:13, 18 November 2011 (diff | hist) . . (+2) . . Options (→module command)
- 14:12, 18 November 2011 (diff | hist) . . (+9) . . Options (→option)
- 14:12, 18 November 2011 (diff | hist) . . (+20) . . Options (→endmodule)
- 14:12, 18 November 2011 (diff | hist) . . (+36) . . Options (→module ID "include-file" name)
- 14:12, 18 November 2011 (diff | hist) . . (+2) . . Options (→Declarative "options" files)
- 14:10, 18 November 2011 (diff | hist) . . (+525) . . Options (→Options without an internal name)
- 14:07, 18 November 2011 (diff | hist) . . (+11) . . Options (→Options without an internal name)
- 14:07, 18 November 2011 (diff | hist) . . (0) . . Options (→Boolean options)
- 14:06, 18 November 2011 (diff | hist) . . (+11) . . Options (→Boolean options)
- 14:06, 18 November 2011 (diff | hist) . . (+3,063) . . Options (→option)
- 13:42, 18 November 2011 (diff | hist) . . (-40) . . Options (→option)
- 13: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…")
- 13:41, 18 November 2011 (diff | hist) . . (+282) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 12:36, 18 November 2011 (diff | hist) . . (-70) . . Meeting Minutes - November 18, 2011 (→Agenda: Being Backtracking-friendly in DioSolver without CDVectors)
- 11:57, 18 November 2011 (diff | hist) . . (+162) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 11:56, 18 November 2011 (diff | hist) . . (+284) . . Meeting Minutes - December 2, 2011 (→Quantifiers)
- 11:56, 18 November 2011 (diff | hist) . . (-276) . . Meeting Minutes - November 18, 2011 (→Opening up CVC4 development)
- 08:40, 18 November 2011 (diff | hist) . . (+38) . . Meeting Minutes - November 18, 2011
- 08:34, 18 November 2011 (diff | hist) . . (+330) . . Meeting Minutes - November 18, 2011 (→Integers)
- 08:24, 18 November 2011 (diff | hist) . . (+132) . . Meeting Minutes - November 18, 2011
- 08:08, 18 November 2011 (diff | hist) . . (+138) . . Meeting Minutes - November 18, 2011 (→CASCADE)
- 07:50, 18 November 2011 (diff | hist) . . (+128) . . Meeting Minutes - November 18, 2011 (→Quantifiers)
- 07:37, 18 November 2011 (diff | hist) . . (+29) . . Release checklist
- 07:33, 18 November 2011 (diff | hist) . . (+57) . . Release checklist
- 07:26, 18 November 2011 (diff | hist) . . (+22) . . Meeting Minutes - November 18, 2011 (→Meeting scheduling)
- 05:50, 18 November 2011 (diff | hist) . . (+26) . . Meeting Minutes - November 18, 2011 (→CASCADE)
- 05:50, 18 November 2011 (diff | hist) . . (+48) . . Meeting Minutes - November 18, 2011
- 05:49, 18 November 2011 (diff | hist) . . (+1) . . Developer Meeting Minutes (→Fourth Quarter 2011)
- 05: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=")
- 05:48, 18 November 2011 (diff | hist) . . (0) . . Meeting Minutes - November 18, 2011
- 11:45, 17 November 2011 (diff | hist) . . (-72) . . Release checklist
- 11:37, 17 November 2011 (diff | hist) . . (+72) . . Release checklist
- 11:35, 17 November 2011 (diff | hist) . . (+104) . . Release checklist
- 11:34, 17 November 2011 (diff | hist) . . (+58) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 11:34, 17 November 2011 (diff | hist) . . (+36) . . Meeting Minutes - November 18, 2011 (→KIND integration)
- 10:23, 17 November 2011 (diff | hist) . . (+1,133) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 10:15, 17 November 2011 (diff | hist) . . (+8) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 10:15, 17 November 2011 (diff | hist) . . (-1) . . Meeting Minutes - November 18, 2011 (→Agenda: Options Processing)
- 10:14, 17 November 2011 (diff | hist) . . (+1,462) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 10:11, 17 November 2011 (diff | hist) . . (+4) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 10:10, 17 November 2011 (diff | hist) . . (+26) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 10:09, 17 November 2011 (diff | hist) . . (+592) . . Meeting Minutes - November 18, 2011 (→Agenda: Predicate Subtyping)
- 10:05, 17 November 2011 (diff | hist) . . (+78) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 09:37, 17 November 2011 (diff | hist) . . (+450) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 09:27, 17 November 2011 (diff | hist) . . (+6) . . Meeting Minutes - November 18, 2011 (→What to do about predicate subtypes?)
- 09:27, 17 November 2011 (diff | hist) . . (+1,482) . . Meeting Minutes - November 18, 2011 (→Agenda: Boolean terms)
- 11:00, 16 November 2011 (diff | hist) . . (+276) . . Meeting Minutes - November 18, 2011 (→Release status)
- 10:59, 16 November 2011 (diff | hist) . . (+15) . . MediaWiki:Sidebar
- 10: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…")
- 10:56, 16 November 2011 (diff | hist) . . (-243) . . Meeting Minutes - November 18, 2011 (→Release status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
