aiken

Go to file

microproofs 489eff7f5b Closes #945 Switch to depth first optimization passes instead of breadth first for inlining. Need to think more on how to do breadth first optimization passes		2024-05-21 17:12:57 -04:00
.github	chore(ci): run cargo dist init	2024-05-08 11:05:30 -04:00
crates	Closes #945	2024-05-21 17:12:57 -04:00
examples	New test 103 and clippy fixes	2024-05-21 11:56:12 -04:00
.editorconfig	rename examples/tests/{a,b,c,d,e,f} into examples/acceptance_tests/00{1,2,3,4,5,6}	2022-12-14 09:45:24 +01:00
.gitattributes	Add support for Nix flakes.	2023-02-07 13:16:17 +01:00
.gitignore	chore: commit an ignore we can all use without accidentally commiting test files/folders	2024-03-12 08:10:33 -04:00
CHANGELOG.md	Show warning when ignoring modules + restyle warnings slightly	2024-05-14 13:27:19 +02:00
CONTRIBUTING.md	chore: add release instructions in contributing.md	2023-08-24 15:43:26 -06:00
Cargo.lock	rebase from main	2024-04-28 17:04:40 -06:00
Cargo.toml	chore(ci): run cargo dist init	2024-05-08 11:05:30 -04:00
LICENSE	chore: update license	2024-05-01 22:10:47 -04:00
README.md	chore: update readme links	2024-05-08 23:02:02 -04:00
flake.lock	bump flake ... but in a way that works for external builds?!	2024-03-04 14:32:27 +00:00
flake.nix	bump flake ... but in a way that works for external builds?!	2024-03-04 14:32:27 +00:00