Skip to content

Pull requests: EPFL-LAP/dynamatic

New pull request New
39 Open 576 Closed
39 Open 576 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

[hls-fuzzer] Implement support for output contexts
#905 opened May 8, 2026 by zero9178 Collaborator Loading…
[Formal][Property Annotation] Internal state namers JSON with llvm::json
#900 opened May 6, 2026 by Basmet0 Collaborator Loading…
19
[Formal][PropertyAnnotation] Entry Token Order invariant
#888 opened May 4, 2026 by Basmet0 Collaborator Loading…
[Backend][BLIF] Automatic generation of blif files
#872 opened Apr 24, 2026 by Carmine50 Collaborator Loading…
14
[Formal][PropertyAnnotation] Annotating IOG-based invariants
#855 opened Apr 13, 2026 by Basmet0 Collaborator Loading…
31
[HandshakeOptimizeBitwidths] Reduce constant op bitwidths
#816 opened Mar 26, 2026 by zero9178 Collaborator Loading…
2
Review: Speculation automated buffering
#793 opened Mar 16, 2026 by murphe67 Collaborator • Draft
[FTD] New INIT Implementation
#786 opened Mar 13, 2026 by zeinabPourgheisari Collaborator Loading…
[evaluation] Add performance/resource usage evaluation script
#779 opened Mar 10, 2026 by MaxWipfli Collaborator • Draft
[LSQ] Add "fallback issue" logic to prepare for approximate address comparison
#760 opened Mar 4, 2026 by MaxWipfli Collaborator • Draft
18
[CfToHandshake] Do not replace the same value twice
#754 opened Feb 28, 2026 by Jiahui17 Member Loading…
1
[Power] Refine power estimation flow and add power evaluation flow
#718 opened Jan 27, 2026 by qianxu1998 Collaborator Loading…
7
[Formal][Property Annotation] Annotate path--single-sent-fork-output
#713 opened Jan 21, 2026 by Basmet0 Collaborator • Draft
4
[CI] Add FTD to CI pipeline
#658 opened Nov 27, 2025 by Jiahui17 Member Loading…
5
Backend - Move if statements
#647 opened Nov 4, 2025 by Ian-Ganz Collaborator Loading…
1
Verilog beta tests
#646 opened Nov 3, 2025 by Ian-Ganz Collaborator Loading…
5
Docs/add gsa
#641 opened Oct 27, 2025 by zeinabPourgheisari Collaborator Loading…
9
[Speculation] Automated buffering
#629 opened Oct 18, 2025 by shundroid Collaborator Loading…
10
[FTD] Introduce Single-Occurrence MUX Trees for Suppression
#613 opened Oct 7, 2025 by QinYuan2000 Collaborator Loading…
30
[Buffer] Added debugCounter attr to BufferOp
#590 opened Aug 29, 2025 by shundroid Collaborator Loading…
4
[Operations] Change naming of operands and results to be declarative
#577 opened Aug 23, 2025 by murphe67 Collaborator Loading…
45
[Experimental][SQ] Added "Straight to the queue" pass
#576 opened Aug 22, 2025 by pcineverdies Collaborator Loading…
7
[Operations] Replace top-level join and blocker with synchronizer
#557 opened Aug 4, 2025 by murphe67 Collaborator • Draft
15
[Tutorial Update] Edited the Integration Test Getting Started Tutorial to add more detail and clarity
#545 opened Jul 21, 2025 by A-Alosius Collaborator Loading…
2
[Integration Test] Fix cordic
#544 opened Jul 21, 2025 by murphe67 Collaborator Loading…
6
ProTip! no:milestone will show everything without a milestone.