Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: v4.0.0-rc.1 #1827

Open
wants to merge 37 commits into
base: dev
Choose a base branch
from
Open
Changes from all commits
Commits
Show all changes
37 commits
Select commit Hold shift + click to select a range
2b6bd90
Merge pull request #8 from succinctlabs/tamir/merge-upstream
tamirhemo Sep 5, 2024
f17c080
Merge remote-tracking branch 'upstream/dev' into dev
tamirhemo Sep 10, 2024
4b7b72e
Merge remote-tracking branch 'upstream/dev' into tqn/merge-upstream
tqn Sep 13, 2024
7ec9cd6
Merge pull request #15 from succinctlabs/tqn/merge-upstream
tqn Sep 13, 2024
35c1ee4
Merge remote-tracking branch 'origin/dev' into kevjue/merge_upstream
kevjue Sep 20, 2024
1728714
Merge pull request #18 from succinctlabs/kevjue/merge_upstream
kevjue Sep 20, 2024
35b8d99
Merge remote-tracking branch 'upstream/dev' into tqn/merge-upstream
tqn Oct 17, 2024
544d59b
Merge pull request #30 from succinctlabs/tqn/merge-upstream
tqn Oct 17, 2024
369e1c0
Merge remote-tracking branch 'upstream/dev' into tamir/dev-10-18
tamirhemo Oct 18, 2024
e0a7dec
Merge pull request #34 from succinctlabs/tamir/dev-10-18
tamirhemo Oct 18, 2024
05fc72f
Merge remote-tracking branch 'upstream/dev' into tamir/update-10-22
tamirhemo Oct 22, 2024
a8af928
Merge pull request #36 from succinctlabs/tamir/update-10-22
tamirhemo Oct 22, 2024
f41d750
Merge remote-tracking branch 'upstream/dev' into dev
jtguibas Oct 28, 2024
4870b74
Merge remote-tracking branch 'upstream/dev' into dev
jtguibas Oct 29, 2024
e6e8bce
Merge remote-tracking branch 'upstream/dev' into erabinov/merge-upstream
erabinov Nov 3, 2024
474bbe2
Merge pull request #54 from succinctlabs/erabinov/merge-upstream
erabinov Nov 4, 2024
41f7fe1
Merge remote-tracking branch 'upstream/dev' into tamir/update-nov-5
tamirhemo Nov 5, 2024
5253c03
Merge pull request #58 from succinctlabs/tamir/update-nov-5
tamirhemo Nov 5, 2024
8a696d2
Merge remote-tracking branch 'upstream/dev' into dev
tamirhemo Nov 5, 2024
6af5b1d
Merge remote-tracking branch 'upstream/dev' into dev
tamirhemo Nov 5, 2024
31147b4
perf: remove proving single proofs (#60)
erabinov Nov 7, 2024
fbceea5
Merge remote-tracking branch 'upstream/dev' into tamir/update
tamirhemo Nov 7, 2024
d8ca89c
Merge remote-tracking branch 'upstream/dev' into dev
tamirhemo Nov 8, 2024
c9662c4
perf: drop record in different task (#65)
tamirhemo Nov 8, 2024
2614e21
feat: execute mode on `perf` (#62)
tamirhemo Nov 8, 2024
adcda87
perf: two shapes + shape script (#63)
erabinov Nov 11, 2024
61a2c7b
feat: v4.0.0-rc.1
jtguibas Nov 27, 2024
a07d564
run fmt + cleanup
jtguibas Nov 27, 2024
c7a903d
change lib version to rc.1
jtguibas Nov 27, 2024
62f5701
update circuits
jtguibas Nov 27, 2024
3aadc5b
update versions
jtguibas Nov 27, 2024
8e5489a
add force
jtguibas Nov 27, 2024
6ca89e3
update docs
jtguibas Nov 27, 2024
c343dc7
update cuda image
jtguibas Nov 27, 2024
107f338
fix divrem on avx256
jtguibas Nov 27, 2024
4c3326c
update suite
jtguibas Nov 27, 2024
9e13d02
update vkeys and workflow dispatch
jtguibas Nov 27, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
83 changes: 83 additions & 0 deletions .clang-format
Original file line number Diff line number Diff line change
@@ -0,0 +1,83 @@
# Google C/C++ Code Style settings
# https://clang.llvm.org/docs/ClangFormatStyleOptions.html
# Author: Kehan Xue, kehan.xue (at) gmail.com

Language: Cpp
BasedOnStyle: Google
AccessModifierOffset: -1
AlignAfterOpenBracket: Align
AlignConsecutiveAssignments: None
AlignOperands: Align
AllowAllArgumentsOnNextLine: true
AllowAllConstructorInitializersOnNextLine: true
AllowAllParametersOfDeclarationOnNextLine: false
AllowShortBlocksOnASingleLine: Empty
AllowShortCaseLabelsOnASingleLine: false
AllowShortFunctionsOnASingleLine: Inline
AllowShortIfStatementsOnASingleLine: Never # To avoid conflict, set this "Never" and each "if statement" should include brace when coding
AllowShortLambdasOnASingleLine: Inline
AllowShortLoopsOnASingleLine: false
AlwaysBreakAfterReturnType: None
AlwaysBreakTemplateDeclarations: Yes
BinPackArguments: true
BreakBeforeBraces: Custom
BraceWrapping:
AfterCaseLabel: false
AfterClass: false
AfterStruct: false
AfterControlStatement: Never
AfterEnum: false
AfterFunction: false
AfterNamespace: false
AfterUnion: false
AfterExternBlock: false
BeforeCatch: false
BeforeElse: false
BeforeLambdaBody: false
IndentBraces: false
SplitEmptyFunction: false
SplitEmptyRecord: false
SplitEmptyNamespace: false
BreakBeforeBinaryOperators: None
BreakBeforeTernaryOperators: true
BreakConstructorInitializers: BeforeColon
BreakInheritanceList: BeforeColon
ColumnLimit: 80
CompactNamespaces: false
ContinuationIndentWidth: 4
Cpp11BracedListStyle: true
DerivePointerAlignment: false # Make sure the * or & align on the left
EmptyLineBeforeAccessModifier: LogicalBlock
FixNamespaceComments: true
IncludeBlocks: Preserve
IndentCaseLabels: true
IndentPPDirectives: None
IndentWidth: 2
KeepEmptyLinesAtTheStartOfBlocks: true
MaxEmptyLinesToKeep: 1
NamespaceIndentation: None
ObjCSpaceAfterProperty: false
ObjCSpaceBeforeProtocolList: true
PointerAlignment: Left
ReflowComments: false
# SeparateDefinitionBlocks: Always # Only support since clang-format 14
SpaceAfterCStyleCast: false
SpaceAfterLogicalNot: false
SpaceAfterTemplateKeyword: true
SpaceBeforeAssignmentOperators: true
SpaceBeforeCpp11BracedList: false
SpaceBeforeCtorInitializerColon: true
SpaceBeforeInheritanceColon: true
SpaceBeforeParens: ControlStatements
SpaceBeforeRangeBasedForLoopColon: true
SpaceBeforeSquareBrackets: false
SpaceInEmptyParentheses: false
SpacesBeforeTrailingComments: 2
SpacesInAngles: false
SpacesInCStyleCastParentheses: false
SpacesInContainerLiterals: false
SpacesInParentheses: false
SpacesInSquareBrackets: false
Standard: c++11
TabWidth: 4
UseTab: Never
14 changes: 13 additions & 1 deletion .github/actions/setup/action.yml
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
# Note: this is only compatible with Linux runners.

name: Test setup
inputs:
pull_token:
@@ -99,6 +101,16 @@ runs:
else
echo "pkg-config and libssl-dev are already installed."
fi


- name: Echo docker buildx version
shell: bash
run: docker buildx version

- name: Set up Docker
uses: crazy-max/ghaction-setup-docker@v3

- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
with:
driver-opts: |
image=public.ecr.aws/vend/moby/buildkit:buildx-stable-1
4 changes: 2 additions & 2 deletions .github/workflows/main.yml
Original file line number Diff line number Diff line change
@@ -22,7 +22,7 @@ jobs:
cpu=64,
ram=256,
family=m7i+m7a,
hdd=80,
disk=large,
image=ubuntu22-full-x64,
spot=false,
"run-id=${{ github.run_id }}",
@@ -54,7 +54,7 @@ jobs:
cpu=64,
ram=256,
family=m7i+m7a,
hdd=80,
disk=large,
image=ubuntu22-full-x64,
spot=false,
"run-id=${{ github.run_id }}",
Loading