Open Hub
Open Hub

 Settings |  Report Duplicate

3
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 8 hours ago. based on code collected about 8 hours ago.
Aug 16, 2024 — Aug 16, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Ues BV 128 to check the precondition of mach.bv operations
Guillaume Cluzel
More... about 4 years ago
Merge branch 'eliminate_definitions_when_counterexample_tracing_required_two' into 'master'
MARCHE Claude
More... about 4 years ago
Minor refactor in model_parser
Benedikt Becker
More... about 4 years ago
Update oracles
Benedikt Becker
More... about 4 years ago
make transf eliminate_definition aware of the meta for CE tracing
Claude Marché
as Claude Marche
More... about 4 years ago
fix bench for infer
Claude Marché
as Claude Marche
More... about 4 years ago
Add exec trace entry and model element kind for call results
Benedikt Becker
More... about 4 years ago
Split RAC oracle: for variables and for call results
Benedikt Becker
More... about 4 years ago
Refactor attribute for identifiers of call results
Benedikt Becker
More... about 4 years ago
Use model trace for unused variables
Benedikt Becker
More... about 4 years ago
convert to 128 bit for checks
Claude Marché
as Claude Marche
More... about 4 years ago
Merge branch 'refactor-rac' into 'master'
Benedikt Becker
More... about 4 years ago
Update oracles
Benedikt Becker
More... about 4 years ago
Simplify signature of Check_ce.select_model
Benedikt Becker
More... about 4 years ago
Merge branch 'call-results-for-ce-cleaner' into 'master'
MARCHE Claude
More... about 4 years ago
Merge branch '583-using-a-bitvector-of-size-128-produces-a-failure-with-cvc4' into 'master'
MARCHE Claude
More... about 4 years ago
fix session
Claude Marché
as Claude Marche
More... about 4 years ago
fix sessions
Claude Marché
as Claude Marche
More... about 4 years ago
Add new drivers for z3 and cvc4 to support bitvectors of size 128 and 256
Guillaume Cluzel
More... about 4 years ago
fix check-ce-bench
Claude Marché
as Claude Marche
More... about 4 years ago
update ce-bench
Claude Marché
as Claude Marche
More... about 4 years ago
Merge branch 'master' into call-results-for-ce-cleaner
Claude Marché
as Claude Marche
More... about 4 years ago
fix CE bench
Claude Marché
as Claude Marche
More... about 4 years ago
fix bench
Claude Marché
as Claude Marche
More... about 4 years ago
trywhy3: removed debug printf
Jean-Christophe Filliatre
More... about 4 years ago
Merge branch 'internship-2021-LMF' into 'master'
Jean-Christophe Filliâtre
More... about 4 years ago
Merge branch 'menhir-bound' into 'master'
Guillaume Melquiond
More... about 4 years ago
bench of Python/Micro-C files
Jean-Christophe Filliatre
More... about 4 years ago
Increase the lower bound on Menhir.
Guillaume Melquiond
More... about 4 years ago
Increase the lower bound on Menhir.
Guillaume Melquiond
More... about 4 years ago