| commit | df1fd4541ef4a7cb4c045fbcf09a1dee3a1261bc | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Mon, 16 Dec 2024 08:59:55 +0000 (16 09:59 +0100) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Mon, 16 Dec 2024 08:59:55 +0000 (16 09:59 +0100) | ||
| tree | b80408e3fe681c33efe1c57d5f692c0007174db4 | treesnapshot (tar.gz zip) |
| parent | efeac5d981efa18b45f727c72d631e916bc20aea | commitdiff |
| parent | 23c0f93c02de233a62e1c479d91ac3be6af94265 | commitdiff |
Merge branch 'smtv2-dont-fail-on-untyped-prover-vars' into 'master'
SMTv2 model parser: don't fail on untyped prover variables
See merge request why3/why3!1186
SMTv2 model parser: don't fail on untyped prover variables
See merge request why3/why3!1186
| src/driver/smtv2_model_parser.ml | diff1 | diff2 | blobhistory |