.. _changelog:

Changelog
===============================================

0.6.0
-----

- (Comming Soon) Expose CTLog's Python API
- Update OptiLog dependency to `>= 0.5.0`
- Implement parsing of full ACTS specification
- Expose the Extended ACTS format
- SUT constraints in ACTS and Extended ACTS can now be in non-CNF (thanks to `OptiLog's Modelling module <http://hardlog.udl.cat/static/doc/optilog/html/optilog/modelling.html>`_)
- SUT-G generator now outputs SUT models in Extended ACTS format
- Removed the legacy *.ctlog* format
- Other small fixes and improvements

0.5.0
-----

- First public version of CTLog
- Add CTLog to PyPI