Age | Commit message (Collapse) | Author | |
---|---|---|---|
2019-08-08 | Add subdirectories to contrib for competition scripts (#3164) | Andrew Reynolds | |
2015-11-06 | Changing file permissions to add or remove executable tag as appropriate. | Tim King | |
2015-05-10 | Minor improvements to infrastructure. Minor changes to default options. Add ↵ | ajreynol | |
tff script. Minor additions to sygus. | |||
2015-05-08 | Add casc25 fnt script. | ajreynol | |