Rename snippet files

examples/matrix_search/Makefile

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

examples/matrix_search/demo.hs

@@ -42,7 +42,7 @@ expectedCost ::
   IO Double
 expectedCost n m matrix eps = do
   -- load the program
-  Right loaded_program <- parseFromFile (P.programParser @primT') "examples/matrix_search/matrix_search.qb"
+  Right loaded_program <- parseFromFile (P.programParser @primT') "examples/matrix_search/matrix_search.traq"
   let program = P.mapSize (Sym.unSym . Sym.subst "M" (Sym.con m) . Sym.subst "N" (Sym.con n)) loaded_program
   program_annotated <- either fail pure $ A.annotateProgWithErrorBudget (A.failProb eps) program
 

examples/tree_generator/demo.hs

@@ -63,15 +63,15 @@ worstCaseCost
 -- worst case cost (ignores data)
 worstCaseCost ctx eps = do
   -- load the program
-  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.qb"
+  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.traq"
   let program = P.mapSize (substCtx ctx) loaded_program
   program_annotated <- either fail pure $ A.annotateProgWithErrorBudget (A.failProb eps) program
 
   return $ getCost $ A.costQProg program_annotated
 -- expected cost (depends on data)
 expectedCost ctx@Ctx{..} eps = do
   -- load the program
-  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.qb"
+  loaded_program <- either (fail . show) pure =<< parseFromFile (P.programParser @primT') "examples/tree_generator/tree_generator_01_knapsack.traq"
   let program = P.mapSize (substCtx ctx) loaded_program
   -- putStrLn $ replicate 80 '='
   -- putStrLn $ PP.toCodeString program

experiments/compile_loc.hs

@@ -55,7 +55,7 @@ matSearch n eps =
   runExpt
     ExptConfig
       { expt_name = "Matrix Search"
-      , fname = "examples/matrix_search/matrix_search.qb"
+      , fname = "examples/matrix_search/matrix_search.traq"
       , params = [("N", n), ("M", n)]
       , precision = eps
       , show_qpl = False
@@ -66,7 +66,7 @@ listSearch n eps =
   runExpt
     ExptConfig
       { expt_name = "List Search"
-      , fname = "examples/primitives/search.qb"
+      , fname = "examples/primitives/search.traq"
       , params = [("N", n)]
       , precision = eps
       , show_qpl = False

experiments/timing.hs

@@ -89,7 +89,7 @@ matrixSearchExpt = do
 depth3NAND :: IO ()
 depth3NAND = do
   putStrLn "\nDepth 3 NAND Tree:"
-  sprog <- loadProgramFromFile "examples/matrix_search/depth3_NAND_formula.qb"
+  sprog <- loadProgramFromFile "examples/matrix_search/depth3_NAND_formula.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 120]
   putStrLn "n, time, qubits"
@@ -111,7 +111,7 @@ depth3NAND = do
 hillClimbExpt :: IO ()
 hillClimbExpt = do
   putStrLn "\nHillclimb:"
-  sprog <- loadProgramFromFile "examples/hillclimb/max_sat_hillclimb.qb"
+  sprog <- loadProgramFromFile "examples/hillclimb/max_sat_hillclimb.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 100] ++ [200, 300 .. 1000]
   putStrLn "n, time, qubits"
@@ -127,7 +127,7 @@ hillClimbExpt = do
 triangleFinding :: IO ()
 triangleFinding = do
   putStrLn "\nTriangle Finding:"
-  sprog <- loadProgramFromFile "examples/triangle_finding.qb"
+  sprog <- loadProgramFromFile "examples/triangle_finding.traq"
   let eps = 0.001 :: Double
   let ns = [10, 20 .. 120]
   putStrLn "N, time, qubits"

test/Traq/Examples/ClusteringAlgorithmSpec.hs

@@ -14,7 +14,7 @@ import Test.Hspec
 import TestHelpers (expectRight)
 
 examplePath :: String
-examplePath = "examples/clustering_algorithm.qb"
+examplePath = "examples/clustering_algorithm.traq"
 
 spec :: Spec
 spec = describe "Clustering Algorithm" $ do

test/Traq/Examples/DepthThreeNandFormulaSpec.hs

@@ -16,7 +16,7 @@ import Test.Hspec
 import TestHelpers (expectRight)
 
 examplePath :: String
-examplePath = "examples/matrix_search/depth3_NAND_formula.qb"
+examplePath = "examples/matrix_search/depth3_NAND_formula.traq"
 
 spec :: Spec
 spec = describe "Depth 3 NAND Formula" $ do

test/Traq/Examples/EvanMansourSpec.hs

@@ -19,7 +19,7 @@ import Test.Hspec
 import TestHelpers (assertRight, expectRight)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/evan_mansour.qb"
+examplePath = "examples/cryptanalysis/evan_mansour.traq"
 
 type SPrim size = Primitive (SimonsFindXorPeriod size Double)
 

test/Traq/Examples/GroverMeetsSimonSpec.hs

@@ -16,7 +16,7 @@ import Test.Hspec
 import TestHelpers
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/grover_meets_simon.qb"
+examplePath = "examples/cryptanalysis/grover_meets_simon.traq"
 
 type P = WorstCasePrims (Sym.Sym SizeT) Double
 

test/Traq/Examples/NonDetSpec.hs

@@ -21,7 +21,7 @@ import TestHelpers
 spec :: Spec
 spec = do
   describe "SimpleExample" $ do
-    let load = parseFromFile (PP.programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/primitives/nondet.qb"
+    let load = parseFromFile (PP.programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/primitives/nondet.traq"
     it "parses" $ do
       mEx <- load
       assertRight mEx

test/Traq/Examples/PeriodFindingSpec.hs

@@ -21,7 +21,7 @@ import TestHelpers
 type SPrim size = Primitive (SimonsFindXorPeriod size Double)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/period_finding.qb"
+examplePath = "examples/cryptanalysis/period_finding.traq"
 
 loadPeriodFinding ::
   -- | bitsize @n@ of the inputs/outputs

test/Traq/Examples/SteepMaxKSatSpec.hs

@@ -17,7 +17,7 @@ import TestHelpers (expectRight)
 type P = Primitive (QMax (Sym.Sym SizeT) Double)
 
 examplePath :: String
-examplePath = "examples/hillclimb/steep_max_sat.qb"
+examplePath = "examples/hillclimb/steep_max_sat.traq"
 
 spec :: Spec
 spec = describe "Steep max-k-sat" $ do

test/Traq/Examples/ThreeRoundFeistelAttackSpec.hs

@@ -17,7 +17,7 @@ import TestHelpers (expectRight)
 type P = Primitive (SimonsFindXorPeriod (Sym.Sym SizeT) Double)
 
 examplePath :: String
-examplePath = "examples/cryptanalysis/3_round_feistel.qb"
+examplePath = "examples/cryptanalysis/3_round_feistel.traq"
 
 spec :: Spec
 spec = describe "3 round feistel attack" $ do

test/Traq/Examples/TreeGeneratorSpec.hs

@@ -80,7 +80,7 @@ loadKnapsack ::
   SizeT ->
   IO (Program Prim')
 loadKnapsack n w p k = do
-  Right prog <- parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+  Right prog <- parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
   return $
     prog
       & mapSize (Sym.subst "N" (Sym.con n))
@@ -93,13 +93,13 @@ spec :: Spec
 spec = do
   describe "Tree Generator Example" $ do
     it "parses" $ do
-      expectRight =<< parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+      expectRight =<< parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
       -- p `shouldBe` treeGeneratorExample (Sym.var "N") (Sym.var "W") (Sym.var "P")
       return ()
 
     it "typechecks" $ do
       p <-
-        parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.qb"
+        parseFromFile (programParser @Prim) "examples/tree_generator/tree_generator_01_knapsack.traq"
           >>= expectRight
       assertRight $ (typeCheckProg @Prim) p
 
@@ -122,7 +122,7 @@ spec = do
   describe "Loop example" $ do
     it "parses" $ do
       p <-
-        parseFromFile (programParser @(Core (Sym.Sym SizeT) Double)) "examples/tree_generator/loop_example.qb"
+        parseFromFile (programParser @(Core (Sym.Sym SizeT) Double)) "examples/tree_generator/loop_example.traq"
           >>= expectRight
       p `shouldBe` loopExample (Sym.var "N") (Sym.var "W")
 

test/Traq/Examples/TriangleCycleSpec.hs

@@ -16,7 +16,7 @@ import TestHelpers
 type P = DefaultPrims (Sym.Sym SizeT) Double
 
 examplePath :: String
-examplePath = "examples/triangle_finding.qb"
+examplePath = "examples/triangle_finding.traq"
 
 spec :: Spec
 spec = describe "Triangle Cycle Finding" $ do

test/Traq/Primitives/Amplify/PreludeSpec.hs

@@ -237,7 +237,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify1.qb"
+          "examples/primitives/amplify/amplify1.traq"
           >>= expectRight
       p `shouldBe` exampleProgram1 @(Sym.Sym Int) @Double (Sym.var "N")
 
@@ -263,7 +263,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify2.qb"
+          "examples/primitives/amplify/amplify2.traq"
           >>= expectRight
       p `shouldBe` exampleProgram2 @(Sym.Sym Int) @Double (Sym.var "N")
 
@@ -286,7 +286,7 @@ spec = describe "amplify" $ do
       p <-
         parseFromFile
           P.programParser
-          "examples/primitives/amplify/amplify3.qb"
+          "examples/primitives/amplify/amplify3.traq"
           >>= expectRight
       p `shouldBe` exampleProgram3 @(Sym.Sym Int) @Double (Sym.var "N")
 

test/Traq/Primitives/TreeSearchSpec.hs

@@ -72,7 +72,7 @@ spec = do
       p <-
         parseFromFile
           (programParser @(TreeSearch (Sym.Sym SizeT) Double))
-          "examples/primitives/treesearch.qb"
+          "examples/primitives/treesearch.traq"
           >>= expectRight
       p `shouldBe` exampleProgram (Sym.var "N") (Sym.con 2)
 

test/Traq/ProtoLang/ParserSpec.hs

@@ -91,7 +91,7 @@ spec = do
 
   describe "parse file" $ do
     it "parses example" $ do
-      e <- parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/matrix_search/matrix_search.qb" >>= expectRight
+      e <- parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/matrix_search/matrix_search.traq" >>= expectRight
       let e' = rewriteAST flattenSeq e
       e' `shouldBe` mkMatrixExample (\ty f -> PrimCallE $ Primitive [f] $ QAny $ QSearchCFNW $ PrimSearch AnyK ty) (Sym.var "N") (Sym.var "M")
 
@@ -100,7 +100,7 @@ spec = do
       roundTrip (matrixExampleS 4 5)
       roundTrip (matrixExampleS 10 10)
     it "max_sat_hillclimb" $ do
-      e_sym <- expectRight =<< parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/hillclimb/max_sat_hillclimb.qb"
+      e_sym <- expectRight =<< parseFromFile (programParser @(DefaultPrims (Sym.Sym SizeT) Double)) "examples/hillclimb/max_sat_hillclimb.traq"
       let e =
             e_sym
               & mapSize (Sym.subst "n" 10)