User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:07, 21 September 2010 (diff | hist) . . (0) . . N File:Mtg20100921d.png (current)
- 10:05, 21 September 2010 (diff | hist) . . (0) . . N File:Mtg20100921.notebook (current)
- 10:03, 21 September 2010 (diff | hist) . . (+1) . . Meeting Minutes - September 21, 2010 (→Theory Combination) (current)
- 10:02, 21 September 2010 (diff | hist) . . (+2) . . Meeting Minutes - September 21, 2010 (→Theory Combination)
- 10:02, 21 September 2010 (diff | hist) . . (+176) . . Meeting Minutes - September 21, 2010 (→Theory Combination)
- 10:01, 21 September 2010 (diff | hist) . . (+77) . . N File:Jovanovic barrett sharing is caring slides.pdf (Slides from SMT 2010 in Edinburgh. Jovanovic and Barrett, Sharing is Caring.) (current)
- 12:53, 20 September 2010 (diff | hist) . . (+1,131) . . N Meeting Minutes - September 21, 2010 (Created page with 'Category:Minutes {{mtglinks|||2010-9-21|10:30am|12:30pm}} =Notes= New meeting time - 10:30am Reservation length - 90 min? 120 min? ==Status== * morgan - uf, stats, clus…')
- 14:16, 14 September 2010 (diff | hist) . . (+138) . . Meeting Minutes - September 14, 2010 (→Project Status) (current)
- 14:15, 14 September 2010 (diff | hist) . . (-79) . . Meeting Minutes - September 14, 2010 (→Assignments)
- 14:14, 14 September 2010 (diff | hist) . . (+32) . . Meeting Minutes - September 14, 2010 (→Notes)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
