Revert "Fix some iterate TODO's in layout pass"

This reverts commit 8908dbb.

Revert "remove duplicates"

This reverts commit 96d52fe.

Revert "[LayoutOpt]: Add a greedy heuristic to ameliorate solver time in lieu of runtime performance."

This reverts commit 209a90d.

Revert "add support for global layout optimization for multiple functions"

This reverts commit 540b2b7.

Revert "[LayoutOptimization] Test multiple functions. Producer Consumer boundary optimization."

This reverts commit 0344417.

Revert "remove old comment in test examples"

This reverts commit 90a2043.

Revert "Add dyn flag to enable layout optimization. Remove dependency from annotations"

This reverts commit 92d44b1.

Revert "change failing test to pass"

This reverts commit a7ab7f6.

Revert "edit workflow"

This reverts commit 4f17ce3.

Revert "layout3TagSearch.hs: restore state"

This reverts commit 2366e1e.

Revert "forgot to add answer file"

This reverts commit 924afa7.

Revert "Mark layout test failing since need academic liscense to install cplex solver"

This reverts commit f0ff4a6.

Revert "move comments to bottom of file"

This reverts commit b5eb4c1.

Revert "Main pass to optimize layout when user annotates function"

This reverts commit c937d0c.

Revert "Add pass OptimizeADTLayout"

This reverts commit 583a207.

Revert "add synthetic bench from marmoset paper to tests"

This reverts commit 45f39ad.

Revert "Filter blogs unit tests"

This reverts commit a90450f.

Revert "blog tag search unit tests"

This reverts commit 5c811a5.

Revert "Additional layout unit tests"

This reverts commit 4a8804c.

Revert "change failing tests"

This reverts commit 6dbf340.

Revert "init some layout tests in the test-runner"

This reverts commit 985b98b.

Revert "AddRAN: missing fields in functionMeta record"

This reverts commit 5827f62.

Revert "src: HaskellFrontend"

This reverts commit 0cb2be2.

Revert "change package versions"

This reverts commit ba19bc2.

Revert "Passes: Access patterns, update GHC version to 9.4.6 in CI"

This reverts commit fab882a.

Revert "fix L1 test"

This reverts commit 32d884b.

Revert "fix"

This reverts commit bc339a6.

Revert "Tests: Fix L1 Typecheck case to fix CI error"

This reverts commit 868c772.

Revert "Passes: CallGraph"

This reverts commit a87fd43.

Revert "Passes: Support for Definition Use Chains"

This reverts commit 4a51fec.

Revert "Passes: Control Flow Graph"

This reverts commit e554f1c.

Author: vidsinghal

.github/workflows/haskell-ci.yml

@@ -28,9 +28,9 @@ jobs:
     strategy:
       matrix:
         include:
-          - compiler: ghc-9.4.6
+          - compiler: ghc-9.6.2
             compilerKind: ghc
-            compilerVersion: 9.4.6
+            compilerVersion: 9.6.2
             setup-method: ghcup
             allow-failure: false
           - compiler: ghc-9.4.5

.github/workflows/test-gibbon-examples.yml

@@ -14,15 +14,10 @@ jobs:
           sudo apt update
           sudo apt-get install -y libgc-dev libgmp-dev uthash-dev gcc-11 racket
           sudo unlink /usr/bin/gcc && sudo ln -s /usr/bin/gcc-11 /usr/bin/gcc
-      - name: cplex and docplex
-        run: | 
-          sudo apt-get install python3
-          pip3 install cplex
-          pip3 install docplex
       - name: ghc and cabal
         env:
           HCKIND: ghc
-          HCVER: 9.4.6
+          HCVER: 9.6.2
         run: |
             mkdir -p "$HOME/.ghcup/bin"
             curl -sL https://downloads.haskell.org/ghcup/0.1.19.2/x86_64-linux-ghcup-0.1.19.2 > "$HOME/.ghcup/bin/ghcup"