Radish alpha
H
HardenedBSD Package Manager
Radicle
Git (anonymous pull)
Log in to clone via SSH
History for external/picosat  ·  View all commits
18 commits — page 1
K
Fix external/picosat undefined behaviour.
Keve
1 year ago 991ba63eed6d3b1eb73a969b6dd39f020b35d301
S
Merge branch 'upstream-master'
Shawn Webb
3 years ago e294fea49d1a20e355ea2403fe9f39141cc32fea
N
Support out-of-tree builds
Nathaniel Wesley Filardo
3 years ago fbaaacce6c5d533738514eae2087f42f8fd64076
S
Merge branch 'upstream-master'
Shawn Webb
4 years ago 6c2ebb5cdcd157d25d375b494016a1ff787e564a
D
picosat: fix assertion
Daniel Kolesa
4 years ago 7dae468ab540bd9de2c77984599d698d2c67676e
S
Merge branch 'upstream-master'
Shawn Webb
4 years ago 9b9eef517d2dd58c94ebe4de4b5bced18ec905df
B
Update picocat to version 965
Baptiste Daroussin
6 years ago fc1918073f4ad85368393696b33ae45b3098ce7a
B
Fix build on alpine
Baptiste Daroussin
7 years ago 7b25be9860beff2e17e8c5953c0bd85c586ea1e0
B
Merge branch 'autosetup'
Baptiste Daroussin
7 years ago b9c18cfe0fe5089ec9f1f44d36aee6b9f401214f
B
Convert to autosetup
Baptiste Daroussin
8 years ago 6faf6c38f3a7e22ca9c8e993eba3f30d9a654282
V
Integrate picosat to pkg.
Vsevolod Stakhov
11 years ago b2638e31257077b1f8356efe84b86d38a74036aa
V
Add picosat code.
Vsevolod Stakhov
11 years ago 47b7b439286b5b884d73369358ccf710d0d6b9d8