User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:56, 1 March 2012 (diff | hist) . . (+508) . . Meeting Minutes - March 1, 2012 (→propagateAsDecision complications)
- 10:26, 1 March 2012 (diff | hist) . . (+55) . . Meeting Minutes - March 1, 2012 (→Action items)
- 10:19, 1 March 2012 (diff | hist) . . (-15) . . Meeting Minutes - March 1, 2012 (→Andy having performance issues with sharing/integers)
- 10:12, 1 March 2012 (diff | hist) . . (+74) . . Meeting Minutes - March 1, 2012
- 10:11, 1 March 2012 (diff | hist) . . (+174) . . Meeting Minutes - March 1, 2012 (→Andy having performance issues with sharing/integers)
- 10:09, 1 March 2012 (diff | hist) . . (+147) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 10:01, 1 March 2012 (diff | hist) . . (+24) . . Meeting Minutes - March 1, 2012 (→Action items)
- 10:00, 1 March 2012 (diff | hist) . . (+11) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 10:00, 1 March 2012 (diff | hist) . . (+23) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 09:55, 1 March 2012 (diff | hist) . . (+34) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 09:55, 1 March 2012 (diff | hist) . . (-96) . . Meeting Minutes - March 1, 2012 (→Answering SAT without extending to a complete assignment)
- 09:43, 1 March 2012 (diff | hist) . . (+60) . . Meeting Minutes - March 1, 2012 (→Action items)
- 09:42, 1 March 2012 (diff | hist) . . (+1) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 09:40, 1 March 2012 (diff | hist) . . (+67) . . Meeting Minutes - March 1, 2012 (→Action items)
- 09:40, 1 March 2012 (diff | hist) . . (-90) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 09:19, 1 March 2012 (diff | hist) . . (+3) . . Meeting Minutes - March 1, 2012 (→Quantifiers)
- 09:16, 1 March 2012 (diff | hist) . . (+22) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:16, 1 March 2012 (diff | hist) . . (+89) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:04, 1 March 2012 (diff | hist) . . (-27) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 09:03, 1 March 2012 (diff | hist) . . (0) . . Meeting Minutes - March 1, 2012 (→CASCADE)
- 09:03, 1 March 2012 (diff | hist) . . (+112) . . Meeting Minutes - March 1, 2012 (→CASCADE)
- 08:42, 1 March 2012 (diff | hist) . . (+34) . . Meeting Minutes - March 1, 2012 (→Arrays)
- 08:42, 1 March 2012 (diff | hist) . . (0) . . Meeting Minutes - March 1, 2012 (→Bug round-up)
- 08:41, 1 March 2012 (diff | hist) . . (+313) . . Meeting Minutes - March 1, 2012
- 08:38, 1 March 2012 (diff | hist) . . (+2,526) . . Meeting Minutes - March 1, 2012
- 12:52, 29 February 2012 (diff | hist) . . (+14) . . Meeting Minutes - March 1, 2012 (→propagateAsDecision)
- 12:51, 29 February 2012 (diff | hist) . . (+25) . . Meeting Minutes - March 1, 2012 (→Support for partial assignments in CVC4)
- 12:16, 29 February 2012 (diff | hist) . . (+138) . . Meeting Minutes - March 1, 2012 (→Efficient Term-ITE Conversion for SMT)
- 11:26, 29 February 2012 (diff | hist) . . (+54) . . Meeting Minutes - March 1, 2012 (→Bug round-up)
- 11:20, 29 February 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 11:20, 29 February 2012 (diff | hist) . . (-239) . . Meeting Minutes - March 1, 2012 (→Merges)
- 11:19, 29 February 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 1, 2012 (→Bug round-up)
- 11:19, 29 February 2012 (diff | hist) . . (+7) . . Meeting Minutes - March 1, 2012 (→Bug round-up)
- 13:34, 24 February 2012 (diff | hist) . . (+135) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 13:07, 24 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - March 1, 2012 (→Efficient Term-ITE Conversion for SMT)
- 13:07, 24 February 2012 (diff | hist) . . (-1) . . Meeting Minutes - March 1, 2012 (→Efficient Term-ITE Conversion for SMT)
- 13:06, 24 February 2012 (diff | hist) . . (0) . . N File:Smt ite.pdf (current)
- 13:06, 24 February 2012 (diff | hist) . . (+66) . . Meeting Minutes - March 1, 2012 (→Discussion)
- 14:38, 23 February 2012 (diff | hist) . . (-2) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 14:04, 23 February 2012 (diff | hist) . . (+10) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 14:04, 23 February 2012 (diff | hist) . . (+125) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 14:01, 23 February 2012 (diff | hist) . . (+54) . . Meeting Minutes - March 1, 2012
- 14:00, 23 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - March 1, 2012 (→Website)
- 14:00, 23 February 2012 (diff | hist) . . (+130) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 12:13, 23 February 2012 (diff | hist) . . (+300) . . Meeting Minutes - March 1, 2012 (→Minor commits/interface changes)
- 12:01, 23 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 23, 2012 (→Action items) (current)
- 12:01, 23 February 2012 (diff | hist) . . (+97) . . Meeting Minutes - February 23, 2012
- 12:00, 23 February 2012 (diff | hist) . . (+502) . . Meeting Minutes - March 1, 2012
- 11:58, 23 February 2012 (diff | hist) . . (+670) . . N Meeting Minutes - March 1, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-03-01|11am|1pm}} =CVC4 status= ====Bug round-up==== <font color="red">Incorrect result is currently blocking kind-backend merge (Morgan)…")
- 11:09, 23 February 2012 (diff | hist) . . (+16) . . Meeting Minutes - February 23, 2012 (→Action items)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
