tests/languages/magma


Log

Author Commit Date CI Message
Michael Schmidt 344d0b27 2021-10-05T23:51:30 Added even more language tests (#3137)
Michael Schmidt a1b67ce3 2021-09-12T19:57:47 Added support for Magma (CAS) (#3055)