mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-18 15:31:32 +03:00
53 lines
1.3 KiB
YAML
53 lines
1.3 KiB
YAML
name: Leo-ACL2
|
|
on:
|
|
push:
|
|
env:
|
|
RUST_BACKTRACE: 1
|
|
|
|
jobs:
|
|
acl2:
|
|
name: leo-acl2
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@v2
|
|
|
|
# - name: Install Rust
|
|
# uses: actions-rs/toolchain@v1
|
|
# with:
|
|
# profile: minimal
|
|
# toolchain: stable
|
|
# override: true
|
|
|
|
# - name: Prepare tgc
|
|
# run: |
|
|
# cd acl2 && gunzip leo-acl2.lx86cl64.gz
|
|
# ls -la .
|
|
|
|
# - name: Generate asts
|
|
# run: |
|
|
# cargo run -p leo-test-framework --bin tgc
|
|
|
|
- name: Pull the tgc executable
|
|
run: |
|
|
mkdir tmp;
|
|
cd tmp;
|
|
curl -s https://api.github.com/repos/AleoHQ/leo-acl2-bin/latest | sed -n 's/.*"tarball_url": "\(.*\)",.*/\1/p' | xargs -n1 wget -O - -q | tar -xz --strip-components=1
|
|
ls -la
|
|
tree .
|
|
|
|
# - name: Run tgc over the asts
|
|
# run: |
|
|
# ARRAY=();
|
|
# for dir in `ls tmp/tgc`;
|
|
# do
|
|
# cd tmp/tgc/$dir; # enter the directory
|
|
# ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
|
|
# cd ../../..
|
|
# done;
|
|
# echo "Failures:";
|
|
# for i in ${ARRAY[@]};
|
|
# do
|
|
# echo $i;
|
|
# done;
|