-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: cucapra/filament
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Disallow use of existential parameters in the body
#340
by rachitnigam
was closed Oct 18, 2023
Loading…
Fixes bugs in FP-Add and Iter-Div and add Edge Test cases
#328
by UnsignedByte
was merged Sep 20, 2023
Loading…
Rewrite Aetherling evaluation using existential types
#326
by rachitnigam
was merged Sep 27, 2023
Loading…
build-domination reorders instances based on existential parameters
#312
by rachitnigam
was merged Sep 5, 2023
Loading…
Bump version of
calyx crates and use guard! macro
#306
by rachitnigam
was merged Sep 3, 2023
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.