Skip to content

Pull requests: xlsynth/xlsynth-crate

New pull request New
7 Open 1,051 Closed
7 Open 1,051 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

cleanup: update toml crate to 1.1
#1043 opened Aug 3, 2026 by durin42 Loading…
1
[dslx-block] add explicit block language MVP
#1032 opened Jul 6, 2026 by mgottscho Contributor • Draft
[prover] Add interruptible equivalence-class proving.
#895 opened Apr 10, 2026 by cdleary Contributor Loading…
2
g8r: prep projected positive-mask cones before gatify codex
#848 opened Feb 27, 2026 by cdleary Contributor Loading…
2
[dslx-stitch-pipeline] Refactor the dslx-stitch-pipeline code and support emission of the .unopt.ir file and .opt.ir files
#695 opened Dec 17, 2025 by cdleary Contributor Loading…
2
Add focus tactic for quickcheck so we can convert them to lec
#676 opened Nov 12, 2025 by lsrcz Collaborator Loading…
Refactor to extract dslx_to_ir
#466 opened Jul 20, 2025 by lsrcz Collaborator • Draft
ProTip! Follow long discussions with comments:>50.