0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 19 days ago. based on code collected 20 days ago.
Jan 30, 2024 — Jan 30, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
CI: guess what? You need to install pdflatex before using it
mquinson
as Martin Quinson
More... over 3 years ago
CI: generate a dashboard of all the latex figures
mquinson
as Martin Quinson
More... over 3 years ago
Fix the last error reported by valgrind in the generated codes
mquinson
as Martin Quinson
More... over 3 years ago
sgvg: let's not eat all my disk space during the night
mquinson
as Martin Quinson
More... over 3 years ago
More verbose logs: display the elapsed time on the console too
mquinson
as Martin Quinson
More... over 3 years ago
Fix more generated codes
mquinson
as Martin Quinson
More... over 3 years ago
Automatically invalidate the cache if the md5sum of the source file changed
mquinson
as Martin Quinson
More... over 3 years ago
New tool: sgvg, to run valgrind on the codes
mquinson
as Martin Quinson
More... over 3 years ago
Fix more codes
mquinson
as Martin Quinson
More... over 3 years ago
Add valgrind to our docker img
mquinson
as Martin Quinson
More... over 3 years ago
Fix code with Ireduce
mquinson
as Martin Quinson
More... over 3 years ago
Ignore more cruft
mquinson
as Martin Quinson
More... over 3 years ago
Produce another table for the full result, in portrait mode and similar to the others
mquinson
as Martin Quinson
More... over 3 years ago
Generate two more tables from the results
mquinson
as Martin Quinson
More... over 3 years ago
Fix some errors in the generated codes
mquinson
as Martin Quinson
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
mquinson
as Martin Quinson
More... over 3 years ago
CI: remove /MBI from the (possibly obsolete) docker image
mquinson
as Martin Quinson
More... over 3 years ago
Only produce the tabular, let the table* to the including document
mquinson
as Martin Quinson
More... over 3 years ago
CI: always run the pages job
mquinson
as Martin Quinson
More... over 3 years ago
MUST: install the prebuilds in parallel
mquinson
as Martin Quinson
More... over 3 years ago
Update .gitlab-ci.yml file
mquinson
as Martin Quinson
More... over 3 years ago
CI: Generate the latex in a separate job to not hinder the web regeneration
mquinson
as Martin Quinson
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
mquinson
as Martin Quinson
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
mquinson
as Martin Quinson
More... over 3 years ago
CIVL: also understand when the tool says a result is provable
mquinson
as Martin Quinson
More... over 3 years ago
Fix yaml syntax
mquinson
as Martin Quinson
More... over 3 years ago
Merge branch 'master' of gitlab.com:MpiBugsInitiative/MpiBugsInitiative
mquinson
as Martin Quinson
More... over 3 years ago