3
I Use This!
High Activity

Commits : Listings

Analyzed 10 days ago. based on code collected 10 days ago.
Dec 05, 2016 — Dec 05, 2017
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
update sessions A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 days ago
suppress warning about non conservative extension A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 days ago
update Isabelle realizations after changes in int.Exponentiation A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 days ago
update provers in some sessions A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 days ago
Merge branch 'spark_bitvector_theory_changes' A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 10 days ago
update a session: use CVC4 in place of CVC3 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 11 days ago
update theory int.Exponentiation and its Coq realization A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 13 days ago
example prover: remember where were the 'variant {0}' before A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 13 days ago
cleaning detached: temporary work-around an unexpected assert failure A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 14 days ago
example prover: removed detached nodes A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 14 days ago
Fixing bv theory after changes to theory bv.why. Anon32 More... 14 days ago
detached nodes: proper handling in cleaning and proved status A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 14 days ago
Make get_session_dir also support session files. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 15 days ago
Merge branch 'next' 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 15 days ago
Escape unrecognized identifiers as they may contain '<' or '>'. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 15 days ago
Avoid using '&apos;', which is not a valid entity for HTML 4. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 15 days ago
Improve gallery generation. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 15 days ago
update sessions affected by the change in bv theory A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
Merge branch 'master' into spark_bitvector_theory_changes A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
smtv2 printer: do not use 2.5-only features A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
Merge branch 'spark_bitvector_theory_changes' of gitlab.inria.fr:why3/why3 into spark_bitvector_theory_changes A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
Only diff on bv.why Anon32 More... 16 days ago
Revert "Q817-011 proof - integrate float enabled cvc4" Anon32 More... 16 days ago
example prover: update session A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
fix issue #47 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
fix blocking issue #48 A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 16 days ago
Merge branch 'next' 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 17 days ago
Try harder to detect equal constants when encoding literals. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 17 days ago
example prover: extraction resurected A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 17 days ago
prover: fix sessions, because of negative literals A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 17 days ago