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

Update dependency: deps/wasm-semantics - #27

Open

rv-jenkins wants to merge 61 commits into

_update-deps_kframework_wasm-semantics

Commits on Aug 21, 2020

deps/wasm-semantics: 324a1bf - Jenkinsfile: switch to generic update (#374)
rv-jenkins
committed
86d030f
deps/wasm-semantics: 190fb1e - Unfold instructions, remove #ContextLookup for labels (#371)
rv-jenkins
committed
3acf005

Commits on Aug 26, 2020

deps/wasm-semantics: ee973a1 - Elrond-related fixes to unfolding (#375)
rv-jenkins
committed
a7cedfb

Commits on Aug 28, 2020

Commits on Sep 1, 2020

deps/wasm-semantics: 5ea7752 - deps/k: 2f95ed9a7 - domains.md: `orBool` missing `symbol` attribute. (#1533) (#378)
rv-jenkins
committed
bae1d36

Commits on Sep 7, 2020

deps/wasm-semantics: c07f7e3 - Update dependency: deps/k (#379)
rv-jenkins
committed
014ae8c

Commits on Oct 21, 2020

deps/wasm-semantics: 38f986b - Syntax modules (#381)
rv-jenkins
committed
3bbd7a3

Commits on Nov 4, 2020

deps/wasm-semantics: 0f80c58 - Skeleton for binary parser (#382)
rv-jenkins
committed
b3af955

Commits on Nov 17, 2020

deps/wasm-semantics: b16a303 - Binary parser for instructions (#383)
rv-jenkins
committed
846219e

Commits on Nov 18, 2020

Commits on Nov 28, 2020

deps/wasm-semantics: 3a9480c - Bugfix/workaround (#387)
rv-jenkins
committed
74cb434

Commits on Dec 2, 2020

deps/wasm-semantics: 8a4befc - deps/k: 5701be4c6 - use llvm 8 on debian buster via backports (#1677) (#388)
rv-jenkins
committed
21c97aa

Commits on Dec 16, 2020

deps/wasm-semantics: 4396761 - deps/k: a102945f6 - Update dependency: haskell-backend/src/main/native/haskell-backend (#1702) (#389)
rv-jenkins
committed
46c9eef

Commits on Dec 17, 2020

deps/wasm-semantics: ec3b2df - Update dependency: deps/k (#390)
rv-jenkins
committed
7421af3

Commits on Dec 18, 2020

Commits on Jan 11, 2021

Commits on Jan 12, 2021

deps/wasm-semantics: 0e69a30 - deps/k: 1af793e0a - Update dependency: llvm-backend/src/main/native/llvm-backend (#1727) (#395)
rv-jenkins
committed
b1d1a50

Commits on Jan 20, 2021

deps/wasm-semantics: 6c5ab65 - Update dependency: deps/k
rv-jenkins
committed
81d6a23

Commits on Jan 22, 2021

deps/wasm-semantics: 54628fd - Improve the way to tranforming python bytes to K bytes. (#397)
rv-jenkins
committed
f3ae3de

Commits on Jan 25, 2021

deps/wasm-semantics: f8ea520 - Update dependency: deps/k
rv-jenkins
committed
83e2900

Commits on Feb 4, 2021

deps/wasm-semantics: 457185b - fix kwasm_ast.py (#400)
rv-jenkins
committed
1b784ea

Commits on Feb 16, 2021

deps/wasm-semantics: e983ca5 - fix kwasm_ast
rv-jenkins
committed
9ddad48

Commits on Feb 19, 2021

deps/wasm-semantics: c730783 - Update dependency: deps/k (#399)
rv-jenkins
committed
47ec44c

Commits on Feb 23, 2021

deps/wasm-semantics: 729a710 - Update dependency: deps/k
rv-jenkins
committed
bc3feb7

Commits on Feb 25, 2021

deps/wasm-semantics: 32f59f3 - Update dependency: deps/k
rv-jenkins
committed
4b57e0b

Commits on Feb 26, 2021

deps/wasm-semantics: 5af6830 - Update dependency: deps/k
rv-jenkins
committed
bb84d6a

Commits on Mar 2, 2021

deps/wasm-semantics: 193ded2 - Update dependency: deps/k
rv-jenkins
committed
6c532a9

Commits on Mar 3, 2021

deps/wasm-semantics: d90d593 - Update dependency: deps/k
rv-jenkins
committed
f37fe68

Commits on Mar 4, 2021

deps/wasm-semantics: c3f4e37 - fix kwasm script (#407)
rv-jenkins
committed
8a4feb8

Commits on Mar 5, 2021

deps/wasm-semantics: 2c91ae7 - Update dependency: deps/k
rv-jenkins
committed
f23b2e5

Commits on Mar 9, 2021

deps/wasm-semantics: 0baa7a3 - Update dependency: deps/k
rv-jenkins
committed
af0b1cd

Commits on Mar 11, 2021

deps/wasm-semantics: b6ca755 - Fix load signed integer (#410)
rv-jenkins
committed
10b4776

Commits on Mar 15, 2021

deps/wasm-semantics: 66e0091 - Bugfix binary parser (#411)
rv-jenkins
committed
2f711e5

Commits on Mar 17, 2021

deps/wasm-semantics: 72234c8 - Update dependency: deps/k (#412)
rv-jenkins
committed
d7cdfa6

Commits on Apr 7, 2021

deps/wasm-semantics: 596c03c - introduce BlockMetaData for measureing wasm coverage (#414)
rv-jenkins
committed
b33cacd

Commits on Apr 13, 2021

deps/wasm-semantics: 237c8a7 - use pre-order traverse when assigning block id (#415)
rv-jenkins
committed
9edc844

Commits on Apr 22, 2021

deps/wasm-semantics: 267df8b - Update dependency: deps/k (#413)
rv-jenkins
committed
836857c

Commits on Apr 23, 2021

deps/wasm-semantics: 7e5a430 - Update dependency: deps/k (#416)
rv-jenkins
committed
57be980

Commits on Apr 27, 2021

deps/wasm-semantics: 5dea9b4 - Update dependency: deps/k (#417)
rv-jenkins
committed
f665c06

Commits on Apr 29, 2021

deps/wasm-semantics: 1a77e82 - Update dependency: deps/k (#418)
rv-jenkins
committed
a160ebe

Commits on May 6, 2021

deps/wasm-semantics: 9b39eb4 - Update dependency: deps/k (#419)
rv-jenkins
committed
1470c6d

Commits on May 7, 2021

deps/wasm-semantics: ee08dc9 - Update dependency: deps/k (#420)
rv-jenkins
committed
0ff13d1

Commits on May 13, 2021

deps/wasm-semantics: 1608e7e - Update dependency: deps/k (#421)
rv-jenkins
committed
6d2b48b

Commits on May 19, 2021

Commits on May 20, 2021

deps/wasm-semantics: 988712d - Update dependency: deps/k (#424)
rv-jenkins
committed
8024a12

Commits on May 31, 2021

deps/wasm-semantics: b7a4117 - Update dependency: deps/k (#425)
rv-jenkins
committed
0e473b9

Commits on Jun 2, 2021

deps/wasm-semantics: 61d557d - Update dependency: deps/k (#426)
rv-jenkins
committed
451ffc6

Commits on Jun 7, 2021

deps/wasm-semantics: 410dd71 - Update dependency: deps/k (#427)
rv-jenkins
committed
56c9465

Commits on Jun 18, 2021

deps/wasm-semantics: 223f825 - Using '+=' instead of '=' when setting KPROVE_OPTS (#429)
rv-jenkins
committed
18e1f02

Commits on Oct 19, 2021

deps/wasm-semantics: 6d14ebe - Jenkinsfile: correct devops job name (#440)
rv-jenkins
committed
9769c18

Commits on Oct 20, 2021

deps/wasm-semantics: 98a0c04 - Update dependency: deps/k (#439)
rv-jenkins
committed
e299c6a

Commits on Oct 25, 2021

deps/wasm-semantics: a45efcd - Bump Z3 version to 4.8.11 (#436)
rv-jenkins
committed
4877a87

Commits on Nov 2, 2021

deps/wasm-semantics: c69e753 - Update dependency: deps/k (#441)
rv-jenkins
committed
c0ceb90

Commits on Nov 11, 2021

deps/wasm-semantics: e947e05 - Update dependency: deps/k (#442)
rv-jenkins
committed
dae813a

Commits on Nov 12, 2021

deps/wasm-semantics: e3553e5 - Update dependency: deps/k (#443)
rv-jenkins
committed
21ad8a9