User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:37, 30 November 2012 (diff | hist) . . (+265) . . Tutorials (→Running)
- 14:34, 30 November 2012 (diff | hist) . . (+618) . . Tutorials (→Running)
- 14:18, 30 November 2012 (diff | hist) . . (+798) . . Tutorials (Creatomg section Parallel solving)
- 14:06, 30 November 2012 (diff | hist) . . (+318) . . User Manual (→Parallel solving)
- 12:12, 28 November 2012 (diff | hist) . . (+92) . . Release checklist
- 13:42, 27 November 2012 (diff | hist) . . (-24) . . User Manual (→Portfolio solving)
- 06:12, 23 August 2012 (diff | hist) . . (+128) . . Meeting Minutes - August 23, 2012 (→Status)
- 15:39, 9 May 2012 (diff | hist) . . (+257) . . Meeting Minutes - May 10, 2012 (→Decision Heuristic)
- 15:36, 9 May 2012 (diff | hist) . . (+18) . . User:Kshitij/Notes/Decision (current)
- 16:45, 7 May 2012 (diff | hist) . . (0) . . User:Kshitij/Notes/Decision (→Mon, 10 May 2012)
- 12:10, 7 May 2012 (diff | hist) . . (+1,674) . . User:Kshitij/Notes/Decision (→Fri, Apr 27 2012)
- 07:03, 27 April 2012 (diff | hist) . . (+14) . . Meeting Minutes - April 27, 2012 (→Portfolio/DE)
- 07:03, 27 April 2012 (diff | hist) . . (+1,546) . . Meeting Minutes - April 27, 2012 (→Portfolio/DE)
- 07: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…")
- 03:38, 19 April 2012 (diff | hist) . . (+692) . . Meeting Minutes - April 19, 2012 (→Portfolio)
- 06:40, 5 April 2012 (diff | hist) . . (+22) . . Meeting Minutes - April 5, 2012 (→Portfolio)
- 01:15, 22 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 22, 2012 (→Portfolio)
- 15:32, 22 February 2012 (diff | hist) . . (+406) . . Meeting Minutes - February 23, 2012 (→Portfolio)
- 14:38, 22 February 2012 (diff | hist) . . (+31) . . N File:3601 output.odb (data as database for processing) (current)
- 14:36, 22 February 2012 (diff | hist) . . (+48) . . N File:3601 output.ods (Sheet1: raw stats data Sheet2: processed summary) (current)
- 05:08, 13 January 2012 (diff | hist) . . (+1,472) . . User:Kshitij/Notes (→links: new section)
- 17:29, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:29, 17 November 2011 (diff | hist) . . (+36) . . N User:Kshitij (Created page with "{{Special:Prefixindex/User:Kshitij}}") (current)
- 17:10, 17 November 2011 (diff | hist) . . (+57) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:10, 17 November 2011 (diff | hist) . . (+35) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:09, 17 November 2011 (diff | hist) . . (+34) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:08, 17 November 2011 (diff | hist) . . (+7) . . m User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:07, 17 November 2011 (diff | hist) . . (+107) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 17:03, 17 November 2011 (diff | hist) . . (+5) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 16:59, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 16:58, 17 November 2011 (diff | hist) . . (+1) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 16:58, 17 November 2011 (diff | hist) . . (+46) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 16:55, 17 November 2011 (diff | hist) . . (+107) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 14:28, 17 November 2011 (diff | hist) . . (+51) . . User:Kshitij/Notes (→On NYU HPC (Bowery))
- 13:47, 17 November 2011 (diff | hist) . . (+282) . . User:Kshitij/Notes (log of getting cvc to work on bowery (nyuhpc))
- 08:43, 11 November 2011 (diff | hist) . . (+28) . . m Meeting Minutes - November 11, 2011 (→Portfolio)
- 08:40, 11 November 2011 (diff | hist) . . (+393) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 08:09, 11 November 2011 (diff | hist) . . (+114) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 08:02, 11 November 2011 (diff | hist) . . (+948) . . Meeting Minutes - November 11, 2011 (→Portfolio)
- 15:37, 23 October 2011 (diff | hist) . . (+4) . . User:Kshitij/Notes (→git-svn)
- 15:37, 23 October 2011 (diff | hist) . . (+23) . . User:Kshitij/Notes (→git-svn)
- 15:36, 23 October 2011 (diff | hist) . . (+16) . . User:Kshitij/Notes (→git-svn)
- 15: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)
- 15:17, 23 October 2011 (diff | hist) . . (+250) . . User:Kshitij/Notes (Added info about git(-svn))
- 07:11, 22 October 2011 (diff | hist) . . (+617) . . N User:Kshitij/Notes (Timer stat)
- 06:34, 21 October 2011 (diff | hist) . . (0) . . N File:Lemma-filter-oct20-r2287-graphs.pdf (current)
- 06:15, 21 October 2011 (diff | hist) . . (0) . . N File:Lemma-filter-18oct11-graphs.pdf (current)
- 06:33, 20 May 2011 (diff | hist) . . (0) . . Meeting Minutes - May 20, 2011
- 06:33, 20 May 2011 (diff | hist) . . (+12) . . Meeting Minutes - May 20, 2011
- 06:29, 20 May 2011 (diff | hist) . . (+8) . . N Meeting Minutes - May 20, 2011 (Created page with 'Created.')
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
