hie.yaml

cradle:
  stack:
    - path: "./src"
      component: "smcdel:lib"

    - path: "./exec/smcdel.hs"
      component: "smcdel:exe:smcdel"

    - path: "./exec/smcdel-web.hs"
      component: "smcdel:exe:smcdel-web"

    - path: "./test/Examples.hs"
      component: "smcdel:test:examples"

    - path: "./test/K.hs"
      component: "smcdel:test:k"

    - path: "./test/Translations.hs"
      component: "smcdel:test:translations"

    - path: "./test/Web.hs"
      component: "smcdel:test:web"

    - path: "./test/CUDD.hs"
      component: "smcdel:test:CUDD"

    - path: "./bench/diningcrypto.hs"
      component: "smcdel:bench:bench-diningcrypto"

    - path: "./bench/muddychildren.hs"
      component: "smcdel:bench:bench-muddychildren"

    - path: "./bench/sumandproduct.hs"
      component: "smcdel:bench:bench-sumandproduct"

    - path: "./sizeExperiments/diningcryptographers.hs"
      component: "smcdel:bench:sizes-diningcryptographers"

    - path: "./sizeExperiments/muddychildren.hs"
      component: "smcdel:bench:sizes-muddychildren"

    - path: "./sizeExperiments/sumandproduct.hs"
      component: "smcdel:bench:sizes-sumandproduct"