CI: guess what? You need to install pdflatex before using it |
|
More...
|
over 3 years ago
|
CI: generate a dashboard of all the latex figures |
|
More...
|
over 3 years ago
|
Fix the last error reported by valgrind in the generated codes |
|
More...
|
over 3 years ago
|
sgvg: let's not eat all my disk space during the night |
|
More...
|
over 3 years ago
|
More verbose logs: display the elapsed time on the console too |
|
More...
|
over 3 years ago
|
Fix more generated codes |
|
More...
|
over 3 years ago
|
Automatically invalidate the cache if the md5sum of the source file changed |
|
More...
|
over 3 years ago
|
New tool: sgvg, to run valgrind on the codes |
|
More...
|
over 3 years ago
|
Fix more codes |
|
More...
|
over 3 years ago
|
Add valgrind to our docker img |
|
More...
|
over 3 years ago
|
Fix code with Ireduce |
|
More...
|
over 3 years ago
|
Ignore more cruft |
|
More...
|
over 3 years ago
|
Produce another table for the full result, in portrait mode and similar to the others |
|
More...
|
over 3 years ago
|
Generate two more tables from the results |
|
More...
|
over 3 years ago
|
Fix some errors in the generated codes |
|
More...
|
over 3 years ago
|
CI: don't use the MBI of the docker, but without breaking the MBI docker image detection by the scripts |
|
More...
|
over 3 years ago
|
CI: remove /MBI from the (possibly obsolete) docker image |
|
More...
|
over 3 years ago
|
Only produce the tabular, let the table* to the including document |
|
More...
|
over 3 years ago
|
CI: always run the pages job |
|
More...
|
over 3 years ago
|
MUST: install the prebuilds in parallel |
|
More...
|
over 3 years ago
|
Update .gitlab-ci.yml file |
|
More...
|
over 3 years ago
|
CI: Generate the latex in a separate job to not hinder the web regeneration |
|
More...
|
over 3 years ago
|
README update |
|
More...
|
over 3 years ago
|
fixes a Bcast |
|
More...
|
over 3 years ago
|
generator update |
|
More...
|
over 3 years ago
|
Merge branch 'master' of gitlab.com:MpiBugsInitiative/MpiBugsInitiative |
|
More...
|
over 3 years ago
|
Sort the files before putting them in batches, so that failing ones (for which no log is produced) are easier to find |
|
More...
|
over 3 years ago
|
CIVL: also understand when the tool says a result is provable |
|
More...
|
over 3 years ago
|
Fix yaml syntax |
|
More...
|
over 3 years ago
|
Merge branch 'master' of gitlab.com:MpiBugsInitiative/MpiBugsInitiative |
|
More...
|
over 3 years ago
|