Skip to content

Actions: verse-lab/veil

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: sat trace functionality and bmc_sat CI #23: Commit 304a6f8 pushed by volodeyka
April 9, 2025 05:18 8m 46s main
main
April 9, 2025 05:18 8m 46s
add #check_isolates command CI #22: Commit 26b2c58 pushed by volodeyka
April 9, 2025 05:16 8m 48s main
main
April 9, 2025 05:16 8m 48s
add #check_isolate command CI #21: Commit 01f5c4b pushed by volodeyka
April 9, 2025 05:02 9m 9s main
main
April 9, 2025 05:02 9m 9s
refactor: sat trace functionality and bmc_sat CI #20: Commit 304a6f8 pushed by dranov
March 15, 2025 10:38 8m 42s main
main
March 15, 2025 10:38 8m 42s
fix: forgot to pass --produce-models to CVC5 in refactor CI #19: Commit 34dd41b pushed by dranov
February 28, 2025 11:53 8m 42s main
main
February 28, 2025 11:53 8m 42s
chore: use veil module in all examples and tests CI #18: Commit 717d48a pushed by dranov
February 27, 2025 14:22 9m 1s main
main
February 27, 2025 14:22 9m 1s
[SMT] Retry with different solver on unknown CI #17: Commit f9010ff pushed by dranov
February 26, 2025 04:22 8m 53s main
main
February 26, 2025 04:22 8m 53s
nit: change info message during build CI #16: Commit f164c77 pushed by dranov
February 21, 2025 04:28 9m 0s main
main
February 21, 2025 04:28 9m 0s
[SMT] Adjust Dockerfile for uv CI #15: Commit f3dc41e pushed by dranov
February 19, 2025 08:05 8m 49s main
main
February 19, 2025 08:05 8m 49s
[SMT] Use uv to run z3model.py CI #14: Commit fdab091 pushed by dranov
February 19, 2025 06:30 8m 51s main
main
February 19, 2025 06:30 8m 51s
[UX] Add #check_invariant_tr and #check_action_tr CI #13: Commit 313fd91 pushed by dranov
February 14, 2025 03:16 9m 0s main
main
February 14, 2025 03:16 9m 0s
[UX] Suggest how to print model when CVC5 returns sat CI #12: Commit 8c1e670 pushed by dranov
February 13, 2025 11:54 9m 32s main
main
February 13, 2025 11:54 9m 32s
[DSL] trusted invariant CI #11: Commit 424e150 pushed by dranov
February 13, 2025 11:04 8m 56s main
main
February 13, 2025 11:04 8m 56s
[UX] veil.printCounterexamples option to print in #check_invariants CI #10: Commit d5d0f6c pushed by dranov
February 13, 2025 09:12 8m 56s main
main
February 13, 2025 09:12 8m 56s
[UX] use the ∃ binder name in sdestruct_hyps CI #9: Commit fbd3747 pushed by dranov
February 13, 2025 08:10 9m 49s main
main
February 13, 2025 08:10 9m 49s
[SMT] Add option veil.smt.reconstructProofs (using lean-smt) CI #8: Commit 76265ac pushed by dranov
February 10, 2025 07:18 8m 56s main
main
February 10, 2025 07:18 8m 56s
fix: mac OS filesystem is case-insensitive; didn't commit this CI #7: Commit 36a34f9 pushed by dranov
February 7, 2025 14:49 9m 31s main
main
February 7, 2025 14:49 9m 31s
Switch examples to #check_invariants CI #6: Commit a360dc2 pushed by dranov
February 6, 2025 11:32 9m 11s main
main
February 6, 2025 11:32 9m 11s
[docs] Add instructions on using Veil as library; restructure README CI #5: Commit bdbdbfe pushed by dranov
February 6, 2025 05:25 8m 51s main
main
February 6, 2025 05:25 8m 51s
chore: make import Veil work CI #4: Commit 7f1b402 pushed by dranov
February 5, 2025 07:02 8m 51s main
main
February 5, 2025 07:02 8m 51s
[Case Studies] Add manual proof in Suzuki-Kasami CI #3: Commit 1d0ffb2 pushed by Eladkay
February 2, 2025 03:53 8m 56s main
main
February 2, 2025 03:53 8m 56s
[Doc] Fix identation in README.md CI #2: Commit a90d8dc pushed by volodeyka
February 1, 2025 09:26 1m 43s main
main
February 1, 2025 09:26 1m 43s
update README CI #1: Commit e751871 pushed by volodeyka
February 1, 2025 09:24 1m 51s main
main
February 1, 2025 09:24 1m 51s