summary refs log tree commit diff
path: root/Variables.zig
AgeCommit message (Expand)Author
2025-10-19Narrow predicate space by a few orders of magnitudeNguyễn Gia Phong
2025-10-17Support constants and arithmetic operations in predicatesNguyễn Gia Phong
2025-10-17Give up fancy things 0.0.3.dev1Nguyễn Gia Phong
2025-10-17Implement ERMNguyễn Gia Phong