User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:01, 1 October 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 15:01, 1 October 2014 (diff | hist) . . (+180) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 11:21, 1 October 2014 (diff | hist) . . (+209) . . Meeting Minutes - October 1, 2014 (→Status) (current)
- 11:06, 1 October 2014 (diff | hist) . . (+89) . . Meeting Minutes - October 1, 2014 (→Status)
- 11:06, 1 October 2014 (diff | hist) . . (+1,612) . . User:Kshitij/Sets (Sep 30)
- 10:27, 1 October 2014 (diff | hist) . . (+314) . . Meeting Minutes - October 1, 2014 (→Status)
- 10:23, 1 October 2014 (diff | hist) . . (+70) . . N Meeting Minutes - October 1, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-10-01|1:30pm|3:30pm}} =Status=")
- 11:38, 15 September 2014 (diff | hist) . . (+26) . . User:Kshitij/Sets (→Sep 14, 2014)
- 11:37, 15 September 2014 (diff | hist) . . (+41) . . User:Kshitij/Sets (→leon)
- 11:36, 15 September 2014 (diff | hist) . . (-2,092) . . User:Kshitij/Sets (→leon)
- 11:23, 15 September 2014 (diff | hist) . . (-34,810) . . User:Kshitij/Sets (→Sep 14, 2014)
- 11:12, 15 September 2014 (diff | hist) . . (+146,098) . . User:Kshitij/Sets
- 16:28, 9 September 2014 (diff | hist) . . (+504) . . User:Kshitij/Notes (current)
- 12:23, 3 September 2014 (diff | hist) . . (+34) . . User:Kshitij/theorycheckoptimization (→Theory::check() optimization: insert commit id) (current)
- 12:13, 3 September 2014 (diff | hist) . . (-2) . . User:Kshitij/theorycheckoptimization (→diffs)
- 12:12, 3 September 2014 (diff | hist) . . (+39) . . User:Kshitij/theorycheckoptimization (→A longer one)
- 12:12, 3 September 2014 (diff | hist) . . (+38) . . User:Kshitij/theorycheckoptimization (→A short running test)
- 12:11, 3 September 2014 (diff | hist) . . (+22,322) . . N User:Kshitij/theorycheckoptimization (Created page with "=Theory::check() optimization= Over 20 runs, average timing with different variations (+- values are 95% confidence intervals). All times in seconds. Adding "return;" was what wa…")
- 11:15, 31 August 2014 (diff | hist) . . (+338) . . Sets
- 10:22, 7 August 2014 (diff | hist) . . (+1) . . User Manual (→Supported Theories)
- 10:22, 7 August 2014 (diff | hist) . . (+23) . . User Manual (→Supported Theories)
- 14:33, 4 August 2014 (diff | hist) . . (+139) . . About CVC4 (→Decision Procedures)
- 11:18, 4 August 2014 (diff | hist) . . (-23) . . About CVC4 (→Decision Procedures: fix link)
- 14:29, 1 August 2014 (diff | hist) . . (+673) . . Developer's Guide (→Communicating with the user: the output classes: scoped output class)
- 13:42, 28 July 2014 (diff | hist) . . (-2,519) . . User:Kshitij/Sets (rm sandbox, content moved to Sets)
- 13:36, 28 July 2014 (diff | hist) . . (-9) . . m Strings (→Syntax: version clarify)
- 13:31, 28 July 2014 (diff | hist) . . (+2,491) . . N Sets (finite sets)
- 13:29, 28 July 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Description (sandbox))
- 13:28, 28 July 2014 (diff | hist) . . (+26) . . User:Kshitij/Sets (→Description (sandbox))
- 13:26, 28 July 2014 (diff | hist) . . (+739) . . User:Kshitij/Sets (→Description (sandbox))
- 13:01, 28 July 2014 (diff | hist) . . (+547) . . User:Kshitij/Sets (→Description (sandbox))
- 12:55, 28 July 2014 (diff | hist) . . (+440) . . User:Kshitij/Sets (→Description (sandbox))
- 12:43, 28 July 2014 (diff | hist) . . (+45) . . User:Kshitij/Sets (→Description (sandbox))
- 12:40, 28 July 2014 (diff | hist) . . (+14) . . User:Kshitij/Sets (→Description (sandbox))
- 12:37, 28 July 2014 (diff | hist) . . (+346) . . User:Kshitij/Sets (→Description (sandbox))
- 12:20, 28 July 2014 (diff | hist) . . (+361) . . User:Kshitij/Sets
- 12:09, 28 July 2014 (diff | hist) . . (-7) . . About CVC4
- 11:24, 14 July 2014 (diff | hist) . . (+381) . . Meeting Minutes - July 14, 2014 (→Status)
- 11:18, 14 July 2014 (diff | hist) . . (+114) . . Meeting Minutes - July 14, 2014 (→Status)
- 10:36, 14 July 2014 (diff | hist) . . (+10) . . N Meeting Minutes - July 14, 2014 (Created page with "==Status==")
- 09:37, 11 July 2014 (diff | hist) . . (+87) . . User:Kshitij/Sets (→grasshopper vs z3)
- 09:32, 11 July 2014 (diff | hist) . . (+44,325) . . User:Kshitij/Sets (→vs z3)
- 08:40, 11 July 2014 (diff | hist) . . (+2) . . User:Kshitij/Sets (→vs z3)
- 08:39, 11 July 2014 (diff | hist) . . (+187) . . User:Kshitij/Sets (→vs z3: add decisions for z3)
- 08:34, 11 July 2014 (diff | hist) . . (+825) . . User:Kshitij/Sets (→Jul 3, 2014 (getEqualityStatus))
- 11:36, 7 July 2014 (diff | hist) . . (-101) . . User:Kshitij/Sets (→datatypes, sets benchmark)
- 11:36, 7 July 2014 (diff | hist) . . (+2,448) . . User:Kshitij/Sets (→Jul 3, 2014 (getEqualityStatus))
- 09:15, 7 July 2014 (diff | hist) . . (+78) . . User:Kshitij/Sets (→Jul 3, 2014 (getEqualityStatus))
- 09:10, 7 July 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Jul 3, 2014 (getEqualityStatus))
- 09:10, 7 July 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Jul 3, 2014 (lemma generation troubles))
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
