Code

Removing hacspec#106

Code

Merged

geonnave merged 17 commits intoopenwsn-berkeley:mainopenwsn-berkeley/lakers:mainfrom geonnave:remove-hacspecgeonnave/lakers:remove-hacspecCopy head branch name to clipboardOct 4, 2023

+1,032-4,493

Commits

Commits on Oct 2, 2023

• refactor: remove hacspec sub-crate

  geonnave

  committed
  8a28457

• refactor: remove hacspec consts and CI libs

  geonnave

  committed
  dcb71b9

• refactor: adjust namespaces after removing hacspec

  geonnave

  committed
  780c01a

Commits on Oct 3, 2023

• refactor: adjust ci fstar to run on main crates

  geonnave

  committed
  0d84bec

• refactor: remove hacspec code from psa and cc310 crypto backends

  geonnave

  committed
  804b440

• refactor: remove U8 aliases in non-hacspec code

  geonnave

  committed
  7ee0f1e

• fix: adjust ci for fstar

  geonnave

  committed
  de4bee3

• feat: enable rust-hacscpec configuration

  geonnave

  committed
  19fd669

• feat!: Allow applications to pick their C_x

  Show description for 9699574
  chrysn

  committed
  9699574

• Merge pull request openwsn-berkeley#104 from chrysn-pull-requests/more-application-control

  Show description for 784aab7
  geonnave

  authored
  784aab7

• feat: update ci

  geonnave

  committed
  a0f44fe

• refactor: rename features

  Show description for 2238f9f
  geonnave

  committed
  2238f9f

Commits on Oct 4, 2023

• feat: adjust crypto backend feature names

  geonnave

  committed
  4efb16f

• refactor: use for instead of while when encoding suites

  geonnave

  committed
  c1ccb48

• feat: run fstar ci only on release or manual trigger

  geonnave

  committed
  4b418c0

• refactor: adjust makefile parameter name in riot example

  geonnave

  committed
  914d14f

• fix: filter out c_wrapper during fstar generation

  geonnave

  committed
  4990f38