This repository was archived by the owner on Mar 23, 2023. It is now read-only.

Update dependency: deps/wasm-semantics#26

Open

rv-jenkins wants to merge 38 commits intomasterfrom

_update-deps_deps_wasm-semantics

Commits on Jun 13, 2020

deps/wasm-semantics: 2c4f62c - Update dependency: deps/k (#348)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 6941fb6 - Unfold definitions (#345)

rv-jenkins
authored and
hjorthjort
committed
Preprocess modules in driver
hjorthjort
committed
success-llvm: remove nextFreshId
hjorthjort
committed
proofs: remove nextFreshId
hjorthjort
committed
deps/wasm-semantics: 60895c3 - kwasm-lemmas: use upstreamed integer symbolic reasoning (#350)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 05d42eb - Standardize Makefile (#351)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: ea521a7 - Sort text module (#349)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 9d7bb2c - Remove contextlookup for functions (#355)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: d944601 - Remove named valtypes (#356)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 435e43f - Module metadata (#357)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 08042d9 - Use native md file support from K (#358)

rv-jenkins
authored and
hjorthjort
committed
deps/wasm-semantics: 8794dd4 - Fix typo (`eq` instead of `ne`) (#359)

rv-jenkins
authored and
hjorthjort
committed
Update Makefile for native Markdown support
hjorthjort
committed
ewasm: bugfix: correct file import
hjorthjort
committed
Use new core func type
hjorthjort
committed
Only import WASM-TEXT in DRIVER, not in EWASM
hjorthjort
committed
Makefile cleanup
hjorthjort
committed
Jenkinsfile: remove tangling target
hjorthjort
committed

Commits on Jun 14, 2020

Commits on Jun 17, 2020

Commits on Jun 24, 2020

deps/wasm-semantics: 470f34e - Update dependency: deps/k (#364)
rv-jenkins
committed

Commits on Jun 25, 2020

deps/wasm-semantics: 1b18811 - Use WASM-TEXT as main cell for Haskell kompile (#365)
rv-jenkins
committed

Commits on Jun 26, 2020

deps/wasm-semantics: 117eeb0 - Add underscore to unsed variables (#366)
rv-jenkins
committed

Commits on Jul 8, 2020

deps/wasm-semantics: 54eb26f - Type desugaring during text -> core phase (#367)
rv-jenkins
committed

Commits on Jul 10, 2020

deps/wasm-semantics: 221a9d9 - deps/k: ab078f6d5 - Update issue templates (#1407) (#369)
rv-jenkins
committed

Commits on Jul 14, 2020

deps/wasm-semantics: 520245d - Remove #ContextLookup for types when allocating functions (#368)
rv-jenkins
committed

Commits on Jul 29, 2020

deps/wasm-semantics: d56298b - Update dependency: deps/k (#370)
rv-jenkins
committed