Code

merge main#120

Code

Merged

Okm165 merged 5 commits intofeat/layout_changerHerodotusDev/integrity:feat/layout_changerfrom mainHerodotusDev/integrity:mainCopy head branch name to clipboardMar 25, 2024

+3-11

Commits

Commits on Mar 19, 2024

• fri opt

  Okm165

  committed
  989c525

  Copy full SHA for 989c525

• fmt

  Okm165

  committed
  7f9b001

  Copy full SHA for 7f9b001

Commits on Mar 22, 2024

• compute_coset_elements documentation fix

  Okm165

  committed
  e885306

  Copy full SHA for e885306

• Merge pull request #112 from HerodotusDev/feat/fact_registry

  Show description for c9af261
  Okm165

  authored
  c9af261

  Copy full SHA for c9af261

Commits on Mar 25, 2024

• Merge pull request #117 from HerodotusDev/feat/layout_changer

  Show description for 3ea4a22
  tiagofneto

  authored
  3ea4a22

  Copy full SHA for 3ea4a22