User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:44, 24 March 2014 (diff | hist) . . (+221) . . Meeting Minutes - March 24, 2014 (→Discussion)
- 11:27, 24 March 2014 (diff | hist) . . (+212) . . Meeting Minutes - March 24, 2014 (→Status)
- 11:25, 24 March 2014 (diff | hist) . . (-7) . . Meeting Minutes - March 24, 2014 (→Discussion)
- 11:24, 24 March 2014 (diff | hist) . . (-7) . . Meeting Minutes - March 24, 2014 (→Status)
- 11:23, 24 March 2014 (diff | hist) . . (-1) . . Meeting Minutes - March 24, 2014 (→Status)
- 11:21, 24 March 2014 (diff | hist) . . (+121) . . Meeting Minutes - March 24, 2014 (→Status)
- 11:17, 24 March 2014 (diff | hist) . . (+174) . . Meeting Minutes - March 24, 2014 (→Status)
- 10:54, 24 March 2014 (diff | hist) . . (+342) . . Meeting Minutes - March 24, 2014
- 17:29, 30 January 2014 (diff | hist) . . (-1) . . Tutorials (→Running)
- 17:29, 30 January 2014 (diff | hist) . . (+110) . . Tutorials (→Running)
- 10:54, 11 November 2013 (diff | hist) . . (+50) . . Meeting Minutes - November 11, 2013 (→Release schedule)
- 10:10, 5 November 2013 (diff | hist) . . (-15) . . Developer's Guide (→Using ContextObj that aren't allocated in usual heap memory)
- 10:10, 5 November 2013 (diff | hist) . . (+1) . . Developer's Guide (→Declaring Attributes: <ref> tag ? rm-ing)
- 10:09, 5 November 2013 (diff | hist) . . (+15) . . Developer's Guide (→Using ContextObj that aren't allocated in usual heap memory)
- 10:08, 5 November 2013 (diff | hist) . . (+2) . . Developer's Guide (→Adding copyrighted sources)
- 10:07, 5 November 2013 (diff | hist) . . (+1) . . Developer's Guide (→Creating a branch)
- 10:07, 5 November 2013 (diff | hist) . . (+2) . . Developer's Guide (→Creating a branch)
- 10:07, 5 November 2013 (diff | hist) . . (+3) . . Developer's Guide (→Branching and merging)
- 10:04, 5 November 2013 (diff | hist) . . (+15) . . Developer's Guide (→Common Attribute Errors: wrap v.v.v. long line)
- 10:02, 5 November 2013 (diff | hist) . . (+19) . . Developer's Guide (→Submitting a job to the cluster via the command line: wrap v.v. long line)
- 12:55, 7 October 2013 (diff | hist) . . (-541) . . Meeting Minutes - October 7, 2013 (current)
- 11:11, 7 October 2013 (diff | hist) . . (+44) . . Meeting Minutes - October 7, 2013 (→Status)
- 11:09, 7 October 2013 (diff | hist) . . (+147) . . Meeting Minutes - October 7, 2013 (→Status)
- 11:07, 7 October 2013 (diff | hist) . . (+349) . . Meeting Minutes - October 7, 2013 (→Status)
- 10:59, 7 October 2013 (diff | hist) . . (+48) . . Meeting Minutes - October 7, 2013 (→Status)
- 10:54, 7 October 2013 (diff | hist) . . (+345) . . Meeting Minutes - October 7, 2013 (→Status)
- 08:35, 7 October 2013 (diff | hist) . . (+596) . . Meeting Minutes - October 7, 2013
- 08:34, 7 October 2013 (diff | hist) . . (0) . . Meeting Minutes - September 30, 2013 (current)
- 08:32, 7 October 2013 (diff | hist) . . (+15) . . N Meeting Minutes - October 7, 2013 (create pg)
- 08:23, 11 September 2013 (diff | hist) . . (-35) . . How to write a theory in CVC4 (→Documenting Creation of sets theory) (current)
- 08:20, 11 September 2013 (diff | hist) . . (-2) . . m How to write a theory in CVC4 (→Documenting Creation of sets theory: typo)
- 18:53, 10 September 2013 (diff | hist) . . (+2,791) . . How to write a theory in CVC4 (→Documenting Creation of sets theory: wrap-up)
- 16:13, 10 September 2013 (diff | hist) . . (+1,424) . . How to write a theory in CVC4 (→Documenting Creation of sets theory: prvs change msg should had been "printer". this one is "create an example to test")
- 15:57, 10 September 2013 (diff | hist) . . (+1,173) . . How to write a theory in CVC4 (→Documenting Creation of sets theory)
- 15:43, 10 September 2013 (diff | hist) . . (+2,991) . . How to write a theory in CVC4 (→Documenting Creation of sets theory: Creating the parser)
- 09:56, 9 September 2013 (diff | hist) . . (+922) . . How to write a theory in CVC4 (→Documenting Creation of sets theory: trying to define kinds file)
- 09:37, 9 September 2013 (diff | hist) . . (+653) . . How to write a theory in CVC4 (→Documenting Creation of sets theory: trying to define kinds file)
- 15:10, 4 September 2013 (diff | hist) . . (+253) . . How to write a theory in CVC4 (→Documenting Creation of sets theory)
- 15:05, 4 September 2013 (diff | hist) . . (+1,986) . . How to write a theory in CVC4 (sets, steps 1 and 2)
- 09:18, 5 February 2013 (diff | hist) . . (+55) . . Meeting Minutes - February 5, 2013 (bv link)
- 09:16, 5 February 2013 (diff | hist) . . (+39) . . N File:50 summary filtered analysis.pdf (BitVector solver comparisons (3 feb'13)) (current)
- 16:01, 11 December 2012 (diff | hist) . . (+119) . . About CVC4 (→Decision Procedures: add missing citation)
- 13:56, 11 December 2012 (diff | hist) . . (+48) . . About CVC4 (→Decision Procedures: we don't do that, at least currently. fixed.)
- 15:58, 30 November 2012 (diff | hist) . . (+79) . . User Manual (→Parallel solving)
- 15:47, 30 November 2012 (diff | hist) . . (-49) . . Tutorials (→Running)
- 15:42, 30 November 2012 (diff | hist) . . (-1) . . Tutorials (→Obtaining)
- 15:42, 30 November 2012 (diff | hist) . . (-8) . . Tutorials (→Running)
- 15:41, 30 November 2012 (diff | hist) . . (+55) . . Tutorials (→Running)
- 15:40, 30 November 2012 (diff | hist) . . (0) . . Tutorials (→Running)
- 15:39, 30 November 2012 (diff | hist) . . (+12) . . Tutorials (→Running)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)