mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-09 20:38:46 +03:00
remove comments, update circleci to rust 1.54
This commit is contained in:
parent
1792ef4993
commit
97645eb443
@ -61,7 +61,7 @@ jobs:
|
||||
|
||||
clippy:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- checkout
|
||||
@ -118,7 +118,7 @@ jobs:
|
||||
|
||||
leo-executable:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- checkout
|
||||
@ -136,7 +136,7 @@ jobs:
|
||||
|
||||
leo-new:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -149,7 +149,7 @@ jobs:
|
||||
|
||||
leo-init:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -162,7 +162,7 @@ jobs:
|
||||
|
||||
leo-clean:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -175,7 +175,7 @@ jobs:
|
||||
|
||||
leo-setup:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -188,7 +188,7 @@ jobs:
|
||||
|
||||
leo-add-remove:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -201,7 +201,7 @@ jobs:
|
||||
|
||||
leo-check-constraints:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -214,7 +214,7 @@ jobs:
|
||||
|
||||
leo-login-logout:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -227,7 +227,7 @@ jobs:
|
||||
|
||||
leo-clone:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -240,7 +240,7 @@ jobs:
|
||||
|
||||
leo-publish:
|
||||
docker:
|
||||
- image: cimg/rust:1.53
|
||||
- image: cimg/rust:1.54
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
|
30
.github/workflows/acl2.yml
vendored
30
.github/workflows/acl2.yml
vendored
@ -43,33 +43,3 @@ jobs:
|
||||
do
|
||||
echo $i;
|
||||
done;
|
||||
|
||||
# - name: Run files generation for pedersen hash
|
||||
# run: |
|
||||
# mkdir TEMPDIR && cd TEMPDIR
|
||||
# ls -la
|
||||
# cargo run -p stages -- \
|
||||
# --file ../examples/pedersen-hash/src/main.leo \
|
||||
# --input ../examples/pedersen-hash/inputs/pedersen-hash.in --all
|
||||
|
||||
# - name: Run leo-acl2 executable
|
||||
# run: |
|
||||
# ls -la stages
|
||||
# cd stages && gunzip leo-acl2.lx86cl64.gz && cd ..
|
||||
# pwd
|
||||
|
||||
# export TEMPLATE_DIR="$(pwd)/stages/"
|
||||
|
||||
# cd TEMPDIR
|
||||
# ls -la
|
||||
# pwd
|
||||
|
||||
# # print command
|
||||
# cat << EOF
|
||||
# (tgc "$TEMPLATE_DIR" "th.lisp" "initial.json" "canonicalization.json")
|
||||
# EOF
|
||||
|
||||
# # run command
|
||||
# cat << EOF | ../stages/leo-acl2
|
||||
# (tgc "$TEMPLATE_DIR" "th.lisp" "initial.json" "canonicalization.json")
|
||||
# EOF
|
||||
|
@ -263,14 +263,6 @@ impl Canonicalizer {
|
||||
});
|
||||
}
|
||||
Expression::CircuitStaticFunctionAccess(circuit_static_func_access) => {
|
||||
// dbg!(&circuit_static_func_access.name);
|
||||
// dbg!(&circuit_static_func_access.circuit);
|
||||
|
||||
// let canonicalized_name = self.canonicalize_expression(&circuit_static_func_access.circuit);
|
||||
|
||||
// dbg!(&canonicalized_name);
|
||||
// dbg!(circuit_static_func_access.name.clone());
|
||||
|
||||
return Expression::CircuitStaticFunctionAccess(CircuitStaticFunctionAccessExpression {
|
||||
circuit: Box::new(self.canonicalize_expression(&circuit_static_func_access.circuit)),
|
||||
name: circuit_static_func_access.name.clone(),
|
||||
|
Loading…
Reference in New Issue
Block a user