Mike Gerwitz

Activist for User Freedom

Commit message (Expand)AuthorAgeFilesLines
* {L=>}GPLMike Gerwitz2018-09-111-1/+1
* Add _match-result_/@eq@Mike Gerwitz2018-09-111-6/+19
* Update all copyrights from LoVullo to R-T SpecialtyMike Gerwitz2018-09-111-1/+1
* Allow for arbitrary name for BDD given clauseMike Gerwitz2018-09-111-7/+19
* Update spec to work with new systemMike Gerwitz2018-09-111-26/+53
* Handful of test casesMike Gerwitz2018-09-111-1/+2
* LGPL license; copyright notice added to head of each fileMike Gerwitz2018-09-111-0/+17
* Package namespace/imports/decl cleanupMike Gerwitz2018-09-111-2/+2
* TAME core library extracted from Calc DSL repositoryMike Gerwitz2018-09-111-0/+285