aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* add initial support for variable definitionAkshay2020-10-161-4/+1
* add basic list primitivesAkshay2020-10-151-2/+2
* add PBTs for arithmetic operatorsAkshay2020-10-142-18/+24
* rework test suiteAkshay2020-10-132-10/+18
* initAkshay2020-10-082-0/+23