Code

Sail configuration system#865

Code

Open

Alasdair wants to merge 15 commits intosail2rems-project/sail:sail2from configrems-project/sail:configCopy head branch name to clipboard

+6,922-448

Commits

Commits on Jan 31, 2025

• Sail configuration system

  Show description for e8daa7c
  Alasdair

  committed
  e8daa7c

  Copy full SHA for e8daa7c

• Jib: Refactor initializers

  Show description for 965bcfd
  Alasdair

  committed
  965bcfd

  Copy full SHA for 965bcfd

• Config: Generate JSON Schema based on spec configuration types

  Show description for d14b56c
  Alasdair

  committed
  d14b56c

  Copy full SHA for d14b56c

• TC: Simplify synonym expansion

  Show description for 043cae8
  Alasdair

  committed
  043cae8

  Copy full SHA for 043cae8

• Config: Support parsing structs

  Alasdair

  committed
  fde94cd

  Copy full SHA for fde94cd

• Config: Improve bitvector parsing

  Alasdair

  committed
  b8255a1

  Copy full SHA for b8255a1

• Config: Start working on documentation

  Alasdair

  committed
  65485cd

  Copy full SHA for 65485cd

• Config: Fix issue with boolean values in configuration

  Show description for ef64e17
  Alasdair

  committed
  ef64e17

  Copy full SHA for ef64e17

• Config: Add assertion to config integer parsing

  Show description for a0fb783
  Alasdair

  committed
  a0fb783

  Copy full SHA for a0fb783

• Config: More documentation

  Alasdair

  committed
  81c8426

  Copy full SHA for 81c8426

• Config: Support for unions

  Alasdair

  committed
  ac0cf77

  Copy full SHA for ac0cf77

• Remove pointless type argument from Jib if instruction

  Alasdair

  committed
  242bbe4

  Copy full SHA for 242bbe4

• Config: Further documentation

  Alasdair

  committed
  6d8fe61

  Copy full SHA for 6d8fe61

• Config: Support enumerations in configuration files

  Alasdair

  committed
  ab49a3e

  Copy full SHA for ab49a3e

• Config: Add configurable abstract types and add bit type

  Alasdair

  committed
  ab0abdc

  Copy full SHA for ab0abdc