genelkim / ttt / 82

Builds Branch Commit Type Ran Committer Via Coverage
82 master Merge pull request #20 from genelkim/add-string-to-expr-type Add string to expr type push web-flow travis-ci-com pending completion
81 master Merge branch 'quicklisp' push genelkim travis-ci-com pending completion
80 add-string-to-expr-type Defined custom tree expression type tree-expr to simplify type checks. push genelkim travis-ci-com pending completion
79 add-string-to-expr-type Added string to the expression disjunction type. push genelkim travis-ci-com pending completion
78 master Merge pull request #19 from genelkim/quicklisp Quicklisp cron web-flow travis-ci-com pending completion
77 quicklisp Merge branch 'quicklisp' of https://github.com/genelkim/ttt into quicklisp push genelkim travis-ci-com pending completion
76 master Merge pull request #19 from genelkim/quicklisp Quicklisp push web-flow travis-ci-com pending completion
75 quicklisp Update README.md push web-flow travis-ci-com pending completion
74 quicklisp Update README.md Slightly better readme push web-flow travis-ci-com pending completion
73 quicklisp Open travis build up to other distributions. push genelkim travis-ci-com pending completion
72 quicklisp Delete README push web-flow travis-ci-com pending completion
71 quicklisp Update README.md push web-flow travis-ci-com pending completion
70 quicklisp Updated optimization for production and a note on better settings for development. push genelkim travis-ci-com pending completion
69 quicklisp Added compilation optimization settings, changed some methods to functions and added inline declamations. push genelkim travis-ci-com pending completion
68 quicklisp Undoing a couple of declarations that were too strict for current tests. push genelkim travis-ci-com pending completion