User contributions
From CVC4
- 07:47, 13 August 2019 (diff | hist) . . (+179) . . Sets (current)
- 07:38, 13 August 2019 (diff | hist) . . (+223) . . Sets
- 12:36, 12 March 2019 (diff | hist) . . (+110) . . Sets
- 12:34, 12 March 2019 (diff | hist) . . (+120) . . Sets
- 12:34, 12 March 2019 (diff | hist) . . (+908) . . Sets
- 12:28, 12 March 2019 (diff | hist) . . (+582) . . Sets
- 11:35, 11 December 2018 (diff | hist) . . (-196) . . Strings (→Extended Functions) (current)
- 11:34, 11 December 2018 (diff | hist) . . (+232) . . Strings
- 11:31, 11 December 2018 (diff | hist) . . (-399) . . Strings
- 11:31, 11 December 2018 (diff | hist) . . (-96) . . Strings
- 11:30, 11 December 2018 (diff | hist) . . (+196) . . Strings (→Extended Functions)
- 11:30, 11 December 2018 (diff | hist) . . (-196) . . Strings (→Theory Signature)
- 11:29, 11 December 2018 (diff | hist) . . (-581) . . Strings
- 11:29, 11 December 2018 (diff | hist) . . (+228) . . Strings (→Options)
- 11:28, 11 December 2018 (diff | hist) . . (+122) . . Strings (→Options)
- 11:27, 11 December 2018 (diff | hist) . . (+39) . . Strings (→Options)
- 11:24, 11 December 2018 (diff | hist) . . (+402) . . Strings (→Syntax)
- 09:59, 2 August 2018 (diff | hist) . . (+45) . . Separation Logic (current)
- 11:51, 8 May 2018 (diff | hist) . . (-2) . . Datatypes (→Syntax/API) (current)
- 11:51, 8 May 2018 (diff | hist) . . (+4) . . Datatypes (→Syntax/API)
- 06:57, 8 May 2018 (diff | hist) . . (0) . . About CVC4 (current)
- 06:56, 8 May 2018 (diff | hist) . . (+28) . . About CVC4
- 06:56, 8 May 2018 (diff | hist) . . (+124) . . Sets (→Finite Relations)
- 06:55, 8 May 2018 (diff | hist) . . (0) . . Datatypes (→Syntax/API)
- 06:54, 8 May 2018 (diff | hist) . . (0) . . Datatypes
- 06:48, 8 May 2018 (diff | hist) . . (0) . . Datatypes
- 06:48, 8 May 2018 (diff | hist) . . (+4) . . Datatypes (→Syntax)
- 06:47, 8 May 2018 (diff | hist) . . (+216) . . Datatypes (→Syntax)
- 06:45, 8 May 2018 (diff | hist) . . (+9) . . Datatypes
- 06:44, 8 May 2018 (diff | hist) . . (-19) . . Datatypes
- 06:44, 8 May 2018 (diff | hist) . . (+2,276) . . Datatypes
- 13:01, 1 May 2018 (diff | hist) . . (+280) . . Datatypes
- 12:58, 1 May 2018 (diff | hist) . . (+157) . . About CVC4 (→Decision Procedures)
- 12:57, 1 May 2018 (diff | hist) . . (+163) . . About CVC4 (→Decision Procedures)
- 12:56, 1 May 2018 (diff | hist) . . (-149) . . About CVC4 (→Decision Procedures)
- 12:54, 1 May 2018 (diff | hist) . . (+99) . . About CVC4 (→Decision Procedures)
- 12:52, 1 May 2018 (diff | hist) . . (+148) . . About CVC4 (→Decision Procedures)
- 12:46, 1 May 2018 (diff | hist) . . (+4) . . Sets (→Finite Relations)
- 12:45, 1 May 2018 (diff | hist) . . (+304) . . Sets (→Finite Relations)
- 11:50, 25 April 2018 (diff | hist) . . (-202) . . Strings
- 10:52, 25 April 2018 (diff | hist) . . (+18) . . Sets (→Finite Relations)
- 10:51, 25 April 2018 (diff | hist) . . (-136) . . Sets (→Finite Relations)
- 10:50, 25 April 2018 (diff | hist) . . (0) . . Sets (→Finite Relations)
- 10:48, 25 April 2018 (diff | hist) . . (+141) . . Sets (→Finite Relations)
- 10:46, 25 April 2018 (diff | hist) . . (+105) . . Sets (→Finite Relations)
- 10:45, 25 April 2018 (diff | hist) . . (+56) . . Sets (→Finite Relations)
- 10:42, 25 April 2018 (diff | hist) . . (-18) . . Sets (→Finite Relations)
- 10:41, 25 April 2018 (diff | hist) . . (-17) . . Sets (→Finite Relations)
- 10:38, 25 April 2018 (diff | hist) . . (+67) . . Sets (→Finite Relations)
- 10:35, 25 April 2018 (diff | hist) . . (+548) . . Sets (→Finite Relations)
- 10:25, 25 April 2018 (diff | hist) . . (+58) . . Sets (→Finite Relations)
- 06:04, 25 September 2017 (diff | hist) . . (+158) . . Public:Third Party Applications (current)
- 07:43, 4 August 2017 (diff | hist) . . (+2) . . Datatypes (→Example Declarations)
- 06:52, 4 August 2017 (diff | hist) . . (0) . . Datatypes (→Example Declarations)
- 06:16, 4 August 2017 (diff | hist) . . (+10) . . Datatypes (→Parametric Datatypes)
- 06:16, 4 August 2017 (diff | hist) . . (+4) . . Datatypes (→Examples)
- 06:15, 4 August 2017 (diff | hist) . . (+10) . . Datatypes (→Syntax)
- 06:15, 4 August 2017 (diff | hist) . . (+3) . . Datatypes (→Codatatypes)
- 06:15, 4 August 2017 (diff | hist) . . (+5) . . Datatypes (→Examples)
- 06:14, 4 August 2017 (diff | hist) . . (+26) . . Datatypes (→Example Declarations)
- 06:13, 4 August 2017 (diff | hist) . . (+152) . . Datatypes (→Syntax)
- 13:52, 30 July 2017 (diff | hist) . . (+1) . . Strings (→Experimental Mode)
- 13:52, 30 July 2017 (diff | hist) . . (-130) . . Strings (→Experimental Mode)
- 01:47, 29 July 2017 (diff | hist) . . (+8) . . Strings (fix substr)
- 14:51, 12 April 2017 (diff | hist) . . (+6) . . Sets
- 14:51, 12 April 2017 (diff | hist) . . (-53) . . Sets
- 14:49, 12 April 2017 (diff | hist) . . (+6) . . Sets
- 07:52, 17 March 2017 (diff | hist) . . (+29) . . Sets
- 11:15, 7 March 2017 (diff | hist) . . (0) . . Sets
- 10:00, 6 March 2017 (diff | hist) . . (-1) . . Sets
- 08:53, 6 March 2017 (diff | hist) . . (+465) . . Sets
- 13:16, 7 December 2016 (diff | hist) . . (+142) . . Sets
- 08:54, 29 November 2016 (diff | hist) . . (+11) . . Separation Logic
- 14:11, 28 November 2016 (diff | hist) . . (+82) . . Separation Logic
- 14:09, 28 November 2016 (diff | hist) . . (+370) . . Separation Logic
- 14:04, 28 November 2016 (diff | hist) . . (+350) . . About CVC4 (→Decision Procedures)
- 13:37, 28 November 2016 (diff | hist) . . (-14) . . Separation Logic
- 13:37, 28 November 2016 (diff | hist) . . (+62) . . Separation Logic
- 13:35, 28 November 2016 (diff | hist) . . (+76) . . Separation Logic
- 13:34, 28 November 2016 (diff | hist) . . (+31) . . Separation Logic
- 13:33, 28 November 2016 (diff | hist) . . (+46) . . Separation Logic
- 13:30, 28 November 2016 (diff | hist) . . (+209) . . Separation Logic
- 13:28, 28 November 2016 (diff | hist) . . (+2) . . Separation Logic
- 13:26, 28 November 2016 (diff | hist) . . (+185) . . Separation Logic
- 13:24, 28 November 2016 (diff | hist) . . (+25) . . Separation Logic
- 13:22, 28 November 2016 (diff | hist) . . (+24) . . Separation Logic
- 13:22, 28 November 2016 (diff | hist) . . (+25) . . Separation Logic
- 13:18, 28 November 2016 (diff | hist) . . (-1) . . Separation Logic
- 13:18, 28 November 2016 (diff | hist) . . (+789) . . Separation Logic
- 13:00, 28 November 2016 (diff | hist) . . (+27) . . Separation Logic
- 12:59, 28 November 2016 (diff | hist) . . (+628) . . Separation Logic
- 12:59, 28 November 2016 (diff | hist) . . (+10) . . About CVC4
- 12:53, 28 November 2016 (diff | hist) . . (+166) . . Separation Logic
- 12:51, 28 November 2016 (diff | hist) . . (+271) . . Separation Logic
- 12:49, 28 November 2016 (diff | hist) . . (+361) . . Separation Logic
- 12:46, 28 November 2016 (diff | hist) . . (+53) . . Separation Logic
- 12:44, 28 November 2016 (diff | hist) . . (+176) . . Separation Logic
- 12:42, 28 November 2016 (diff | hist) . . (+2) . . Separation Logic
- 12:41, 28 November 2016 (diff | hist) . . (+114) . . Separation Logic
- 12:39, 28 November 2016 (diff | hist) . . (-6) . . Separation Logic
- 12:38, 28 November 2016 (diff | hist) . . (-29) . . Separation Logic
- 12:37, 28 November 2016 (diff | hist) . . (+69) . . Separation Logic
- 11:26, 28 November 2016 (diff | hist) . . (+712) . . Separation Logic
- 11:21, 28 November 2016 (diff | hist) . . (+230) . . Separation Logic
- 11:17, 28 November 2016 (diff | hist) . . (+52) . . N Separation Logic (Created page with "The format for separation logic in the *.smt2 is ...")
- 11:17, 28 November 2016 (diff | hist) . . (+30) . . About CVC4
- 15:18, 28 July 2016 (diff | hist) . . (+196) . . Datatypes
- 15:15, 28 July 2016 (diff | hist) . . (+183) . . Datatypes
- 15:14, 28 July 2016 (diff | hist) . . (+106) . . Datatypes (→Example Declarations)
- 15:03, 28 July 2016 (diff | hist) . . (-1) . . About CVC4
- 15:01, 28 July 2016 (diff | hist) . . (+1) . . About CVC4
- 14:54, 28 July 2016 (diff | hist) . . (0) . . About CVC4
- 12:39, 27 July 2016 (diff | hist) . . (+25) . . Datatypes
- 12:39, 27 July 2016 (diff | hist) . . (+25) . . About CVC4
- 12:37, 27 July 2016 (diff | hist) . . (+10) . . Datatypes (→Syntax)
- 12:37, 27 July 2016 (diff | hist) . . (+118) . . Datatypes (→Syntax)
- 12:12, 27 July 2016 (diff | hist) . . (0) . . Datatypes
- 12:08, 27 July 2016 (diff | hist) . . (+206) . . Datatypes
- 12:07, 27 July 2016 (diff | hist) . . (+88) . . Datatypes
- 12:05, 27 July 2016 (diff | hist) . . (0) . . Datatypes
- 12:04, 27 July 2016 (diff | hist) . . (+574) . . Datatypes
- 12:00, 27 July 2016 (diff | hist) . . (+73) . . Datatypes
- 11:58, 27 July 2016 (diff | hist) . . (+187) . . Datatypes
- 11:56, 27 July 2016 (diff | hist) . . (-33) . . Datatypes
- 11:56, 27 July 2016 (diff | hist) . . (+381) . . Datatypes
- 11:52, 27 July 2016 (diff | hist) . . (+80) . . Datatypes
- 11:49, 27 July 2016 (diff | hist) . . (-4) . . Datatypes
- 11:48, 27 July 2016 (diff | hist) . . (-84) . . Datatypes
- 11:48, 27 July 2016 (diff | hist) . . (-29) . . Datatypes
- 11:47, 27 July 2016 (diff | hist) . . (+23) . . Datatypes
- 11:45, 27 July 2016 (diff | hist) . . (+1,058) . . N Datatypes (Created page with "CVC4 supports the following syntax for *.smt2 files: (declare-datatypes (T1...Tj) ((D1 (C1 (S1 [TYPE_1])....(Sn [TYPE_n])) .... (Cn .... )) …")
- 11:45, 27 July 2016 (diff | hist) . . (+13) . . About CVC4
- 02:37, 22 June 2016 (diff | hist) . . (-5) . . Strings (→Syntax)
- 17:22, 5 June 2016 (diff | hist) . . (+13) . . Strings (→Experimental Mode)
- 17:18, 5 June 2016 (diff | hist) . . (+163) . . Strings (→Experimental Mode)
- 17:17, 5 June 2016 (diff | hist) . . (-61) . . Strings (→Theory Signature)
- 17:16, 5 June 2016 (diff | hist) . . (-491) . . Strings (→Partial Functions)
- 12:55, 3 May 2016 (diff | hist) . . (+6) . . Developer's Guide (→Using ASAN)
- 12:34, 3 May 2016 (diff | hist) . . (+63) . . Developer's Guide (→Using ASAN)
- 15:55, 13 April 2016 (diff | hist) . . (+223) . . About CVC4 (→Decision Procedures)
- 15:53, 13 April 2016 (diff | hist) . . (+433) . . About CVC4
- 15:39, 13 April 2016 (diff | hist) . . (+84) . . Strings (→Syntax)
- 15:31, 13 April 2016 (diff | hist) . . (+66) . . Strings
- 15:30, 13 April 2016 (diff | hist) . . (+3,381) . . Strings
- 15:05, 13 April 2016 (diff | hist) . . (-294) . . Strings
- 15:04, 13 April 2016 (diff | hist) . . (+6) . . Strings
- 15:03, 13 April 2016 (diff | hist) . . (+881) . . Strings
- 08:52, 12 February 2016 (diff | hist) . . (+1) . . Strings (→Partial Functions)
- 08:30, 25 May 2012 (diff | hist) . . (+736) . . Meeting Minutes - May 25, 2012 (→Quantifiers)
- 08:22, 25 May 2012 (diff | hist) . . (+683) . . Meeting Minutes - May 25, 2012 (→Finite model finding)
- 08:16, 25 May 2012 (diff | hist) . . (+378) . . Meeting Minutes - May 25, 2012 (→Finite model finding)
- 16:11, 18 April 2012 (diff | hist) . . (0) . . N File:Javafe.tc.FlowInsensitiveChecks.682.smt2 (current)
- 16:10, 18 April 2012 (diff | hist) . . (+409) . . Meeting Minutes - April 19, 2012 (→Quantifiers)
- 15:51, 18 April 2012 (diff | hist) . . (+411) . . Meeting Minutes - April 19, 2012 (→Finite model finding)
- 15:48, 18 April 2012 (diff | hist) . . (0) . . N File:Quantifiers-diff.pdf (current)
- 15:48, 18 April 2012 (diff | hist) . . (+13) . . Meeting Minutes - April 19, 2012 (→Quantifiers)
- 15:47, 18 April 2012 (diff | hist) . . (+318) . . Meeting Minutes - April 19, 2012 (→Quantifiers)
- 21:43, 11 April 2012 (diff | hist) . . (+6) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 21:42, 11 April 2012 (diff | hist) . . (0) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 21:41, 11 April 2012 (diff | hist) . . (+1) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 21:41, 11 April 2012 (diff | hist) . . (+261) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 17:03, 11 April 2012 (diff | hist) . . (-6) . . Meeting Minutes - April 12, 2012 (→Finite model finding)
- 17:02, 11 April 2012 (diff | hist) . . (+1,344) . . Meeting Minutes - April 12, 2012 (→Finite model finding)
- 16:43, 11 April 2012 (diff | hist) . . (0) . . N File:NLP059+1.smt2 (current)
- 16:42, 11 April 2012 (diff | hist) . . (+876) . . Meeting Minutes - April 12, 2012 (→Finite model finding)
- 16:34, 11 April 2012 (diff | hist) . . (+144) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 16:32, 11 April 2012 (diff | hist) . . (0) . . N File:Quantifiers-summary-0411.pdf (current)
- 16:32, 11 April 2012 (diff | hist) . . (+1,035) . . Meeting Minutes - April 12, 2012 (→Quantifiers)
- 08:12, 5 April 2012 (diff | hist) . . (-32) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 08:11, 5 April 2012 (diff | hist) . . (0) . . N File:Tptp-arith.pdf (current)
- 08:10, 5 April 2012 (diff | hist) . . (0) . . N File:Tptp.pdf (current)
- 08:10, 5 April 2012 (diff | hist) . . (+42) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:53, 5 April 2012 (diff | hist) . . (+108) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:52, 5 April 2012 (diff | hist) . . (0) . . N File:Tptp-results-0403.xlsx (current)
- 07:51, 5 April 2012 (diff | hist) . . (+32) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:46, 5 April 2012 (diff | hist) . . (+97) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:45, 5 April 2012 (diff | hist) . . (-13) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:44, 5 April 2012 (diff | hist) . . (+1,464) . . Meeting Minutes - April 5, 2012 (→Finite model finding)
- 07:32, 5 April 2012 (diff | hist) . . (+166) . . Meeting Minutes - April 5, 2012 (→Quantifiers)
- 13:44, 21 March 2012 (diff | hist) . . (+1,386) . . Meeting Minutes - March 22, 2012 (→Quantifiers)