User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:07, 10 February 2012 (diff | hist) . . (0) . . Using SSL with Church
- 09:06, 10 February 2012 (diff | hist) . . (+11) . . How do I... ? (→Dealing with the services on Goedel)
- 09:05, 10 February 2012 (diff | hist) . . (0) . . m Using SSL with Church (moved Using SSL with Goedel to Using SSL with Church: server name change)
- 09:05, 10 February 2012 (diff | hist) . . (+35) . . N Using SSL with Goedel (moved Using SSL with Goedel to Using SSL with Church: server name change) (current)
- 09:05, 10 February 2012 (diff | hist) . . (+86) . . Meeting Minutes - February 9, 2012
- 09:04, 10 February 2012 (diff | hist) . . (0) . . Template:Bug (current)
- 09:04, 10 February 2012 (diff | hist) . . (0) . . Template:BUG (current)
- 09:03, 10 February 2012 (diff | hist) . . (+24) . . Developer Meeting Minutes (→First Quarter 2012)
- 09:02, 10 February 2012 (diff | hist) . . (+19) . . Meeting Minutes - February 10, 2012
- 09:02, 10 February 2012 (diff | hist) . . (+210) . . N Meeting Minutes - February 10, 2012 (Created page with "Category:Minutes {{mtglinks|||2012-02-10|11:30am|12:30pm}} This was a special CVC4 architecture meeting held between core members at NYU and U Iowa. =Discussion= ==Dejan's…")
- 11:13, 9 February 2012 (diff | hist) . . (-38) . . Meeting Minutes - February 9, 2012 (→Action items)
- 10:50, 9 February 2012 (diff | hist) . . (+71) . . Meeting Minutes - February 9, 2012
- 10:48, 9 February 2012 (diff | hist) . . (-27) . . Meeting Minutes - February 9, 2012 (→Action items)
- 10:48, 9 February 2012 (diff | hist) . . (+6) . . Meeting Minutes - February 9, 2012
- 10:48, 9 February 2012 (diff | hist) . . (+143) . . Meeting Minutes - February 9, 2012
- 10:47, 9 February 2012 (diff | hist) . . (+4) . . Meeting Minutes - February 9, 2012
- 10:47, 9 February 2012 (diff | hist) . . (+73) . . Meeting Minutes - February 16, 2012
- 10:46, 9 February 2012 (diff | hist) . . (+184) . . N Meeting Minutes - February 16, 2012 (Created page with "=Logistical= =CVC4 status= =Research/project status= =Discussion= ==Theory interface contract== Dejan would like to eliminate QUICK_CHECK. =="Component-based CVC4" architec…")
- 10:45, 9 February 2012 (diff | hist) . . (+274) . . Meeting Minutes - February 9, 2012
- 10:26, 9 February 2012 (diff | hist) . . (+30) . . Meeting Minutes - February 9, 2012 (→Notification when a particular literal is implied (for Francois's rewrite rules))
- 10:17, 9 February 2012 (diff | hist) . . (+213) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 10:15, 9 February 2012 (diff | hist) . . (+230) . . Meeting Minutes - February 9, 2012 (→Modifications to SAT to support quantifiers/FMF (follow-up from email discussion))
- 10:01, 9 February 2012 (diff | hist) . . (-23) . . Meeting Minutes - February 9, 2012 (→SPARK integration)
- 09:58, 9 February 2012 (diff | hist) . . (0) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 09:57, 9 February 2012 (diff | hist) . . (+332) . . Meeting Minutes - February 9, 2012 (→CNF proofs (Andy))
- 09:47, 9 February 2012 (diff | hist) . . (+461) . . Meeting Minutes - February 9, 2012
- 09:36, 9 February 2012 (diff | hist) . . (+100) . . Meeting Minutes - February 9, 2012 (→Status)
- 08:48, 9 February 2012 (diff | hist) . . (+318) . . Meeting Minutes - February 9, 2012 (→"Rewrite" rules)
- 08:38, 9 February 2012 (diff | hist) . . (-5) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 08:37, 9 February 2012 (diff | hist) . . (+55) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 08:32, 9 February 2012 (diff | hist) . . (+142) . . Meeting Minutes - February 9, 2012 (→Status)
- 15:30, 8 February 2012 (diff | hist) . . (+23) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 15:29, 8 February 2012 (diff | hist) . . (+30) . . Meeting Minutes - February 9, 2012 (→Bitvectors)
- 15:29, 8 February 2012 (diff | hist) . . (+44) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 15:26, 8 February 2012 (diff | hist) . . (+112) . . Meeting Minutes - February 9, 2012 (→Logistical)
- 15:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→Portfolio merge)
- 15:23, 8 February 2012 (diff | hist) . . (+31) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 15:22, 8 February 2012 (diff | hist) . . (+87) . . Meeting Minutes - February 9, 2012 (→KIND integration effort)
- 15:22, 8 February 2012 (diff | hist) . . (+40) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
- 15:22, 8 February 2012 (diff | hist) . . (+29) . . Meeting Minutes - February 9, 2012 (→Quantifiers)
- 15:21, 8 February 2012 (diff | hist) . . (+70) . . Meeting Minutes - February 9, 2012 (→Integers)
- 15:20, 8 February 2012 (diff | hist) . . (+130) . . Meeting Minutes - February 9, 2012 (→Bitvectors)
- 15:20, 8 February 2012 (diff | hist) . . (+51) . . Meeting Minutes - February 9, 2012 (→Status)
- 15:19, 8 February 2012 (diff | hist) . . (+45) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 14:21, 8 February 2012 (diff | hist) . . (+47) . . Meeting Minutes - February 9, 2012 (→"Rewriters")
- 14:20, 8 February 2012 (diff | hist) . . (+857) . . Meeting Minutes - February 9, 2012 (→Status)
- 14:15, 8 February 2012 (diff | hist) . . (+48) . . Meeting Minutes - February 9, 2012 (→Critical bugs)
- 14:14, 8 February 2012 (diff | hist) . . (+143) . . Meeting Minutes - February 9, 2012 (→Discussion)
- 14:22, 7 February 2012 (diff | hist) . . (+50) . . Meeting Minutes - February 9, 2012 (→Status)
- 13:07, 7 February 2012 (diff | hist) . . (+53) . . Meeting Minutes - February 9, 2012 (→Discussion)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
