Initial commit

Add a command-line tool with transactional safety checkers.

Known issues are: #1 and #2

.github/workflows/publish.yml

@@ -0,0 +1,48 @@
+name: Publishing
+
+on:
+  push:
+    tags: ['*']
+
+jobs:
+  publish-jar-tag:
+    if: github.ref == 'refs/heads/master'
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout
+      uses: actions/checkout@v2
+
+    - name: Setup Java
+      uses: actions/setup-java@v2
+      with:
+        java-version: '12'
+        distribution: 'zulu'
+
+    - name: Setup Clojure tools
+      uses: DeLaGuardo/setup-clojure@3.5
+      with:
+        cli: 1.10.1.693 # Clojure CLI based on tools.deps
+        lein: 2.9.1     # or use 'latest' to always provision latest version of leiningen
+        boot: 2.8.3     # or use 'latest' to always provision latest version of boot
+
+    - run: sudo apt install zip
+
+    - run: lein uberjar
+
+    - name: Create files to release
+      run: |
+        zip elle-cli-bin-${{ env.TAG }}.zip \
+            target/elle-cli-${{ env.TAG }}-standalone.jar \
+            run-elle-cli \
+            README.md \
+            CHANGELOG.md
+
+    - name: Upload release files
+      uses: svenstaro/upload-release-action@v2
+      with:
+        repo_token: ${{ secrets.GITHUB_TOKEN }}
+        file: elle-cli-bin-${{ env.TAG }}.zip
+        asset_name: elle-cli-bin-${{ env.TAG }}.zip
+        tag: ${{ github.ref }}
+        overwrite: true
+        prerelease: true

.github/workflows/test.yaml

@@ -0,0 +1,49 @@
+name: Testing
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  test:
+    name: Build and test
+    strategy:
+      matrix:
+        operating-system: [ubuntu-latest, macOS-latest]
+    runs-on: ${{ matrix.operating-system }}
+    steps:
+    - name: Checkout
+      uses: actions/checkout@master
+
+    - name: Setup Java
+      uses: actions/setup-java@v2
+      with:
+        java-version: '12'
+        distribution: 'zulu'
+
+    - name: Setup Clojure tools
+      uses: DeLaGuardo/setup-clojure@3.5
+      with:
+        cli: 1.10.1.693 # Clojure CLI based on tools.deps
+        lein: 2.9.1     # or use 'latest' to always provision latest version of leiningen
+        boot: 2.8.3     # or use 'latest' to always provision latest version of boot
+
+    - name: Run Clojure code on Linux and MacOS
+      if: ${{ matrix.os != 'windows-latest' }}
+      run: clojure -e "(+ 1 1)"
+      shell: bash
+
+    - name: Run Clojure code on Windows
+      if: ${{ matrix.os == 'windows-latest' }}
+      run: clojure -e "(+ 1 1)"
+      shell: powershell
+
+    - run: lein -v
+
+    - run: lein deps
+
+    - run: lein check
+
+    - run: lein compile
+
+    - run: lein uberjar

.gitignore

@@ -0,0 +1 @@
+target

CHANGELOG.md

@@ -0,0 +1,20 @@
+# Change Log
+
+All notable changes to this project will be documented in this file. This
+change log follows the conventions of
+[keepachangelog.com](https://keepachangelog.com/).
+
+## [Unreleased]
+
+[Unreleased]: https://github.com/ligurio/elle-cli/compare/0.1.1...HEAD
+
+## [0.1.0] - 2022-01-01
+
+### Added
+
+- Add integration with Elle (list-append and rw-register checkers).
+- Add integration with Jepsen (bank, counter, long-fork, set and set-full checkers).
+- Add integration with Knossos (register, cas-register and mutex checkers).
+- Support histories in EDN and JSON formats.
+
+[0.1.0]: https://github.com/ligurio/elle-cli/compare/797930f5...0.1.0