Skip to content
This repository has been archived by the owner on Aug 29, 2024. It is now read-only.

Pull requests: leanprover/leansat

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
Assignee
Filter by who’s assigned
Sort

Pull requests list

chore(deps): bump leanprover/lean-action from 1.0.0 to 1.0.1 dependencies Pull requests that update a dependency file
#136 by dependabot bot was closed Aug 26, 2024 Loading…
feat: implement the binary LRAT proof format.
#135 by hargoniX was merged Aug 5, 2024 Loading…
feat: BitVec.replicate
#134 by hargoniX was merged Aug 2, 2024 Loading…
Upgrade release
#133 by hargoniX was merged Aug 1, 2024 Loading…
chore: fix grammar in comment
#132 by tobiasgrosser was merged Jul 31, 2024 Loading…
Bump toolchain to nightly-2024-07-25
#131 by shigoel was merged Jul 25, 2024 Loading…
chore(deps): bump leanprover/lean-action from 1.pre.beta to 1.0.0 dependencies Pull requests that update a dependency file
#130 by dependabot bot was merged Jul 22, 2024 Loading…
refactor: switch to lakefile.toml
#129 by hargoniX was merged Jul 18, 2024 Loading…
test: add new files from grosser group
#128 by hargoniX was merged Jul 16, 2024 Loading…
refactor: Move succesful eval to test suite
#127 by hargoniX was merged Jul 16, 2024 Loading…
style: format tactics
#126 by hargoniX was merged Jul 16, 2024 Loading…
style: format and split up AIG
#125 by hargoniX was merged Jul 16, 2024 Loading…
style: format and cleanup External
#124 by hargoniX was merged Jul 16, 2024 Loading…
style: format CNF
#123 by hargoniX was merged Jul 16, 2024 Loading…
chore: format LeanSAT.Sat
#122 by hargoniX was merged Jul 16, 2024 Loading…
feat: use HSat
#121 by hargoniX was merged Jul 15, 2024 Loading…
Reorganize
#120 by hargoniX was merged Jul 15, 2024 Loading…
chore: drop Batteries
#119 by hargoniX was merged Jul 11, 2024 Loading…
feat: shiftRight for arbitrary widths
#118 by hargoniX was merged Aug 1, 2024 Loading…
feat: cleanup CaDiCal during interruption
#117 by hargoniX was merged Jul 9, 2024 Loading…
doc: rough architecture
#116 by hargoniX was merged Jul 8, 2024 Loading…
feat: use Std.HashMap
#115 by hargoniX was merged Jul 8, 2024 Loading…
update nightly
#114 by hargoniX was merged Jul 5, 2024 Loading…
Update CI
#113 by hargoniX was merged Jul 3, 2024 Loading…
feat: finish will overflow
#112 by hargoniX was merged Jul 2, 2024 Loading…
ProTip! Follow long discussions with comments:>50.