Skip to content

Actions: runtimeverification/evm-semantics

Actions

Bump Version and Start Release Job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-push.yml
526 workflow runs
526 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix CI issue with svm installed solc (#1984) Bump Version and Start Release Job #379: Commit 767d1fc pushed by rv-jenkins
August 5, 2023 08:24 36m 57s master
master
August 5, 2023 08:24 36m 57s
Removing needs usages. Bump Version and Start Release Job #378: Commit afca544 pushed by F-WRunTime
August 1, 2023 22:38 44m 54s master
master
August 1, 2023 22:38 44m 54s
Change workflow Name Bump Version and Start Release Job #377: Commit dc85a16 pushed by F-WRunTime
August 1, 2023 22:36 2m 19s master
master
August 1, 2023 22:36 2m 19s
Example of a user defined breakdown run tool for specific tests in ev… Bump Version and Start Release Job #376: Commit 0827622 pushed by F-WRunTime
August 1, 2023 22:33 2m 54s master
master
August 1, 2023 22:33 2m 54s
Remove legacy code and tests, use pyk runner more directly (#1977) Bump Version and Start Release Job #375: Commit 33de9f0 pushed by rv-jenkins
July 28, 2023 21:21 33m 8s master
master
July 28, 2023 21:21 33m 8s
correctly recursively invoke make (#1975) Bump Version and Start Release Job #374: Commit f68af5b pushed by ehildenb
July 28, 2023 00:18 31m 5s master
master
July 28, 2023 00:18 31m 5s
Pass llvm_definition_dir to KCFGExplore in foundry-prove (#1957) Bump Version and Start Release Job #373: Commit 8960441 pushed by rv-jenkins
July 26, 2023 10:02 28m 25s master
master
July 26, 2023 10:02 28m 25s
Don't ignore --with-llvm-library in kevm kompile (#1965) Bump Version and Start Release Job #372: Commit c467120 pushed by rv-jenkins
July 26, 2023 08:02 45m 27s master
master
July 26, 2023 08:02 45m 27s
Update dependency: deps/pyk_release (#1962) Bump Version and Start Release Job #371: Commit 7b6a595 pushed by rv-jenkins
July 26, 2023 01:35 34m 42s master
master
July 26, 2023 01:35 34m 42s
Add PreconditionsTest.testAssume on CI (#1924) Bump Version and Start Release Job #370: Commit 1e933b2 pushed by rv-jenkins
July 25, 2023 12:29 35m 46s master
master
July 25, 2023 12:29 35m 46s
Use a terminal-rule for --break-every-step (#1959) Bump Version and Start Release Job #369: Commit 1434f07 pushed by rv-jenkins
July 24, 2023 18:04 28m 34s master
master
July 24, 2023 18:04 28m 34s
Update dependency: deps/pyk_release (#1949) Bump Version and Start Release Job #368: Commit 44c9a88 pushed by rv-jenkins
July 24, 2023 06:02 45m 48s master
master
July 24, 2023 06:02 45m 48s
Fix automatic gas abstraction re-applying (#1923) Bump Version and Start Release Job #367: Commit 7276704 pushed by rv-jenkins
July 19, 2023 04:09 35m 23s master
master
July 19, 2023 04:09 35m 23s
Update dependency: deps/plugin (#1953) Bump Version and Start Release Job #366: Commit 287b659 pushed by rv-jenkins
July 14, 2023 11:23 34m 7s master
master
July 14, 2023 11:23 34m 7s
Rename variables for LLVM backend compatibility (#1954) Bump Version and Start Release Job #365: Commit c84e346 pushed by ehildenb
July 13, 2023 12:50 1h 15m 43s master
master
July 13, 2023 12:50 1h 15m 43s
Output counterexamples for failed Foundry proofs (#1946) Bump Version and Start Release Job #364: Commit cf3b0f7 pushed by palinatolmach
July 12, 2023 12:59 42m 50s master
master
July 12, 2023 12:59 42m 50s
Update dependency: deps/pyk_release (#1947) Bump Version and Start Release Job #363: Commit 1500ff9 pushed by rv-jenkins
July 9, 2023 11:22 42m 38s master
master
July 9, 2023 11:22 42m 38s
Update dependency: deps/pyk_release (#1941) Bump Version and Start Release Job #362: Commit 6a0226d pushed by rv-jenkins
July 7, 2023 15:42 31m 53s master
master
July 7, 2023 15:42 31m 53s
spare init and target nodes in foundry-remove-node (#1937) Bump Version and Start Release Job #361: Commit 20b76cd pushed by rv-jenkins
July 6, 2023 15:02 34m 58s master
master
July 6, 2023 15:02 34m 58s
Use EqualityProof for functional claims (#1860) Bump Version and Start Release Job #360: Commit c9226d7 pushed by rv-jenkins
July 5, 2023 21:42 31m 9s master
master
July 5, 2023 21:42 31m 9s
Update dependency: deps/pyk_release (#1919) Bump Version and Start Release Job #359: Commit 915a2a3 pushed by rv-jenkins
July 4, 2023 06:27 33m 48s master
master
July 4, 2023 06:27 33m 48s
Display the final state in exec_prove_legacy (#1936) Bump Version and Start Release Job #358: Commit b4f672b pushed by rv-jenkins
July 3, 2023 20:01 43m 41s master
master
July 3, 2023 20:01 43m 41s
Adjustments to concrete attributes, Makefile updates (#1929) Bump Version and Start Release Job #357: Commit 71ab786 pushed by ehildenb
July 1, 2023 16:11 41m 50s master
master
July 1, 2023 16:11 41m 50s
Test BMC output, improve node printing (#1922) Bump Version and Start Release Job #356: Commit b03e529 pushed by rv-jenkins
June 29, 2023 14:02 22m 48s master
master
June 29, 2023 14:02 22m 48s
Port test-parse and test-failure to Python (#1928) Bump Version and Start Release Job #355: Commit b5be485 pushed by rv-jenkins
June 28, 2023 20:25 45m 23s master
master
June 28, 2023 20:25 45m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-06-28 or the other filters available.