Skip to content

Pull requests: opencompl/lean-mlir

New pull request New
14 Open 754 Closed
14 Open 754 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

llvm: add BitVec.mul_add to bv_normalize
#806 opened Nov 8, 2024 by tobiasgrosser Loading…
1
chore: annotate slow proofs for selectwithbitwidth
#787 opened Nov 4, 2024 by tobiasgrosser Loading…
1
chore: update perf
#759 opened Nov 2, 2024 by tobiasgrosser Loading…
4
Lean deadlock
#749 opened Oct 31, 2024 by tobiasgrosser Loading…
3
WIP: building decideEventuallyZeroes on top of decideIfZeroes
#687 opened Oct 9, 2024 by alexkeizer • Draft
1
feat: try to prove theorem we need about predicates directly
#684 opened Oct 8, 2024 by bollu • Draft
1
feat: pretty printing support for mlir_region
#682 opened Oct 7, 2024 by mathatter997 Loading…
3
feat: Blueprint for the extension to handling predicates in the automata framework.
#671 opened Sep 30, 2024 by bollu • Draft
feat: cleanup FSM code to contain real abstractions instead of directly applying low-level functions.
#667 opened Sep 29, 2024 by bollu • Draft
30
Began implementing intrinsically typed regions
#476 opened Jul 22, 2024 by imbrem Loading…
11
Regalloc single bb
#453 opened Jul 11, 2024 by tobiasgrosser Loading…
24
feat: FBIP proof
#413 opened Jun 28, 2024 by bollu • Draft
1
refactor: downgrade MLIR generic parser from syntax categories to closed syntax
#364 opened May 31, 2024 by alexkeizer • Draft
11
chore: enable fail on warning
#293 opened May 9, 2024 by bollu Loading…
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.