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>

44ba91a: Update dependency: deps/kontrol_release (#38)

* deps/kontrol_release: Set Version 0.1.342

* deps/kontrol_release: Set Version 0.1.343

* deps/kontrol_release: Set Version 0.1.344

* deps/kontrol_release: Set Version 0.1.345

* deps/kontrol_release: Set Version 0.1.346

* deps/kontrol_release: Set Version 0.1.347

* deps/kontrol_release: Set Version 0.1.348

* deps/kontrol_release: Set Version 0.1.349

---------

Co-authored-by: devops <devops@runtimeverification.com>

b22bd05: Update dependency: deps/kontrol_release (#37)

* deps/kontrol_release: Set Version 0.1.328

* deps/kontrol_release: Set Version 0.1.329

* deps/kontrol_release: Set Version 0.1.330

* deps/kontrol_release: Set Version 0.1.331

* deps/kontrol_release: Set Version 0.1.332

* deps/kontrol_release: Set Version 0.1.333

* deps/kontrol_release: Set Version 0.1.334

* deps/kontrol_release: Set Version 0.1.335

* deps/kontrol_release: Set Version 0.1.336

* deps/kontrol_release: Set Version 0.1.337

* deps/kontrol_release: Set Version 0.1.338

* deps/kontrol_release: Set Version 0.1.339

* deps/kontrol_release: Set Version 0.1.340

* deps/kontrol_release: Set Version 0.1.341

---------

Co-authored-by: devops <devops@runtimeverification.com>