User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 14:10, 14 September 2010 (diff | hist) . . (+1,699) . . Meeting Minutes - September 14, 2010 (→Notes)
- 07:55, 14 September 2010 (diff | hist) . . (+2) . . Developer Meeting Minutes (→December 2010)
- 07:55, 14 September 2010 (diff | hist) . . (+1) . . Developer Meeting Minutes (→November 2010)
- 07:55, 14 September 2010 (diff | hist) . . (+519) . . Developer Meeting Minutes (→Developer Meeting Minutes for 2010)
- 07:47, 14 September 2010 (diff | hist) . . (+845) . . N Meeting Minutes - September 14, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-9-14|11am|1pm}} =Notes= MINA - MOVE TO 10:30 AM ? ==Personnel Status== * morgan - uf, stats, cluster scripts * liana - proofs, clause m…')
- 14:02, 1 September 2010 (diff | hist) . . (+414) . . Developer's Guide (→Using ContextObj that aren't allocated in usual heap memory)
- 13:55, 1 September 2010 (diff | hist) . . (+521) . . Developer's Guide (→Using ContextObj that aren't allocated in usual heap memory)
- 13:47, 1 September 2010 (diff | hist) . . (0) . . Developer's Guide (→Gotchas)
- 13:46, 1 September 2010 (diff | hist) . . (+3,763) . . Developer's Guide
- 12:32, 27 July 2010 (diff | hist) . . (+873) . . Meeting Minutes - July 27, 2010 (→Notes) (current)
- 12:28, 27 July 2010 (diff | hist) . . (0) . . N File:Mtg20100727.png (current)
- 12:28, 27 July 2010 (diff | hist) . . (0) . . N File:Mtg20100727.notebook (current)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
