User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
- 10:57, 23 February 2012 (diff | hist) . . (+32) . . Meeting Minutes - February 23, 2012 (→Action items)
- 10:48, 23 February 2012 (diff | hist) . . (+133) . . Meeting Minutes - February 23, 2012 (→Action items)
- 09:42, 23 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 23, 2012 (→Architecting bitvector preprocessing)
- 09:40, 23 February 2012 (diff | hist) . . (+17) . . Meeting Minutes - February 23, 2012 (→Bitvectors)
- 09:34, 23 February 2012 (diff | hist) . . (+1) . . Meeting Minutes - February 23, 2012 (→Bitvectors)
- 09:23, 23 February 2012 (diff | hist) . . (+537) . . Meeting Minutes - February 23, 2012 (→Research/project status)
- 09:00, 23 February 2012 (diff | hist) . . (+44) . . Meeting Minutes - February 23, 2012 (→Finite model finding)
- 08:59, 23 February 2012 (diff | hist) . . (+2) . . Meeting Minutes - February 23, 2012 (→Quantifiers)
- 08:59, 23 February 2012 (diff | hist) . . (+670) . . Meeting Minutes - February 23, 2012 (→Quantifiers)
- 08:58, 23 February 2012 (diff | hist) . . (+1,646) . . Meeting Minutes - February 23, 2012 (→Quantifiers)
- 08:57, 23 February 2012 (diff | hist) . . (+338) . . Meeting Minutes - February 23, 2012 (→Rewrite rules)
- 08:56, 23 February 2012 (diff | hist) . . (+36) . . Meeting Minutes - February 23, 2012 (→Integers)
- 08:56, 23 February 2012 (diff | hist) . . (+407) . . Meeting Minutes - February 23, 2012 (→Discussion)
- 08:55, 23 February 2012 (diff | hist) . . (+245) . . Meeting Minutes - February 23, 2012 (→Merges)
- 08:55, 23 February 2012 (diff | hist) . . (+1,214) . . Meeting Minutes - February 23, 2012 (→Bitvectors)
- 08:52, 23 February 2012 (diff | hist) . . (-8) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 08:48, 23 February 2012 (diff | hist) . . (+159) . . Meeting Minutes - February 23, 2012
- 16:01, 22 February 2012 (diff | hist) . . (+192) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:44, 22 February 2012 (diff | hist) . . (-2) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:43, 22 February 2012 (diff | hist) . . (+1) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:42, 22 February 2012 (diff | hist) . . (+110) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:35, 22 February 2012 (diff | hist) . . (+69) . . Meeting Minutes - February 23, 2012 (→Merges)
- 15:23, 22 February 2012 (diff | hist) . . (+135) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 14:19, 22 February 2012 (diff | hist) . . (+171) . . Meeting Minutes - February 23, 2012 (→Arrays)
- 13:53, 22 February 2012 (diff | hist) . . (+119) . . Meeting Minutes - February 23, 2012 (→Merges)
- 12:24, 22 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - February 23, 2012 (→Minor commits/interface changes)
- 12:24, 22 February 2012 (diff | hist) . . (+54) . . Meeting Minutes - February 23, 2012 (→Portfolio)
- 11:36, 22 February 2012 (diff | hist) . . (+117) . . Meeting Minutes - February 23, 2012 (→Integers)
- 08:03, 22 February 2012 (diff | hist) . . (+34) . . Meeting Minutes - February 23, 2012 (→Website)
- 08:02, 22 February 2012 (diff | hist) . . (+9) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 08:02, 22 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 23, 2012 (→Merges)
- 08:02, 22 February 2012 (diff | hist) . . (+22) . . Meeting Minutes - February 23, 2012 (→Reference Guide (Liana/Morgan))
- 08:02, 22 February 2012 (diff | hist) . . (+42) . . Meeting Minutes - February 23, 2012 (→Merges)
- 08:01, 22 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 23, 2012 (→Bug round-up)
- 07:56, 22 February 2012 (diff | hist) . . (+59) . . Meeting Minutes - February 23, 2012 (→Regression strategy)
- 07:36, 22 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 23, 2012 (→Merges)
- 17:57, 21 February 2012 (diff | hist) . . (+122) . . Meeting Minutes - February 23, 2012 (→Minor commits/interface changes)
- 17:56, 21 February 2012 (diff | hist) . . (+27) . . Meeting Minutes - February 23, 2012 (→Merges)
- 12:51, 21 February 2012 (diff | hist) . . (-11) . . Meeting Minutes - February 23, 2012 (→Worst bugs in the world)
- 12:50, 21 February 2012 (diff | hist) . . (+166) . . Meeting Minutes - February 23, 2012 (→Worst bugs in the world)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
