aboutsummaryrefslogtreecommitdiff
path: root/spartan/core/lib (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 1. Type information context dataJosh Chen2020-06-031-0/+18
| | | | | 2. Small reformulations of rules 3. Bool
* case distinctionJosh Chen2020-05-282-0/+63
|
* reorganize folder structureJosh Chen2020-05-2810-0/+1879