Repository navigation

Release for #96 - #97

Merged

pmbittner merged 19 commits into

mainfrom

develop

Oct 29, 2025

Merged

Release for #96#97
pmbittner merged 19 commits into
mainfrom
develop

Commits on Oct 25, 2025
- feat: remove the agda-stdlib submodule
  ibbem
  committed
  bcb7b35
- feat: update Agda to 2.8.0
  ibbem
  committed
  a23bc43
- fix: warning in OC-to-2CC
  ibbem
  committed
  efb02f2
- fix: deprecation warnings
  
  pmbittner
  authored and
  ibbem
  committed
  a6c3a90
- fix: warning in FST-to-OC
  
  pmbittner
  authored and
  ibbem
  committed
  6c69223
- fix: broken proof in FST-to-OC after STL upgrade
  
  pmbittner
  authored and
  ibbem
  committed
  c2faec6
- reuse if-then-else lemmata merged into STL
  
  pmbittner
  authored and
  ibbem
  committed
  9fe328f
- remove an unused AuxProof function
  
  pmbittner
  authored and
  ibbem
  committed
  2ecfb0f
- remove resolved AuxProof todo
  
  pmbittner
  authored and
  ibbem
  committed
  d27efec
- clean imports in AuxProofs.agda
  
  pmbittner
  authored and
  ibbem
  committed
  e28b604
- refactor: use if-then-else lemmas where applicable
  
  pmbittner
  authored and
  ibbem
  committed
  2db714f
- reuse lemmas for non-empty lists merged into STL
  
  pmbittner
  authored and
  ibbem
  committed
  f3b3032
- clean imports in List.agda
  
  pmbittner
  authored and
  ibbem
  committed
  555e974
- fixup: update README to removal of stl submodule
  
  pmbittner
  authored and
  ibbem
  committed
  0af277b
- README: typo fix
  
  pmbittner
  authored and
  ibbem
  committed
  81cf52a
- docs: update the setup instructions
  ibbem
  committed
  93f730a
- docs: update the expected output
  ibbem
  committed
  0902db0
- docs: add an error I encountered during testing
  ibbem
  committed
  b66dcea
Commits on Oct 28, 2025
- Merge pull request #96 from VariantSync/deps-update
  ibbem
  authored
  842f2d7

Commits

Commits on Oct 25, 2025

Commits on Oct 28, 2025