Commit 942dde51 authored by Michael Hanus's avatar Michael Hanus
Browse files

Compiler spec added

parent 9ee379ef
Pipeline #363 failed with stages