Initial update (#1)

* Updated README.md file with WIP notice.

* Removed insight buttons from README.md file.

* Changed URL inside CMakeLists.txt file.

* Added pre-commit hook file.

* Updated .gitignore file.

* Updated copyright notice.

* Added vscode settings.json file.

* Updated settings.json

* Added initial implementation of .vscode/tasks.json.

* Added Build all task.

* Removed Windows github workflow.

* Updated ubuntu github workflow.

* Updated pre-commit-config.yaml file.

* Added popl_test target compilation.

* Updated workflow steps names.

* Updated CMake minimum required version to 3.18 and changed the C++ standard to 20.

* Added compilation's concepts support inside the main CMakeLists.txt file.

* Added Catch2 as submodule as testing kernel.

* Added test/third-party/CMakeLists.txt file.

* Added initial cmake support for Catch2.

* Fixed cmake check for GNU compiler.

* Removed useless cmake condition.

* Fixed github workflow.

* Added CMake FetchContent for Catch2 and removed submodules action from github workspace.

* Added more configuration for Catch2 CMake target.

* Updated test project and Catch2 configurations.

* Removed old version of Catch and integrated Catch2 into test_main.cpp.

* Updated test coding style

* Fixed non-passing test with an hotfix.

* Added functional tests execution to GitHub workflow.

* Workflow temp.

* Fixed wrong executable name in GitHub workflow.

* Moved functional test hotfix.

* Added launch.json file.

* Update github workflow.

* Updated test compilation output folders.

* Fixed not-working debug mode.

* Fixed debugging on Linux env.

* Added change directory to github workflow.

* Added -g option to compilation when not on Windows machines.

* Updated popl example CMake configuration.

* Changed output folder again.

* Changed examples output directories.

* Changed test output directories.

* Changed configure file inside test CMakeLists.txt.

* Several cmake fixes and output directories changes.

* Fixed wrong absolute path.

* Updated github workflow test execution.

* Removed unused file.

* Added VSCode launch options for Windows. Fixed test target output directory config.

* Restored Windows workflow.

* Added missing parts for windows workflow.

* Fixed typos.

* Added first implementation of macos workflow.

* Replaced Windows and macOS build jobs with matrix.

* Added runs-on command.

* Updated README.md and fixed typos.

* Changed include style.

.github/workflows/build-jobs.yml

@@ -0,0 +1,29 @@
+# Copyright (C) 2022 Andrea Ballestrazzi
+
+name: Windows and macOS Build
+
+on:
+  push:
+    branches-ignore:
+      - master
+
+env:
+  BUILD_TYPE: Release
+
+jobs:
+  build_matrix:
+    strategy:
+      matrix:
+        os: [windows-latest, macos-latest]
+
+    runs-on: ${{ matrix.os }}
+    steps:
+    - uses: actions/setup-node@v3
+
+    - uses: actions/checkout@v3
+
+    - name: CMake Configure
+      run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
+
+    - name: CMake Build
+      run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}

.github/workflows/ubuntu.yml

@@ -1,18 +1,32 @@
-name: Ubuntu-amd64
+# Copyright (C) 2015-2021 Johannes Pohl
+# Copyright (C) 2022 Andrea Ballestrazzi
+#
+# This software may be modified and distributed under the terms
+# of the MIT license.  See the LICENSE file for details.
 
-on: [push, pull_request]
+name: Ubuntu Build and Test
+
+on:
+  push:
+    branches-ignore:
+      - master
+
+env:
+  # Customize the CMake build type here (Release, Debug, RelWithDebInfo, etc.)
+  BUILD_TYPE: Release
 
 jobs:
   build:
     runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v2
-    - name: cmake build
-      run: cmake -S . -B build -DCMAKE_BUILD_TYPE=Release
-    - name: cmake make
-      run: cmake --build build --parallel 3
-    - name: test
-      run: |
-        cd build/test
-        ./popl_test
+    - uses: actions/checkout@v3
+
+    - name: CMake Configure
+      run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}}
+
+    - name: CMake Build
+      run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}
+
+    - name: Functional Tests
+      run: cd ./bin && ./popl_test --order rand [functional]