Code

Update Master#3

Code

Closed

Robertorosmaninho wants to merge 16 commits intomasterPi-Squared-Inc/wasm-semantics:masterfrom master-updatePi-Squared-Inc/wasm-semantics:master-updateCopy head branch name to clipboard

+577-1,162

Commits

Commits on Jun 19, 2024

• Update dependency: deps/k_release (runtimeverification#650)

  Show description for 3341874
  

  4 peopleauthored
  3341874

  Copy full SHA for 3341874

Commits on Jun 20, 2024

• Definedness improvements (runtimeverification#651)

  Show description for e563935
  

  bbyalcinkaya

  and

  devops

  authored
  e563935

  Copy full SHA for e563935

Commits on Jun 21, 2024

• mark signed load instruction as preserving (runtimeverification#654)

  Show description for b560628
  

  3 peopleauthored
  b560628

  Copy full SHA for b560628

Commits on Jun 23, 2024

• Update dependency: deps/k_release (runtimeverification#653)

  Show description for 69abe13
  

  3 peopleauthored
  69abe13

  Copy full SHA for 69abe13

Commits on Jun 24, 2024

• Change pyk dependency to the published version (runtimeverification#656)

  Show description for ffb03f9
  

  tothtamas28

  and

  devops

  authored
  ffb03f9

  Copy full SHA for ffb03f9

Commits on Jun 25, 2024

• Use two rules for 'select' to avoid if-then-else on valstack (runtimeverification#655)

  Show description for 0b443cc
  

  3 peopleauthored
  0b443cc

  Copy full SHA for 0b443cc

• Update dependency: deps/k_release (runtimeverification#657)

  Show description for 91f83ca
  

  rv-jenkins

  and

  devops

  authored
  91f83ca

  Copy full SHA for 91f83ca

Commits on Jun 27, 2024

• Remove MapIntToInt (runtimeverification#649)

  Show description for b353017
  

  3 peopleauthored
  b353017

  Copy full SHA for b353017

Commits on Jun 28, 2024

• Update dependency: deps/k_release (runtimeverification#658)

  Show description for 2ef1bfc
  

  rv-jenkins

  and

  devops

  authored
  2ef1bfc

  Copy full SHA for 2ef1bfc

• Clean up nix code (runtimeverification#664)

  Show description for fd9c3f5
  

  Baltoli

  and

  devops

  authored
  fd9c3f5

  Copy full SHA for fd9c3f5

Commits on Jul 2, 2024

• Deprecate klabel attribute (runtimeverification#666)

  Show description for a0e49e8
  

  Baltoli

  and

  devops

  authored
  a0e49e8

  Copy full SHA for a0e49e8

• Update dependency: deps/k_release (runtimeverification#665)

  Show description for f1f40f5
  

  3 peopleauthored
  f1f40f5

  Copy full SHA for f1f40f5

Commits on Jul 4, 2024

• Update dependency: deps/k_release (runtimeverification#668)

  Show description for c272c7b
  

  rv-jenkins

  and

  devops

  authored
  c272c7b

  Copy full SHA for c272c7b

Commits on Jul 5, 2024

• Optional table indices (runtimeverification#667)

  Show description for a3a8600
  

  3 peopleauthored
  a3a8600

  Copy full SHA for a3a8600

Commits on Jul 9, 2024

• Update CI for PI2 fork (#1)

  Show description for f69974a
  

  Dwight Guth

  authored and

  Robertorosmaninho

  committed
  f69974a

  Copy full SHA for f69974a

• use List instead of Map for <locals> cell (#2)

  

  Dwight Guth

  authored and

  Robertorosmaninho

  committed
  14b36fe

  Copy full SHA for 14b36fe