Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wasmcert/wasmcert-isabelle issues and pull requests
#14 - Update to Isabelle2024
Pull Request -
State: open - Opened by AntanasKal 4 months ago
#13 - axiomatise host_apply_impl_m to allow allocation of instances
Pull Request -
State: closed - Opened by MajaTr over 2 years ago
- 1 comment
#12 - New interp 2021 1
Pull Request -
State: open - Opened by lammich over 2 years ago
#11 - Host apply impl m axiom
Pull Request -
State: closed - Opened by MajaTr over 2 years ago
#10 - New interp instantiation
Pull Request -
State: open - Opened by MajaTr over 2 years ago
- 1 comment
#9 - load_vector_triple and store_vector_triple
Pull Request -
State: closed - Opened by MajaTr over 2 years ago
- 1 comment
#8 - Hoare triples for instantiation
Pull Request -
State: closed - Opened by MajaTr almost 3 years ago
- 2 comments
#7 - Whole proof of monadic interpreter starting from run_iter
Pull Request -
State: closed - Opened by MajaTr almost 3 years ago
#6 - Hoare triple proof of run_iter
Pull Request -
State: closed - Opened by MajaTr almost 3 years ago
#5 - Merge in current progress on monadic refinement proof
Pull Request -
State: closed - Opened by conrad-watt almost 3 years ago
#4 - Update to Isabelle2021-1 and AFP 2022-01-06
Pull Request -
State: open - Opened by mdesharnais almost 3 years ago
#3 - Instantiation soundness
Pull Request -
State: closed - Opened by MajaTr almost 3 years ago
#2 - Specification and Implementation for Integer Ops
Pull Request -
State: closed - Opened by thestr4ng3r over 3 years ago
- 6 comments
#1 - Update to Isabelle and AFP 2021
Pull Request -
State: closed - Opened by thestr4ng3r over 3 years ago
- 1 comment