v0.2

doc/changelog.rst

@@ -7,11 +7,33 @@ Changelog
 next
 ****
 
-`Compare to v0.1 <https://github.com/GaloisInc/cclyzerpp/compare/HEAD...v0.1>`_.
+`v0.2`_ - 2022-10-07
+********************
+
+`Compare to v0.1 <https://github.com/GaloisInc/cclyzerpp/compare/v0.2...v0.1>`_.
+
+Added
+~~~~~
+
+- Aspirational developer documentation on naming conventions.
+- Linting with Mypy in CI.
+
+Changed
+~~~~~~~
+
+- Many relations were renamed for the sake of consistency between the
+  FactGenerator and the analysis code (Datalog).
+- Removed superfluous use of records in instruction schemata.
+
+Removed
+~~~~~~~
+
+- FactGenerator no longer processes debug information.
 
 `v0.1`_ - 2022-10-04
 ********************
 
 First release!
 
 .. _v0.1: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.1
+.. _v0.2: https://github.com/GaloisInc/cclyzerpp/releases/tag/v0.2