Code

Remove My_zip module#1264

Code

Merged

Halbaroth merged 3 commits intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom Halbaroth:update-my-zipHalbaroth/alt-ergo:update-my-zipCopy head branch name to clipboardOct 31, 2024

+12-129

Commits

Commits on Oct 31, 2024

• Use similar test for zip feature in native and SMT format

  Show description for 5c84d11
  Halbaroth

  committed
  5c84d11

  Copy full SHA for 5c84d11

• Remove My_zip

  Show description for 6b376ed
  Halbaroth

  committed
  6b376ed

  Copy full SHA for 6b376ed

• Force deflate compression in zip tests

  Show description for 26b0154
  Halbaroth

  committed
  26b0154

  Copy full SHA for 26b0154