Workflow runs · verse-lab/veil · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

38 workflow runs

38 workflow runs

Bump to Lean version 4.24.0 CI #8: Commit 5520c8e pushed by dranov

11m 16s main

main

11m 16s

fix: don't pollute other namespaces to avoid conflicts CI #7: Commit 4a17cf1 pushed by dranov

9m 53s main

main

9m 53s

fix: put definition in Veil namespace CI #6: Commit ddfd395 pushed by dranov

11m 41s main

main

11m 41s

Merge pull request #122 from verse-lab/bump-v4.23.0 CI #5: Commit 94d808a pushed by dranov

11m 6s main

main

11m 6s

Merge pull request #119 from verse-lab/bump-v4.22.0 CI #4: Commit 510f595 pushed by dranov

16m 31s main

main

16m 31s

Merge pull request #106 from verse-lab/fix-build-without-clang-cc CI #3: Commit f76247d pushed by dranov

10m 45s main

main

10m 45s

Merge pull request #104 from verse-lab/bump-v4.20.0 CI #2: Commit ac30f27 pushed by dranov

10m 35s main

main

10m 35s

Merge pull request #103 from verse-lab/feat-parallel-check-invariants CI #1: Commit 2c7e570 pushed by dranov

10m 56s main

main

10m 56s

Merge pull request #99 from verse-lab/expand-some-macros-before-display CI #30: Commit e08b4a8 pushed by dranov

11m 29s main

main

11m 29s

Merge pull request #98 from verse-lab/tutorial-ring-direction CI #29: Commit 17cc938 pushed by dranov

11m 29s main

main

11m 29s

Merge pull request #2 from ArquintL/main CI #28: Commit a8473ff pushed by dranov

11m 41s main

main

11m 41s

Merge pull request #93 from verse-lab/feature_enum CI #27: Commit 930e6d6 pushed by dranov

11m 57s main

main

11m 57s

[nitpick] Stop docker container in CI CI #26: Pull request #2 opened by ArquintL

11m 12s ArquintL:main

ArquintL:main

11m 12s

Merge pull request #84 from verse-lab/fix-if-some-semantics CI #25: Commit e6bd162 pushed by dranov

10m 50s main

main

10m 50s

Merge pull request #83 from verse-lab/george-maintenance CI #24: Commit b748e58 pushed by dranov

12m 24s main

main

12m 24s

refactor: sat trace functionality and bmc_sat CI #23: Commit 304a6f8 pushed by volodeyka

8m 46s main

main

8m 46s

add #check_isolates command CI #22: Commit 26b2c58 pushed by volodeyka

8m 48s main

main

8m 48s

add #check_isolate command CI #21: Commit 01f5c4b pushed by volodeyka

9m 9s main

main

9m 9s

refactor: sat trace functionality and bmc_sat CI #20: Commit 304a6f8 pushed by dranov

8m 42s main

main

8m 42s

fix: forgot to pass --produce-models to CVC5 in refactor CI #19: Commit 34dd41b pushed by dranov

8m 42s main

main

8m 42s

chore: use veil module in all examples and tests CI #18: Commit 717d48a pushed by dranov

9m 1s main

main

9m 1s

[SMT] Retry with different solver on unknown CI #17: Commit f9010ff pushed by dranov

8m 53s main

main

8m 53s

nit: change info message during build CI #16: Commit f164c77 pushed by dranov

9m 0s main

main

9m 0s

[SMT] Adjust Dockerfile for uv CI #15: Commit f3dc41e pushed by dranov

8m 49s main

main

8m 49s

[SMT] Use uv to run z3model.py CI #14: Commit fdab091 pushed by dranov

8m 51s main

main

8m 51s