Code

Lean: Memory model#965

Code

Merged

bacam merged 24 commits intorems-project:sail2rems-project/sail:sail2from lfrenot:lean/Arch-classlfrenot/sail:lean/Arch-classCopy head branch name to clipboardFeb 13, 2025

+2,944-14

Commits

Commits on Feb 10, 2025

• Lean: class Arch

  lfrenot

  committed
  e72db01

  Copy full SHA for e72db01

• WIP: memory and concurrenty interface

  Show description for 70464e1
  

  ineol

  authored and

  lfrenot

  committed
  70464e1

  Copy full SHA for 70464e1

• sorry-ed sail_mem_write

  lfrenot

  committed
  4de2646

  Copy full SHA for 4de2646

• Fixing missing arrow

  lfrenot

  committed
  4f5df07

  Copy full SHA for 4f5df07

• sorry-ed sail_mem_read

  lfrenot

  committed
  e2dc69d

  Copy full SHA for e2dc69d

• Lean: generate Arch instance

  

  ineol

  authored and

  lfrenot

  committed
  7ed0b0b

  Copy full SHA for 7ed0b0b

• Lean: change Arch

  

  ineol

  authored and

  lfrenot

  committed
  d93d5d5

  Copy full SHA for d93d5d5

• Back out "Lean: change Arch"

  Show description for 57926e2
  

  ineol

  authored and

  lfrenot

  committed
  57926e2

  Copy full SHA for 57926e2

• Implementations

  lfrenot

  committed
  a15e2ff

  Copy full SHA for a15e2ff

• remove unrelated endline

  lfrenot

  committed
  7058f9c

  Copy full SHA for 7058f9c

• Style edits

  lfrenot

  committed
  8b1fd04

  Copy full SHA for 8b1fd04

• Small edit to bool in read_bytes

  lfrenot

  committed
  573f159

  Copy full SHA for 573f159

• remove useless deriving

  lfrenot

  committed
  8d6a2bf

  Copy full SHA for 8d6a2bf

• consistent argument order for write_byte(s)

  lfrenot

  committed
  68afab4

  Copy full SHA for 68afab4

Commits on Feb 11, 2025

• Adding SailTinyArm as a test

  lfrenot

  committed
  6f5be3d

  Copy full SHA for 6f5be3d

• Merge remote-tracking branch 'upstream/sail2' into lean/Arch-class

  lfrenot

  committed
  646b325

  Copy full SHA for 646b325

Commits on Feb 12, 2025

• lean style fixes

  lfrenot

  committed
  9e28c27

  Copy full SHA for 9e28c27

• Merge remote-tracking branch 'upstream/sail2' into lean/Arch-class

  lfrenot

  committed
  7fa15aa

  Copy full SHA for 7fa15aa

• Change memory error name + correct writeByte syntax

  lfrenot

  committed
  52ebdd7

  Copy full SHA for 52ebdd7

• Lean: add read/write_ram implementations

  ineol

  committed
  f5ec79b

  Copy full SHA for f5ec79b

• Merge remote-tracking branch 'upstream/sail2' into lean/Arch-class

  lfrenot

  committed
  741ecdd

  Copy full SHA for 741ecdd

Commits on Feb 13, 2025

• Merge remote-tracking branch 'upstream/sail2' into lean/Arch-class

  lfrenot

  committed
  91935c5

  Copy full SHA for 91935c5

• Thibaut nit

  lfrenot

  committed
  4dc0827

  Copy full SHA for 4dc0827

• formatting

  lfrenot

  committed
  7e1df36

  Copy full SHA for 7e1df36