Code

Try Bitwise#1115

Code

Open

laurentder wants to merge 22 commits intocreusot-rs:mastercreusot-rs/creusot:masterfrom laurentder:bitwiselaurentder/creusot:bitwiseCopy head branch name to clipboard

+23,077-16,599

Commits

Commits on Feb 23, 2024

• begin bitwise operator

  

  SCHNEIDER Laurent

  committed
  2462202

  Copy full SHA for 2462202

Commits on Jun 5, 2024

• remove arithmetic operator with bitwise, add shift and not operator

  

  SCHNEIDER Laurent

  committed
  4522d7b

  Copy full SHA for 4522d7b

• Merge branch 'master' into try_merge

  

  SCHNEIDER Laurent

  committed
  f08ede4

  Copy full SHA for f08ede4

Commits on Aug 12, 2024

• prelude with UInt8-64

  

  SCHNEIDER Laurent

  committed
  c69ed9e

  Copy full SHA for c69ed9e

• Merge branch 'master' into try_merge

  

  SCHNEIDER Laurent

  committed
  180266f

  Copy full SHA for 180266f

Commits on Aug 13, 2024

• Merge branch 'master' into try_merge

  

  SCHNEIDER Laurent

  committed
  fbd41a1

  Copy full SHA for fbd41a1

• test i16

  

  SCHNEIDER Laurent

  committed
  b1a8fd8

  Copy full SHA for b1a8fd8

Commits on Sep 23, 2024

• module Int.coma, cast between integer, shl shr with integer perameter, BVConverter_X_256

  

  SCHNEIDER Laurent

  committed
  7dd3161

  Copy full SHA for 7dd3161

• Merge branch 'master' into bitwise

  laurentder

  authored
  a1ea678

  Copy full SHA for a1ea678

Commits on Oct 28, 2024

• Merge branch 'master' into bitwise

  

  SCHNEIDER Laurent

  committed
  916d45f

  Copy full SHA for 916d45f

Commits on Oct 30, 2024

• isize/usize - first step

  

  SCHNEIDER Laurent

  committed
  7b90f60

  Copy full SHA for 7b90f60

Commits on Nov 25, 2024

• first test ord.rs

  

  SCHNEIDER Laurent

  committed
  c4f371a

  Copy full SHA for c4f371a

• Merge branch 'master' into bitwise

  

  SCHNEIDER Laurent

  committed
  0d896a0

  Copy full SHA for 0d896a0

• merge master

  

  SCHNEIDER Laurent

  committed
  7fe3cf4

  Copy full SHA for 7fe3cf4

Commits on Nov 28, 2024

• try test

  

  SCHNEIDER Laurent

  committed
  7439d5b

  Copy full SHA for 7439d5b

• Merge remote-tracking branch 'creusot_github/master' into bitwise

  

  SCHNEIDER Laurent

  committed
  4f60eb4

  Copy full SHA for 4f60eb4

• try test

  

  SCHNEIDER Laurent

  committed
  7cfd501

  Copy full SHA for 7cfd501

• try test

  

  SCHNEIDER Laurent

  committed
  3d05268

  Copy full SHA for 3d05268

• try test

  

  SCHNEIDER Laurent

  committed
  eb68505

  Copy full SHA for eb68505

• try test

  

  SCHNEIDER Laurent

  committed
  60d4c77

  Copy full SHA for 60d4c77

Commits on Nov 29, 2024

• Slice.length

  

  SCHNEIDER Laurent

  committed
  d90784e

  Copy full SHA for d90784e

Commits on Jan 16, 2025

• first tests of the creusot/tests directory, executed successfully

  

  SCHNEIDER Laurent

  committed
  fce44ed

  Copy full SHA for fce44ed