Make plinth use builtin bool (#7231)

* Change matcher to be parameteraized in Hask

* Make builtin bool for `Bool` as well

* Use builtin `Bool` everywhere

* update golden

* Fix test

* Increase CSE iteration number for AsData.Budget.Spec

* More golden updates

* Increase MaxCseIterations

* Review update

* Revert CSE default pass numbers

Author: SeungheonOh

.github/workflows/manual-benchmark.yml

@@ -123,9 +123,7 @@ jobs:
           nix develop .#${{ steps.extract-benchmark.outputs.ghc }} \
             --no-warn-dirty \
             --accept-flake-config \
-            --command taskset -c 7 bash ./scripts/ci-plutus-benchmark.sh 
-            # We use taskset to pin the benchmark to a single CPU core to improve repeatability
-
+            --command bash ./scripts/ci-plutus-benchmark.sh 
         env:
           BENCHMARK_NAME: ${{ steps.extract-benchmark.outputs.benchmark }}
           PR_NUMBER: ${{ github.event.issue.number }}

cabal.project

@@ -90,7 +90,3 @@ allow-newer:
   ral:QuickCheck,
   fin:QuickCheck,
   bin:QuickCheck,
-
--- https://github.com/IntersectMBO/plutus/pull/7236
-constraints: setup.optparse-applicative >=0.19.0.0
-allow-newer: turtle:optparse-applicative

cardano-constitution/cardano-constitution.cabal

@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               cardano-constitution
-version:            1.51.0.0
+version:            1.49.0.0
 license:            Apache-2.0
 license-files:
   LICENSE
@@ -86,10 +86,10 @@ library
     , base               >=4.9   && <5
     , containers
     , filepath
-    , plutus-core        ^>=1.51
-    , plutus-ledger-api  ^>=1.51
-    , plutus-tx          ^>=1.51
-    , plutus-tx-plugin   ^>=1.51
+    , plutus-core        ^>=1.49
+    , plutus-ledger-api  ^>=1.49
+    , plutus-tx          ^>=1.49
+    , plutus-tx-plugin   ^>=1.49
     , regex-tdfa
     , safe
     , template-haskell
@@ -132,10 +132,10 @@ test-suite cardano-constitution-test
     , containers
     , directory
     , filepath
-    , plutus-core                      ^>=1.51
+    , plutus-core                      ^>=1.49
     , plutus-core:plutus-core-testlib
-    , plutus-ledger-api                ^>=1.51
-    , plutus-tx                        ^>=1.51
+    , plutus-ledger-api                ^>=1.49
+    , plutus-tx                        ^>=1.49
     , QuickCheck
     , serialise
     , tasty
@@ -152,4 +152,4 @@ executable create-json-envelope
   build-depends:
     , base
     , cardano-constitution
-    , plutus-ledger-api     ^>=1.51
+    , plutus-ledger-api     ^>=1.49

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.cbor.size.golden

@@ -1 +1 @@
-2038
+2044

cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.large.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 420523505, exBudgetMemory = ExMemory 2102368}
+ExBudget {exBudgetCPU = ExCPU 417803505, exBudgetMemory = ExMemory 2085368}