User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 22:54, 4 April 2010 (diff | hist) . . (+156) . . Developer's Guide (→Code reviews)
- 22:52, 4 April 2010 (diff | hist) . . (+1) . . Developer's Guide (→Code reviews)
- 22:51, 4 April 2010 (diff | hist) . . (-5) . . Developer's Guide (→Code reviews)
- 18:03, 4 April 2010 (diff | hist) . . (+838) . . Developer's Guide (→Code reviews)
- 15:56, 4 April 2010 (diff | hist) . . (+140) . . Developer's Guide (→ANTLR3)
- 14:10, 4 April 2010 (diff | hist) . . (+92) . . How do I... ?
- 14:09, 4 April 2010 (diff | hist) . . (+3,579) . . Developer's Guide (adding code reviews section)
- 18:27, 1 April 2010 (diff | hist) . . (+1,994) . . N Meeting Minutes - April 1, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-4-1|10am|11:30am}} =Notes= For this meeting, Morgan, Clark, and Tim were all remotely Skyped-in. Morgan discussed his recent commits, wh…') (current)
- 18:19, 1 April 2010 (diff | hist) . . (+3,731) . . Meeting Minutes - March 30, 2010 (current)
- 22:15, 31 March 2010 (diff | hist) . . (+108) . . How do I... ?
- 22:14, 31 March 2010 (diff | hist) . . (+524) . . Developer's Guide (→Unit tests with CxxTest)
- 23:07, 30 March 2010 (diff | hist) . . (+11) . . Developer's Guide (→Compile-time errors in unit tests)
- 23:07, 30 March 2010 (diff | hist) . . (+114) . . How do I... ? (→Dealing with tests)
- 23:06, 30 March 2010 (diff | hist) . . (+1,669) . . Developer's Guide (→Debugging unit tests)
- 22:05, 30 March 2010 (diff | hist) . . (0) . . Developer's Guide (→ANTLR3)
- 22:05, 30 March 2010 (diff | hist) . . (+309) . . Developer's Guide (→ANTLR3)
- 21:58, 30 March 2010 (diff | hist) . . (+77) . . How do I... ?
- 21:57, 30 March 2010 (diff | hist) . . (+1,302) . . Developer's Guide
- 21:11, 30 March 2010 (diff | hist) . . (0) . . N File:Mtg20100330.png (current)
- 21:10, 30 March 2010 (diff | hist) . . (0) . . N File:Mtg20100330.notebook (current)
- 06:59, 30 March 2010 (diff | hist) . . (+18) . . Meeting Minutes - March 30, 2010 (→Notes)
- 09:36, 25 March 2010 (diff | hist) . . (+367) . . Meeting Minutes - March 25, 2010 (current)
- 09:33, 25 March 2010 (diff | hist) . . (+827) . . N Meeting Minutes - March 30, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-30|10am|12pm}} =Notes= Agenda: *progress report: constants, theory defs, operators, better hash lookup *theory rewriting =Assignments=…')
- 09:31, 25 March 2010 (diff | hist) . . (0) . . N File:Mtg20100325b.png (current)
- 09:30, 25 March 2010 (diff | hist) . . (0) . . N File:Mtg20100325a.png (current)
- 09:30, 25 March 2010 (diff | hist) . . (0) . . N File:Mtg20100325.notebook (current)
- 09:29, 25 March 2010 (diff | hist) . . (+3,028) . . N Meeting Minutes - March 25, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-25|10am|12pm}} =Notes= In this meeting, we discussed the representation of constants in CVC4. We want to store constants in Nodes (so …')
- 18:34, 23 March 2010 (diff | hist) . . (+2,001) . . N Meeting Minutes - March 23, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-23|10am|12pm}} =Notes= The goal is to have a prototype implementation of array, bitvector, UF, and arithmetic theories working by late …') (current)
- 18:01, 23 March 2010 (diff | hist) . . (0) . . N File:Mtg20100323.png (current)
- 18:00, 23 March 2010 (diff | hist) . . (0) . . N File:Mtg20100323.notebook (current)
- 12:43, 11 March 2010 (diff | hist) . . (+2,436) . . Meeting Minutes - March 11, 2010 (current)
- 08:18, 11 March 2010 (diff | hist) . . (+710) . . N Meeting Minutes - March 11, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-11|10am|11:30am}} =Agenda= =Notes= =Assignments= * Morgan - Attribute Manager * Tim - Clean up UF code * Tim - Help with theory base …')
- 10:31, 9 March 2010 (diff | hist) . . (+14) . . Template:Mtglinks
- 10:30, 9 March 2010 (diff | hist) . . (+3,849) . . Template:Mtglinks
- 17:47, 4 March 2010 (diff | hist) . . (+14) . . Developer's Guide (→Working with multiple, concurrent build profiles)
- 17:42, 4 March 2010 (diff | hist) . . (+34) . . How do I... ? (→Dealing with the build process)
- 17:41, 4 March 2010 (diff | hist) . . (+3,907) . . Developer's Guide (→The CVC4 build system)
- 17:11, 4 March 2010 (diff | hist) . . (+137) . . How do I... ?
- 16:02, 4 March 2010 (diff | hist) . . (+112) . . How do I... ? (→Dealing with tests)
- 15:51, 4 March 2010 (diff | hist) . . (+1,102) . . Developer's Guide (→Test rebuilding)
- 15:48, 4 March 2010 (diff | hist) . . (+1,158) . . Developer's Guide (→Test rebuilding)
- 15:44, 4 March 2010 (diff | hist) . . (-5) . . Developer's Guide (→Test rebuilding)
- 15:44, 4 March 2010 (diff | hist) . . (+148) . . N Template:BUG (Created page with '[http://goedel.cims.nyu.edu/cgi-bin/bugzilla3/show_bug.cgi?id={{{1}}} Bug {{{1}}}]<noinclude> Category:External link templates </noinclude>')
- 15:43, 4 March 2010 (diff | hist) . . (+5) . . Developer's Guide (→Test rebuilding)
- 15:43, 4 March 2010 (diff | hist) . . (+344) . . Developer's Guide (→Unit testing)
- 15:23, 4 March 2010 (diff | hist) . . (0) . . Developer's Guide (→Debugging Unit Tests)
- 15:22, 4 March 2010 (diff | hist) . . (0) . . How do I... ? (→Dealing with tests)
- 15:22, 4 March 2010 (diff | hist) . . (+80) . . How do I... ? (→Dealing with tests)
- 15:15, 1 March 2010 (diff | hist) . . (+2) . . Developer Meeting Minutes (→March 2010)
- 15:14, 1 March 2010 (diff | hist) . . (+706) . . N Meeting Minutes - March 9, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-3-9|10am|12pm}} =Agenda= =Notes= =Assignments= * Morgan - Attribute Manager * Tim - Clean up UF code * Tim - Help with theory base * De…') (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
