User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 06:48, 1 April 2011 (diff | hist) . . (+261) . . m How to write a theory in CVC4 (old instructions)
- 06:44, 1 April 2011 (diff | hist) . . (-48) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 06:43, 1 April 2011 (diff | hist) . . (-6) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 06:43, 1 April 2011 (diff | hist) . . (+8) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 06:43, 1 April 2011 (diff | hist) . . (+38) . . How to write a theory in CVC4 (old instructions) (→Methods implemented by the derived class)
- 06:41, 1 April 2011 (diff | hist) . . (+237) . . How to write a theory in CVC4 (old instructions)
- 06: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)
- 06:30, 1 April 2011 (diff | hist) . . (+292) . . How to write a theory in CVC4 (old instructions)
- 06:27, 1 April 2011 (diff | hist) . . (+1,649) . . How to write a theory in CVC4 (old instructions)
- 16:16, 31 March 2011 (diff | hist) . . (+1) . . How to write a theory in CVC4 (old instructions) (→context dependent structures)
- 16:14, 31 March 2011 (diff | hist) . . (-27) . . How to write a theory in CVC4 (old instructions) (→SMTEngine)
- 16:13, 31 March 2011 (diff | hist) . . (-1) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 16:13, 31 March 2011 (diff | hist) . . (+30) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 16:11, 31 March 2011 (diff | hist) . . (0) . . File:TheoryInterface.jpg (uploaded a new version of "File:TheoryInterface.jpg": CVC4 architecture diagram)
- 16:09, 31 March 2011 (diff | hist) . . (+17) . . N File:TheoryInterface.jpg (CVC4 architecture)
- 13:54, 31 March 2011 (diff | hist) . . (+17) . . How to write a theory in CVC4 (old instructions) (→Useful tools)
- 13:53, 31 March 2011 (diff | hist) . . (+859) . . How to write a theory in CVC4 (old instructions) (→CVC4 architecture)
- 13:52, 31 March 2011 (diff | hist) . . (+4,049) . . How to write a theory in CVC4 (old instructions) (→Theory API & Invariants)
- 13: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 …')
- 13:11, 30 March 2011 (diff | hist) . . (+36) . . CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
