readme: add NXP iMX8X to supported platforms
[barrelfish] / tools / sockeye /
drwxr-xr-x   ..
-rw-r--r-- 539 Hakefile
-rw-r--r-- 11580 Main.hs
-rw-r--r-- 5358 SockeyeAST.hs
-rw-r--r-- 741 SockeyeASTMeta.hs
-rw-r--r-- 655 SockeyeBackendIsabelle.hs
-rw-r--r-- 19200 SockeyeBackendLISA.hs
-rw-r--r-- 19891 SockeyeBackendProlog.hs
-rw-r--r-- 16025 SockeyeBackendPrologMultiDim.hs
-rw-r--r-- 1287 SockeyeChecker.hs
-rw-r--r-- 1400 SockeyeChecks.hs
-rw-r--r-- 15135 SockeyeParser.hs
-rw-r--r-- 5941 SockeyeParserAST.hs
-rw-r--r-- 4001 SockeyeSymbolTable.hs
-rw-r--r-- 15436 SockeyeSymbolTableBuilder.hs
drwxr-xr-x - v1