Merge branch 'master' into 2264

Author: MirceaS

.github/PULL_REQUEST_TEMPLATE.md

@@ -1,7 +1,12 @@
+Fixes #nnnn
 
 ---
 
-###### Reviewer checklist
+###### Review checklist
 
-- [ ] Test coverage: `stack test --coverage`
-- [ ] Public API documentation: `stack haddock`
+The author performs the actions on the checklist. The reviewer evaluates the work and checks the boxes as they are completed.
+
+-   [ ] **Summary.** Write a summary of the changes. Explain what you did to fix the issue, and why you did it. Present the changes in a logical order. Instead of writing a summary in the pull request, you may push a clean Git history.
+-   [ ] **Documentation.** Write documentation for new functions. Update documentation for functions that changed, or complete documentation where it is missing.
+-   [ ] **Tests.** Write unit tests for every change. Write the unit tests that were missing before the changes. Include any examples from the reported issue as integration tests.
+-   [ ] **Clean up.** The changes are already clean. Clean up anything near the changes that you noticed while working. This does not mean only spatially near the changes, but logically near: any code that interacts with the changes!

.github/workflows/test.yml

@@ -3,7 +3,7 @@ on:
   pull_request:
   push:
 jobs:
-  tests:
+  test-nix:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/[email protected]
@@ -16,3 +16,28 @@ jobs:
         signingKey: '${{ secrets.CACHIX_SIGNING_KEY }}'
     - run: nix-build -A kore -A project.kore.checks
     - run: nix-shell --run "echo OK"
+
+  test-cabal:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/[email protected]
+      with:
+        submodules: recursive
+
+    - uses: actions/[email protected]
+      id: setup-haskell-cabal
+      with:
+        ghc-version: "8.10.1"
+        cabal-version: "3.2"
+
+    - name: Cache Cabal store
+      uses: actions/cache@v2
+      with:
+        path: ${{ steps.setup-haskell-cabal.outputs.cabal-store }}
+        key: ${{ runner.os }}-ghc-8.10.1-${{ hashFiles('cabal.project.freeze') }}
+
+    - name: Build project
+      run: cabal v2-build --enable-tests --enable-benchmarks all
+
+    - name: Configure with profiling
+      run: cabal v2-configure --enable-profiling -f-threaded

cabal.project

@@ -11,3 +11,20 @@ package *
 package kore
   ghc-options: -Wall -Werror
   ghc-options: -fprof-auto-top
+
+source-repository-package
+  type: git
+  location: https://github.com/ttuegel/pipes-sqlite-simple.git
+  tag: a3920f053f92e76f2a7ff7c68e34f9e926817702
+
+source-repository-package
+  type: git
+  location: https://github.com/ttuegel/pipes-ghc-events.git
+  tag: 780b479300bd165f58b3bdd5f941ea81844fc937
+  subdir: eventlog2speedscope
+
+source-repository-package
+  type: git
+  location: https://github.com/ttuegel/pipes-ghc-events.git
+  tag: 780b479300bd165f58b3bdd5f941ea81844fc937
+  subdir: pipes-ghc-events

cabal.project.freeze

@@ -0,0 +1,173 @@
+constraints: any.Glob ==0.10.1,
+             any.Only ==0.1,
+             any.QuickCheck ==2.13.2,
+             any.StateVar ==1.2,
+             any.adjunctions ==4.4,
+             any.aeson ==1.5.4.0,
+             aeson -bytestring-builder -cffi -developer -fast,
+             any.ansi-terminal ==0.10.3,
+             any.ansi-wl-pprint ==0.6.9,
+             any.array ==0.5.4.0,
+             any.assoc ==1.0.1,
+             any.async ==2.2.2,
+             any.attoparsec ==0.13.2.4,
+             any.base ==4.14.0.0,
+             any.base-compat ==0.11.1,
+             any.base-compat-batteries ==0.11.1,
+             any.base-orphans ==0.8.2,
+             any.basement ==0.0.11,
+             any.bifunctors ==5.5.7,
+             any.binary ==0.8.8.0,
+             any.blaze-builder ==0.4.1.0,
+             any.blaze-html ==0.9.1.2,
+             any.blaze-markup ==0.8.2.7,
+             any.blaze-textual ==0.2.1.0,
+             any.bytestring ==0.10.10.0,
+             any.call-stack ==0.2.0,
+             any.case-insensitive ==1.2.1.0,
+             any.chronos ==1.1.1,
+             any.clock ==0.8,
+             any.co-log ==0.4.0.1,
+             any.co-log-core ==0.2.1.1,
+             any.colour ==2.3.5,
+             any.comonad ==5.0.6,
+             any.concurrent-output ==1.10.12,
+             any.conduit ==1.3.2,
+             any.conduit-extra ==1.3.5,
+             any.constraints ==0.12,
+             any.containers ==0.6.2.1,
+             any.contravariant ==1.5.2,
+             any.cryptonite ==0.26,
+             any.data-default ==0.7.1.1,
+             any.data-default-class ==0.1.2.0,
+             any.data-default-instances-containers ==0.0.1,
+             any.data-default-instances-dlist ==0.0.1,
+             any.data-default-instances-old-locale ==0.0.1,
+             any.data-fix ==0.3.0,
+             any.deepseq ==1.4.4.0,
+             any.direct-sqlite ==2.3.26,
+             any.directory ==1.3.6.0,
+             any.distributive ==0.6.2,
+             any.dlist ==0.8.0.8,
+             any.erf ==2.0.0.0,
+             any.errors ==2.3.0,
+             any.exceptions ==0.10.4,
+             any.extra ==1.7.4,
+             any.fail ==4.9.0.0,
+             any.fgl ==5.7.0.2,
+             any.filepath ==1.4.2.1,
+             any.free ==5.1.3,
+             any.generic-lens ==2.0.0.0,
+             any.generic-lens-core ==2.0.0.0,
+             any.generics-sop ==0.5.1.0,
+             any.ghc-boot-th ==8.10.1,
+             any.ghc-events ==0.13.0,
+             any.ghc-prim ==0.6.1,
+             any.ghc-trace-events ==0.1.2.1,
+             any.gitrev ==1.3.1,
+             any.graphviz ==2999.20.0.4,
+             any.groom ==0.1.2.1,
+             any.hashable ==1.3.0.0,
+             any.haskeline ==0.8.0.0,
+             any.haskell-lexer ==1.1,
+             any.haskell-src-exts ==1.23.1,
+             any.hedgehog ==1.0.3,
+             any.indexed-profunctors ==0.1,
+             any.integer-gmp ==1.0.3.0,
+             any.integer-logarithms ==1.0.3,
+             any.invariant ==0.5.3,
+             any.junit-xml ==0.1.0.0,
+             any.kan-extensions ==5.2,
+             any.lens ==4.19.2,
+             any.lifted-async ==0.10.1.1,
+             any.lifted-base ==0.2.3.12,
+             any.logict ==0.7.0.2,
+             any.markdown-unlit ==0.5.0,
+             any.megaparsec ==8.0.0,
+             any.memory ==0.15.0,
+             any.mmorph ==1.1.3,
+             any.monad-control ==1.0.2.3,
+             any.mono-traversable ==1.0.15.1,
+             any.mtl ==2.2.2,
+             any.network ==3.1.1.1,
+             any.old-locale ==1.0.0.7,
+             any.old-time ==1.1.0.3,
+             any.optparse-applicative ==0.15.1.0,
+             any.parallel ==3.2.2.0,
+             any.parser-combinators ==1.2.1,
+             any.pipes ==4.3.13,
+             any.pipes-aeson ==0.4.1.8,
+             any.pipes-attoparsec ==0.5.1.5,
+             any.pipes-bytestring ==2.1.6,
+             any.pipes-group ==1.0.12,
+             any.pipes-parse ==3.0.8,
+             any.pipes-safe ==2.3.2,
+             any.polyparse ==1.13,
+             any.pretty ==1.1.3.6,
+             any.pretty-show ==1.10,
+             any.prettyprinter ==1.6.2,
+             any.primitive ==0.7.0.1,
+             any.process ==1.6.8.2,
+             any.profunctors ==5.5.2,
+             any.quickcheck-instances ==0.3.23,
+             any.random ==1.1,
+             any.recursion-schemes ==5.1.3,
+             any.reflection ==2.1.6,
+             any.resourcet ==1.2.4.2,
+             any.rts ==1.0,
+             any.safe ==0.3.19,
+             any.safe-exceptions ==0.1.7.0,
+             any.scientific ==0.3.6.2,
+             any.semialign ==1.1.0.1,
+             any.semigroupoids ==5.3.4,
+             any.semigroups ==0.19.1,
+             any.sop-core ==0.5.0.1,
+             any.split ==0.2.3.4,
+             any.splitmix ==0.0.5,
+             any.sqlite-simple ==0.4.18.0,
+             any.stm ==2.5.0.0,
+             any.streaming-commons ==0.2.1.2,
+             any.streams ==3.3,
+             any.strict ==0.4,
+             strict +assoc,
+             any.stringsearch ==0.3.6.6,
+             any.tagged ==0.8.6,
+             any.tar ==0.5.1.1,
+             any.tasty ==1.2.3,
+             any.tasty-discover ==4.2.1,
+             any.tasty-golden ==2.3.3.2,
+             any.tasty-hedgehog ==1.0.0.2,
+             any.tasty-hunit ==0.10.0.2,
+             any.tasty-quickcheck ==0.10.1.1,
+             any.tasty-test-reporter ==0.1.1.1,
+             any.template-haskell ==2.16.0.0,
+             any.temporary ==1.3,
+             any.terminal-size ==0.3.2.1,
+             any.terminfo ==0.4.1.4,
+             any.text ==1.2.3.2,
+             any.th-abstraction ==0.3.2.0,
+             any.these ==1.1.1.1,
+             any.time ==1.9.3,
+             any.time-compat ==1.9.3,
+             any.torsor ==0.1,
+             any.transformers ==0.5.6.2,
+             any.transformers-base ==0.4.5.2,
+             any.transformers-compat ==0.6.5,
+             any.type-equality ==1,
+             any.typed-process ==0.2.6.0,
+             any.typerep-map ==0.3.3.0,
+             any.unbounded-delays ==0.1.1.0,
+             any.unix ==2.7.2.2,
+             any.unliftio-core ==0.2.0.1,
+             any.unordered-containers ==0.2.11.0,
+             any.uuid-types ==1.0.3,
+             any.vector ==0.12.1.2,
+             any.vector-algorithms ==0.8.0.3,
+             any.void ==0.7.3,
+             any.wcwidth ==0.0.2,
+             any.witherable ==0.3.1,
+             any.wl-pprint-annotated ==0.1.0.1,
+             any.wl-pprint-text ==1.2.0.1,
+             any.xml-conduit ==1.9.0.0,
+             any.xml-types ==0.3.8,
+             any.zlib ==0.6.2.1

deps/k_release

@@ -1 +1 @@
-v5.0.0-d0aa149
+v5.0.0-20ab646

docs/hooks.md

@@ -676,10 +676,8 @@ of the list and negative indices count from the end. The first element is
 
 ### LIST.update
 
-Update an element from the list by index. Positive indices count from the
-beginning of the list and negative indices count from the end. The first element
-is `\dv{Int{}}("0")` and the last element is `\dv{Int{}}("-1")`. The result is
-`\bottom{}()` if the index is out-of-bounds.
+Update an element from the list by index. The first element is `\dv{Int{}}("0")`.
+The result is `\bottom{}()` if the index is out-of-bounds.
 
 ~~~
     hooked-symbol update{}(List{}, Int{}, Elem{}) : List{}
@@ -704,6 +702,31 @@ The number of elements in the given list.
         [hook{}("LIST.size")]
 ~~~
 
+### LIST.make
+
+`LIST.make(n, x)` is a list of length `n` with `x` the value of every element.
+The result is `bottom` if n is negative.
+
+~~~
+    hooked-symbol make{}(Int{}, Elem{}) : List{}
+        [hook{}("LIST.make")]
+~~~
+
+## LIST.updateAll
+
+`LIST.updateAll(L1, index, L2)` creates a new list using a list `L2` of size `N`
+where the `N` elements of `L1` starting at `index` are replaced with the
+contents of `L2`.
+The result is `\bottom` in these cases:
+
+- `index` is negative
+- `L2` is non-empty and `index + N` exeeds the length of `L1`
+
+~~~
+    hooked-symbol updateAll{}(List{}, Int{}, List{}) : List{}
+        [hook{}("LIST.updateAll")]
+~~~
+
 ## SET
 
 Depends on `BOOL`.