User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 08:57, 2 October 2012 (diff | hist) . . (0) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 08:56, 2 October 2012 (diff | hist) . . (+43) . . Meeting Minutes - October 2, 2012 (→Action items)
- 08:53, 2 October 2012 (diff | hist) . . (+152) . . Meeting Minutes - October 2, 2012 (→--check-model and "unknown" results)
- 08:37, 2 October 2012 (diff | hist) . . (+124) . . Meeting Minutes - October 2, 2012 (→Action items)
- 22:25, 1 October 2012 (diff | hist) . . (+29) . . Meeting Minutes - October 2, 2012 (→Status)
- 21:33, 1 October 2012 (diff | hist) . . (+39) . . Meeting Minutes - October 2, 2012 (→Status)
- 13:06, 29 September 2012 (diff | hist) . . (+12) . . Meeting Minutes - October 2, 2012 (→IS_INTEGER support)
- 13:06, 29 September 2012 (diff | hist) . . (+65) . . Meeting Minutes - October 2, 2012 (→IS_INTEGER support)
- 09:22, 29 September 2012 (diff | hist) . . (-1) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 09:22, 29 September 2012 (diff | hist) . . (+42) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 07:36, 29 September 2012 (diff | hist) . . (+340) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 07:30, 29 September 2012 (diff | hist) . . (+260) . . Developer Meeting Minutes (→Fourth Quarter 2012)
- 15:59, 28 September 2012 (diff | hist) . . (+83) . . Meeting Minutes - October 2, 2012 (→Discussion)
- 15:58, 28 September 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→Third Quarter 2012)
- 13:03, 26 September 2012 (diff | hist) . . (+1) . . Meeting Minutes - October 2, 2012 (→Action items)
- 11:41, 26 September 2012 (diff | hist) . . (+32) . . Meeting Minutes - September 25, 2012 (→Action items) (current)
- 11:41, 26 September 2012 (diff | hist) . . (+58) . . Meeting Minutes - October 2, 2012 (→Action items)
- 11:40, 26 September 2012 (diff | hist) . . (+64) . . Meeting Minutes - September 25, 2012 (→Action items)
- 11:40, 26 September 2012 (diff | hist) . . (+91) . . Meeting Minutes - October 2, 2012 (→Action items)
- 11:15, 26 September 2012 (diff | hist) . . (+2,295) . . N Meeting Minutes - October 2, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-10-02|11am|1pm}} =Status= [http://church.cims.nyu.edu/bugzilla3/buglist.cgi?query_format=advanced&bug_status=UNCONFIRMED&bug_status=NEW&b…")
- 12:47, 25 September 2012 (diff | hist) . . (+8) . . Developer's Guide (→Dependencies)
- 11:36, 25 September 2012 (diff | hist) . . (+27) . . Meeting Minutes - September 25, 2012 (→Action items)
- 11:24, 25 September 2012 (diff | hist) . . (+110) . . Meeting Minutes - September 25, 2012 (→Action items)
- 11:23, 25 September 2012 (diff | hist) . . (+54) . . Meeting Minutes - September 25, 2012 (→Action items)
- 10:45, 25 September 2012 (diff | hist) . . (+9) . . Meeting Minutes - September 25, 2012 (→Action items)
- 10:45, 25 September 2012 (diff | hist) . . (+785) . . Meeting Minutes - September 25, 2012 (→Array models)
- 09:55, 25 September 2012 (diff | hist) . . (+433) . . Meeting Minutes - September 25, 2012 (→Boolean terms)
- 09:33, 25 September 2012 (diff | hist) . . (+19) . . Release checklist
- 09:12, 25 September 2012 (diff | hist) . . (+135) . . Meeting Minutes - September 25, 2012 (→Lack of unsat core support)
- 08:47, 25 September 2012 (diff | hist) . . (+38) . . Meeting Minutes - September 25, 2012 (→Action items)
- 08:42, 25 September 2012 (diff | hist) . . (+254) . . Meeting Minutes - September 25, 2012 (→Action items)
- 21:19, 24 September 2012 (diff | hist) . . (+52) . . Meeting Minutes - September 25, 2012
- 20:25, 24 September 2012 (diff | hist) . . (+91) . . Meeting Minutes - September 25, 2012 (→Early exit)
- 20:23, 24 September 2012 (diff | hist) . . (+490) . . Meeting Minutes - September 25, 2012 (→Status)
- 20:08, 24 September 2012 (diff | hist) . . (+15) . . Meeting Minutes - September 25, 2012 (→unsat cores)
- 20:08, 24 September 2012 (diff | hist) . . (+30) . . Meeting Minutes - September 25, 2012 (→Early exit)
- 19:31, 24 September 2012 (diff | hist) . . (+18) . . Meeting Minutes - September 25, 2012 (→Boolean terms)
- 14:34, 24 September 2012 (diff | hist) . . (+27) . . Meeting Minutes - September 25, 2012 (→Action items)
- 14:33, 24 September 2012 (diff | hist) . . (+210) . . Meeting Minutes - September 25, 2012 (→Discussion)
- 11:27, 24 September 2012 (diff | hist) . . (+1) . . Public Interface Review
- 09:30, 21 September 2012 (diff | hist) . . (+2) . . People
- 13:00, 18 September 2012 (diff | hist) . . (+40) . . Meeting Minutes - September 18, 2012 (current)
- 12:59, 18 September 2012 (diff | hist) . . (+42) . . Meeting Minutes - September 25, 2012 (→Action items)
- 12:59, 18 September 2012 (diff | hist) . . (-473) . . Meeting Minutes - September 25, 2012
- 12:58, 18 September 2012 (diff | hist) . . (+141) . . Meeting Minutes - September 25, 2012
- 12:57, 18 September 2012 (diff | hist) . . (+1,871) . . N Meeting Minutes - September 25, 2012 (Created page with "Add a third-party applications page to the wiki that anyone can edit (Morgan) Analytics for CVC4 web space? (Dejan/Morgan) ''TheoryBitVector::collectModelInfo()'' implementatio…")
- 11:54, 18 September 2012 (diff | hist) . . (+14) . . Third Party Applications (Redirected page to Public:Third Party Applications) (current)
- 11:52, 18 September 2012 (diff | hist) . . (+123) . . N Public:Third Party Applications (Created page with "No third party applications have yet been shared here. This page is publicly-editable. Please add your applications here.")
- 11:48, 18 September 2012 (diff | hist) . . (+7) . . MediaWiki:Sidebar
- 10:00, 18 September 2012 (diff | hist) . . (+65) . . Meeting Minutes - September 18, 2012 (→Discussion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
