Tree @
master
(
Download .tar.gz
)
..
beer.smt
foo.smt
hello1.smt
hello2.smt
match.smt
test-str.smt
truth-machine.smt
History of eg
/
hello1.smt
@
master
git clone https://git.catseye.tc/SMITH/
Add license, remove exec perms from eg programs, update revision.
catseye
12 years ago
Initial import of SMITH version 2.1 revision 2011.0922 sources.
catseye
13 years ago