-
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
add gitignore for rand.json in case tests are killed early
#472
by UnsignedByte
was merged Oct 18, 2024
Loading…
Support running discharge after monomorphization and before lowering.
#471
by UnsignedByte
was merged Oct 22, 2024
Loading…
Fixes
bundle-elim leaving references to deleted parameters
#463
by UnsignedByte
was merged Oct 1, 2024
Loading…
add
let = ? binding for temporary Filament automation frontend
#461
by UnsignedByte
was merged Sep 20, 2024
Loading…
Set up .gitattributes to change line endings to
LF
#459
by UnsignedByte
was merged Sep 12, 2024
Loading…
Add attributes for components and implement
counter_fsm attribute
#453
by UnsignedByte
was merged Sep 4, 2024
Loading…
Add attributes for components and implement
toplevel and counter_fsm attributes
#449
by UnsignedByte
was closed Sep 4, 2024
Loading…
Use full path for filament target in fud configuration
#442
by UnsignedByte
was merged May 17, 2024
Loading…
Use verible obfuscation to avoid name conflicts
#428
by UnsignedByte
was closed Mar 18, 2024
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.