Skip to content

Commit

Permalink
Update dependency: haskell-backend/src/main/native/haskell-backend (r…
Browse files Browse the repository at this point in the history 
…untimeverification#2590)

* haskell-backend/src/main/native/haskell-backend: d05a67040 - Re-export Control.Monad from Logic (runtimeverification#3053)

* haskell-backend/src/main/native/haskell-backend: 555776e31 - Commands history via Haskeline in the REPL (runtimeverification#3049)

* haskell-backend/src/main/native/haskell-backend: 544c24e96 - Add support for user-defined \\equals simplification (runtimeverification#3042)
  • Loading branch information
@rv-jenkins
rv-jenkins authored May 16, 2022
1 parent a815ce2 commit c3087f5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion haskell-backend/src/main/native/haskell-backend
Submodule haskell-backend updated 17 files
+1 −0 kore/kore.cabal
+17 −13 kore/src/Kore/Repl.hs
+10 −5 kore/src/Kore/Repl/Data.hs
+54 −33 kore/src/Kore/Repl/Interpreter.hs
+43 −2 kore/src/Kore/Simplify/Predicate.hs
+4 −0 kore/src/Logic.hs
+11 −6 kore/test/Test/Kore/Repl/Interpreter.hs
+32 −0 kore/test/Test/Kore/Rewrite/Axiom/Matcher.hs
+2 −0 nix/kore.nix.d/kore.nix
+3 −0 test/imp/run-stepf-repl-script-spec.k.out.golden
+2 −0 test/ml-simplification/Makefile
+7 −0 test/ml-simplification/test-spec.k
+1 −0 test/ml-simplification/test-spec.k.out.golden
+12 −0 test/ml-simplification/test.k
+1 −0 test/tiny/a-to-c-automatic-repl-script-spec.k.out.golden
+1 −0 test/tiny/a-to-c-automatic-stepf-repl-script-spec.k.out.golden
+1 −0 test/tiny/a-to-c-manual-repl-script-spec.k.out.golden

0 comments on commit c3087f5

Please sign in to comment.