Merge pull request #225 from lisa-analyzer/beta6-roundup

Beta6 roundup

.github/ISSUE_TEMPLATE/bug_report.md

@@ -2,7 +2,7 @@
 name: Bug report
 about: Reporting erroneous/inconsistent behavior
 title: "[BUG] "
-labels: type:bug
+labels: "🐛 type:bug"
 assignees: lucaneg
 
 ---

.github/ISSUE_TEMPLATE/feature_request.md

@@ -2,7 +2,7 @@
 name: Feature request
 about: Suggest an idea for this project
 title: "[FEATURE REQUEST] "
-labels: type:feature
+labels: "🎆 type:feature"
 assignees: lucaneg
 
 ---

.github/ISSUE_TEMPLATE/question.md

@@ -2,7 +2,7 @@
 name: Question
 about: A question for the developers
 title: "[QUESTION] "
-labels: type:question
+labels: "❔ type:question"
 assignees: lucaneg
 
 ---

README.md

@@ -31,11 +31,3 @@ Head to the [project's website](https://lisa-analyzer.github.io/releases/) for t
 ### Snapshots
 
 The snapshot of the last commit of the `master` branch is always available on [GitHub Packages](https://github.com/orgs/lisa-analyzer/packages?repo_name=lisa) (you can find the updated milestone [here](https://github.com/lisa-analyzer/lisa/releases/tag/latest)).
-
-### Next steps
-
-* Extend and finalize the program model
-* Add more heap and value analyses
-* Add more call graph abstractions
-
-The 1.0 release will be delivered as we reach a stable version of all the main ingredients for the analysis (call graphs and abstractions) as well as a flexible enough control flow graph representation that enables the modeling of most languages.

lisa/gradle.properties

@@ -1,6 +1,6 @@
 # project properties
 group = 'it.unive'
-version=0.1b5
+version = 0.1b6
 
 # gradle build properties
 org.gradle.caching=true