summaryrefslogtreecommitdiff
path: root/sys/src/libsat
AgeCommit message (Expand)Author
2018-04-24libsat, forp: fix va_list hack on amd64aiju
2018-03-26libsat: fix one of the satmore() bugsaiju
2018-03-22sat: satget: don't duplicate binary clausesaiju
2018-03-22sat: satget: include unit literalsaiju
2018-03-22sat: add satgetaiju
2018-03-20libsat: setmalloctag, fix incorrect allocation sizeaiju
2018-03-18satmore: don't try to override user defined variablesaiju
2018-03-17add libsataiju