Skip to content

Pull requests: cucapra/filament

New pull request New
Clear current search query, filters, and sorts
7 Open 295 Closed
7 Open 295 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

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…
1
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…
1
1
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…
9
update toolchain version to 1.85
#495 by UnsignedByte was merged Mar 17, 2025 Loading…
12
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…
1
1
add float attributes
#489 by UnsignedByte was merged Feb 2, 2025 Loading…
3
Prevent double-definitions of propositions
#488 by UnsignedByte was merged Jan 25, 2025 Loading…
1
1
Port attributes
#486 by UnsignedByte was merged Jan 24, 2025 Loading…
5
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…
1
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…
1
fix typo in website
#476 by UnsignedByte was merged Oct 30, 2024 Loading…
1
ProTip! Mix and match filters to narrow down what you’re looking for.