.vscode fix: upgrade from python 3.7 to 3.8 Oct 19, 2023 asicverifier fix: Make attribute optional for some class attribute Nov 29, 2023 tests fix: upgrade from python 3.7 to 3.8 Oct 19, 2023 .gitignore fix: LI
Add Python 3 to Codespaces .github Update Codecov workflow action .vscode Make rust-analyzer use x.py (#1141) analysis Skip a test on macOS due to unreliable MIR evaluation Publish Mendel verifier jni-gen Format code prusti-common Publish Mendel verifier ...
Add Python 3 to Codespaces Oct 18, 2022 .github Fix zip on windows Feb 29, 2024 .vscode Make rust-analyzer use x.py (#1141) Aug 30, 2022 analysis Fix windows CI builds (#1476) Dec 6, 2023 docs Document ignore_deps_contracts flag ...
Install Java 11 or newer (64 bit) and Python 3.9 (64 bit, other versions likelywill not work), as well as the required version of either Visual C++ Build Tools or Visual Studio if necessary. Experimental support for newer Python versions is available on the branchespy310,py311andpy312but ...
This involves first creating the Python virtual environment and then running the scons command to build Proxy Verifier. Here is an example invocation: # Install scons and any of its Python requirements. This only needs to be # done once before the first invocation of scons. # # Note: for ...