Skip to content

Actions: Pranav-d33/veritool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
invariant doc CI #16: Commit 59d4912 pushed by Pranav-d33
30s main
main
30s
bmc and new invariant =quote Publish to PyPI #6: Commit 824d4b7 pushed by Pranav-d33
29s v1.0.0
v1.0.0
29s
bmc and new invariant =quote CI #15: Commit 824d4b7 pushed by Pranav-d33
27s main
main
27s
v CI #14: Commit fe319cf pushed by Pranav-d33
27s main
main
27s
TAU-bench benchmark, ablation experiments, CVC5 encoder, Lean monoton… CI #13: Commit 9d53c2b pushed by Pranav-d33
28s main
main
28s
Bump version to 1.2.0; fix CI Lean compilation path CI #12: Commit b89b266 pushed by Pranav-d33
32s main
main
32s
All 4 invariants now use Z3 solver calls; Lean proves ordering, exclu… CI #11: Commit 9f89f65 pushed by Pranav-d33
28s main
main
28s
Bump to 1.1.0 CI #10: Commit 6a955a5 pushed by Pranav-d33
29s main
main
29s
VeriTool: core verifier + benchmark + OPA comparison CI #9: Commit 54cb604 pushed by Pranav-d33
25s main
main
25s
Publish to PyPI Publish to PyPI #5: by Pranav-d33
40s v1.0.1
v1.0.1
40s
Document Lean 4 ground truth role in README Publish to PyPI #4: Commit 3ea6979 pushed by Pranav-d33
28s v1.0.0
v1.0.0
28s
Document Lean 4 ground truth role in README CI #8: Commit 3ea6979 pushed by Pranav-d33
34s main
main
34s
Fix: add environment: pypi to match PyPI trusted publisher config Publish to PyPI #3: Commit 01b9a1f pushed by Pranav-d33
28s v1.0.0
v1.0.0
28s
Fix: add environment: pypi to match PyPI trusted publisher config Publish to PyPI #2: Commit 01b9a1f pushed by Pranav-d33
30s v1.0.0
v1.0.0
30s
Fix: add environment: pypi to match PyPI trusted publisher config CI #7: Commit 01b9a1f pushed by Pranav-d33
34s main
main
34s
Switch publish to trusted publishing (OIDC), no token needed Publish to PyPI #1: Commit 8109693 pushed by Pranav-d33
28s v1.0.0
v1.0.0
28s
Switch publish to trusted publishing (OIDC), no token needed CI #6: Commit 8109693 pushed by Pranav-d33
29s main
main
29s
Add Apache 2.0 license, fix pyproject.toml metadata CI #5: Commit 6c7fd81 pushed by Pranav-d33
36s main
main
36s
Phase 8-11: auto-generator, coordination verifier, hot-reload store, … CI #4: Commit e0505aa pushed by Pranav-d33
28s main
main
28s
fix CI: export PATH before lean --version in same step CI #3: Commit 533383d pushed by Pranav-d33
30s main
main
30s
Phase 7: schema validation + fail-closed Option Nat CI #2: Commit de857b0 pushed by Pranav-d33
11s main
main
11s
fix: comprehensive .gitignore — Python, Lean 4, IDE, env, test artifacts CI #1: Commit fcbf60a pushed by Pranav-d33
8s main
main
8s