86d030f

deps/wasm-semantics: 324a1bf - Jenkinsfile: switch to generic update …

rv-jenkins Aug 21, 2020

3acf005

deps/wasm-semantics: 190fb1e - Unfold instructions, remove #ContextLo…

rv-jenkins Aug 21, 2020

a7cedfb

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

rv-jenkins Aug 26, 2020

2657c5d

deps/wasm-semantics: d46f6c8 - Unfold globals (#377)

rv-jenkins Aug 28, 2020

66a1eb7

deps/wasm-semantics: 9a0daf3 - KWasm updates pulled over from KEVM (#…

rv-jenkins Aug 28, 2020

7c560cc

deps/wasm-semantics: 25b6b5b - Update dependency: deps/k (#373)

rv-jenkins Aug 28, 2020

bae1d36

deps/wasm-semantics: 5ea7752 - deps/k: 2f95ed9a7 - domains.md: `orBoo…

rv-jenkins Sep 1, 2020

014ae8c

deps/wasm-semantics: c07f7e3 - Update dependency: deps/k (#379)

rv-jenkins Sep 7, 2020

3bbd7a3

deps/wasm-semantics: 38f986b - Syntax modules (#381)

rv-jenkins Oct 21, 2020

b3af955

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

rv-jenkins Nov 4, 2020

846219e

deps/wasm-semantics: b16a303 - Binary parser for instructions (#383)

rv-jenkins Nov 17, 2020

a087f14

deps/wasm-semantics: 25796a7 - Binary parser finish (#386)

rv-jenkins Nov 18, 2020

a724487

deps/wasm-semantics: 011b0c2 - Update dependency: deps/k (#380)

rv-jenkins Nov 18, 2020

74cb434

deps/wasm-semantics: 3a9480c - Bugfix/workaround (#387)

rv-jenkins Nov 28, 2020

21c97aa

deps/wasm-semantics: 8a4befc - deps/k: 5701be4c6 - use llvm 8 on debi…

rv-jenkins Dec 2, 2020

46c9eef

deps/wasm-semantics: 4396761 - deps/k: a102945f6 - Update dependency:…

rv-jenkins Dec 16, 2020

7421af3

deps/wasm-semantics: ec3b2df - Update dependency: deps/k (#390)

rv-jenkins Dec 17, 2020

2e6369a

deps/wasm-semantics: ba01089 - deps/k: f35d613f4 - haskell-backend/sr…

rv-jenkins Dec 18, 2020

e9e2a42

deps/wasm-semantics: 3ecb957 - Filename metadata (#392)

rv-jenkins Dec 18, 2020

0715909

deps/wasm-semantics: 567c7dc - Update dependency: deps/k (#393)

rv-jenkins Jan 11, 2021

3588a9b

deps/wasm-semantics: b52d464 - deps/k: 80de15107 - Re-apply "Haskell …

rv-jenkins Jan 11, 2021

b1d1a50

deps/wasm-semantics: 0e69a30 - deps/k: 1af793e0a - Update dependency:…

rv-jenkins Jan 12, 2021

81d6a23

deps/wasm-semantics: 6c5ab65 - Update dependency: deps/k

rv-jenkins Jan 20, 2021

f3ae3de

deps/wasm-semantics: 54628fd - Improve the way to tranforming python …

rv-jenkins Jan 22, 2021

83e2900

deps/wasm-semantics: f8ea520 - Update dependency: deps/k

rv-jenkins Jan 25, 2021

1b784ea

deps/wasm-semantics: 457185b - fix kwasm_ast.py (#400)

rv-jenkins Feb 4, 2021

9ddad48

deps/wasm-semantics: e983ca5 - fix kwasm_ast

rv-jenkins Feb 16, 2021

47ec44c

deps/wasm-semantics: c730783 - Update dependency: deps/k (#399)

rv-jenkins Feb 19, 2021

bc3feb7

deps/wasm-semantics: 729a710 - Update dependency: deps/k

rv-jenkins Feb 23, 2021

4b57e0b

deps/wasm-semantics: 32f59f3 - Update dependency: deps/k

rv-jenkins Feb 25, 2021

bb84d6a

deps/wasm-semantics: 5af6830 - Update dependency: deps/k

rv-jenkins Feb 26, 2021

6c532a9

deps/wasm-semantics: 193ded2 - Update dependency: deps/k

rv-jenkins Mar 2, 2021

f37fe68

deps/wasm-semantics: d90d593 - Update dependency: deps/k

rv-jenkins Mar 3, 2021

8a4feb8

deps/wasm-semantics: c3f4e37 - fix kwasm script (#407)

rv-jenkins Mar 4, 2021

f23b2e5

deps/wasm-semantics: 2c91ae7 - Update dependency: deps/k

rv-jenkins Mar 5, 2021

af0b1cd

deps/wasm-semantics: 0baa7a3 - Update dependency: deps/k

rv-jenkins Mar 9, 2021

10b4776

deps/wasm-semantics: b6ca755 - Fix load signed integer (#410)

rv-jenkins Mar 11, 2021

2f711e5

deps/wasm-semantics: 66e0091 - Bugfix binary parser (#411)

rv-jenkins Mar 15, 2021

d7cdfa6

deps/wasm-semantics: 72234c8 - Update dependency: deps/k (#412)

rv-jenkins Mar 17, 2021

b33cacd

deps/wasm-semantics: 596c03c - introduce BlockMetaData for measureing…

rv-jenkins Apr 7, 2021

9edc844

deps/wasm-semantics: 237c8a7 - use pre-order traverse when assigning …

rv-jenkins Apr 13, 2021

836857c

deps/wasm-semantics: 267df8b - Update dependency: deps/k (#413)

rv-jenkins Apr 22, 2021

57be980

deps/wasm-semantics: 7e5a430 - Update dependency: deps/k (#416)

rv-jenkins Apr 23, 2021

f665c06

deps/wasm-semantics: 5dea9b4 - Update dependency: deps/k (#417)

rv-jenkins Apr 27, 2021

a160ebe

deps/wasm-semantics: 1a77e82 - Update dependency: deps/k (#418)

rv-jenkins Apr 29, 2021

1470c6d

deps/wasm-semantics: 9b39eb4 - Update dependency: deps/k (#419)

rv-jenkins May 6, 2021

0ff13d1

deps/wasm-semantics: ee08dc9 - Update dependency: deps/k (#420)

rv-jenkins May 7, 2021

6d2b48b

deps/wasm-semantics: 1608e7e - Update dependency: deps/k (#421)

rv-jenkins May 13, 2021

5550dd2

deps/wasm-semantics: aaffe55 - Update dependency: deps/k (#422)

rv-jenkins May 19, 2021

d40706d

deps/wasm-semantics: 2713385 - Update dependency: deps/k (#423)

rv-jenkins May 19, 2021

8024a12

deps/wasm-semantics: 988712d - Update dependency: deps/k (#424)

rv-jenkins May 20, 2021

0e473b9

deps/wasm-semantics: b7a4117 - Update dependency: deps/k (#425)

rv-jenkins May 31, 2021

451ffc6

deps/wasm-semantics: 61d557d - Update dependency: deps/k (#426)

rv-jenkins Jun 2, 2021

56c9465

deps/wasm-semantics: 410dd71 - Update dependency: deps/k (#427)

rv-jenkins Jun 7, 2021

18e1f02

deps/wasm-semantics: 223f825 - Using '+=' instead of '=' when setting…

rv-jenkins Jun 18, 2021

9769c18

deps/wasm-semantics: 6d14ebe - Jenkinsfile: correct devops job name (…

rv-jenkins Oct 19, 2021

e299c6a

deps/wasm-semantics: 98a0c04 - Update dependency: deps/k (#439)

rv-jenkins Oct 20, 2021

4877a87

deps/wasm-semantics: a45efcd - Bump Z3 version to 4.8.11 (#436)

rv-jenkins Oct 25, 2021

c0ceb90

deps/wasm-semantics: c69e753 - Update dependency: deps/k (#441)

rv-jenkins Nov 2, 2021

dae813a

deps/wasm-semantics: e947e05 - Update dependency: deps/k (#442)

rv-jenkins Nov 11, 2021

21ad8a9

deps/wasm-semantics: e3553e5 - Update dependency: deps/k (#443)

rv-jenkins Nov 12, 2021