- 09 Feb, 2015 1 commit
-
-
Armin Rigo authored
Improve the tests. Seems for some reason that *only with the JIT* we're getting the wrong location reported for write-read conflicts . --HG-- branch : stmgc-c7
-
- 02 Feb, 2015 1 commit
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 29 Jan, 2015 1 commit
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 22 Jan, 2015 1 commit
-
-
Armin Rigo authored
Don't load the whole file in memory (doesn't fit for a 600MB file produced by a 10-minutes run) and print progress. --HG-- branch : stmgc-c7
-
- 18 Jan, 2015 2 commits
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 19 Nov, 2014 1 commit
-
-
Remi Meier authored
--HG-- branch : stmgc-c7
-
- 18 Nov, 2014 1 commit
-
-
Remi Meier authored
--HG-- branch : stmgc-c7
-
- 14 Nov, 2014 2 commits
-
-
Remi Meier authored
the initialization or shutdown phases instead of the actual runtime. --HG-- branch : stmgc-c7
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 07 Nov, 2014 1 commit
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 06 Oct, 2014 1 commit
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
- 05 Oct, 2014 2 commits
-
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-
Armin Rigo authored
--HG-- branch : stmgc-c7
-