Releases: runtimeverification/riscv-semantics
Releases · runtimeverification/riscv-semantics
v0.1.15: Update dependency: deps/k_release (#23)
* deps/k_release: Set Version 7.1.40 * Set Version: 0.1.15 * pyproject.toml: sync pyk version 7.1.40 * deps/k_release: Set Version 7.1.41 * deps/k_release: Set Version 7.1.42 * pyproject.toml: sync pyk version 7.1.42 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.14: Extract configuration from ELF files (#22)
* Pull FAILING_TESTS out into tests/utils.py * Stub out simple integration tests * Add pyelftools dependency * Implement basic run command which extracts configuration from ELF * Add simple integration tests * Set Version: 0.1.14 * Update tests/README.md * Add --save-temps pytest option and temp_dir fixture shared among all xdist workers --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.13: Update dependency: deps/k_release (#21)
* deps/k_release: Set Version 7.1.31 * Set Version: 0.1.13 * pyproject.toml: sync pyk version 7.1.31 * deps/k_release: Set Version 7.1.32 * pyproject.toml: sync pyk version 7.1.32 * deps/k_release: Set Version 7.1.33 * pyproject.toml: sync pyk version 7.1.33 * deps/k_release: Set Version 7.1.36 * pyproject.toml: sync pyk version 7.1.36 * deps/k_release: Set Version 7.1.37 * pyproject.toml: sync pyk version 7.1.37 * deps/k_release: Set Version 7.1.38 * deps/k_release: Set Version 7.1.39 * pyproject.toml: sync pyk version 7.1.39 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.12: Update dependency: deps/k_release (#19)
* deps/k_release: Set Version 7.1.9 * Set Version: 0.1.12 * pyproject.toml: sync pyk version 7.1.9 * deps/k_release: Set Version 7.1.10 * pyproject.toml: sync pyk version 7.1.10 * deps/k_release: Set Version 7.1.12 * pyproject.toml: sync pyk version 7.1.12 * deps/k_release: Set Version * deps/k_release: Set Version 7.1.14 * pyproject.toml: sync pyk version 7.1.14 * deps/k_release: Set Version 7.1.15 * pyproject.toml: sync pyk version 7.1.15 * deps/k_release: Set Version 7.1.17 * pyproject.toml: sync pyk version 7.1.17 * deps/k_release: Set Version 7.1.18 * pyproject.toml: sync pyk version 7.1.18 * deps/k_release: Set Version 7.1.19 * deps/k_release: Set Version 7.1.20 * deps/k_release: Set Version 7.1.21 * Change pyk dependency to the published version * pyproject.toml: sync pyk version 7.1.21 * deps/k_release: Set Version 7.1.22 * deps/k_release: Set Version 7.1.23 * pyproject.toml: sync pyk version 7.1.23 * deps/k_release: Set Version 7.1.24 * deps/k_release: Set Version 7.1.25 * pyproject.toml: sync pyk version 7.1.25 * deps/k_release: Set Version 7.1.26 * deps/k_release: Set Version 7.1.27 * pyproject.toml: sync pyk version 7.1.27 * deps/k_release: Set Version 7.1.28 * pyproject.toml: sync pyk version 7.1.28 * deps/k_release: Set Version 7.1.29 * pyproject.toml: sync pyk version 7.1.29 * deps/k_release: Set Version 7.1.30 * pyproject.toml: sync pyk version 7.1.30 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
v0.1.11: Compile tests with `riscof run` (#16)
* Strip riscof template to bare-minimum. Move into src tree. * Implement test compilation in riscof_kriscv.py * Build arch tests with riscof rather than in test_conformance.py * Set Version: 0.1.10 * Set Version: 0.1.11 * test_conformance.py: Assert that all test input files exists * Add tests/README.md * Remove needless -name '*' from find command * Update riscof/README.md --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.10: Update dependency: deps/k_release (#17)
* deps/k_release: Set Version 7.1.4 * Set Version: 0.1.10 * Handle renaming of pyk to kframework * pyproject.toml: sync pyk version 7.1.4 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Scott Guest <scott.guest@runtimeverification.com>
v0.1.9: Update dependency: deps/k_release (#14)
* deps/k_release: Set Version 7.0.126 * pyproject.toml: sync pyk version 7.0.126 * deps/k_release: Set Version 7.0.127 * pyproject.toml: sync pyk version 7.0.127 * deps/k_release: Set Version 7.0.128 * pyproject.toml: sync pyk version 7.0.128 * deps/k_release: Set Version 7.0.129 * pyproject.toml: sync pyk version 7.0.129 * deps/k_release: Set Version 7.0.130 * pyproject.toml: sync pyk version 7.0.130 * Set Version: 0.1.9 * pyproject.toml: sync pyk version 7.0.130 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.8: Set up conformance testing (#11)
* Stub out running the architectural test suite * Compile and dissasemble conformance tests * Fix model_test.h to use Unix line endings * Use t2 in RVMODEL_HALT because t5 doesn't exist for rv32e or rv64e * Add README.md to tests/riscof * Add some documentation to test_conformance.py * Set Version: 0.1.6 * Install riscv-gnu-toolchain and riscof in Dockerfile * Set Version: 0.1.7 * Re-order stages to break circular dependency * Set riscv-gnu-toolchain version * Add arguments at top-level for use in all stages * Ensure submodules are cloned during testing * Remove absolute paths from config.ini * Set config.ini paths relative to where riscof is run * Copy whole riscv folder in Docker rather than just bin * Add mising newline to .gitignore * Fix typo in tests/riscof/README.md Co-authored-by: Bruce Collie <brucecollie82@gmail.com> * Add missing newlines * Attempt to install riscof with poetry instead of pip * Set Version: 0.1.8 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Bruce Collie <brucecollie82@gmail.com>
v0.1.7: Update dependency: deps/k_release (#13)
* deps/k_release: Set Version 7.0.111 * Set Version: 0.1.7 * pyproject.toml: sync pyk version 7.0.111 * deps/k_release: Set Version 7.0.112 * pyproject.toml: sync pyk version 7.0.112 * deps/k_release: Set Version 7.0.113 * pyproject.toml: sync pyk version 7.0.113 * deps/k_release: Set Version 7.0.114 * pyproject.toml: sync pyk version 7.0.114 * deps/k_release: Set Version 7.0.115 * pyproject.toml: sync pyk version 7.0.115 * deps/k_release: Set Version 7.0.116 * pyproject.toml: sync pyk version 7.0.116 * deps/k_release: Set Version 7.0.117 * pyproject.toml: sync pyk version 7.0.117 * deps/k_release: Set Version 7.0.118 * pyproject.toml: sync pyk version 7.0.118 * deps/k_release: Set Version 7.0.119 * pyproject.toml: sync pyk version 7.0.119 * deps/k_release: Set Version 7.0.120 * pyproject.toml: sync pyk version 7.0.120 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.6: Update dependency: deps/k_release (#10)
* deps/k_release: Set Version 7.0.92 * Set Version: 0.1.6 * pyproject.toml: sync pyk version 7.0.92 * deps/k_release: Set Version 7.0.93 * pyproject.toml: sync pyk version 7.0.93 * deps/k_release: Set Version 7.0.94 * pyproject.toml: sync pyk version 7.0.94 * deps/k_release: Set Version 7.0.95 * pyproject.toml: sync pyk version 7.0.95 * deps/k_release: Set Version 7.0.96 * pyproject.toml: sync pyk version 7.0.96 * deps/k_release: Set Version 7.0.97 * pyproject.toml: sync pyk version 7.0.97 * deps/k_release: Set Version 7.0.98 * pyproject.toml: sync pyk version 7.0.98 * deps/k_release: Set Version 7.0.99 * pyproject.toml: sync pyk version 7.0.99 * deps/k_release: Set Version 7.0.100 * pyproject.toml: sync pyk version 7.0.100 * deps/k_release: Set Version 7.0.101 * pyproject.toml: sync pyk version 7.0.101 * deps/k_release: Set Version 7.0.102 * pyproject.toml: sync pyk version 7.0.102 * deps/k_release: Set Version 7.0.103 * pyproject.toml: sync pyk version 7.0.103 * deps/k_release: Set Version 7.0.104 * pyproject.toml: sync pyk version 7.0.104 * deps/k_release: Set Version 7.0.105 * pyproject.toml: sync pyk version 7.0.105 * deps/k_release: Set Version 7.0.106 * pyproject.toml: sync pyk version 7.0.106 * deps/k_release: Set Version 7.0.107 * pyproject.toml: sync pyk version 7.0.107 * deps/k_release: Set Version 7.0.108 * pyproject.toml: sync pyk version 7.0.108 * deps/k_release: Set Version 7.0.109 * pyproject.toml: sync pyk version 7.0.109 * deps/k_release: Set Version 7.0.110 * pyproject.toml: sync pyk version 7.0.110 --------- Co-authored-by: devops <devops@runtimeverification.com>