aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/formal/abs
Commit message (Collapse)AuthorAgeFilesLines
* Move formal tests for gates into single subdirectoryXiretza2020-03-223-59/+0
|
* Add abs gate (#91)Xiretza2020-03-103-0/+59