Runtime error in bimaps_with_arg in generics1
The ABC optimiser in https://gitlab.science.ru.nl/clean-and-itasks/abc-interpreter fails to build with the latest (itask) compiler due to a runtime error in generics1:
Run time error, rule 'bimaps_with_arg;347' in module 'generics1' does not match
I have not tried the master compiler.
This is the source of just the optimiser for your convenience: abcopt.tar.gz
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information