Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Very Low Activity

Commits : Listings

Analyzed 22 days ago. based on code collected 23 days ago.
Jan 30, 2024 — Jan 30, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
MBI: Further split run from parse
mquinson
as Martin Quinson
More... almost 4 years ago
Some cosmetics, reorg and variable renames
mquinson
as Martin Quinson
More... almost 4 years ago
Merge branch 'master' of https://gitlab.inria.fr/quinson/mbi2
Emmanuelle Saillard
More... almost 4 years ago
new headers
Emmanuelle Saillard
More... almost 4 years ago
MUST: return OK when we have not detected any problem
mquinson
as Martin Quinson
More... almost 4 years ago
lint .gitlab-ci.yml
mquinson
as Martin Quinson
More... almost 4 years ago
CI: redo the code chuncking for MUST and CIVL now that we have 500+ codes
mquinson
as Martin Quinson
More... almost 4 years ago
woops
mquinson
as Martin Quinson
More... almost 4 years ago
MBI: reading from the cache is not the responsability of run_cmd anymore but of parser functions
mquinson
as Martin Quinson
More... almost 4 years ago
MBI.py: use exceptions to report errors instead of print+sys.exit()
mquinson
as Martin Quinson
More... almost 4 years ago
300 is the default timeout, no need to re-specify it each time
mquinson
as Martin Quinson
More... almost 4 years ago
gen_svg has no mode parameter anymore
mquinson
as Martin Quinson
More... almost 4 years ago
CI: for the jobs taking only some of the codes, search them in the right directory
mquinson
as Martin Quinson
More... almost 4 years ago
CI: add a job to generate the test codes
mquinson
as Martin Quinson
More... almost 4 years ago
fix generated code
mquinson
as Martin Quinson
More... almost 4 years ago
Use the correct name for the cache file
mquinson
as Martin Quinson
More... almost 4 years ago
CI: correctly generate the codes
mquinson
as Martin Quinson
More... almost 4 years ago
Split the output parsing out of the code running functions
mquinson
as Martin Quinson
More... almost 4 years ago
Kill jobid
mquinson
as Martin Quinson
More... almost 4 years ago
CI: Do generate the code before running the tools
mquinson
as Martin Quinson
More... almost 4 years ago
Merge branch 'master' of gitlab.inria.fr:quinson/mbi2
mquinson
as Martin Quinson
More... almost 4 years ago
Factorize writing the output to a cache file
mquinson
as Martin Quinson
More... almost 4 years ago
fix generator name
Emmanuelle Saillard
More... almost 4 years ago
add a new script for P2P matching
Emmanuelle Saillard
More... almost 4 years ago
Adapt gen_svg to some changes in the CSV data
mquinson
as Martin Quinson
More... almost 4 years ago
MPI-SV refuses to build on nested virtualization as we have when using docker on gitlab-CI
mquinson
as Martin Quinson
More... almost 4 years ago
Installing python3.8 on ubuntu 18.04 does not bring python3, so fully qualify the version we need
mquinson
as Martin Quinson
More... almost 4 years ago
MPI-SV: also save the Klee output,and get the 'OK' diagnostic out of here
mquinson
as Martin Quinson
More... almost 4 years ago
MPI-SV: also keep the klee output
mquinson
as Martin Quinson
More... almost 4 years ago
Display the total elapsed time as a final statistic, too
mquinson
as Martin Quinson
More... almost 4 years ago