User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:05, 5 April 2012 (diff | hist) . . (+49) . . Meeting Minutes - April 5, 2012 (→Bitvectors)
- 06:03, 5 April 2012 (diff | hist) . . (+240) . . Meeting Minutes - April 5, 2012 (→CVC4 status)
- 06:51, 22 March 2012 (diff | hist) . . (-38) . . Meeting Minutes - March 22, 2012 (→Bitvectors)
- 06:24, 22 March 2012 (diff | hist) . . (0) . . Meeting Minutes - March 22, 2012 (→Bitvectors)
- 05:38, 22 March 2012 (diff | hist) . . (-8) . . Meeting Minutes - March 22, 2012 (→Bitvectors)
- 05:38, 22 March 2012 (diff | hist) . . (+683) . . Meeting Minutes - March 22, 2012 (→CVC4 status)
- 07:32, 9 September 2011 (diff | hist) . . (+157) . . Meeting Minutes - September 9, 2011 (→Discussion) (current)
- 07:27, 9 September 2011 (diff | hist) . . (+13) . . Meeting Minutes - September 9, 2011 (→Discussion)
- 07:20, 9 September 2011 (diff | hist) . . (+298) . . Meeting Minutes - September 9, 2011 (→Status)
- 06:57, 9 September 2011 (diff | hist) . . (+370) . . Meeting Minutes - September 9, 2011
- 06:35, 9 September 2011 (diff | hist) . . (+68) . . Meeting Minutes - September 9, 2011 (→Status)
- 10:16, 15 April 2011 (diff | hist) . . (0) . . N File:Mtg20110415b.png (current)
- 10:16, 15 April 2011 (diff | hist) . . (0) . . N File:Mtg20110415a.png (current)
- 10:15, 15 April 2011 (diff | hist) . . (0) . . N File:Mtg20110415.notebook (current)
- 10:11, 15 April 2011 (diff | hist) . . (+2,442) . . Meeting Minutes - April 15, 2011
- 07:00, 15 April 2011 (diff | hist) . . (+376) . . Meeting Minutes - April 15, 2011 (→Status)
- 06:09, 1 April 2011 (diff | hist) . . (+549) . . How to write a theory in CVC4 (old instructions) (→Statistics)
- 06:04, 1 April 2011 (diff | hist) . . (+1,018) . . How to write a theory in CVC4 (old instructions) (→Statistics)
- 05:57, 1 April 2011 (diff | hist) . . (+150) . . m How do I... ?
- 05:55, 1 April 2011 (diff | hist) . . (+86) . . m Developer's Guide
- 05:53, 1 April 2011 (diff | hist) . . (+18) . . m How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:52, 1 April 2011 (diff | hist) . . (+263) . . How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:52, 1 April 2011 (diff | hist) . . (-37) . . How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:51, 1 April 2011 (diff | hist) . . (-396) . . m How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:50, 1 April 2011 (diff | hist) . . (+345) . . m How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:49, 1 April 2011 (diff | hist) . . (+105) . . How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:49, 1 April 2011 (diff | hist) . . (-1) . . m How to write a theory in CVC4 (old instructions) (→Attributes)
- 05:48, 1 April 2011 (diff | hist) . . (+261) . . m How to write a theory in CVC4 (old instructions)
- 05:44, 1 April 2011 (diff | hist) . . (-48) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 05:43, 1 April 2011 (diff | hist) . . (-6) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 05:43, 1 April 2011 (diff | hist) . . (+8) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 05:43, 1 April 2011 (diff | hist) . . (+38) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 05:41, 1 April 2011 (diff | hist) . . (+237) . . How to write a theory in CVC4 (old instructions)
- 05:32, 1 April 2011 (diff | hist) . . (0) . . File:TheoryInterface.jpg (uploaded a new version of "File:TheoryInterface.jpg": added the fact that lemmas get rewritten and preregistered) (current)
- 05:30, 1 April 2011 (diff | hist) . . (+292) . . How to write a theory in CVC4 (old instructions)
- 05:27, 1 April 2011 (diff | hist) . . (+1,649) . . How to write a theory in CVC4 (old instructions)
- 15:16, 31 March 2011 (diff | hist) . . (+1) . . How to write a theory in CVC4 (old instructions) (→context dependent structures)
- 15:14, 31 March 2011 (diff | hist) . . (-27) . . How to write a theory in CVC4 (old instructions) (→SMTEngine)
- 15:13, 31 March 2011 (diff | hist) . . (-1) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 15:13, 31 March 2011 (diff | hist) . . (+30) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 15:11, 31 March 2011 (diff | hist) . . (0) . . File:TheoryInterface.jpg (uploaded a new version of "File:TheoryInterface.jpg": CVC4 architecture diagram)
- 15:09, 31 March 2011 (diff | hist) . . (+17) . . N File:TheoryInterface.jpg (CVC4 architecture)
- 12:54, 31 March 2011 (diff | hist) . . (+17) . . How to write a theory in CVC4 (old instructions) (→Useful tools)
- 12:53, 31 March 2011 (diff | hist) . . (+859) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 12:52, 31 March 2011 (diff | hist) . . (+4,049) . . How to write a theory in CVC4 (old instructions) (→Theory API & Invariants)
- 12:23, 30 March 2011 (diff | hist) . . (+472) . . N How to write a theory in CVC4 (old instructions) (Created page with 'This document is meant as a guide to a theory writer. = CVC4 architecture = A high-level description of the flow of information in CVC4 (TheoryEngine, SMTEngine etc.) = Adding …')
- 12:11, 30 March 2011 (diff | hist) . . (+36) . . CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
