Updating version to 0.1b4

README.md

@@ -30,6 +30,7 @@ We foresee at least five alpha releases that are meant as intermediate building
 
 | Version | Release date | Contents |
 | --- | --- | --- |
+| [0.1b4](https://github.com/UniVE-SSV/lisa/releases/tag/v0.1b4) | Jan. 13, 2022 | Customizable open call handling, removal of enums (resolution strategy and symbolic operators) to increase modularity, removal of native calls, order of evaluation of expressions |
 | [0.1b3](https://github.com/UniVE-SSV/lisa/releases/tag/v0.1b3) | Oct. 29, 2021 | Additions of missing accessors and constructors, exposing call resolution information to semantic checks |
 | [0.1b2](https://github.com/UniVE-SSV/lisa/releases/tag/v0.1b2) | Oct. 1, 2021 | Project splitting, default statement and types, more symbolic operators |
 | [0.1b1](https://github.com/UniVE-SSV/lisa/releases/tag/v0.1b1) | Aug. 25, 2021 | Interprocedural analyses, annotations |

lisa/build.gradle

@@ -13,7 +13,7 @@ allprojects {
     }
 
     group = 'it.unive'
-    version = '0.1b3'
+    version = '0.1b4'
 
     // the code reading data from the git repo has to be placed in the same file where its
     // plugin is applied, otherwise it will fail to load the classes from it. We export the