Skip to content

Pull requests: cucapra/filament

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Add tree-sitter definition for Filament
#510 by rachitnigam was merged Aug 14, 2025 Loading…
Add state and reshape primitives
#509 by rachitnigam was merged Aug 13, 2025 Loading…
Update packages
#508 by rachitnigam was merged Aug 9, 2025 Loading…
simplify port representation
#505 by rachitnigam was merged Aug 8, 2025 Loading…
add pass name validation for --dump-after
#504 by rachitnigam was merged Aug 7, 2025 Loading…
Update CLI opts
#503 by rachitnigam was merged Aug 7, 2025 Loading…
Implement ternary expression support for constraints
#502 by rachitnigam was closed Aug 7, 2025 Loading…
Update fud links in Getting Started docs
#501 by Timmmm was merged Apr 30, 2025 Loading…
Fix link in Getting Started docs
#500 by Timmmm was merged Apr 30, 2025 Loading…
Fix getting started instructions
#499 by Timmmm was merged Apr 30, 2025 Loading…
Strengthens the validation pass
#497 by UnsignedByte was merged Aug 8, 2025 Loading…
Move assumption/assertion generation to its own pass
#496 by UnsignedByte was merged Apr 30, 2025 Loading…
update toolchain version to 1.85
#495 by UnsignedByte was merged Mar 17, 2025 Loading…
Bugfix attribute display macro
#494 by UnsignedByte was merged Feb 27, 2025 Loading…
Add attribute displaying to IR printer
#493 by UnsignedByte was merged Feb 27, 2025 Loading…
Update link to tutorial in README.md
#490 by Timmmm was merged Feb 9, 2025 Loading…
add float attributes
#489 by UnsignedByte was merged Feb 2, 2025 Loading…
Prevent double-definitions of propositions
#488 by UnsignedByte was merged Jan 25, 2025 Loading…
Port attributes
#486 by UnsignedByte was merged Jan 24, 2025 Loading…
Add shebang to utils py
#484 by UnsignedByte was merged Jan 18, 2025 Loading…
Fix SMT naming
#483 by UnsignedByte was closed Jan 20, 2025 Loading…
Use python3 in blas testing instead of python
#481 by UnsignedByte was merged Jan 18, 2025 Loading…
blas tests infrastructure
#480 by gabizon103 was merged Nov 12, 2024 Loading…
Update flopoco to latest
#478 by UnsignedByte was merged Nov 1, 2024 Loading…
fix typo in website
#476 by UnsignedByte was merged Oct 30, 2024 Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.