Skip to content

Pull requests: opencompl/lean-mlir

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

chore: change font size in plots
#1729 opened Oct 2, 2025 by luisacicolini Loading…
11
feat: add right_identity_zero_or
#1727 opened Oct 1, 2025 by osmanyasar05 Loading…
5
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
2
feat: #evaluation in ... command for easier evaluation
#1706 opened Sep 25, 2025 by alexkeizer • Draft
1 task
5
chore: mark check for changes in AliveStatements as continue-on-error
#1698 opened Sep 24, 2025 by bollu Loading…
2
feat: Blase NS multi-machine batch
#1690 opened Sep 22, 2025 by bollu • Draft
14
chore: remove Blase dependence from SSA
#1685 opened Sep 22, 2025 by ineol Loading…
@ineol @tobiasgrosser
@bollu @alexkeizer
11
ci: add namespace lean-mlir builder
#1677 opened Sep 20, 2025 by tobiasgrosser Loading…
2
experimental: add automata-based semantics for DC
#1638 opened Sep 4, 2025 by luisacicolini Loading…
3
chore: drop custom bitvector notation
#1631 opened Aug 29, 2025 by alexkeizer Loading…
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
Add GlobalISel compilation flow to eval scripts.
#1585 opened Aug 25, 2025 by salinhkuhn • Draft
15
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
2025-08-17 lean nightly update
#1528 opened Aug 18, 2025 by ineol Loading…
3
Sarah's WIP Branch
#1505 opened Aug 5, 2025 by tobiasgrosser • Draft
4
chore: run small width independent test evaluation in CI
#1436 opened Jul 7, 2025 by bollu Loading…
2
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…
1
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
fix : Opt tool fails to parse i1 types.
#1318 opened Jun 13, 2025 by salinhkuhn • Draft
3
feat: Implement IC3 for Automata Verification
#1317 opened Jun 13, 2025 by bollu • Draft
1
refactor: merge simp_llvm and simp_llvm_option simpsets
#1297 opened Jun 3, 2025 by alexkeizer • Draft
ProTip! What’s not been updated in a month: updated:<2025-09-03.