From 6fe0e1fc76e20fdd0612f1ef7a7a4316971ed530 Mon Sep 17 00:00:00 2001 From: Luca Negrini Date: Mon, 31 Oct 2022 14:48:46 +0100 Subject: [PATCH 1/5] Update question.md --- .github/ISSUE_TEMPLATE/question.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/ISSUE_TEMPLATE/question.md b/.github/ISSUE_TEMPLATE/question.md index f0ba28148..3dec593ac 100644 --- a/.github/ISSUE_TEMPLATE/question.md +++ b/.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 --- From 43305559ea9c7b800b1f9adbcd59b87ef045743a Mon Sep 17 00:00:00 2001 From: Luca Negrini Date: Mon, 31 Oct 2022 14:49:09 +0100 Subject: [PATCH 2/5] Update feature_request.md --- .github/ISSUE_TEMPLATE/feature_request.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md index a69f308fa..a7c174873 100644 --- a/.github/ISSUE_TEMPLATE/feature_request.md +++ b/.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 --- From 15e674efb3a0c68dd7461601ac5ed92cc0f8e317 Mon Sep 17 00:00:00 2001 From: Luca Negrini Date: Mon, 31 Oct 2022 14:49:27 +0100 Subject: [PATCH 3/5] Update bug_report.md --- .github/ISSUE_TEMPLATE/bug_report.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index fee7fee64..17fe4e50d 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.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 --- From c50935562f3ab2ead836fb3f6d679a24d0702803 Mon Sep 17 00:00:00 2001 From: Luca Negrini Date: Mon, 31 Oct 2022 14:50:02 +0100 Subject: [PATCH 4/5] Update README.md --- README.md | 8 -------- 1 file changed, 8 deletions(-) diff --git a/README.md b/README.md index 3e2add464..04cc87751 100644 --- a/README.md +++ b/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. From ce264b4212c1272fef8f9f03910508efb7ff57ce Mon Sep 17 00:00:00 2001 From: Luca Negrini Date: Mon, 31 Oct 2022 14:51:07 +0100 Subject: [PATCH 5/5] Update gradle.properties --- lisa/gradle.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lisa/gradle.properties b/lisa/gradle.properties index 302af99dc..87d454735 100644 --- a/lisa/gradle.properties +++ b/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