Age | Commit message (Expand) | Author |
---|---|---|
2018-11-14 | fix build process | Alex J. Malozemoff |
2017-11-05 | Add z3 dependency | Brent Carmer |
2017-10-19 | update (hopefully solves linker issues) | Brent Carmer |
2016-11-09 | Update build | Brent Carmer |
2015-11-07 | Update | Brent Carmer |
2015-11-07 | remove unnecessary makedepends | Brent Carmer |
2015-06-09 | Initial import | Brent Carmer |