The one place for your designs
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.
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