GaloisInc/what4-serialize

This is stars and forks stats for /GaloisInc/what4-serialize repository. As of 11 May, 2024 this repository has 0 stars and 2 forks.

what4-serialize This library is deprecated because its functionality has been merged into the core what4 library. This library provided a mechanism to serialize what4 terms into an s-expression format (and later deserialize them). Building The dependencies of the project that are not on Hackage are specified using git submodules. To build the code with a modern version of cabal (assuming you are in the root of the repository): $ git submodule update --init $ ln -s cabal.project.newbuild cabal.project ...