3
I Use This!
Activity Not Available

Commits : Listings

Analyzed 8 months ago. based on code collected 8 months ago.
Nov 05, 2015 — Nov 05, 2016
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Example verifythis_2016_matrix_multiplication: Strassen's algorithm adapted to handle non-square matrices Anon32 More... 8 months ago
PA03-013 counterex: Projection function defined after being applied. Anon32 More... 8 months ago
P419-017 counterex- Missing one liner with multidim array Anon32 More... 8 months ago
fix installation of vim files Anon32 More... 8 months ago
why3doc: flush the output when done 2a4f99ff7d91dcfde6114b2379ac52a3?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 8 months ago
add Monotonic axiom to FromInt theory Anon32 More... 8 months ago
vim-pathogen compliance Anon32 More... 8 months ago
minor replace magic constant by named constant Anon32 More... 9 months ago
Bugfix: transformation split unsound due to careless closure Anon32 More... 9 months ago
Fixed stupid missing detail in previous commit... A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
prover upgrade policy: default choice is now to upgrade A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
Yet another attempt to fix unstability of prover answers A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
updated session for div, Metis proofs A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
Alt-Ergo: missing regexp for timeout A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
Fix specification for FP neg and sqrt. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 9 months ago
Fix incorrect specification for fma when the result rounds to zero. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 9 months ago
Update session and a proof on in_progress/mp Anon32 More... 9 months ago
New transformation 'introduce_exists' to destruct existentially quantified axioms A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 9 months ago
Keeping keep_on_simp labels during wp generation. Anon32 More... 9 months ago
updated session on test-provers/div with Alt-Ergo.1.20.prv A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Driver Alt-Ergo: uap directly Euclidean div and mod to Alt-Ergo A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Driver alt-ergo refreshed A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
updated sessions A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
merge again with bugfix A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Additional fix on regexps for extracting prover result in Alt-Ergo driver A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Fixed regexp for extracting prover result in Alt-Ergo driver A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Fixed regexp for extracting prover result in Alt-Ergo driver A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 months ago
Add some specifications for floating-point fma and sqrt. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 10 months ago
Why3 counterex - Changing parsing of prover return statement for altergo. Anon32 More... 10 months ago
fixed 'make gallery' 2a4f99ff7d91dcfde6114b2379ac52a3?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 10 months ago