Radish alpha
H
HardenedBSD-pkg
rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9
HardenedBSD Package Manager
Radicle
Git
History for external/picosat  ·  View all commits
18 commits
S
Merge remote-tracking branch 'upstream/main'
Shawn Webb
6 days ago 920c183
B
build: cleanly separate build system from vendored source
Baptiste Daroussin
22 days ago 7bba0f1
S
Merge remote-tracking branch 'upstream/main'
Shawn Webb
1 year ago 25ee7d0
K
Fix external/picosat undefined behaviour.
Keve
1 year ago 991ba63
S
Merge branch 'upstream-master'
Shawn Webb
3 years ago e294fea
N
Support out-of-tree builds
Nathaniel Wesley Filardo
3 years ago fbaaacc
S
Merge branch 'upstream-master'
Shawn Webb
3 years ago 6c2ebb5
D
picosat: fix assertion
Daniel Kolesa
4 years ago 7dae468
S
Merge branch 'upstream-master'
Shawn Webb
4 years ago 9b9eef5
A
Attempt to fix two further UBSan errors
Alex Richardson
5 years ago 59647f3
B
Update picocat to version 965
Baptiste Daroussin
6 years ago fc19180
B
Fix build on alpine
Baptiste Daroussin
7 years ago 7b25be9
B
Merge branch 'autosetup'
Baptiste Daroussin
7 years ago b9c18cf
B
Convert to autosetup
Baptiste Daroussin
8 years ago 6faf6c3
V
Merge branch 'master' into imax-rework
Vsevolod Stakhov
11 years ago 810a097
V
Merge pull request #914 from vstakhov/picosat
Vsevolod Stakhov
11 years ago 568e0b6
V
Integrate picosat to pkg.
Vsevolod Stakhov
11 years ago b2638e3
V
Add picosat code.
Vsevolod Stakhov
11 years ago 47b7b43