Releases: runtimeverification/kontrol-solady
Releases · runtimeverification/kontrol-solady
9368ddd: Update dependency: deps/kontrol_release (#55)
* deps/kontrol_release: Set Version 1.0.79 * deps/kontrol_release: Set Version 1.0.80 * deps/kontrol_release: Set Version 1.0.81 * deps/kontrol_release: Set Version 1.0.82 * deps/kontrol_release: Set Version 1.0.83 * deps/kontrol_release: Set Version 1.0.84 * deps/kontrol_release: Set Version 1.0.85 * deps/kontrol_release: Set Version 1.0.86 * deps/kontrol_release: Set Version 1.0.87 * deps/kontrol_release: Set Version 1.0.88 * deps/kontrol_release: Set Version 1.0.89 * deps/kontrol_release: Set Version 1.0.90 --------- Co-authored-by: devops <[email protected]>
104453b: Update dependency: deps/kontrol_release (#54)
* deps/kontrol_release: Set Version 1.0.67 * deps/kontrol_release: Set Version 1.0.68 * deps/kontrol_release: Set Version 1.0.69 * deps/kontrol_release: Set Version 1.0.70 * deps/kontrol_release: Set Version 1.0.71 * deps/kontrol_release: Set Version 1.0.72 * deps/kontrol_release: Set Version 1.0.73 * deps/kontrol_release: Set Version 1.0.74 * deps/kontrol_release: Set Version 1.0.75 * deps/kontrol_release: Set Version 1.0.76 * deps/kontrol_release: Set Version 1.0.77 * deps/kontrol_release: Set Version 1.0.78 --------- Co-authored-by: devops <[email protected]>
82362f0: Update dependency: deps/kontrol_release (#53)
* deps/kontrol_release: Set Version 1.0.59 * deps/kontrol_release: Set Version 1.0.60 * deps/kontrol_release: Set Version 1.0.61 * deps/kontrol_release: Set Version 1.0.62 * deps/kontrol_release: Set Version 1.0.63 * deps/kontrol_release: Set Version 1.0.64 * deps/kontrol_release: Set Version 1.0.65 * deps/kontrol_release: Set Version 1.0.66 --------- Co-authored-by: devops <[email protected]>
798c3a9: Update dependency: deps/kontrol_release (#52)
* deps/kontrol_release: Set Version 1.0.51 * deps/kontrol_release: Set Version 1.0.52 * deps/kontrol_release: Set Version 1.0.53 * deps/kontrol_release: Set Version 1.0.54 * deps/kontrol_release: Set Version 1.0.55 * deps/kontrol_release: Set Version 1.0.57 * deps/kontrol_release: Set Version 1.0.58 --------- Co-authored-by: devops <[email protected]>
1ccb980: Update dependency: deps/kontrol_release (#51)
* deps/kontrol_release: Set Version 1.0.38 * deps/kontrol_release: Set Version 1.0.39 * deps/kontrol_release: Set Version 1.0.41 * deps/kontrol_release: Set Version 1.0.42 * deps/kontrol_release: Set Version 1.0.43 * deps/kontrol_release: Set Version 1.0.44 * deps/kontrol_release: Set Version 1.0.45 * deps/kontrol_release: Set Version 1.0.46 * deps/kontrol_release: Set Version 1.0.47 * deps/kontrol_release: Set Version 1.0.48 * deps/kontrol_release: Set Version 1.0.49 * deps/kontrol_release: Set Version 1.0.50 --------- Co-authored-by: devops <[email protected]>
6ab595e: Update dependency: deps/kontrol_release (#50)
* deps/kontrol_release: Set Version 1.0.36 * deps/kontrol_release: Set Version 1.0.37 --------- Co-authored-by: devops <[email protected]>
71e6324: deps/kontrol_release: Set Version 1.0.35 (#49)
Co-authored-by: devops <[email protected]>
641ac35: Update dependency: deps/kontrol_release (#48)
* deps/kontrol_release: Set Version 1.0.2 * deps/kontrol_release: Set Version 1.0.3 * deps/kontrol_release: Set Version 1.0.4 * deps/kontrol_release: Set Version 1.0.5 * deps/kontrol_release: Set Version 1.0.6 * deps/kontrol_release: Set Version 1.0.7 * deps/kontrol_release: Set Version 1.0.8 * deps/kontrol_release: Set Version 1.0.9 * deps/kontrol_release: Set Version 1.0.10 * deps/kontrol_release: Set Version 1.0.11 * deps/kontrol_release: Set Version 1.0.12 * deps/kontrol_release: Set Version 1.0.17 * deps/kontrol_release: Set Version 1.0.18 * deps/kontrol_release: Set Version 1.0.19 * deps/kontrol_release: Set Version 1.0.21 * deps/kontrol_release: Set Version 1.0.22 * deps/kontrol_release: Set Version 1.0.23 * deps/kontrol_release: Set Version 1.0.24 * deps/kontrol_release: Set Version 1.0.25 * deps/kontrol_release: Set Version 1.0.26 * deps/kontrol_release: Set Version 1.0.27 * deps/kontrol_release: Set Version 1.0.28 * deps/kontrol_release: Set Version 1.0.29 * deps/kontrol_release: Set Version 1.0.30 * deps/kontrol_release: Set Version 1.0.31 * deps/kontrol_release: Set Version 1.0.32 * adapting lemmas * increasing parallelisation * deps/kontrol_release: Set Version 1.0.33 * deps/kontrol_release: Set Version 1.0.34 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Petar Maksimovic <[email protected]>
1087635: Update README.md with `log2` (#47)
Co-authored-by: Andrei Văcaru <[email protected]>
7ffbf14: Add `log2` verification (#21)
* Make mulWad specs exhaustive * Update run script and add `smt-timeout` flag * Add lemmas for mulWad proofs * Update run script comptibility with `kontrol` tool * Update verification summary for `wadMul` and `wadMulUp` * Re-push to rebuild with CI changes * Update action.yml * login to pull private image form docker * Define the ubuntu user * WRong path * Run direct * Check copy directory * call just the script * Remove interactive shell * List directory * Fix user chown * Change permissions * Wrong workspace * First try to debug the proof * entire log2 proof * lemmas and simplifications * getting there * passing probably * adjustment to test * this hopefully passes * run-kevm.sh: update `log2` test name * Try fix CI merge mess * Fix merge mess for `mulWad` proofs * Remove selector error comments * Set `testLog2` mutability to `pure` * action.yml: revert `ubuntu` user name to `user` * Revert "Try fix CI merge mess" This reverts commit 7839dd625370ae764c0295835547da36c3f06fd0. * run-kevm.sh: add branch parallelization and increase eqn recursion --------- Co-authored-by: Freeman <[email protected]> Co-authored-by: F-WRunTime <[email protected]> Co-authored-by: Lisandra Silva <[email protected]> Co-authored-by: Petar Maksimovic <[email protected]> Co-authored-by: Palina Tolmach <[email protected]>