You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The (S)CT checking in Jasmin is now done via the jazzct standalone checker (jasmin-lang/jasmin#766).
Thus, Makefile.checksct should use that (it is currently broken, AFAICT).
The blockers are:
No support for -I include paths in the jazzct binary, only via JASMINPATH.
The (S)CT checking in Jasmin is now done via the
jazzct
standalone checker (jasmin-lang/jasmin#766).Thus,
Makefile.checksct
should use that (it is currently broken, AFAICT).The blockers are:
-I
include paths in thejazzct
binary, only viaJASMINPATH
.-lea
,-lazy-regalloc
or-noinsertarraycopy
injazzct
, as these matter when checking is done after many compiler passes (and some primitives do not compile without them).The text was updated successfully, but these errors were encountered: