User contributions
From CVC4
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 07:23, 9 June 2014 (diff | hist) . . (+170) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 07:19, 9 June 2014 (diff | hist) . . (+123) . . Meeting Minutes - June 9, 2014 (→Before SMT-COMP deadline)
- 06:47, 9 June 2014 (diff | hist) . . (+112) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 06:38, 9 June 2014 (diff | hist) . . (+342) . . Meeting Minutes - June 9, 2014
- 19:54, 8 June 2014 (diff | hist) . . (-58) . . Meeting Minutes - June 9, 2014 (→SMT-LIB duties remaining)
- 19: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? * …")
- 06: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)
- 10:33, 5 May 2014 (diff | hist) . . (+64) . . Meeting Minutes - May 5, 2014 (→solveWithAssumptions and Tim's idea) (current)
- 10:29, 5 May 2014 (diff | hist) . . (+274) . . Meeting Minutes - May 5, 2014 (→T-Entailment)
- 10:26, 5 May 2014 (diff | hist) . . (+127) . . Meeting Minutes - May 5, 2014 (→Status)
- 10:05, 5 May 2014 (diff | hist) . . (+148) . . Meeting Minutes - May 5, 2014 (→Status)
- 09:55, 5 May 2014 (diff | hist) . . (+34) . . Meeting Minutes - May 5, 2014 (→Status)
- 09:55, 5 May 2014 (diff | hist) . . (+21) . . Meeting Minutes - May 5, 2014 (→Status)
- 09:52, 5 May 2014 (diff | hist) . . (+271) . . Meeting Minutes - May 5, 2014
- 09:29, 5 May 2014 (diff | hist) . . (+29) . . Meeting Minutes - May 5, 2014
- 09:27, 5 May 2014 (diff | hist) . . (+220) . . Meeting Minutes - May 5, 2014
- 09:25, 5 May 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (current)
- 09: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")
- 15:16, 2 May 2014 (diff | hist) . . (0) . . Tutorials (→bitvectors)
- 10:31, 28 April 2014 (diff | hist) . . (+62) . . Meeting Minutes - April 28, 2014 (→Status)
- 10:30, 28 April 2014 (diff | hist) . . (+86) . . Meeting Minutes - April 28, 2014 (→Status)
- 10:24, 28 April 2014 (diff | hist) . . (+505) . . Meeting Minutes - April 28, 2014
- 10:18, 21 April 2014 (diff | hist) . . (+238) . . Meeting Minutes - April 21, 2014 (current)
- 10:03, 21 April 2014 (diff | hist) . . (+312) . . Meeting Minutes - April 21, 2014
- 10:01, 21 April 2014 (diff | hist) . . (+175) . . Meeting Minutes - April 21, 2014
- 09:58, 21 April 2014 (diff | hist) . . (+357) . . Meeting Minutes - April 21, 2014
- 09:26, 21 April 2014 (diff | hist) . . (+123) . . Meeting Minutes - April 21, 2014
- 09: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")
- 16: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)
- 11:38, 7 April 2014 (diff | hist) . . (+548) . . Meeting Minutes - April 7, 2014 (current)
- 11:15, 7 April 2014 (diff | hist) . . (+736) . . Meeting Minutes - April 7, 2014
- 10:38, 7 April 2014 (diff | hist) . . (+178) . . Meeting Minutes - April 7, 2014
- 10:35, 7 April 2014 (diff | hist) . . (+16) . . Meeting Minutes - April 7, 2014
- 10:19, 7 April 2014 (diff | hist) . . (+26) . . Meeting Minutes - April 7, 2014
- 10:17, 7 April 2014 (diff | hist) . . (+436) . . N Meeting Minutes - April 7, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-04-07|2:00pm|3:30pm}} http://multicore.doc.ic.ac.uk/tools/GPUVerify/scatter/?x=jeroen2/cvc4-trunk-AUFBVLIA&y=jeroen2/cvc4-1.3& http://mul…")
- 10:08, 7 April 2014 (diff | hist) . . (-1) . . Meeting Minutes - March 31, 2014 (current)
- 10:57, 31 March 2014 (diff | hist) . . (+198) . . Meeting Minutes - March 31, 2014 (→Discussion)
- 10:46, 31 March 2014 (diff | hist) . . (0) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 10:45, 31 March 2014 (diff | hist) . . (+146) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 10:34, 31 March 2014 (diff | hist) . . (+145) . . Meeting Minutes - March 31, 2014 (→Documentation)
- 10:23, 31 March 2014 (diff | hist) . . (+192) . . Meeting Minutes - March 31, 2014 (→Discussion)
- 10:22, 31 March 2014 (diff | hist) . . (+678) . . Meeting Minutes - March 31, 2014 (→Status)
- 13:48, 28 March 2014 (diff | hist) . . (+72) . . Meeting Minutes - March 31, 2014
- 05:06, 19 March 2014 (diff | hist) . . (+165) . . N Meeting Minutes - March 24, 2014 (Created page with "Category:Minutes {{mtglinks|||2014-03-24|1:30pm|3:30pm}} =Status= =Discussion= ==Feature request for query inequality between two arbitrary arithmetic terms==")
- 10:48, 17 March 2014 (diff | hist) . . (+29) . . Meeting Minutes - March 17, 2014 (→Follow-ups) (current)
- 10:45, 17 March 2014 (diff | hist) . . (+42) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 10:41, 17 March 2014 (diff | hist) . . (+55) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 10:40, 17 March 2014 (diff | hist) . . (+151) . . Meeting Minutes - March 17, 2014 (→Unsat cores)
- 10:21, 17 March 2014 (diff | hist) . . (+26) . . Meeting Minutes - March 17, 2014 (→Follow-ups)
- 10:20, 17 March 2014 (diff | hist) . . (+134) . . Meeting Minutes - March 17, 2014 (→Status)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
