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 into

_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
75b6289
deps/wasm-semantics: 6941fb6 - Unfold definitions (#345)

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

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

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

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

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

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

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

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

rv-jenkins
authored and
hjorthjort
committed
8e0355f
Update Makefile for native Markdown support
hjorthjort
committed
e7e4c3c
ewasm: bugfix: correct file import
hjorthjort
committed
9eb40fb
Use new core func type
hjorthjort
committed
e3609a0
Only import WASM-TEXT in DRIVER, not in EWASM
hjorthjort
committed
de5f4da
Makefile cleanup
hjorthjort
committed
5eb2413
Jenkinsfile: remove tangling target
hjorthjort
committed
c3fad9a

Commits on Jun 14, 2020

Makefile: only rebuild definitions when source files change
hjorthjort
committed
3870f98
Makefile: cleanups
hjorthjort
committed
b82de8c
Makefile: remove phony targets
hjorthjort
committed
c341f96
Makefile: build_dir => BUILD_DIR
hjorthjort
committed
bde0840
Makefile: add build-\% as .PHONY target
hjorthjort
committed
aa3c1bc
Makefile: proofs should depend on presence of lemmas file
hjorthjort
committed
315c6c0
Makefile: remove unused target
hjorthjort
committed
306ab72
fix: typo
hjorthjort
committed
0cd1975
Makefile: Remove build-% PHONY target
hjorthjort
committed
fb1bd13
deps/wasm-semantics: 1dca85e - Explicit instruction sequencing (#360)
rv-jenkins
committed
1b46079

Commits on Jun 17, 2020

Commits on Jun 24, 2020

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

Commits on Jun 25, 2020

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

Commits on Jun 26, 2020

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

Commits on Jul 8, 2020

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

Commits on Jul 10, 2020

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

Commits on Jul 14, 2020

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

Commits on Jul 29, 2020

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