User contributions
From CVC4
- 08:41, 22 April 2016 (diff | hist) . . (+1,397) . . Building CVC4 from source
- 23:07, 7 January 2016 (diff | hist) . . (+32) . . CVC4's native language (→Commands) (current)
- 23:07, 7 January 2016 (diff | hist) . . (-690) . . CVC4's native language (→RESTART)
- 01:05, 6 January 2016 (diff | hist) . . (-124) . . CVC4's native language (→PUSH and POP)
- 01:02, 6 January 2016 (diff | hist) . . (-37) . . CVC4's native language (→Commands)
- 02:31, 14 April 2015 (diff | hist) . . (+1,496) . . Developer's Guide (→Preparing Binaries for Starexec)
- 02:22, 14 April 2015 (diff | hist) . . (+1,061) . . Developer's Guide (→The CVC4 build system)
- 10:09, 13 April 2015 (diff | hist) . . (+176) . . Developer's Guide (→The CVC4 build system)
- 10:07, 27 March 2015 (diff | hist) . . (-2) . . m User Manual (→Using CVC4 in a C++ project)
- 10:07, 27 March 2015 (diff | hist) . . (+72) . . User Manual (→The CVC4 library interface (API))
- 09:58, 27 March 2015 (diff | hist) . . (+2,109) . . User Manual (→The CVC4 library interface (API))
- 04:09, 12 February 2015 (diff | hist) . . (+431) . . Building CVC4 from source (→Optional requirements)
- 05:11, 20 January 2015 (diff | hist) . . (+142) . . Nm Meeting Minutes - January 21, 2015 (Created page with " Tim * Output format for reals (ascription?) * Trip to Oxford * Instrumenting the SAT solver for generalization * Reassigning bugzilla tickets") (current)
- 14:57, 19 February 2014 (diff | hist) . . (+930) . . User Manual (→CVC4's input languages)
- 13:18, 11 December 2012 (diff | hist) . . (+329) . . About CVC4 (→Decision Procedures)
- 13:06, 11 December 2012 (diff | hist) . . (+24) . . About CVC4 (→Decision Procedures)
- 13:05, 11 December 2012 (diff | hist) . . (+488) . . About CVC4 (→Decision Procedures)
- 12:50, 11 December 2012 (diff | hist) . . (+171) . . About CVC4 (→Decision Procedures)
- 12:38, 11 December 2012 (diff | hist) . . (-21) . . About CVC4 (→Decision Procedures)
- 12:32, 11 December 2012 (diff | hist) . . (+71) . . About CVC4 (→Decision Procedures)
- 12:28, 11 December 2012 (diff | hist) . . (+2,188) . . About CVC4 (→Web site)
- 18:04, 6 December 2012 (diff | hist) . . (0) . . Build Problems (→Profiling) (current)
- 18:03, 6 December 2012 (diff | hist) . . (+246) . . Build Problems (→Profiling)
- 17:57, 6 December 2012 (diff | hist) . . (+230) . . Build Problems (→google perftools not linking)
- 17:45, 6 December 2012 (diff | hist) . . (+265) . . Build Problems (→Profiling)
- 17:11, 6 December 2012 (diff | hist) . . (+4) . . Expr (→Const) (current)
- 17:10, 6 December 2012 (diff | hist) . . (-4) . . Expr (→Const)
- 17:10, 6 December 2012 (diff | hist) . . (+1,240) . . Expr (→Const)
- 16:34, 6 December 2012 (diff | hist) . . (+1,382) . . N Expr (Created page with "Expr is CVC4's public-facing symbolic expression interface. Exprs are linked to a an ExprManager. ExprManagers take care of memory management for Exprs (allocation, garbage coll…")
- 15:45, 6 December 2012 (diff | hist) . . (+57) . . Developer's Guide (→Google performance tools)
- 15:44, 6 December 2012 (diff | hist) . . (+705) . . Build Problems (→Custom CLN Library Installations)
- 19:18, 30 November 2012 (diff | hist) . . (-58) . . Build Problems (→Custom CLN Library Installations)
- 18:14, 30 November 2012 (diff | hist) . . (+15) . . Build Problems (→Self Compiled CLN)
- 18:13, 30 November 2012 (diff | hist) . . (+730) . . Build Problems (→libcvc4 without make install)
- 16:01, 30 November 2012 (diff | hist) . . (+6) . . m Build Problems (→make install to a non-standard prefix)
- 17:45, 28 November 2012 (diff | hist) . . (+244) . . Tutorials (→C++ API)
- 17:41, 28 November 2012 (diff | hist) . . (+987) . . Tutorials (→linear_arith)
- 17:41, 28 November 2012 (diff | hist) . . (+2) . . Tutorials (→helloworld)
- 17:40, 28 November 2012 (diff | hist) . . (+2,704) . . Tutorials (→helloworld)
- 16:31, 28 November 2012 (diff | hist) . . (+421) . . Build Problems (→Configure Problems)
- 16:22, 28 November 2012 (diff | hist) . . (+1,394) . . Build Problems (→builds Directory)
- 15:58, 28 November 2012 (diff | hist) . . (-97) . . Build Problems (→libcvc4 without make install)
- 15:27, 28 November 2012 (diff | hist) . . (+107) . . Tutorials (→helloworld)
- 15:25, 28 November 2012 (diff | hist) . . (+64) . . Tutorials (→helloworld)
- 15:20, 28 November 2012 (diff | hist) . . (+3,025) . . Build Problems
- 15:08, 28 November 2012 (diff | hist) . . (+177) . . Tutorials (→Starting Out: helloworld)
- 14:00, 28 November 2012 (diff | hist) . . (+28) . . Tutorials (→Starting Out: helloworld)
- 13:59, 28 November 2012 (diff | hist) . . (+1,147) . . Tutorials (→Starting Out: helloworld)
- 13:16, 28 November 2012 (diff | hist) . . (+28) . . Build Problems (→Changing the --prefix option after compiling)
- 13:15, 28 November 2012 (diff | hist) . . (0) . . m Build Problems (→Changing the --prefix option after compiling)
- 13:13, 28 November 2012 (diff | hist) . . (+1,655) . . N Build Problems (Created page with "CVC4 is a large project with a complicated build system, and it sometimes it a bit non-obvious why it is not doing what you think you want it to. Here is a repository of what ca…")
- 12:52, 28 November 2012 (diff | hist) . . (+518) . . Tutorials (→C++ API)
- 09:23, 28 November 2012 (diff | hist) . . (+3) . . m User Manual (→CVC4's input languages)
- 09:09, 28 November 2012 (diff | hist) . . (-4) . . MediaWiki:Sidebar
- 09:07, 28 November 2012 (diff | hist) . . (0) . . m User Manual (moved User's Manual to User Manual: Because User%27s_Manual is ugly.)
- 09:07, 28 November 2012 (diff | hist) . . (0) . . m Talk:User Manual (moved Talk:User's Manual to Talk:User Manual: Because User%27s_Manual is ugly.) (current)
- 09:07, 28 November 2012 (diff | hist) . . (+25) . . N User's Manual (moved User's Manual to User Manual: Because User%27s_Manual is ugly.) (current)
- 09:07, 28 November 2012 (diff | hist) . . (+30) . . N Talk:User's Manual (moved Talk:User's Manual to Talk:User Manual: Because User%27s_Manual is ugly.) (current)
- 16:51, 8 November 2012 (diff | hist) . . (+250) . . Developer's Guide (→The CVC4 build system)
- 10:36, 6 November 2012 (diff | hist) . . (+260) . . User Manual (→Obtaining binary packages)
- 12:00, 24 October 2012 (diff | hist) . . (+660) . . User Manual (→Building from source)
- 11:44, 24 October 2012 (diff | hist) . . (-4) . . m User Manual (→Source repository)
- 11:25, 24 October 2012 (diff | hist) . . (+128) . . Developer's Guide (→Attributes)
- 11:19, 24 October 2012 (diff | hist) . . (+637) . . Developer's Guide (→Attributes)
- 11:08, 24 October 2012 (diff | hist) . . (+2,042) . . Developer's Guide (→Attributes)
- 09:16, 24 October 2012 (diff | hist) . . (+1,199) . . Developer's Guide (→Attributes)
- 15:08, 23 October 2012 (diff | hist) . . (+8) . . User Manual (→Installing libantlr3c: ANTLR parser generator C support library)
- 15:06, 23 October 2012 (diff | hist) . . (+10) . . m User Manual (→Installing libantlr3c: ANTLR parser generator C support library)
- 15:05, 23 October 2012 (diff | hist) . . (+357) . . User Manual (→Installing libantlr3c: ANTLR parser generator C support library)
- 14:58, 23 October 2012 (diff | hist) . . (+120) . . User Manual (→Building CVC4 from a repository checkout)
- 14:48, 23 October 2012 (diff | hist) . . (-20) . . User Manual (→MacPorts)
- 14:47, 23 October 2012 (diff | hist) . . (-4) . . User Manual (→Building from source)
- 14:46, 23 October 2012 (diff | hist) . . (+405) . . Developer's Guide (→ANTLR3)
- 12:35, 23 October 2012 (diff | hist) . . (-33) . . Developer's Guide (→ANTLR3)
- 11:52, 23 October 2012 (diff | hist) . . (+15) . . User Manual (→Build dependences)
- 11:47, 23 October 2012 (diff | hist) . . (+106) . . User Manual (→Quick-start instructions)
- 11:19, 22 October 2012 (diff | hist) . . (+25) . . User Manual (→The INT Type)
- 11:14, 22 October 2012 (diff | hist) . . (+46) . . User Manual (→The INT Type)
- 11:10, 22 October 2012 (diff | hist) . . (+64) . . User Manual (→The REAL Type)
- 13:37, 18 October 2012 (diff | hist) . . (+17) . . User Manual (→CVC4's native input language)
- 13:35, 18 October 2012 (diff | hist) . . (+255) . . User Manual (→The REAL Type)
- 13:16, 18 October 2012 (diff | hist) . . (+196) . . User Manual (→Quick-start instructions)
- 12:04, 18 October 2012 (diff | hist) . . (+101) . . m User Manual (→Build dependences)
- 11:46, 18 October 2012 (diff | hist) . . (+201) . . User Manual (→Installing libantlr3c: ANTLR parser generator C support library)
- 11:37, 18 October 2012 (diff | hist) . . (+536) . . User Manual (→Obtaining and compiling CVC4)
- 11:20, 18 October 2012 (diff | hist) . . (-13) . . User Manual (→Build dependences)
- 11:19, 18 October 2012 (diff | hist) . . (+31) . . User Manual (→Build dependences)
- 11:16, 18 October 2012 (diff | hist) . . (-8) . . m User Manual (→Build dependences)
- 11:16, 18 October 2012 (diff | hist) . . (+11) . . User Manual (→Build dependences)
- 10:59, 18 October 2012 (diff | hist) . . (-8) . . User Manual (→What is CVC4?)
- 15:50, 30 September 2012 (diff | hist) . . (+55) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 14:21, 25 September 2012 (diff | hist) . . (+387) . . Developer's Guide (→Building on Mac OS X)
- 12:38, 14 June 2012 (diff | hist) . . (+188) . . Developer's Guide (→Regression testing)
- 12:21, 24 May 2012 (diff | hist) . . (+187) . . m Miplib Notes (→pp08a)
- 12:20, 24 May 2012 (diff | hist) . . (-72) . . Miplib Notes (→pk1)
- 12:20, 24 May 2012 (diff | hist) . . (+74) . . Miplib Notes (→pk1)
- 12:19, 24 May 2012 (diff | hist) . . (+479) . . Miplib Notes (→pk1)
- 12:16, 24 May 2012 (diff | hist) . . (+671) . . Miplib Notes (→opt1217)
- 12:10, 24 May 2012 (diff | hist) . . (+465) . . Miplib Notes
- 11:31, 24 May 2012 (diff | hist) . . (-1) . . Miplib Notes (→danoint)
- 10:06, 24 May 2012 (diff | hist) . . (+49) . . Miplib Notes (→danoint)
- 10:05, 24 May 2012 (diff | hist) . . (0) . . File:Danoint-30.dagless.smt (uploaded a new version of "File:Danoint-30.dagless.smt") (current)
- 10:04, 24 May 2012 (diff | hist) . . (+36) . . Miplib Notes (→danoint)
- 10:00, 24 May 2012 (diff | hist) . . (+100) . . N File:Danoint-30.dagless.smt (A reformatted version of http://church.cims.nyu.edu/benchmarks/smtlib/QF_LRA/miplib/danoint-30.smt .)
- 09:51, 24 May 2012 (diff | hist) . . (0) . . m Miplib Notes (moved Miplibnotes to Miplib Notes)
- 09:51, 24 May 2012 (diff | hist) . . (+26) . . N Miplibnotes (moved Miplibnotes to Miplib Notes) (current)
- 09:49, 24 May 2012 (diff | hist) . . (+5,580) . . N Miplib Notes (Created page with "= danoint = == Comparing jobs == /cluster/benchmarks/smtlib/QF_LRA/miplib$ diff danoint-30.smt danoint-50.smt 9c9 < :difficulty { 1 } --- > :difficulty { 2 } 1066c1066 …")
- 15:03, 18 May 2012 (diff | hist) . . (+22) . . Cvc4 Type Lattice (→The built-in types) (current)
- 15:03, 18 May 2012 (diff | hist) . . (+6) . . Cvc4 Type Lattice (→The Lattice)
- 12:30, 18 May 2012 (diff | hist) . . (+248) . . Cvc4 Type Lattice
- 12:21, 18 May 2012 (diff | hist) . . (+214) . . Cvc4 Type Lattice (→The Lattice)
- 12:10, 18 May 2012 (diff | hist) . . (+366) . . Cvc4 Type Lattice
- 08:23, 18 May 2012 (diff | hist) . . (+208) . . m Cvc4 Type Lattice
- 13:37, 17 May 2012 (diff | hist) . . (-285) . . Cvc4 Type Lattice (→Subrange)
- 13:30, 17 May 2012 (diff | hist) . . (+338) . . Cvc4 Type Lattice
- 13:13, 17 May 2012 (diff | hist) . . (-247) . . Cvc4 Type Lattice
- 13:06, 17 May 2012 (diff | hist) . . (+251) . . Cvc4 Type Lattice
- 12:58, 17 May 2012 (diff | hist) . . (+424) . . Cvc4 Type Lattice
- 12:41, 17 May 2012 (diff | hist) . . (+16) . . m Cvc4 Type Lattice
- 11:49, 17 May 2012 (diff | hist) . . (+35) . . Cvc4 Type Lattice
- 11:46, 17 May 2012 (diff | hist) . . (+212) . . Cvc4 Type Lattice
- 11:38, 17 May 2012 (diff | hist) . . (+151) . . Cvc4 Type Lattice
- 11:29, 17 May 2012 (diff | hist) . . (+42) . . Cvc4 Type Lattice
- 11:26, 17 May 2012 (diff | hist) . . (+37) . . Cvc4 Type Lattice
- 11:20, 17 May 2012 (diff | hist) . . (-162) . . Cvc4 Type Lattice
- 10:49, 17 May 2012 (diff | hist) . . (+1,890) . . N Cvc4 Type Lattice (Created page with "The proposed type and subtype relation of Cvc4 is a join semi-lattice ∨. This means that for any two types there is a least upper bound in the subtype order. Simplifying assum…")
- 17:03, 9 May 2012 (diff | hist) . . (+60) . . Meeting Minutes - May 10, 2012 (→Arithmetic)
- 08:02, 27 April 2012 (diff | hist) . . (-35) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 14:51, 26 April 2012 (diff | hist) . . (+10) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 14:50, 26 April 2012 (diff | hist) . . (-34) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 14:36, 26 April 2012 (diff | hist) . . (+28) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 14:34, 26 April 2012 (diff | hist) . . (+136) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 14:32, 26 April 2012 (diff | hist) . . (+1,384) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 13:59, 26 April 2012 (diff | hist) . . (+179) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 13:47, 26 April 2012 (diff | hist) . . (+29) . . Meeting Minutes - April 27, 2012 (→CVC4 status)
- 13:47, 26 April 2012 (diff | hist) . . (+2,069) . . Meeting Minutes - April 27, 2012 (→Arithmetic)
- 08:18, 19 April 2012 (diff | hist) . . (+32) . . Meeting Minutes - April 19, 2012 (→Arithmetic) (current)
- 13:49, 4 April 2012 (diff | hist) . . (+114) . . Meeting Minutes - April 5, 2012 (→Arithmetic)
- 13:36, 4 April 2012 (diff | hist) . . (+131) . . Meeting Minutes - April 5, 2012 (→Discussion)
- 11:30, 21 March 2012 (diff | hist) . . (+146) . . Meeting Minutes - March 22, 2012 (→CVC4 status)
- 11:20, 21 March 2012 (diff | hist) . . (+377) . . Meeting Minutes - March 22, 2012 (→Integers)
- 14:29, 16 February 2012 (diff | hist) . . (+194) . . Developer's Guide (→Google performance tools)
- 14:58, 15 December 2011 (diff | hist) . . (+45) . . Meeting Minutes - December 2, 2011 (current)
- 12:03, 11 March 2011 (diff | hist) . . (+226) . . Meeting Minutes - March 18, 2011 (→Discussion)
- 12:02, 18 February 2011 (diff | hist) . . (+2,299) . . Meeting Minutes - February 18, 2011 (→Discussion) (current)
- 08:14, 16 June 2010 (diff | hist) . . (+337) . . Developer's Guide (→ANTLR3)
- 14:53, 26 May 2010 (diff | hist) . . (+229) . . N Meeting Minutes - May 27, 2010 (Created page with 'Bug 128 and the order of destruction of theories and how this related to nodes - Attributes - Nodes from the outside theory - Nodes kept alive inside the theory by CD Objects - N…')
- 14:50, 6 April 2010 (diff | hist) . . (+497) . . Developer's Guide (→Coverage testing with gcov)
- 15:17, 4 March 2010 (diff | hist) . . (+6) . . Developer's Guide (→Debugging Test)
- 15:16, 4 March 2010 (diff | hist) . . (+982) . . Developer's Guide (→Unit testing)
- 13:19, 15 December 2009 (diff | hist) . . (+370) . . m How do I... ? (→Dealing with Subversion)