-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: EPFL-LAP/dynamatic
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[Formal][Property Annotation] Annotate fork--copied-slot invariant
#691
opened Jan 6, 2026 by
Basmet0
Loading…
GSA: Fix self-dependent merge conversion in convertSSAToGSAMerge
#681
opened Dec 22, 2025 by
zeinabPourgheisari
Loading…
GSA: Fix iterator invalidation when expanding gamma trees
#672
opened Dec 15, 2025 by
zeinabPourgheisari
Loading…
[Experimental][SQ] Added "Straight to the queue" pass
#667
opened Dec 7, 2025 by
zeinabPourgheisari
Loading…
[FtdCfToHandshake] Fix FTD regen self-loop creation with proper channelification
#666
opened Dec 5, 2025 by
AyaElAkhras
Loading…
[Polygeist][LLVM] Bye Bye Polygeist & Bump LLVM to 9d1b578
critical
Touches on core Dynamatic functionnality
#654
opened Nov 22, 2025 by
Jiahui17
Loading…
[FTD] Simplifying FTD to One Suppression per Data Delivery
#620
opened Oct 15, 2025 by
QinYuan2000
•
Draft
[FTD] Introduce Single-Occurrence MUX Trees for Suppression
#613
opened Oct 7, 2025 by
QinYuan2000
Loading…
[Operations] Change naming of operands and results to be declarative
#577
opened Aug 23, 2025 by
murphe67
Loading…
[Experimental][SQ] Added "Straight to the queue" pass
#576
opened Aug 22, 2025 by
pcineverdies
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.