Skip to content

Pull requests: opencompl/lean-mlir

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

nightly-testing-2025-12-03 lean nightly update
#1915 opened Dec 4, 2025 by tobiasgrosser Loading…
feat: expand mapping functionailty in core
#1857 opened Nov 11, 2025 by LiamSchilling Loading…
1
fix: reorganize folder structure of evallib
#1817 opened Oct 31, 2025 by osmanyasar05 Loading…
2
feat: print opt programs wrapped in func.func
#1801 opened Oct 28, 2025 by alexkeizer • Draft
2
WIP: use bool sort
#1758 opened Oct 9, 2025 by ineol • Draft
1
feat: FP basic synthesis?
#1750 opened Oct 8, 2025 by bollu • Draft
feat/blase: Existential quantifier elimination for bitvector literals
#1725 opened Sep 30, 2025 by bollu • Draft
3
feat/experiment: simplify FSM construction with stream diffeq primitive
#1714 opened Sep 26, 2025 by bollu • Draft
4
feat: #evaluation in ... command for easier evaluation
#1706 opened Sep 25, 2025 by alexkeizer • Draft
1 task
5
feat: Blase NS multi-machine batch
#1690 opened Sep 22, 2025 by bollu • Draft
18
chore: drop custom bitvector notation
#1631 opened Aug 29, 2025 by alexkeizer Loading…
@bollu
13
WIP: feat: use matrix strategy to distribute LLVM evaluation
#1629 opened Aug 29, 2025 by alexkeizer • Draft
2
chore: partition instcombine goals into success/failure based on if they lake build needs-consensus issues which affect the project as a whole, and which are currently blocked on reaching consensus
#1616 opened Aug 27, 2025 by bollu Loading…
1
feat: snakemakeify hacker's delight needs-consensus issues which affect the project as a whole, and which are currently blocked on reaching consensus
#1549 opened Aug 24, 2025 by bollu Loading…
31
refactor: install python requirements.txt in shell.nix
#1417 opened Jun 30, 2025 by alexkeizer • Draft
2
chore: enable native compilation
#1415 opened Jun 30, 2025 by ineol Loading…
2
feat: tweak simp_llvm_split simpset
#1375 opened Jun 26, 2025 by alexkeizer • Draft
2
feat: make (fixed-width) evaluation return a non-zero exitcode on mismatch
#1365 opened Jun 25, 2025 by alexkeizer • Draft
4
refactor: merge simp_llvm and simp_llvm_option simpsets
#1297 opened Jun 3, 2025 by alexkeizer • Draft
feat: intros_llvm tactic
#1227 opened May 15, 2025 by alexkeizer • Draft
2
refactor: replace simp_alive_split implementation with just simp.
#1220 opened May 14, 2025 by alexkeizer • Draft
13
ProTip! Type g i on any issue or pull request to go back to the issue listing page.