User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:40, 22 December 2016 (diff | hist) . . (0) . . Sets (fx card)
- 12:10, 2 December 2015 (diff | hist) . . (+5) . . Meeting Minutes - December 2, 2015 (add wei's status) (current)
- 11:20, 2 December 2015 (diff | hist) . . (-32) . . Meeting Minutes - December 2, 2015 (→Status: not sure I heard the names correct)
- 11:16, 2 December 2015 (diff | hist) . . (+17) . . Meeting Minutes - December 2, 2015 (→Status)
- 11:14, 2 December 2015 (diff | hist) . . (+176) . . Meeting Minutes - December 2, 2015 (→Status)
- 11:05, 2 December 2015 (diff | hist) . . (+509) . . N Meeting Minutes - December 2, 2015 (Created page with "==Status== Tim * Lot of build problems ** new options *** dist problem: automake (looking at the wrong place for intermediate files) ** parsers for generated directory *** remove…")
- 14:01, 7 October 2015 (diff | hist) . . (+70) . . Release checklist (→Release requirements for 1.5)
- 13:49, 7 October 2015 (diff | hist) . . (0) . . Release checklist (→Release requirements for 1.5)
- 10:13, 7 October 2015 (diff | hist) . . (+261) . . Release checklist (→Release requirements for 1.5)
- 16:53, 28 September 2015 (diff | hist) . . (0) . . m Sets (spell)
- 09:52, 23 September 2015 (diff | hist) . . (+59) . . Release checklist (→Release requirements for 1.5)
- 10:35, 2 September 2015 (diff | hist) . . (+53) . . Release checklist (→Release requirements for 1.5)
- 10:29, 2 September 2015 (diff | hist) . . (+84) . . Release checklist (→Release requirements for 1.5)
- 10:15, 19 August 2015 (diff | hist) . . (+296) . . Release checklist (→Release requirements for 1.5)
- 12:05, 8 July 2015 (diff | hist) . . (+97) . . Release checklist (1.5)
- 13:01, 10 June 2015 (diff | hist) . . (+712) . . User:Kshitij/Sets (→Jun 2015) (current)
- 09:28, 10 June 2015 (diff | hist) . . (+1,773) . . User:Kshitij/Sets
- 10:09, 22 October 2014 (diff | hist) . . (+431) . . Meeting Minutes - October 22, 2014
- 09:22, 22 October 2014 (diff | hist) . . (+60) . . N Meeting Minutes - October 22, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-10-15|1:30pm|3:30pm}}")
- 12:23, 15 October 2014 (diff | hist) . . (+630) . . User:Kshitij/Sets (→Oct 7, 2014)
- 12:14, 11 October 2014 (diff | hist) . . (+186) . . User:Kshitij/Sets
- 08:55, 2 October 2014 (diff | hist) . . (-153) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 08:53, 2 October 2014 (diff | hist) . . (+2,984) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 22:13, 1 October 2014 (diff | hist) . . (-300) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 22:11, 1 October 2014 (diff | hist) . . (+307) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 21:21, 1 October 2014 (diff | hist) . . (+4,304) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 19:46, 1 October 2014 (diff | hist) . . (+270) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 19:05, 1 October 2014 (diff | hist) . . (+45) . . User:Kshitij/Sets (→Sep 14, 2014)
- 19:04, 1 October 2014 (diff | hist) . . (+12) . . User:Kshitij/Sets (→Sep 14, 2014)
- 19:04, 1 October 2014 (diff | hist) . . (+368) . . User:Kshitij/Sets (→Sep 14, 2014)
- 14:01, 1 October 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 14:01, 1 October 2014 (diff | hist) . . (+180) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 10:21, 1 October 2014 (diff | hist) . . (+209) . . Meeting Minutes - October 1, 2014 (→Status) (current)
- 10:06, 1 October 2014 (diff | hist) . . (+89) . . Meeting Minutes - October 1, 2014 (→Status)
- 10:06, 1 October 2014 (diff | hist) . . (+1,612) . . User:Kshitij/Sets (Sep 30)
- 09:27, 1 October 2014 (diff | hist) . . (+314) . . Meeting Minutes - October 1, 2014 (→Status)
- 09: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=")
- 10:38, 15 September 2014 (diff | hist) . . (+26) . . User:Kshitij/Sets (→Sep 14, 2014)
- 10:37, 15 September 2014 (diff | hist) . . (+41) . . User:Kshitij/Sets (→leon)
- 10:36, 15 September 2014 (diff | hist) . . (-2,092) . . User:Kshitij/Sets (→leon)
- 10:23, 15 September 2014 (diff | hist) . . (-34,810) . . User:Kshitij/Sets (→Sep 14, 2014)
- 10:12, 15 September 2014 (diff | hist) . . (+146,098) . . User:Kshitij/Sets
- 15:28, 9 September 2014 (diff | hist) . . (+504) . . User:Kshitij/Notes (current)
- 11:23, 3 September 2014 (diff | hist) . . (+34) . . User:Kshitij/theorycheckoptimization (→Theory::check() optimization: insert commit id) (current)
- 11:13, 3 September 2014 (diff | hist) . . (-2) . . User:Kshitij/theorycheckoptimization (→diffs)
- 11:12, 3 September 2014 (diff | hist) . . (+39) . . User:Kshitij/theorycheckoptimization (→A longer one)
- 11:12, 3 September 2014 (diff | hist) . . (+38) . . User:Kshitij/theorycheckoptimization (→A short running test)
- 11: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…")
- 10:15, 31 August 2014 (diff | hist) . . (+338) . . Sets
- 09:22, 7 August 2014 (diff | hist) . . (+1) . . User Manual (→Supported Theories)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
