Code

Hackeython: ADTs in JML#3427

Code

Draft

Drodt wants to merge 4 commits intomainKeYProject/key:mainfrom hackeython/jml-adtsKeYProject/key:hackeython/jml-adtsCopy head branch name to clipboard

+260-5

Commits

Commits on Feb 21, 2024

• Add ADT Deconstructors

  Drodt

  committed
  02ba47a

  Copy full SHA for 02ba47a

• Spotless

  Drodt

  committed
  c351004

  Copy full SHA for c351004

• Revert debugging code

  Drodt

  committed
  d86d57a

  Copy full SHA for d86d57a

Commits on Feb 22, 2024

• Add syntax for datatypes in JML

  Drodt

  committed
  c6bc033

  Copy full SHA for c6bc033