3
I Use This!
Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Aug 17, 2016 — Aug 17, 2017
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Update cvc4_15 driver Anon32 More... 1 day ago
fix CE bench for using official CVC4 1.5 release A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
Support for CVC4 1.5 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
minor, removed warning A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
slight improvement of Ocaml extraction for ghost variables A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
Support for E prover 1.9 and 2.0 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
missing headers A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 1 month ago
update failing proofs in nightly bench A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
few improvements in CE bench A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
trywhy3: update syntax and add "5000 steps" option Anon32 More... about 2 months ago
Eliminate_algrebraic: Pervasives.or is deprecated Anon32 More... about 2 months ago
Update ce-bench and order printed file Anon32 More... about 2 months ago
CE bench: enforce execution with cwd = the directory bench/ A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
Adapting existing CE tests to ce-bench. Removed timings. Anon32 More... about 2 months ago
Added no_inversion and no_selector for eliminate_algebraic transformations from a commit by Florian Schanda in 2013 (Spark repo 9b954f4). Anon32 More... about 2 months ago
why3 client/server: ensure the socket name does not already exist A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
update obsolete session A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
yet another attempt A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
protect unix error, another attempt A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
attempt to capture connection error (Unix_error(_,"connect",_)) A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
make CE regression tests more robust A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
adding ce regression tests in nightly bencn A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
starting a regression test suite for counterexamples A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... about 2 months ago
Alt-Ergo version in auto: 1.01 or 1.30 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
fix sessions for nightly replay A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
fix numbering of sub-goals A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
update obsolete sessions A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
another minor bug fix A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
minor bug fix A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago
fix computation of names from expl or goal name A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 2 months ago