GitHub - pascal-cuoq/zlib-fork: This is a fork of zlib 1.2.8, with step-by-step analysis with tis-interpreter added as extra commits
{{ message }}
pascal-cuoq / zlib-fork Public
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Latest commitHistory | ||||
This repository contains zlib 1.2.8 from Jean-loup Gailly and Mark Adler, and patches to make this library free of undefined behavior according to tis-interpreter's definition. The changes are implemented as successive atomic commits, and can be used as a tutorial on how to interpret legacy code in tis-interpreter.
The original zlib 1.2.8 README is here.
This is a fork of zlib 1.2.8, with step-by-step analysis with tis-interpreter added as extra commits
No releases published