Releases: runtimeverification/kontrol-solady
Releases · runtimeverification/kontrol-solady
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 <devops@runtimeverification.com> Co-authored-by: Petar Maksimovic <petar.maksimovic@runtimeverification.com>
1087635: Update README.md with `log2` (#47)
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
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 <105403280+F-WRunTime@users.noreply.github.com> Co-authored-by: F-WRunTime <Freeman.Wenzl@runtimeverification.com> Co-authored-by: Lisandra Silva <lisandra@iMac.local> Co-authored-by: Petar Maksimovic <petar.maksimovic@runtimeverification.com> Co-authored-by: Palina Tolmach <polina.tolmach@gmail.com>
784b85d: Update dependency: deps/kontrol_release (#45)
* deps/kontrol_release: Set Version 0.1.416 * deps/kontrol_release: Set Version 0.1.417 * deps/kontrol_release: Set Version 0.1.418 * deps/kontrol_release: Set Version 0.1.419 * deps/kontrol_release: Set Version 0.1.420 * deps/kontrol_release: Set Version 0.1.421 * deps/kontrol_release: Set Version 1.0.0 * deps/kontrol_release: Set Version 1.0.1 --------- Co-authored-by: devops <devops@runtimeverification.com>
d83ef9c: Update dependency: deps/kontrol_release (#44)
* deps/kontrol_release: Set Version 0.1.414 * deps/kontrol_release: Set Version 0.1.415 --------- Co-authored-by: devops <devops@runtimeverification.com>
2bcc334: Update dependency: deps/kontrol_release (#43)
* deps/kontrol_release: Set Version 0.1.404 * deps/kontrol_release: Set Version 0.1.405 * deps/kontrol_release: Set Version 0.1.406 * deps/kontrol_release: Set Version 0.1.407 * deps/kontrol_release: Set Version 0.1.408 * deps/kontrol_release: Set Version 0.1.409 * deps/kontrol_release: Set Version 0.1.410 * deps/kontrol_release: Set Version 0.1.411 * deps/kontrol_release: Set Version 0.1.412 --------- Co-authored-by: devops <devops@runtimeverification.com>
e180d31: Update dependency: deps/kontrol_release (#42)
* deps/kontrol_release: Set Version 0.1.401 * deps/kontrol_release: Set Version 0.1.402 * deps/kontrol_release: Set Version 0.1.403 --------- Co-authored-by: devops <devops@runtimeverification.com>
7352f75: Update dependency: deps/kontrol_release (#41)
* deps/kontrol_release: Set Version 0.1.388 * deps/kontrol_release: Set Version 0.1.389 * deps/kontrol_release: Set Version 0.1.390 * deps/kontrol_release: Set Version 0.1.392 * deps/kontrol_release: Set Version 0.1.393 * deps/kontrol_release: Set Version 0.1.394 * deps/kontrol_release: Set Version 0.1.395 * deps/kontrol_release: Set Version 0.1.396 * deps/kontrol_release: Set Version 0.1.397 * deps/kontrol_release: Set Version 0.1.398 * deps/kontrol_release: Set Version 0.1.399 * deps/kontrol_release: Set Version 0.1.400 --------- Co-authored-by: devops <devops@runtimeverification.com>
19d464f: Update dependency: deps/kontrol_release (#40)
* deps/kontrol_release: Set Version 0.1.355 * deps/kontrol_release: Set Version 0.1.356 * deps/kontrol_release: Set Version 0.1.357 * deps/kontrol_release: Set Version 0.1.358 * deps/kontrol_release: Set Version 0.1.359 * deps/kontrol_release: Set Version 0.1.360 * deps/kontrol_release: Set Version 0.1.361 * deps/kontrol_release: Set Version 0.1.362 * deps/kontrol_release: Set Version 0.1.363 * deps/kontrol_release: Set Version 0.1.364 * deps/kontrol_release: Set Version 0.1.365 * deps/kontrol_release: Set Version 0.1.366 * deps/kontrol_release: Set Version 0.1.367 * deps/kontrol_release: Set Version 0.1.368 * deps/kontrol_release: Set Version 0.1.369 * deps/kontrol_release: Set Version 0.1.370 * deps/kontrol_release: Set Version 0.1.371 * deps/kontrol_release: Set Version 0.1.372 * deps/kontrol_release: Set Version 0.1.373 * deps/kontrol_release: Set Version 0.1.374 * deps/kontrol_release: Set Version 0.1.375 * deps/kontrol_release: Set Version 0.1.376 * deps/kontrol_release: Set Version 0.1.377 * deps/kontrol_release: Set Version 0.1.378 * deps/kontrol_release: Set Version 0.1.379 * deps/kontrol_release: Set Version 0.1.380 * deps/kontrol_release: Set Version 0.1.381 * deps/kontrol_release: Set Version 0.1.382 * deps/kontrol_release: Set Version 0.1.383 * deps/kontrol_release: Set Version 0.1.385 * deps/kontrol_release: Set Version 0.1.386 * deps/kontrol_release: Set Version 0.1.387 --------- Co-authored-by: devops <devops@runtimeverification.com>
d4278a5: Update dependency: deps/kontrol_release (#39)
* deps/kontrol_release: Set Version 0.1.350 * deps/kontrol_release: Set Version 0.1.351 * deps/kontrol_release: Set Version 0.1.352 * deps/kontrol_release: Set Version 0.1.353 * deps/kontrol_release: Set Version 0.1.354 --------- Co-authored-by: devops <devops@runtimeverification.com>