User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 12:25, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 12:22, 23 June 2014 (diff | hist) . . (+17) . . Meeting Minutes - June 23, 2014 (→Release checklist)
- 12:19, 23 June 2014 (diff | hist) . . (-122) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 12:14, 23 June 2014 (diff | hist) . . (+248) . . Meeting Minutes - June 23, 2014 (→Discussion)
- 11:24, 23 June 2014 (diff | hist) . . (+12) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:04, 23 June 2014 (diff | hist) . . (-1) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:01, 23 June 2014 (diff | hist) . . (0) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:01, 23 June 2014 (diff | hist) . . (+10) . . Meeting Minutes - June 23, 2014 (→Status)
- 11:00, 23 June 2014 (diff | hist) . . (+395) . . Meeting Minutes - June 23, 2014 (→Status)
- 20:11, 17 June 2014 (diff | hist) . . (+225) . . Options (→:link) (current)
- 14:29, 16 June 2014 (diff | hist) . . (+864) . . N Meeting Minutes - June 23, 2014 (Created page with "{{mtglinks|||2014-06-23|1:30pm|3:30pm}} =Status= SMT-COMP application binary submitted without incident. =Discussion= ==Benchmark duties== ==Release checklist== Sets * synt…")
- 11:30, 16 June 2014 (diff | hist) . . (+107) . . Meeting Minutes - June 16, 2014 (→Release checklist) (current)
- 11:16, 16 June 2014 (diff | hist) . . (+57) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:15, 16 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:13, 16 June 2014 (diff | hist) . . (+154) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 11:10, 16 June 2014 (diff | hist) . . (+102) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 10:56, 16 June 2014 (diff | hist) . . (+133) . . Meeting Minutes - June 16, 2014 (→Release checklist)
- 09:02, 16 June 2014 (diff | hist) . . (+374) . . Meeting Minutes - June 16, 2014
- 09:00, 16 June 2014 (diff | hist) . . (+108) . . N Meeting Minutes - June 16, 2014 (Created page with "{{mtglinks|||2014-06-16|1:30pm|3:30pm}} =Status= =Discussion= ==Benchmark duties== ==Release checklist==")
- 11:40, 9 June 2014 (diff | hist) . . (+344) . . Meeting Minutes - June 9, 2014 (current)
- 08:23, 9 June 2014 (diff | hist) . . (+170) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 08:19, 9 June 2014 (diff | hist) . . (+123) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 07:47, 9 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 07:38, 9 June 2014 (diff | hist) . . (+342) . . Meeting Minutes - June 9, 2014
- 20:54, 8 June 2014 (diff | hist) . . (-58) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 20:01, 8 June 2014 (diff | hist) . . (+321) . . N Meeting Minutes - June 9, 2014 (Created page with "{{mtglinks|||2014-06-09|1:30pm|3:30pm}} =Status= Morgan * benchmarks benchmarks benchmarks ! =Discussion= ==SMT-LIB duties remaining== * Statuses for some ABV benchmarks? * …")
- 07:58, 19 May 2014 (diff | hist) . . (+60) . . N Meeting Minutes - May 19, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-05-19|1:30pm|3:30pm}}") (current)
- 11:33, 5 May 2014 (diff | hist) . . (+64) . . Meeting Minutes - May 5, 2014 (→solveWithAssumptions and Tim's idea) (current)
- 11:29, 5 May 2014 (diff | hist) . . (+274) . . Meeting Minutes - May 5, 2014 (→T-Entailment)
- 11:26, 5 May 2014 (diff | hist) . . (+127) . . Meeting Minutes - May 5, 2014 (→Status)
- 11:05, 5 May 2014 (diff | hist) . . (+148) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:55, 5 May 2014 (diff | hist) . . (+34) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:55, 5 May 2014 (diff | hist) . . (+21) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:52, 5 May 2014 (diff | hist) . . (+271) . . Meeting Minutes - May 5, 2014
- 10:29, 5 May 2014 (diff | hist) . . (+29) . . Meeting Minutes - May 5, 2014
- 10:27, 5 May 2014 (diff | hist) . . (+220) . . Meeting Minutes - May 5, 2014
- 10:25, 5 May 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (current)
- 10:24, 5 May 2014 (diff | hist) . . (+80) . . N Meeting Minutes - May 5, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-05-05|1:30pm|3:30pm}} Status Discussion")
- 16:16, 2 May 2014 (diff | hist) . . (0) . . Tutorials (→bitvectors)
- 11:31, 28 April 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (→Status)
- 11:30, 28 April 2014 (diff | hist) . . (+86) . . Meeting Minutes - April 28, 2014 (→Status)
- 11:24, 28 April 2014 (diff | hist) . . (+505) . . Meeting Minutes - April 28, 2014
- 11:18, 21 April 2014 (diff | hist) . . (+238) . . Meeting Minutes - April 21, 2014 (current)
- 11:03, 21 April 2014 (diff | hist) . . (+312) . . Meeting Minutes - April 21, 2014
- 11:01, 21 April 2014 (diff | hist) . . (+175) . . Meeting Minutes - April 21, 2014
- 10:58, 21 April 2014 (diff | hist) . . (+357) . . Meeting Minutes - April 21, 2014
- 10:26, 21 April 2014 (diff | hist) . . (+123) . . Meeting Minutes - April 21, 2014
- 10:25, 21 April 2014 (diff | hist) . . (+172) . . N Meeting Minutes - April 21, 2014 (Created page with "http://128.122.20.235/web/compare_jobs.php?reference=74&job=73 https://docs.google.com/spreadsheet/ccc?key=0Am4jrxbVga9RdENCMjhYeFhYeGZvSkFObGlieHNWbFE&usp=drive_web#gid=0")
- 17:47, 11 April 2014 (diff | hist) . . (+84) . . N Meeting Minutes - April 14, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-04-14|1:30pm|3:30pm}} =Status= =Discussion=") (current)
- 12:38, 7 April 2014 (diff | hist) . . (+548) . . Meeting Minutes - April 7, 2014 (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
