update readme

README.md

@@ -1,4 +1,5 @@
-# verifaps-lib  [![CircleCI](https://circleci.com/gh/VerifAPS/verifaps-lib/tree/develop.svg?style=svg)](https://circleci.com/gh/VerifAPS/verifaps-lib/tree/develop) 
+# verifaps-lib  [![CircleCI](https://circleci.com/gh/VerifAPS/verifaps-lib/tree/master.svg?style=svg)](https://circleci.com/gh/VerifAPS/verifaps-lib/tree/master) [![Quality Gate Status](https://sonarcloud.io/api/project_badges/measure?project=VerifAPS_verifaps-lib&metric=alert_status)](https://sonarcloud.io/dashboard?id=VerifAPS_verifaps-lib)
+
 Library and programs for the verification of software for automated production systems.
 
 * License: GPLv3
@@ -9,27 +10,28 @@ Library and programs for the verification of software for automated production s
 Create all programs: 
 
 ```
-$ ./gradlew :casestudies:installDist
+$ ./gradlew :exec:installDist
 ```
 
-You can find the programs in `./casestudies/build/install/casestudies/bin`.
+You can find the programs in `./exec/build/install/exec/bin`.
 
 Test project:
 
 ```
 $ ./gradlew check
 ```
 
-## Project overview
-
-* iec61131-lang -- Parser and AST for StructuredText and Sequential Function Chart.
-* geteta -- Framework for generalized Test Tables.
-* ide -- contains generic programs and programs for specific case studies.
-* flycheck  -- interface for syntax and type checking of Structured Text files.
-* iec-modularization -- Modularized regression verification.
-* iec-run -- Interpreter for Structured Text
-* iec-xml -- Loading and Parsing of PCLOpenXML projects.
-* smv-model -- Model and parser for SMV. Also includes nuXmv interface.
-* web-backend -- Backend for the web frontend. (upcoming)
-
-## Changelog
+## Modules overview
+
+* `symbex` -- Symbolic execution engine and program transformations for Structured Text
+* `aps-rvt` -- (Modular) Regression verification for Structued Text code
+* `lang` -- Parser and AST for StructuredText, Sequential Function Chart, and Function Blocks
+* `geteta` -- Framework and Tools for Generalized Test Tables
+* `exec` -- Top-level module containing for generating programs
+* `ide` -- graphical editor for editing Strutured Text and test table files
+* `run` -- Interpreter for executing Structured Text
+* `xml` -- Loading and Parsing of PCLOpenXML projects
+* `smv` -- Model and parser for SMV -- also includes nuXmv interface
+* `smt` -- AST and parser for SMT (SExpr)
+* `util` and `util-test` -- 
+* `web-backend` (disabled) -- Backend for the web frontend. (upcoming)