User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:05, 9 June 2012 (diff | hist) . . (-54) . . Meeting Minutes - June 8, 2012 (→Bug round-up) (current)
- 14:28, 8 June 2012 (diff | hist) . . (+1,368) . . N Meeting Minutes - June 15, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-06-15|1pm|3pm}} =CVC4 status= ====Cluster hardware status==== ====Bug round-up==== <font color="red">LAMBDA typechecking bug ({{bug|322…") (current)
- 11:40, 8 June 2012 (diff | hist) . . (+13) . . Meeting Minutes - June 8, 2012 (→Discussion)
- 11:40, 8 June 2012 (diff | hist) . . (+56) . . Meeting Minutes - June 8, 2012 (→Action items)
- 11:20, 8 June 2012 (diff | hist) . . (+32) . . Meeting Minutes - June 8, 2012 (→Action items)
- 11:02, 8 June 2012 (diff | hist) . . (+351) . . Meeting Minutes - June 8, 2012 (→Minor commits / interface changes)
- 11:00, 8 June 2012 (diff | hist) . . (+265) . . Meeting Minutes - June 8, 2012 (→Action items)
- 10:57, 8 June 2012 (diff | hist) . . (-82) . . Meeting Minutes - June 8, 2012 (→CVC4 status)
- 10:56, 8 June 2012 (diff | hist) . . (+975) . . Meeting Minutes - June 8, 2012
- 14:30, 1 June 2012 (diff | hist) . . (0) . . Options (→How to access option values in code)
- 14:30, 1 June 2012 (diff | hist) . . (+262) . . Options (→How to access option values in code)
- 14:29, 1 June 2012 (diff | hist) . . (+15) . . Options (→How to access option values in code)
- 12:13, 1 June 2012 (diff | hist) . . (+129) . . Options (→:predicate)
- 12:12, 1 June 2012 (diff | hist) . . (+179) . . Options (→:handler)
- 08:33, 1 June 2012 (diff | hist) . . (-312) . . Options (→Specifications)
- 08:33, 1 June 2012 (diff | hist) . . (+68) . . Options (→Specifications)
- 08:33, 1 June 2012 (diff | hist) . . (+244) . . Options (→Specifications)
- 08:30, 1 June 2012 (diff | hist) . . (+3) . . Options (→"module" command)
- 08:30, 1 June 2012 (diff | hist) . . (+6) . . Options (→"module" command)
- 08:29, 1 June 2012 (diff | hist) . . (-1) . . Options (→How to access option values in code)
- 06:26, 1 June 2012 (diff | hist) . . (+1,723) . . Options (→How to access option values in code)
- 06:17, 1 June 2012 (diff | hist) . . (+66) . . Options (→How to add a new subdirectory that has options)
- 06:13, 1 June 2012 (diff | hist) . . (+2) . . Options
- 06:10, 1 June 2012 (diff | hist) . . (+136) . . Options (→A brief history)
- 12:04, 26 May 2012 (diff | hist) . . (0) . . Developer Meeting Minutes (→Second Quarter 2012)
- 12:03, 26 May 2012 (diff | hist) . . (+144) . . Developer Meeting Minutes (→Second Quarter 2012)
- 12:02, 26 May 2012 (diff | hist) . . (-40) . . Developer Meeting Minutes (→Second Quarter 2012)
- 12:01, 26 May 2012 (diff | hist) . . (+989) . . N Meeting Minutes - June 1, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-06-01|1pm|3pm}} =CVC4 status= ====Cluster hardware status==== ====Bug round-up==== <font color="red">LAMBDA typechecking bug ({{bug|322…") (current)
- 09:53, 25 May 2012 (diff | hist) . . (-30) . . Meeting Minutes - May 25, 2012 (→Discussion) (current)
- 09:13, 25 May 2012 (diff | hist) . . (-74) . . Meeting Minutes - May 25, 2012 (→e-matching and its reliance on (non-UF) theory equality notification)
- 09:01, 25 May 2012 (diff | hist) . . (+74) . . Meeting Minutes - May 25, 2012 (→Discussion)
- 08:56, 25 May 2012 (diff | hist) . . (+24) . . Meeting Minutes - May 25, 2012 (→Arithmetic)
- 08:43, 25 May 2012 (diff | hist) . . (+137) . . Meeting Minutes - May 25, 2012 (→Decision heuristic)
- 08:40, 25 May 2012 (diff | hist) . . (-4) . . Meeting Minutes - May 25, 2012 (→Bug round-up)
- 08:39, 25 May 2012 (diff | hist) . . (-8) . . Meeting Minutes - May 25, 2012 (→Bug round-up)
- 08:39, 25 May 2012 (diff | hist) . . (+23) . . Meeting Minutes - May 25, 2012 (→Bug round-up)
- 08:38, 25 May 2012 (diff | hist) . . (+125) . . Meeting Minutes - May 25, 2012 (→Bug round-up)
- 08:36, 25 May 2012 (diff | hist) . . (+60) . . Meeting Minutes - May 25, 2012
- 08:08, 25 May 2012 (diff | hist) . . (+52) . . Meeting Minutes - May 25, 2012 (→Discussion)
- 07:16, 25 May 2012 (diff | hist) . . (+12) . . Meeting Minutes - May 25, 2012 (→Discussion)
- 07:03, 25 May 2012 (diff | hist) . . (+4) . . Meeting Minutes - May 25, 2012 (→Quantifiers)
- 07:02, 25 May 2012 (diff | hist) . . (+94) . . Meeting Minutes - May 25, 2012
- 07:01, 25 May 2012 (diff | hist) . . (+16) . . Meeting Minutes - May 25, 2012 (→Merges)
- 07:00, 25 May 2012 (diff | hist) . . (+1) . . Meeting Minutes - May 25, 2012
- 07:00, 25 May 2012 (diff | hist) . . (+55) . . Meeting Minutes - May 25, 2012 (→Minor commits / interface changes)
- 06:39, 22 May 2012 (diff | hist) . . (+27) . . Meeting Minutes - May 25, 2012 (→CVC4 status)
- 11:30, 21 May 2012 (diff | hist) . . (+27) . . Meeting Minutes - May 25, 2012 (→Minor commits / interface changes)
- 09:29, 21 May 2012 (diff | hist) . . (0) . . Meeting Minutes - May 25, 2012
- 09:29, 21 May 2012 (diff | hist) . . (-1,142) . . Meeting Minutes - May 25, 2012
- 09:28, 21 May 2012 (diff | hist) . . (+1,976) . . Meeting Minutes - May 25, 2012
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
