Skip to content

Actions: Halbaroth/alt-ergo

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
99 workflow run results
99 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace the warning message by a fatal error Build #95: Commit 84bb2ff pushed by Halbaroth
July 24, 2023 16:20 27m 51s fix-737
fix-737
July 24, 2023 16:20 27m 51s
Temporary fix Build #94: Commit 6672c1a pushed by Halbaroth
July 24, 2023 16:20 22m 35s temporary-fix-744
temporary-fix-744
July 24, 2023 16:20 22m 35s
Add tests Build #93: Commit c87a4e9 pushed by Halbaroth
July 24, 2023 16:17 20m 14s solve_bvnot
solve_bvnot
July 24, 2023 16:17 20m 14s
Temporary fix Build #92: Commit 2befa3b pushed by Halbaroth
July 24, 2023 15:32 19m 35s temporary-fix-744
temporary-fix-744
July 24, 2023 15:32 19m 35s
Try with a POSIX redirection Build #91: Commit 1757576 pushed by Halbaroth
July 24, 2023 15:12 22m 27s fix-macos-ci
fix-macos-ci
July 24, 2023 15:12 22m 27s
Expose the bv2nat and int2bv primitives (#743) Build #90: Commit 1ac7e92 pushed by Halbaroth
July 24, 2023 12:11 22m 20s next
next
July 24, 2023 12:11 22m 20s
Fix spaces Build #89: Commit 9a4bfa0 pushed by Halbaroth
July 24, 2023 12:05 21m 3s fix-macos-ci
fix-macos-ci
July 24, 2023 12:05 21m 3s
Update opam files Build #88: Commit 417108a pushed by Halbaroth
July 24, 2023 11:24 22m 19s solve_bvnot
solve_bvnot
July 24, 2023 11:24 22m 19s
Support partially the semantic of bvnot on uninterpreted semantic val… Build #87: Commit 4b551ed pushed by Halbaroth
July 21, 2023 14:38 15m 14s solve_bvnot
solve_bvnot
July 21, 2023 14:38 15m 14s
Replace the warning message by a fatal error Build #86: Commit c194aa3 pushed by Halbaroth
July 21, 2023 12:08 21m 51s fix-737
fix-737
July 21, 2023 12:08 21m 51s
Rename user_defined to defined Build #85: Commit 227e15e pushed by Halbaroth
July 19, 2023 16:21 21m 58s fix-715
fix-715
July 19, 2023 16:21 21m 58s
Readd spaces again Build #84: Commit efbf144 pushed by Halbaroth
July 19, 2023 16:16 22m 54s fix-macos-ci
fix-macos-ci
July 19, 2023 16:16 22m 54s
Readd spaces Build #83: Commit ae31fe4 pushed by Halbaroth
July 19, 2023 14:56 28m 22s fix-macos-ci
fix-macos-ci
July 19, 2023 14:56 28m 22s
Remove plateform-dependent message in the cram test Build #82: Commit 194d066 pushed by Halbaroth
July 19, 2023 14:31 22m 25s fix-macos-ci
fix-macos-ci
July 19, 2023 14:31 22m 25s
Add tests and fix the expected file of bool1.models.smt2 Build #81: Commit c740ca8 pushed by Halbaroth
July 19, 2023 13:30 21m 25s fix-715
fix-715
July 19, 2023 13:30 21m 25s
Run tests with dolmen by default (#735) Build #80: Commit 88ea461 pushed by Halbaroth
July 19, 2023 13:24 30m 8s next
next
July 19, 2023 13:24 30m 8s
Add support for user-defined symbols in the legacy frontend Build #79: Commit 372b057 pushed by Halbaroth
July 19, 2023 13:10 27m 22s fix-715
fix-715
July 19, 2023 13:10 27m 22s
Remove the meta prefix Build #78: Commit 61729ca pushed by Halbaroth
July 19, 2023 11:56 22m 12s fix-737
fix-737
July 19, 2023 11:56 22m 12s
Revert "Fix the error message." Build #77: Commit dc607b2 pushed by Halbaroth
July 19, 2023 11:55 20m 53s fix-719
fix-719
July 19, 2023 11:55 20m 53s
Improve error message Build #76: Commit b57f374 pushed by Halbaroth
July 19, 2023 10:42 18m 45s fix-737
fix-737
July 19, 2023 10:42 18m 45s
Add a test Build #75: Commit 1764f68 pushed by Halbaroth
July 18, 2023 16:43 23m 33s fix-719
fix-719
July 18, 2023 16:43 23m 33s
Drop the SAT environment if its status is inconsistent. Build #74: Commit 0b4e288 pushed by Halbaroth
July 18, 2023 16:26 23m 11s fix-719
fix-719
July 18, 2023 16:26 23m 11s
Fix the error message. Build #73: Commit 27c220a pushed by Halbaroth
July 18, 2023 16:23 25m 5s fix-737
fix-737
July 18, 2023 16:23 25m 5s
Drop the SAT environment if its status is inconsistent. Build #72: Commit 971834b pushed by Halbaroth
July 18, 2023 16:09 28m 36s fix-719
fix-719
July 18, 2023 16:09 28m 36s