Public Git Hosting - why3.git/search

5 days ago	MARCHE Claude	Merge branch 'letify_generated_formula' into 'master'	commit \| commitdiff \| tree
5 days ago	MARCHE Claude	Reduce the size of the formula produced, using let...	commit \| commitdiff \| tree
5 days ago	MARCHE Claude	Merge branch '704-add-support-for-colibri2-prover'...	commit \| commitdiff \| tree
6 days ago	MARCHE Claude	Merge branch '856-forward-propagation-strategy-correct...	commit \| commitdiff \| tree
6 days ago	MARCHE Claude	Merge branch '851-forward-propagation-strategy-some...	commit \| commitdiff \| tree
6 days ago	MARCHE Claude	Merge branch 'fix_session' into 'master'	commit \| commitdiff \| tree
10 days ago	MARCHE Claude	Merge branch 'disable-alt-ergo-fpa-2.5.3' into 'master'	commit \| commitdiff \| tree
11 days ago	MARCHE Claude	Merge branch '854-encoding-regression-on-datatypes...	commit \| commitdiff \| tree
11 days ago	MARCHE Claude	never encode enums and records for Alt-Ergo	commit \| commitdiff \| tree
2024-05-16	MARCHE Claude	Merge branch 'fix_proofs' into 'master'	commit \| commitdiff \| tree
2024-05-16	MARCHE Claude	Merge branch '847-evaluate-impact-of-simplify_intros...	commit \| commitdiff \| tree
2024-05-15	MARCHE Claude	Merge branch '852-add-support-for-16-bit-machine-integers...	commit \| commitdiff \| tree
2024-05-15	MARCHE Claude	add int16 and uint16 and extraction to c	commit \| commitdiff \| tree
2024-04-25	MARCHE Claude	Merge branch 'fix_sessions' into 'master'	commit \| commitdiff \| tree
2024-04-25	MARCHE Claude	Fix sessions	commit \| commitdiff \| tree
2024-04-25	MARCHE Claude	Merge branch 'propagation_minor' into 'master'	commit \| commitdiff \| tree
2024-04-25	MARCHE Claude	Merge branch 'fix_oracle_for_ce' into 'master'	commit \| commitdiff \| tree
2024-04-25	MARCHE Claude	fix model parser for Alt-Ergo output: case of empty...	commit \| commitdiff \| tree
2024-04-24	MARCHE Claude	Merge branch 'fix_support_alt_ergo_2.5.x_fpa' into...	commit \| commitdiff \| tree
2024-04-24	MARCHE Claude	Merge branch '846-forward-propagation-strategy-remove...	commit \| commitdiff \| tree
2024-04-17	MARCHE Claude	Merge branch 'update-isabelle-realizations' into 'master'	commit \| commitdiff \| tree
2024-04-16	MARCHE Claude	Merge branch '841-using-model_projection-on-alias-types...	commit \| commitdiff \| tree
2024-04-16	MARCHE Claude	Resolve "using `model_projection` on alias types should...	commit \| commitdiff \| tree
2024-04-16	MARCHE Claude	Merge branch 'polish_proof' into 'master'	commit \| commitdiff \| tree
2024-04-16	MARCHE Claude	Merge branch 'fix_sqrtrem' into 'master'	commit \| commitdiff \| tree
2024-04-16	MARCHE Claude	Merge branch 'update-sessions' into 'master'	commit \| commitdiff \| tree
2024-03-28	MARCHE Claude	Merge branch '839-forward_propagation-strategy-sin...	commit \| commitdiff \| tree
2024-03-13	MARCHE Claude	after clone the axioms should be goals, not axioms	commit \| commitdiff \| tree
2024-03-06	MARCHE Claude	Merge branch '837-document-the-forward_propagation...	commit \| commitdiff \| tree
2024-02-29	MARCHE Claude	Merge branch 'fix_clone_for_program_maps' into 'master'	commit \| commitdiff \| tree
2024-02-29	MARCHE Claude	after clone the axioms should be goals, not axioms	commit \| commitdiff \| tree
2024-02-26	MARCHE Claude	Merge branch 'hash-consed-patricia-trees' into 'master'	commit \| commitdiff \| tree
2024-02-23	MARCHE Claude	Merge branch '830-forward-error-propagation-strategy...	commit \| commitdiff \| tree
2024-02-20	MARCHE Claude	Merge branch '835-emacs-mode-setup-is-insufficient...	commit \| commitdiff \| tree
2024-02-20	MARCHE Claude	improve doc for emacs configuration	commit \| commitdiff \| tree
2024-02-20	MARCHE Claude	Merge branch 'improve-ce-bench' into 'master'	commit \| commitdiff \| tree
2024-02-19	MARCHE Claude	Merge branch 'fix-sessions' into 'master'	commit \| commitdiff \| tree
2024-02-17	MARCHE Claude	Merge branch 'ease-bitvec-arithmetic' into 'master'	commit \| commitdiff \| tree
2024-02-17	MARCHE Claude	Merge branch 'model-parser-forall' into 'master'	commit \| commitdiff \| tree
2024-02-12	MARCHE Claude	Merge branch '819-fix-shortcuts-of-alt-ergo-2-5-x'...	commit \| commitdiff \| tree
2024-02-12	MARCHE Claude	Merge branch 'fix-script-for-ce-bench-stats' into ...	commit \| commitdiff \| tree
2024-02-12	MARCHE Claude	Merge branch 'fix/why3doc/lexer-comment' into 'master'	commit \| commitdiff \| tree
2024-01-31	MARCHE Claude	Merge branch '287-add-injectivity-for-type-invariant...	commit \| commitdiff \| tree
2024-01-23	MARCHE Claude	Merge branch '826-improve-the-parser-for-models-returned...	commit \| commitdiff \| tree
2024-01-18	MARCHE Claude	Merge branch '810-strategy-for-forward-error-computation...	commit \| commitdiff \| tree
2024-01-17	MARCHE Claude	Merge branch '816-get-rid-of-meta-model_projected'...	commit \| commitdiff \| tree
2024-01-16	MARCHE Claude	Merge branch '827-export-sessions-as-zip-file-failure...	commit \| commitdiff \| tree
2024-01-16	MARCHE Claude	Merge branch '828-no-syntax-highlighting-for-mlw-files...	commit \| commitdiff \| tree
2024-01-08	MARCHE Claude	Merge branch '825-alt-ergo-2-5-x-should-be-made-used...	commit \| commitdiff \| tree
2024-01-08	MARCHE Claude	Merge branch '820-alt-ergo-2-5-x-add-the-fpa-alternative...	commit \| commitdiff \| tree
2024-01-08	MARCHE Claude	Merge branch 'topic/kanig-undone' into 'master'	commit \| commitdiff \| tree
2023-11-16	MARCHE Claude	Merge branch 'alt-ergo-smt' into 'master'	commit \| commitdiff \| tree
2023-11-16	MARCHE Claude	support for Alt-Ergo with Dolmen front-end and SMT...	commit \| commitdiff \| tree
2023-11-14	MARCHE Claude	Merge branch 'alt-ergo-252' into 'master'	commit \| commitdiff \| tree
2023-11-06	MARCHE Claude	Merge branch 'fix-stats' into 'master'	commit \| commitdiff \| tree
2023-10-31	MARCHE Claude	Merge branch '813-transformation-rewrite-produces-confusing...	commit \| commitdiff \| tree
2023-10-31	MARCHE Claude	better error message for `rewrite`	commit \| commitdiff \| tree
2023-10-30	MARCHE Claude	Merge branch 'graph-report' into 'master'	commit \| commitdiff \| tree
2023-10-19	MARCHE Claude	Merge branch '808-completion-issues-with-the-ide' into...	commit \| commitdiff \| tree
2023-10-13	MARCHE Claude	Merge branch '789-feature-wish-goal-or-more-generally...	commit \| commitdiff \| tree
2023-10-13	MARCHE Claude	Merge branch '795-rac-list-functions-and-loops-that...	commit \| commitdiff \| tree
2023-10-11	MARCHE Claude	Merge branch 'timings-api' into 'master'	commit \| commitdiff \| tree
2023-10-09	MARCHE Claude	Merge branch '803-why3-session-create-should-not-apply...	commit \| commitdiff \| tree
2023-10-02	MARCHE Claude	Merge branch '806-attribute-tags-should-not-be-stored...	commit \| commitdiff \| tree
2023-09-29	MARCHE Claude	Merge branch '804-support-for-alt-ergo-2-5-1' into...	commit \| commitdiff \| tree
2023-09-29	MARCHE Claude	Support for Alt-Ergo 2.5.1	commit \| commitdiff \| tree
2023-09-27	MARCHE Claude	Merge branch '799-sexp-files-slow-down-the-ide' into...	commit \| commitdiff \| tree
2023-09-27	MARCHE Claude	Files in sexp format are displayed in WhyML syntax...	commit \| commitdiff \| tree
2023-09-20	MARCHE Claude	Merge branch '593-conversion-float-signed-bitvectors...	commit \| commitdiff \| tree
2023-09-20	MARCHE Claude	library `ieee_float`: added conversions between floats...	commit \| commitdiff \| tree
2023-09-18	MARCHE Claude	Merge branch '656-insufficient-preconditions-in-modules...	commit \| commitdiff \| tree
2023-09-18	MARCHE Claude	Merge branch '796-ide-some-improvements-of-the-command...	commit \| commitdiff \| tree
2023-09-12	MARCHE Claude	Merge branch '625-allow-running-prover-in-parallel...	commit \| commitdiff \| tree
2023-09-12	MARCHE Claude	remove interrupted nodes when parallel run of provers	commit \| commitdiff \| tree
2023-09-12	MARCHE Claude	Merge branch '772-session-api-should-export-merge_file_secti...	commit \| commitdiff \| tree
2023-09-11	MARCHE Claude	Merge branch '709-all-warnings-should-be-toggleable...	commit \| commitdiff \| tree
2023-09-11	MARCHE Claude	Merge branch '688-disable-mbqi-in-z3' into 'master'	commit \| commitdiff \| tree
2023-09-07	MARCHE Claude	Merge branch '790-remove-axiom-compatordermult-from...	commit \| commitdiff \| tree
2023-09-07	MARCHE Claude	Merge branch '791-drivers-should-not-be-searched-in...	commit \| commitdiff \| tree
2023-09-07	MARCHE Claude	Look in the current directory only if no extra dir...	commit \| commitdiff \| tree
2023-09-06	MARCHE Claude	Merge branch '793-config-for-version-2-4-3-of-alt-ergo...	commit \| commitdiff \| tree
2023-09-06	MARCHE Claude	Merge branch '792-the-session-should-not-be-considered...	commit \| commitdiff \| tree
2023-09-04	MARCHE Claude	Merge branch 'fix-again-broken-sessions' into 'master'	commit \| commitdiff \| tree
2023-09-01	MARCHE Claude	Merge branch '788-add-a-meta-remove_def' into 'master'	commit \| commitdiff \| tree
2023-09-01	MARCHE Claude	Merge branch '787-remove-axioms-in-z3-and-cvc4-drivers...	commit \| commitdiff \| tree
2023-08-30	MARCHE Claude	Merge branch 'fix-broken-proofs' into 'master'	commit \| commitdiff \| tree
2023-08-29	MARCHE Claude	Merge branch '712-reactivate-maps_poly-and-maps_mono...	commit \| commitdiff \| tree
2023-08-29	MARCHE Claude	Merge branch '633-review-the-set-of-old-versions-of...	commit \| commitdiff \| tree
2023-08-29	MARCHE Claude	Merge branch '775-why3server-incorrect-when-client...	commit \| commitdiff \| tree
2023-08-29	MARCHE Claude	when client disconnect, kill all corresponding running...	commit \| commitdiff \| tree
2023-08-25	MARCHE Claude	Merge branch 'session_create_optional_trans' into ...	commit \| commitdiff \| tree
2023-08-25	MARCHE Claude	Merge branch 'update_a_session' into 'master'	commit \| commitdiff \| tree
2023-08-25	MARCHE Claude	Merge branch 'add-missing-warning-ids' into 'master'	commit \| commitdiff \| tree
2023-08-24	MARCHE Claude	Merge branch 'update_sessions' into 'master'	commit \| commitdiff \| tree
2023-08-23	MARCHE Claude	Merge branch '762-document-the-option-graph-of-why3...	commit \| commitdiff \| tree
2023-08-23	MARCHE Claude	Merge branch '780-get-rid-of-meta-model_record' into...	commit \| commitdiff \| tree
2023-08-22	MARCHE Claude	Merge branch '785-add-support-for-alt-ergo-2-4-3' into...	commit \| commitdiff \| tree
2023-07-21	MARCHE Claude	Merge branch '783-bugs-with-new-provers-added-in-an...	commit \| commitdiff \| tree
2023-07-19	MARCHE Claude	Merge branch '776-why3-session-info-should-have-a-mandatory...	commit \| commitdiff \| tree
2023-07-19	MARCHE Claude	Merge branch '779-answer-valid-should-always-have-priority...	commit \| commitdiff \| tree
next

A platform for deductive program verification

RSS Atom