Update compiler classes

.github/workflows/ci.yml

@@ -47,11 +47,13 @@ jobs:
       matrix:
         ghc-version:
           # - "8.6.5"
-          - "8.8.4"
-          - "8.10.7"
+          # - "8.8.4"
+          # - "8.10.7"
           - "9.4.8"
           - "9.6.7"
-          # - "9.8.4"
+          - "9.8.4"
+          - "9.10.3"
+          - "9.12.2"
 
     steps:
       - uses: actions/checkout@v4

examples/matrix_search/Makefile

@@ -1,17 +1,18 @@
 PROJ_DEPS=../../src ../../tools ../../traq.cabal
 
-all: matrix_search.qpl matrix_search_cq.qpl
+all: matrix_search.qpl depth3_NAND_formula.qpl
 
 matrix_search.qpl: matrix_search.qb $(PROJ_DEPS)
-	cd ../../ && cabal run uqplcompile -- \
-		-i examples/matrix_search/matrix_search.qb \
-		-o examples/matrix_search/matrix_search.qpl \
+	cd ../../ && cabal run compile -- \
+		-i examples/matrix_search/$< \
+		-o examples/matrix_search/$@ \
 		-p 0.001 \
 		--arg N=20 --arg M=10
 
-matrix_search_cq.qpl: matrix_search.qb $(PROJ_DEPS)
-	cd ../../ && cabal run cqplcompile -- \
-		-i examples/matrix_search/matrix_search.qb \
-		-o examples/matrix_search/matrix_search_cq.qpl \
+depth3_NAND_formula.qpl: depth3_NAND_formula.qb $(PROJ_DEPS)
+	cd ../../ && cabal run compile -- \
+		-i examples/matrix_search/$< \
+		-o examples/matrix_search/$@ \
 		-p 0.001 \
-		--arg N=20 --arg M=10
+		--arg N=20 --arg M=10 --arg K=10
+