                           _          _        _    
                          | |    ___ | |      / \   
                          | |   / _ \| |     / _ \  
                          | |__| (_) | |___ / ___ \ 
                          |_____\___/|_____/_/   \_\
                             a low-level analyzer
                      http://service-technology.org/lola

LoLA 2.1
========

changes since LoLA 2.0:

* Added more examples to the documentation.

* Statistical data is submitted on termination.

* JSON output now also contains information on abortion signals and errors.

* Fixed small bugs in the formula rewriting engine.
