Releases: runtimeverification/riscv-semantics
Releases · runtimeverification/riscv-semantics
v0.1.5: Update dependency: deps/k_release (#6)
* deps/k_release: Set Version 7.0.71 * Set Version: 0.1.5 * pyproject.toml: sync pyk version 7.0.71 * deps/k_release: Set Version 7.0.72 * pyproject.toml: sync pyk version 7.0.72 * deps/k_release: Set Version 7.0.74 * pyproject.toml: sync pyk version 7.0.74 * deps/k_release: Set Version 7.0.75 * pyproject.toml: sync pyk version 7.0.75 * deps/k_release: Set Version 7.0.76 * pyproject.toml: sync pyk version 7.0.76 * deps/k_release: Set Version 7.0.77 * pyproject.toml: sync pyk version 7.0.77 * deps/k_release: Set Version 7.0.78 * pyproject.toml: sync pyk version 7.0.78 * deps/k_release: Set Version 7.0.79 * pyproject.toml: sync pyk version 7.0.79 * deps/k_release: Set Version 7.0.80 * pyproject.toml: sync pyk version 7.0.80 * deps/k_release: Set Version 7.0.81 * pyproject.toml: sync pyk version 7.0.81 * deps/k_release: Set Version 7.0.82 * pyproject.toml: sync pyk version 7.0.82 * deps/k_release: Set Version 7.0.83 * pyproject.toml: sync pyk version 7.0.83 * deps/k_release: Set Version 7.0.84 * pyproject.toml: sync pyk version 7.0.84 * deps/k_release: Set Version 7.0.85 * pyproject.toml: sync pyk version 7.0.85 * deps/k_release: Set Version 7.0.86 * pyproject.toml: sync pyk version 7.0.86 * deps/k_release: Set Version 7.0.87 * pyproject.toml: sync pyk version 7.0.87 * deps/k_release: Set Version 7.0.88 * pyproject.toml: sync pyk version 7.0.88 * deps/k_release: Set Version 7.0.89 * pyproject.toml: sync pyk version 7.0.89 * deps/k_release: Set Version 7.0.90 * pyproject.toml: sync pyk version 7.0.90 * deps/k_release: Set Version 7.0.91 * pyproject.toml: sync pyk version 7.0.91 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.4: Update dependency: deps/k_release (#4)
* deps/k_release: Set Version 7.0.69 * Set Version: 0.1.4 * pyproject.toml: sync pyk version 7.0.69 * deps/k_release: Set Version 7.0.70 * pyproject.toml: sync pyk version 7.0.70 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.3: Update dependency: deps/k_release (#3)
* deps/k_release: Set Version 7.0.63 * Set Version: 0.1.3 * pyproject.toml: sync pyk version 7.0.63 * deps/k_release: Set Version 7.0.64 * pyproject.toml: sync pyk version 7.0.64 * deps/k_release: Set Version 7.0.65 * pyproject.toml: sync pyk version 7.0.65 * deps/k_release: Set Version 7.0.66 * pyproject.toml: sync pyk version 7.0.66 * deps/k_release: Set Version 7.0.67 * pyproject.toml: sync pyk version 7.0.67 * deps/k_release: Set Version 7.0.68 * pyproject.toml: sync pyk version 7.0.68 --------- Co-authored-by: devops <devops@runtimeverification.com>
v0.1.2: Update dependency: deps/k_release (#2)
* deps/k_release: Set Version 7.0.62 * Workflow fixes * Set Version: 0.1.2 * pyproject.toml: sync pyk version 7.0.62 --------- Co-authored-by: devops <devops@runtimeverification.com> Co-authored-by: Tamás Tóth <tothtamas28@users.noreply.github.com>
v0.1.1: Set up project (#1)
* Instantiate project template * Add versioning * Add dependencies * Add `poetry.lock` * Add `kdist` setup * Add CI tests * Add update workflow * Set Version: 0.1.1 * Sync Poetry files 7.0.60 * Restore workflow trigger --------- Co-authored-by: devops <devops@runtimeverification.com>