8000 Tags · sfiruch/kissat · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: sfiruch/kissat

Tags

rel-4.0.0

Toggle rel-4.0.0's commit message
windows port

3.1.0

Toggle 3.1.0's commit message
include all sources

3.0.0

Toggle 3.0.0's commit message
release 3.0.0

sc2022-light

Toggle sc2022-light's commit message
Merge branch 'master' of https://github.com/deiruch/kissat

sc2021

Toggle sc2021's commit message
update build version id

1.0.3

Toggle 1.0.3's commit message
restore endianness detection

sc2020

Toggle sc2020's commit message
imported sc2020 submission

0