User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:41, 26 July 2010 (diff | hist) . . (-60) . . Meeting Minutes - July 27, 2010 (→Notes)
- 11:58, 23 July 2010 (diff | hist) . . (+46) . . Meeting Minutes - July 27, 2010 (→Notes)
- 14:44, 22 July 2010 (diff | hist) . . (+88) . . Meeting Minutes - July 27, 2010 (→Notes)
- 14:40, 22 July 2010 (diff | hist) . . (+64) . . Meeting Minutes - July 27, 2010
- 14:32, 22 July 2010 (diff | hist) . . (+14) . . Meeting Minutes - July 27, 2010
- 14:31, 22 July 2010 (diff | hist) . . (+640) . . N Meeting Minutes - July 27, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-7-27|10am|12pm}} =Notes= * theories using other theories -- e.g. difference logic * splitting ? * new minisat version integration * theor…')
- 08:23, 6 July 2010 (diff | hist) . . (+2) . . Developer Meeting Minutes (→July 2010)
- 08:22, 6 July 2010 (diff | hist) . . (0) . . N File:Mtg20100706.notebook (current)
- 08:22, 6 July 2010 (diff | hist) . . (0) . . N File:Mtg20100706c.png (current)
- 08:21, 6 July 2010 (diff | hist) . . (0) . . N File:Mtg20100706b.png (current)
- 08:21, 6 July 2010 (diff | hist) . . (0) . . N File:Mtg20100706a.png (current)
- 08:19, 6 July 2010 (diff | hist) . . (+513) . . N Meeting Minutes - July 6, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-7-6|10am|11:20am}} =Notes= See electronic notes. =Assignments= * Tim - splitting, arith, z3 comparison on # decisions * Clark - arrays,…') (current)
- 08:33, 30 June 2010 (diff | hist) . . (0) . . Developer Meeting Minutes (→June 2010)
- 08:32, 30 June 2010 (diff | hist) . . (0) . . N File:Mtg20100622.notebook (current)
- 08:32, 30 June 2010 (diff | hist) . . (0) . . N File:Mtg20100622.png (current)
- 08:29, 30 June 2010 (diff | hist) . . (0) . . N File:Mtg20100630.png (current)
- 08:28, 30 June 2010 (diff | hist) . . (0) . . N File:Mtg20100630.notebook (current)
- 08:26, 30 June 2010 (diff | hist) . . (0) . . Meeting Minutes - June 30, 2010 (→Notes) (current)
- 08:23, 30 June 2010 (diff | hist) . . (+291) . . Meeting Minutes - June 30, 2010 (→Notes)
- 08:05, 30 June 2010 (diff | hist) . . (+262) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:58, 30 June 2010 (diff | hist) . . (+20) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:47, 30 June 2010 (diff | hist) . . (+35) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:43, 30 June 2010 (diff | hist) . . (+68) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:42, 30 June 2010 (diff | hist) . . (+1) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:42, 30 June 2010 (diff | hist) . . (+105) . . Meeting Minutes - June 30, 2010 (→Notes)
- 07:34, 30 June 2010 (diff | hist) . . (+451) . . Meeting Minutes - June 30, 2010 (→Notes)
- 06:25, 30 June 2010 (diff | hist) . . (+254) . . Meeting Minutes - June 30, 2010 (→Notes)
- 06:22, 30 June 2010 (diff | hist) . . (+25) . . Meeting Minutes - June 30, 2010 (→Notes)
- 14:46, 29 June 2010 (diff | hist) . . (+61) . . Meeting Minutes - June 30, 2010 (→Notes)
- 14:45, 29 June 2010 (diff | hist) . . (+256) . . Meeting Minutes - June 30, 2010 (→Notes)
- 10:30, 23 June 2010 (diff | hist) . . (+331) . . Meeting Minutes - June 30, 2010
- 07:59, 22 June 2010 (diff | hist) . . (+17) . . Meeting Minutes - June 22, 2010 (current)
- 07:57, 22 June 2010 (diff | hist) . . (+571) . . N Meeting Minutes - June 30, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-30|10am|12pm}} =Notes= Group status stats demo? =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rewri…')
- 07:27, 22 June 2010 (diff | hist) . . (+45) . . Meeting Minutes - June 22, 2010 (→Notes)
- 03:33, 22 June 2010 (diff | hist) . . (+35) . . Meeting Minutes - June 22, 2010 (→Notes)
- 11:25, 21 June 2010 (diff | hist) . . (+874) . . N Meeting Minutes - June 22, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-22|10am|12pm}} =Notes= Group status *Morgan **UF, benchmarks, CVC4 testing *Clark **Arrays *Chris **parser *Liana **proofs *Tim **Dejan…')
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615.notebook (current)
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615b.png (current)
- 08:33, 15 June 2010 (diff | hist) . . (0) . . N File:Mtg20100615a.png (current)
- 08:32, 15 June 2010 (diff | hist) . . (+3) . . Meeting Minutes - June 15, 2010 (current)
- 08:32, 15 June 2010 (diff | hist) . . (+216) . . Meeting Minutes - June 15, 2010 (→Notes)
- 08:07, 8 June 2010 (diff | hist) . . (+573) . . N Meeting Minutes - June 15, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-15|10am|12pm}} =Notes= CVC4 status Agenda *sharing =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rew…')
- 08:06, 8 June 2010 (diff | hist) . . (+9) . . Meeting Minutes - June 8, 2010 (→Notes) (current)
- 08:05, 8 June 2010 (diff | hist) . . (+23) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:05, 8 June 2010 (diff | hist) . . (-52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 08:04, 8 June 2010 (diff | hist) . . (+859) . . Meeting Minutes - June 8, 2010 (→Notes)
- 15:05, 7 June 2010 (diff | hist) . . (+52) . . Meeting Minutes - June 8, 2010 (→Notes)
- 09:05, 3 June 2010 (diff | hist) . . (+551) . . N Meeting Minutes - June 8, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-6-8|10am|12pm}} =Notes= Agenda =Assignments= * Tim - eager splitting * Dejan - splitting on demand * Morgan - rewriting * Dejan - night…')
- 09:04, 3 June 2010 (diff | hist) . . (+394) . . Meeting Minutes - June 3, 2010 (→Notes) (current)
- 04:56, 3 June 2010 (diff | hist) . . (+73) . . Meeting Minutes - June 3, 2010 (→Notes)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
