Release version 0.2.0

Author: mitchellolsthoorn

.eslintignore

@@ -8,3 +8,7 @@ syntest/
 .*
 *.json
 *.md
+
+
+# Since the javascript files have a lot of eslint errors that will be fixed by refactoring to typescript we ignore them for now.
+src/**/*.js

.github/CODEOWNERS

@@ -0,0 +1,3 @@
+# Default owners (unless a later match takes precedence).
+# They will be requested for review when someone opens a pull request.
+* @syntest-framework/approvers

.github/stale.yml

@@ -8,7 +8,7 @@
 #exemptLabels:
 #  - pinned
 #  - security
-  
+
 # Label to use when marking an issue as stale
 #staleLabel: stale
 
@@ -17,6 +17,6 @@
 #  This issue has been automatically marked as stale because it has not had
 #  recent activity. The resources of our team are limited. This issue will
 #  be closed if no further activity occurs.
-  
+
 # Comment to post when closing a stale issue. Set to `false` to disable
 #closeComment: false

.github/workflows/build.yml

@@ -2,12 +2,12 @@ name: build
 
 on:
   push:
-    branches: [main]
+    branches: [main, develop]
     paths-ignore:
       - "docs/"
       - "**.md"
   pull_request:
-    branches: [main]
+    branches: [main, develop]
     paths-ignore:
       - "docs/"
       - "**.md"
@@ -22,24 +22,17 @@ jobs:
 
       matrix:
         # Run the pipeline on all the currently supported OS versions
-        os: [ubuntu-latest, windows-latest, macos-latest]
+        os: [ubuntu-latest]
 
         # Run the pipeline on all the currently supported LTS versions and the upcoming version
-        node-version: [10, 12, 14, 16]
+        node-version: [18, 19]
 
         # Run the pipeline on all the currently supported architectures
         architecture: [x64]
 
     steps:
       # Cloning
       - uses: actions/checkout@v2
-        with:
-          repository: "syntest-framework/syntest-framework"
-          token: ${{ secrets.SYNTEST_CI }}
-          path: syntest-framework
-      - uses: actions/checkout@v2
-        with:
-          path: syntest-solidity
 
       # Setup
       - name: Use Node.js ${{ matrix.node-version }}
@@ -61,31 +54,14 @@ jobs:
             ${{ runner.os }}-node-
             ${{ runner.os }}-
 
-      # SynTest Framework
-      - name: Framework - Install Dependencies
-        run: npm install
-        working-directory: syntest-framework
-      - name: Framework - Build framework
-        run: npm run build
-        working-directory: syntest-framework
-      - name: Framework - Link
-        run: npm link
-        working-directory: syntest-framework
-
       # Dependencies
       - name: Solidity - Install Dependencies
         run: npm install
-        working-directory: syntest-solidity
-      - name: Solidity - Link Local Framework
-        run: npm link @syntest/framework
-        working-directory: syntest-solidity
 
       # Building
-      - name: Solidity - Build Solidity
+      - name: Solidity - Build
         run: npm run build
-        working-directory: syntest-solidity
 
       # Testing
       - name: Solidity - Run Tests
         run: npm test
-        working-directory: syntest-solidity

.github/workflows/verify.yml

@@ -0,0 +1,67 @@
+name: verify
+
+on:
+  push:
+    branches: [main, develop]
+    paths-ignore:
+      - "docs/"
+      - "**.md"
+  pull_request:
+    branches: [main, develop]
+    paths-ignore:
+      - "docs/"
+      - "**.md"
+
+jobs:
+  test:
+    runs-on: ${{ matrix.os }}
+
+    strategy:
+      # Keep running other versions when a job fails
+      fail-fast: false
+
+      matrix:
+        # Run the pipeline on all the currently supported OS versions
+        os: [ubuntu-latest]
+
+        # Run the pipeline on all the currently supported LTS versions and the upcoming version
+        node-version: [19]
+
+        # Run the pipeline on all the currently supported architectures
+        architecture: [x64]
+
+    steps:
+      # Cloning
+      - uses: actions/checkout@v2
+
+      # Setup
+      - name: Use Node.js ${{ matrix.node-version }}
+        uses: actions/setup-node@v2
+        with:
+          node-version: ${{ matrix.node-version }}
+          architecture: ${{ matrix.architecture }}
+
+      # Caching
+      - name: Get NPM cache directory
+        id: npm-cache-dir
+        run: echo "::set-output name=dir::$(npm config get cache)"
+      - name: Cache Node.js modules
+        uses: actions/cache@v2
+        with:
+          path: ${{ steps.npm-cache-dir.outputs.dir }}
+          key: ${{ runner.os }}-node-${{ hashFiles('package.json') }}
+          restore-keys: |
+            ${{ runner.os }}-node-
+            ${{ runner.os }}-
+
+      # Dependencies
+      - name: Solidity - Install Dependencies
+        run: npm install
+
+      # Format
+      - name: Solidity - Run Formatter
+        run: npm run format:check
+
+      # Linting
+      - name: Solidity - Run Linter
+        run: npm run lint

.husky/commit-msg

@@ -0,0 +1,4 @@
+#!/usr/bin/env sh
+. "$(dirname -- "$0")/_/husky.sh"
+
+npx --no -- commitlint --edit 

.husky/pre-commit

@@ -0,0 +1,4 @@
+#!/bin/sh
+. "$(dirname "$0")/_/husky.sh"
+
+npx lint-staged

CHANGELOG.md

@@ -19,6 +19,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Security
 
+## [0.2.0] - 2023-01-18
+
+### Added
+
+- Solc compiler version picking through configuration
+- Language specific parsing interfaces from the core
+
 ## [0.1.2] - 2021-11-29
 
 ### Fixed
@@ -42,7 +49,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Solidity instrumentation
 - Solidity specific search criteria (i.e., probe coverage)
 
-[unreleased]: https://github.com/syntest-framework/syntest-solidity/compare/v0.1.2...HEAD
+[unreleased]: https://github.com/syntest-framework/syntest-solidity/compare/v0.2.0...HEAD
+[0.2.0]: https://github.com/syntest-framework/syntest-solidity/releases/tag/v0.1.2...v0.2.0
 [0.1.2]: https://github.com/syntest-framework/syntest-solidity/releases/tag/v0.1.1...v0.1.2
 [0.1.1]: https://github.com/syntest-framework/syntest-solidity/releases/tag/v0.1.0...v0.1.1
 [0.1.0]: https://github.com/syntest-framework/syntest-solidity/releases/tag/v0.1.0

NOTICE

@@ -1,5 +1,5 @@
 SynTest Solidity
-Copyright 2020-2021 Delft University of Technology and SynTest contributors
+Copyright 2020-2022 Delft University of Technology and SynTest contributors
 
 This product includes software developed at
 Delft University of Technology (http://www.tudelft.nl/).

README.md

@@ -65,7 +65,7 @@ To be able to make quick changes to the syntest-framework and then test it in th
 
 ```bash
 cd <PATH_TO_SYNTEST_FRAMEWORK>; npm link
-cd <PATH_TO_SYNTEST_SOLIDITY>; npm link @syntest/framework
+cd <PATH_TO_SYNTEST_SOLIDITY>; npm link @syntest/core
 ```
 
 This creates a symbolic link to the local syntest-framework instance in the node modules folder of syntest-solidity.