Public Git Hosting - why3.git/commit

commit	a74598f928737526069c1312d6fd4707a2ef728e
author	MARCHE Claude <claude.marche@inria.fr>
	Tue, 8 Oct 2024 19:00:00 +0000 (8 21:00 +0200)
committer	MARCHE Claude <claude.marche@inria.fr>
	Tue, 8 Oct 2024 19:00:00 +0000 (8 21:00 +0200)
tree	30af9221683e95eedfd1bd986579897efe4db099	tree \| snapshot (tar.gz zip)
parent	b5ce8d83a32c3f457fcd51abf358d9148254af3e	commit \| diff

do not take resource limits from more than one source

48 files changed:

CHANGES.md		diff \| blob \| blame \| history
bench/bench		diff \| blob \| blame \| history
bench/check-ce-bench		diff \| blob \| blame \| history
bench/check-ce/oracles/703_reduce_term_Z3,4.8.10_SP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/703_reduce_term_Z3,4.8.10_WP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/anonymous5_Z3,4.8.10_SP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/anonymous5_Z3,4.8.10_WP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/map_of_algebraic_Z3,4.8.10_SP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/map_of_algebraic_Z3,4.8.10_WP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/maps_mono_CVC5,1.0.5_SP.oracle		diff \| blob \| blame \| history
bench/check-ce/oracles/maps_mono_CVC5,1.0.5_WP.oracle		diff \| blob \| blame \| history
doc/exec.rst		diff \| blob \| blame \| history
doc/manpages.rst		diff \| blob \| blame \| history
examples/use_api/counterexample.ml		diff \| blob \| blame \| history
examples/use_api/create_session.ml		diff \| blob \| blame \| history
examples/use_api/epsilon.ml		diff \| blob \| blame \| history
examples/use_api/logic.ml		diff \| blob \| blame \| history
examples/use_api/mlw_expr.ml		diff \| blob \| blame \| history
examples/use_api/mlw_tree.ml		diff \| blob \| blame \| history
src/driver/call_provers.ml		diff \| blob \| blame \| history
src/driver/call_provers.mli		diff \| blob \| blame \| history
src/driver/driver.ml		diff \| blob \| blame \| history
src/driver/driver.mli		diff \| blob \| blame \| history
src/ide/why3ide.ml		diff \| blob \| blame \| history
src/mlw/check_ce.ml		diff \| blob \| blame \| history
src/mlw/check_ce.mli		diff \| blob \| blame \| history
src/mlw/pinterp.ml		diff \| blob \| blame \| history
src/mlw/pinterp.mli		diff \| blob \| blame \| history
src/mlw/rac.ml		diff \| blob \| blame \| history
src/mlw/rac.mli		diff \| blob \| blame \| history
src/session/controller_itp.ml		diff \| blob \| blame \| history
src/session/controller_itp.mli		diff \| blob \| blame \| history
src/session/itp_communication.ml		diff \| blob \| blame \| history
src/session/itp_communication.mli		diff \| blob \| blame \| history
src/session/itp_server.ml		diff \| blob \| blame \| history
src/session/json_util.ml		diff \| blob \| blame \| history
src/session/server_utils.ml		diff \| blob \| blame \| history
src/session/server_utils.mli		diff \| blob \| blame \| history
src/session/session_itp.ml		diff \| blob \| blame \| history
src/session/session_itp.mli		diff \| blob \| blame \| history
src/tools/why3execute.ml		diff \| blob \| blame \| history
src/tools/why3prove.ml		diff \| blob \| blame \| history
src/tools/why3replay.ml		diff \| blob \| blame \| history
src/trywhy3/why3_worker.ml		diff \| blob \| blame \| history
src/why3session/why3session_create.ml		diff \| blob \| blame \| history
src/why3session/why3session_html.ml		diff \| blob \| blame \| history
src/why3session/why3session_latex.ml		diff \| blob \| blame \| history
src/why3session/why3session_update.ml		diff \| blob \| blame \| history

A platform for deductive program verification

RSS Atom