aboutsummaryrefslogtreecommitdiff
path: root/src/utils.sc
AgeCommit message (Expand)Author
2021-02-10Remove unnecessary solver type variable.Arun Isaac
2021-02-10Fix collision between solver type and solver type variable.Arun Isaac
2021-02-05Replace underscores in identifiers with hyphens.Arun Isaac
2021-02-05Migrate C source to SC.Arun Isaac