User contributions
From CVC4
- 18:40, 22 December 2016 (diff | hist) . . (0) . . Sets (fx card)
- 13:10, 2 December 2015 (diff | hist) . . (+5) . . Meeting Minutes - December 2, 2015 (add wei's status) (current)
- 12:20, 2 December 2015 (diff | hist) . . (-32) . . Meeting Minutes - December 2, 2015 (→Status: not sure I heard the names correct)
- 12:16, 2 December 2015 (diff | hist) . . (+17) . . Meeting Minutes - December 2, 2015 (→Status)
- 12:14, 2 December 2015 (diff | hist) . . (+176) . . Meeting Minutes - December 2, 2015 (→Status)
- 12: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…")
- 15:01, 7 October 2015 (diff | hist) . . (+70) . . Release checklist (→Release requirements for 1.5)
- 14:49, 7 October 2015 (diff | hist) . . (0) . . Release checklist (→Release requirements for 1.5)
- 11:13, 7 October 2015 (diff | hist) . . (+261) . . Release checklist (→Release requirements for 1.5)
- 17:53, 28 September 2015 (diff | hist) . . (0) . . m Sets (spell)
- 10:52, 23 September 2015 (diff | hist) . . (+59) . . Release checklist (→Release requirements for 1.5)
- 11:35, 2 September 2015 (diff | hist) . . (+53) . . Release checklist (→Release requirements for 1.5)
- 11:29, 2 September 2015 (diff | hist) . . (+84) . . Release checklist (→Release requirements for 1.5)
- 11:15, 19 August 2015 (diff | hist) . . (+296) . . Release checklist (→Release requirements for 1.5)
- 13:05, 8 July 2015 (diff | hist) . . (+97) . . Release checklist (1.5)
- 14:01, 10 June 2015 (diff | hist) . . (+712) . . User:Kshitij/Sets (→Jun 2015) (current)
- 10:28, 10 June 2015 (diff | hist) . . (+1,773) . . User:Kshitij/Sets
- 11:09, 22 October 2014 (diff | hist) . . (+431) . . Meeting Minutes - October 22, 2014
- 10: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}}")
- 13:23, 15 October 2014 (diff | hist) . . (+630) . . User:Kshitij/Sets (→Oct 7, 2014)
- 13:14, 11 October 2014 (diff | hist) . . (+186) . . User:Kshitij/Sets
- 09:55, 2 October 2014 (diff | hist) . . (-153) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 09:53, 2 October 2014 (diff | hist) . . (+2,984) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 23:13, 1 October 2014 (diff | hist) . . (-300) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 23:11, 1 October 2014 (diff | hist) . . (+307) . . User:Kshitij/Sets (→Oct 1, 2014 (sep14-sep30 investigation, distinct values))
- 22:21, 1 October 2014 (diff | hist) . . (+4,304) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 20:46, 1 October 2014 (diff | hist) . . (+270) . . User:Kshitij/Sets (→Sep 30, 2014 (distinct values))
- 20:05, 1 October 2014 (diff | hist) . . (+45) . . User:Kshitij/Sets (→Sep 14, 2014)
- 20:04, 1 October 2014 (diff | hist) . . (+12) . . User:Kshitij/Sets (→Sep 14, 2014)
- 20:04, 1 October 2014 (diff | hist) . . (+368) . . User:Kshitij/Sets (→Sep 14, 2014)
- 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))
- 09:09, 7 July 2014 (diff | hist) . . (+2,777) . . User:Kshitij/Sets (→Stats)
- 12:58, 30 June 2014 (diff | hist) . . (-5) . . Tutorials (→Union and Intersection)
- 12:56, 30 June 2014 (diff | hist) . . (+37) . . Tutorials (→Union and Intersection)
- 12:09, 30 June 2014 (diff | hist) . . (+2,905) . . Tutorials (→C++ API: Sets API examples)
- 11:17, 30 June 2014 (diff | hist) . . (+8) . . Meeting Minutes - June 30, 2014 (→Release checklist) (current)
- 11:15, 30 June 2014 (diff | hist) . . (+398) . . Meeting Minutes - June 30, 2014 (→Status)
- 19:24, 7 June 2014 (diff | hist) . . (+1) . . User:Kshitij/Sets (→Jun 7, 2014)
- 19:12, 7 June 2014 (diff | hist) . . (+1,119) . . N User:Kshitij/Sets (Created page with "==Stats== ===Jun 7, 2014=== left : before propagation of equality between terms right : after propagation of equality between terms <pre> file time decisio…")
- 12:49, 22 May 2014 (diff | hist) . . (0) . . Meeting Minutes - May 27, 2014 (current)
- 12:49, 22 May 2014 (diff | hist) . . (0) . . m Meeting Minutes - May 27, 2014 (moved Meeting Minutes - May 26, 2014 to Meeting Minutes - May 27, 2014)
- 12:49, 22 May 2014 (diff | hist) . . (+44) . . N Meeting Minutes - May 26, 2014 (moved Meeting Minutes - May 26, 2014 to Meeting Minutes - May 27, 2014) (current)
- 12:49, 22 May 2014 (diff | hist) . . (+40) . . Meeting Minutes - May 27, 2014
- 12:48, 22 May 2014 (diff | hist) . . (+109) . . N Meeting Minutes - May 27, 2014 (Created page with "=Status= =Discussion= ===Naming of SMTLIB logics=== http://www.cs.nyu.edu/pipermail/smt-lib/2014/000740.html")
- 11:55, 12 May 2014 (diff | hist) . . (+102) . . Meeting Minutes - May 12, 2014 (→SMTCOMP) (current)
- 11:40, 12 May 2014 (diff | hist) . . (+36) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:38, 12 May 2014 (diff | hist) . . (+26) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:37, 12 May 2014 (diff | hist) . . (+60) . . Meeting Minutes - May 12, 2014 (→Discussion)
- 11:37, 12 May 2014 (diff | hist) . . (+92) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:17, 12 May 2014 (diff | hist) . . (+83) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:16, 12 May 2014 (diff | hist) . . (+13) . . Meeting Minutes - May 12, 2014 (→Discussion)
- 11:15, 12 May 2014 (diff | hist) . . (+40) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:12, 12 May 2014 (diff | hist) . . (+74) . . Meeting Minutes - May 12, 2014 (→Status)
- 11:02, 12 May 2014 (diff | hist) . . (+276) . . Meeting Minutes - May 12, 2014
- 10:58, 12 May 2014 (diff | hist) . . (+574) . . Meeting Minutes - May 12, 2014 (→Status)
- 10:25, 12 May 2014 (diff | hist) . . (+83) . . N Meeting Minutes - May 12, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-05-12|1:30pm|3:30pm}} =Status= =Discussion=")
- 21:02, 30 April 2014 (diff | hist) . . (+6) . . User:Kshitij/decisioncacheindex (current)
- 21:00, 30 April 2014 (diff | hist) . . (+21,441) . . User:Kshitij/decisioncacheindex (→Notes)
- 20:47, 30 April 2014 (diff | hist) . . (+20,754) . . User:Kshitij/decisioncacheindex (→Notes)
- 20:26, 30 April 2014 (diff | hist) . . (+7) . . N User:Kshitij/decisioncacheindex (Created page with "=Notes=")
- 10:46, 28 April 2014 (diff | hist) . . (+18) . . Meeting Minutes - April 28, 2014 (→Example)
- 10:46, 28 April 2014 (diff | hist) . . (+125) . . Meeting Minutes - April 28, 2014 (→Discussion)
- 10:43, 28 April 2014 (diff | hist) . . (+632) . . Meeting Minutes - April 28, 2014 (→Discussion)
- 10:38, 28 April 2014 (diff | hist) . . (+22) . . N Meeting Minutes - April 28, 2014 (Created page with "=Status= =Discussion=")
- 11:51, 21 April 2014 (diff | hist) . . (+32) . . N Rewrite Rules Theory (create redirect) (current)
- 13:08, 25 March 2014 (diff | hist) . . (+240) . . N Meeting Minutes - March 31, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-03-31|1:30pm|3:30pm}} =Status= =Discussion= ==Behavior on error when reading from pipes== * See CVC-BUGS [http://cs.nyu.edu/mailman/p…")
- 11:47, 24 March 2014 (diff | hist) . . (+68) . . Meeting Minutes - March 24, 2014 (→Feature request for query inequality between two arbitrary arithmetic terms) (current)
- 11:44, 24 March 2014 (diff | hist) . . (-4) . . Meeting Minutes - March 24, 2014 (→Feature request for query inequality between two arbitrary arithmetic terms)
- 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)
- 15:37, 30 November 2012 (diff | hist) . . (+265) . . Tutorials (→Running)
- 15:34, 30 November 2012 (diff | hist) . . (+618) . . Tutorials (→Running)
- 15:18, 30 November 2012 (diff | hist) . . (+798) . . Tutorials (Creatomg section Parallel solving)
- 15:06, 30 November 2012 (diff | hist) . . (+318) . . User Manual (→Parallel solving)
- 13:12, 28 November 2012 (diff | hist) . . (+92) . . Release checklist
- 14:42, 27 November 2012 (diff | hist) . . (-24) . . User Manual (→Portfolio solving)
- 07:12, 23 August 2012 (diff | hist) . . (+128) . . Meeting Minutes - August 23, 2012 (→Status)
- 16:39, 9 May 2012 (diff | hist) . . (+257) . . Meeting Minutes - May 10, 2012 (→Decision Heuristic)
- 16:36, 9 May 2012 (diff | hist) . . (+18) . . User:Kshitij/Notes/Decision (current)
- 17:45, 7 May 2012 (diff | hist) . . (0) . . User:Kshitij/Notes/Decision (→Mon, 10 May 2012)
- 13:10, 7 May 2012 (diff | hist) . . (+1,674) . . User:Kshitij/Notes/Decision (→Fri, Apr 27 2012)
- 08:03, 27 April 2012 (diff | hist) . . (+14) . . Meeting Minutes - April 27, 2012 (→Portfolio/DE)
- 08:03, 27 April 2012 (diff | hist) . . (+1,546) . . Meeting Minutes - April 27, 2012 (→Portfolio/DE)
- 08:00, 27 April 2012 (diff | hist) . . (+1,535) . . N User:Kshitij/Notes/Decision (Created page with "=Fri, Apr 27 2012= Status across different theories *[http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=4107&reference_id=4108&mode=&category=19 QF_UFLIA]: One s…")
- 04:38, 19 April 2012 (diff | hist) . . (+692) . . Meeting Minutes - April 19, 2012 (→Portfolio)
- 07:40, 5 April 2012 (diff | hist) . . (+22) . . Meeting Minutes - April 5, 2012 (→Portfolio)
- 02:15, 22 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 22, 2012 (→Portfolio)
- 16:32, 22 February 2012 (diff | hist) . . (+406) . . Meeting Minutes - February 23, 2012 (→Portfolio)
- 15:38, 22 February 2012 (diff | hist) . . (+31) . . N File:3601 output.odb (data as database for processing) (current)
- 15:36, 22 February 2012 (diff | hist) . . (+48) . . N File:3601 output.ods (Sheet1: raw stats data Sheet2: processed summary) (current)
- 06:08, 13 January 2012 (diff | hist) . . (+1,472) . . User:Kshitij/Notes (→links: new section)
- 18:29, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:29, 17 November 2011 (diff | hist) . . (+36) . . N User:Kshitij (Created page with "{{Special:Prefixindex/User:Kshitij}}") (current)
- 18:10, 17 November 2011 (diff | hist) . . (+57) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:10, 17 November 2011 (diff | hist) . . (+35) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:09, 17 November 2011 (diff | hist) . . (+34) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:08, 17 November 2011 (diff | hist) . . (+7) . . m User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:07, 17 November 2011 (diff | hist) . . (+107) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 18:03, 17 November 2011 (diff | hist) . . (+5) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:59, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:58, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:58, 17 November 2011 (diff | hist) . . (+46) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:55, 17 November 2011 (diff | hist) . . (+107) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 15:28, 17 November 2011 (diff | hist) . . (+51) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 14:47, 17 November 2011 (diff | hist) . . (+282) . . User:Kshitij/Notes (log of getting cvc to work on bowery (nyuhpc))
- 09:43, 11 November 2011 (diff | hist) . . (+28) . . m Meeting Minutes - November 11, 2011 (→Portfolio)
- 09:40, 11 November 2011 (diff | hist) . . (+393) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 09:09, 11 November 2011 (diff | hist) . . (+114) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 09:02, 11 November 2011 (diff | hist) . . (+948) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 16:37, 23 October 2011 (diff | hist) . . (+4) . . User:Kshitij/Notes (→git-svn)
- 16:37, 23 October 2011 (diff | hist) . . (+23) . . User:Kshitij/Notes (→git-svn)
- 16:36, 23 October 2011 (diff | hist) . . (+16) . . User:Kshitij/Notes (→git-svn)
- 16:27, 23 October 2011 (diff | hist) . . (+1,402) . . N User:Kshitij/Notes/Git (Created page with "=Git (git-svn)= ==Avoiding git merge== From the man page of (git-svn) DESIGN PHILOSOPHY :Merge tracking in Subversion is lacking and doing branched development with Subversion …") (current)
- 16:17, 23 October 2011 (diff | hist) . . (+250) . . User:Kshitij/Notes (Added info about git(-svn))
- 08:11, 22 October 2011 (diff | hist) . . (+617) . . N User:Kshitij/Notes (Timer stat)
- 07:34, 21 October 2011 (diff | hist) . . (0) . . N File:Lemma-filter-oct20-r2287-graphs.pdf (current)
- 07:15, 21 October 2011 (diff | hist) . . (0) . . N File:Lemma-filter-18oct11-graphs.pdf (current)
- 07:33, 20 May 2011 (diff | hist) . . (0) . . Meeting Minutes - May 20, 2011
- 07:33, 20 May 2011 (diff | hist) . . (+12) . . Meeting Minutes - May 20, 2011
- 07:29, 20 May 2011 (diff | hist) . . (+8) . . N Meeting Minutes - May 20, 2011 (Created page with 'Created.')