@kleinreact kleinreact released this Jul 3, 2017 · 16 commits to master since this release

Assets 2

Changes since 1.0

  • support for 4 new output formats:
  • configuration file support
  • haskell library support
  • stack support
  • general improvements of the internal code structure
  • many bug fixes

This release is also available on hackage: https://hackage.haskell.org/package/syfco

Additional thanks also to @johnyf, @ltentrup, @progirep, @gaperez64, @5nizza, and @swenjacobs for their feedback and provided changes.

Jun 30, 2017
Version used by SYNTCOMP 2016
Jun 21, 2017
Fixed missing lowercase conversion for writing part files

@kleinreact kleinreact released this Apr 11, 2016 · 93 commits to master since this release

Assets 2

Intial release of syfco with full TLSF 1.1 support.