Commits

Commits on Mar 26, 2026

chore: update deny.toml — explicit advisory ignores, CDLA-Permissive-2.0, allow-org
noahgift
committed
4d00dea
Copy full SHA for 4d00dea
chore: update deny.toml — explicit advisory ignores, CDLA-Permissive-2.0, allow-org
noahgift
committed
23e7c5c
Copy full SHA for 23e7c5c
chore: update deny.toml — explicit advisory ignores, CDLA-Permissive-2.0, allow-org
noahgift
committed
77994bf
Copy full SHA for 77994bf
ci: add PR authorization gate for org-only PRs
noahgift
committed
3c7c4c9
Copy full SHA for 3c7c4c9

Commits on Mar 10, 2026

feat: add nightly binary release workflow (Refs PMAT-059)
Show description for 158d2fe

noahgift
and
claude
committed
158d2fe
Copy full SHA for 158d2fe

Commits on Jun 5, 2025

Rename project from Rascal-Light to Rascal
Show description for 48011d7

noahgift
and
claude
committed
48011d7
Copy full SHA for 48011d7
Add lint target to Makefile and ensure test/lint targets pass
Show description for eeeb84c

noahgift
and
claude
committed
eeeb84c
Copy full SHA for eeeb84c
Use stable Rust toolchain in release script
Show description for e3c993c

noahgift
and
claude
committed
e3c993c
Copy full SHA for e3c993c
Apply rustfmt formatting to SMT module
Show description for 85d1ca7

noahgift
and
claude
committed
85d1ca7
Copy full SHA for 85d1ca7
Fix compilation errors and warnings
Show description for 5e1edd8

noahgift
and
claude
committed
5e1edd8
Copy full SHA for 5e1edd8
Apply rustfmt formatting to all source files
Show description for b4f4ba5

noahgift
and
claude
committed
b4f4ba5
Copy full SHA for b4f4ba5
feat: initial release of Rascal-Light v0.1.0
Show description for b2b6105
noahgift
committed
b2b6105
Copy full SHA for b2b6105
Initial commit
noahgift
authored
355944b
Copy full SHA for 355944b