Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-22 | sat: satget: don't duplicate binary clauses | aiju | |
2018-03-22 | sat: satget: include unit literals | aiju | |
2018-03-22 | sat: add satget | aiju | |
![]() |
index : plan9front.git | |
Unnamed repository; edit this file 'description' to name the repository. |
summaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-03-22 | sat: satget: don't duplicate binary clauses | aiju | |
2018-03-22 | sat: satget: include unit literals | aiju | |
2018-03-22 | sat: add satget | aiju | |