Skip to content

Actions: devtyagi3909/constraintforge

Actions

Validate Constraints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validate-constraints.yml
37 workflow runs
37 workflow runs

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
feat(ui): add brutalist CF SVG favicon to all pages Validate Constraints #38: Commit 0b48cd5 pushed by devtyagi3909
11s main
main
11s
Revert "feat(ui): add Buy Me a Coffee sponsor buttons to navigation a… Validate Constraints #37: Commit 6947e1f pushed by devtyagi3909
12s main
main
12s
feat(ui): add Buy Me a Coffee sponsor buttons to navigation and sidebar Validate Constraints #36: Commit c6048de pushed by devtyagi3909
11s main
main
11s
chore: activate google analytics tracking with real measurement ID Validate Constraints #35: Commit 571267d pushed by devtyagi3909
17s main
main
17s
docs: standardize 83x-600x speedup claim and correct STA terminology Validate Constraints #34: Commit 2773a13 pushed by devtyagi3909
12s main
main
12s
docs: restore 1-to-1 correlation claim and add ground-truth physical … Validate Constraints #33: Commit 03a0cef pushed by devtyagi3909
13s main
main
13s
docs: purge STA terminology from cli.html, document new CI flags, and… Validate Constraints #32: Commit bfa7d2c pushed by devtyagi3909
21s main
main
21s
feat(cli): add sarif/json output, configurable thresholds, exceptions… Validate Constraints #31: Commit bdb27f2 pushed by devtyagi3909
11s main
main
11s
Update README.md Validate Constraints #30: Commit 87190fd pushed by devtyagi3909
12s main
main
12s
docs: overhaul README to prioritize the pre-synthesis diagnostic CLI … Validate Constraints #29: Commit 887fc9b pushed by devtyagi3909
12s main
main
12s
chore: inject google analytics placeholder into all pages Validate Constraints #28: Commit d579d6e pushed by devtyagi3909
11s main
main
11s
docs: upgrade installation instructions to use pip install Validate Constraints #27: Commit 4c6d322 pushed by devtyagi3909
16s main
main
16s
docs: enrich Execution section with pipeline visuals and detailed bre… Validate Constraints #26: Commit 28261c0 pushed by devtyagi3909
11s main
main
11s
style: remove non-functional search bar from header Validate Constraints #25: Commit 7369eaf pushed by devtyagi3909
13s main
main
13s
style: fix code snippet css and add copy buttons Validate Constraints #24: Commit 1b3d85a pushed by devtyagi3909
11s main
main
11s
docs: add standalone copyable command snippets and descriptions Validate Constraints #23: Commit b95cae1 pushed by devtyagi3909
12s main
main
12s
chore: include all updates Validate Constraints #22: Commit b86ff15 pushed by devtyagi3909
11s main
main
11s
Fix header formatting in README.md Validate Constraints #21: Commit f2730f7 pushed by devtyagi3909
12s main
main
12s
feat: ConstraintForge V2 Architecture (CDC, Fanout, Back-Annotation, … Validate Constraints #20: Commit 5d9b471 pushed by devtyagi3909
11s main
main
11s
feat: Replace mock script with full (|V|+|E|)$ headless Yosys AST ext… Validate Constraints #19: Commit ca8973c pushed by devtyagi3909
12s main
main
12s
feat: implement structural diagnostic engine CLI (dfs parser) Validate Constraints #18: Commit c5cdcc7 pushed by devtyagi3909
11s main
main
11s
docs: restore original animated terminal SVG Validate Constraints #17: Commit 2679a24 pushed by devtyagi3909
13s main
main
13s
docs: restore original README and integrate new structural diagnostic… Validate Constraints #16: Commit 16ee2ba pushed by devtyagi3909
10s main
main
10s
docs: aggressive redesign of README for structural diagnostic engine Validate Constraints #15: Commit 13eb954 pushed by devtyagi3909
46s main
main
46s
chore: remove paper draft from repository Validate Constraints #14: Commit ce472e4 pushed by devtyagi3909
11s main
main
11s