details
opam files in the why3 repository
add ellipsis to avoid printing too large terms
shapes are now read in parallel as the session. We could now remove
check-sums from session in a near future, providing we can compute
check-sum of a while set of files, or of individual file,
or individual sessions (the latter more likely).
session read: add sum and shapes directly while reading XML file
fix bug in loading/fixing XML attributes (wrong read order)
fixed some sessions (Coq8.4 pl3 -> pl4)
prepare for transformation compute_in_context
ROADMAP: instructions for OPAM package
install-lib should also install why3session.{cma|cmxa}
session files: preserve prover ids when saving new session
filename for uncompressed shapes should be without extension
poor man's attempt to compute a checksum for a theory (indeed a miserable failure)
(WIP) mini-compiler proof in progress
allow loading more strategies using --extra-config
(WIP) mini-compiler in Why3
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3
more informative info messages
selects the naive pairing algorithm when shapes are not on disk
protect some exception catching with not Debug.stack_trace