Releases: runtimeverification/kontrol-solady
Releases · runtimeverification/kontrol-solady
49c96af: deps/kontrol_release: Set Version 1.0.93 (#56)
Co-authored-by: devops <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
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 <devops@runtimeverification.com>
71e6324: deps/kontrol_release: Set Version 1.0.35 (#49)
Co-authored-by: devops <devops@runtimeverification.com>
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>