Skip to content

Commit 4ef564c

Browse files
bacelartfaoliveira
bacelar
and
tfaoliveira
committed
JasminCode.
Co-authored-by: Tiago Oliveira <tfaoliveira@gmail.com>
0 parents  commit 4ef564c

61 files changed

Lines changed: 10686 additions & 0 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/main.yml‎

Lines changed: 64 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,64 @@
1+
name: main
2+
3+
on:
4+
workflow_dispatch:
5+
push:
6+
branches:
7+
- main
8+
pull_request:
9+
10+
jobs:
11+
compile-jasmin:
12+
runs-on: [self-hosted, linux, X64]
13+
steps:
14+
- name: checkout
15+
uses: actions/checkout@v4
16+
with:
17+
submodules: 'true'
18+
- name: compile
19+
run: JASMINC=jasminc make -C src/scloud_jasmin_ref/
20+
21+
compile-cref:
22+
runs-on: [self-hosted, linux, X64]
23+
steps:
24+
- name: checkout
25+
uses: actions/checkout@v4
26+
with:
27+
submodules: 'true'
28+
- name: compile
29+
run: make -C src/scloud_cref/
30+
31+
ref-tests:
32+
runs-on: [self-hosted, linux, X64]
33+
steps:
34+
- name: checkout
35+
uses: actions/checkout@v4
36+
with:
37+
submodules: 'true'
38+
- name: compile
39+
run: JASMINC=jasminc make -C src/scloud_jasmin_ref/
40+
- name: run-memtests
41+
run: make -C src/scloud_jasmin_ref/tests run-mem-tests
42+
- name: run-pketests
43+
run: make -C src/scloud_jasmin_ref/tests run-pke-tests
44+
- name: run-pkemattests
45+
run: make -C src/scloud_jasmin_ref/tests run-pke-mat-tests
46+
- name: run-kemtests
47+
run: make -C src/scloud_jasmin_ref/tests run-kem-tests
48+
49+
j-unit-tests:
50+
runs-on: [self-hosted, linux, X64]
51+
steps:
52+
- name: checkout
53+
uses: actions/checkout@v4
54+
with:
55+
submodules: 'true'
56+
- name: compile
57+
run: JASMINC=jasminc make -C src/scloud_jasmin_ref/
58+
- name: compile
59+
run: make -C src/scloud_cref/
60+
- name: compile
61+
run: (cd src/scloud_python/ && micromamba run -n jcenv make jasmin_unit_tests)
62+
63+
64+

‎.gitignore‎

Lines changed: 208 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,208 @@
1+
# Byte-compiled / optimized / DLL files
2+
__pycache__/
3+
*.py[codz]
4+
*$py.class
5+
6+
# C extensions
7+
*.so
8+
*.s
9+
*.dSYM
10+
11+
# Distribution / packaging
12+
.Python
13+
build/
14+
develop-eggs/
15+
dist/
16+
downloads/
17+
eggs/
18+
.eggs/
19+
lib/
20+
lib64/
21+
parts/
22+
sdist/
23+
var/
24+
wheels/
25+
share/python-wheels/
26+
*.egg-info/
27+
.installed.cfg
28+
*.egg
29+
MANIFEST
30+
31+
# PyInstaller
32+
# Usually these files are written by a python script from a template
33+
# before PyInstaller builds the exe, so as to inject date/other infos into it.
34+
*.manifest
35+
*.spec
36+
37+
# Installer logs
38+
pip-log.txt
39+
pip-delete-this-directory.txt
40+
41+
# Unit test / coverage reports
42+
htmlcov/
43+
.tox/
44+
.nox/
45+
.coverage
46+
.coverage.*
47+
.cache
48+
nosetests.xml
49+
coverage.xml
50+
*.cover
51+
*.py.cover
52+
.hypothesis/
53+
.pytest_cache/
54+
cover/
55+
56+
# Translations
57+
*.mo
58+
*.pot
59+
60+
# Django stuff:
61+
*.log
62+
local_settings.py
63+
db.sqlite3
64+
db.sqlite3-journal
65+
66+
# Flask stuff:
67+
instance/
68+
.webassets-cache
69+
70+
# Scrapy stuff:
71+
.scrapy
72+
73+
# Sphinx documentation
74+
docs/_build/
75+
76+
# PyBuilder
77+
.pybuilder/
78+
target/
79+
80+
# Jupyter Notebook
81+
.ipynb_checkpoints
82+
83+
# IPython
84+
profile_default/
85+
ipython_config.py
86+
87+
# pyenv
88+
# For a library or package, you might want to ignore these files since the code is
89+
# intended to run in multiple environments; otherwise, check them in:
90+
# .python-version
91+
92+
# pipenv
93+
# According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
94+
# However, in case of collaboration, if having platform-specific dependencies or dependencies
95+
# having no cross-platform support, pipenv may install dependencies that don't work, or not
96+
# install all needed dependencies.
97+
#Pipfile.lock
98+
99+
# UV
100+
# Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
101+
# This is especially recommended for binary packages to ensure reproducibility, and is more
102+
# commonly ignored for libraries.
103+
#uv.lock
104+
105+
# poetry
106+
# Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
107+
# This is especially recommended for binary packages to ensure reproducibility, and is more
108+
# commonly ignored for libraries.
109+
# https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
110+
#poetry.lock
111+
#poetry.toml
112+
113+
# pdm
114+
# Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
115+
# pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
116+
# https://pdm-project.org/en/latest/usage/project/#working-with-version-control
117+
#pdm.lock
118+
#pdm.toml
119+
.pdm-python
120+
.pdm-build/
121+
122+
# pixi
123+
# Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
124+
#pixi.lock
125+
# Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
126+
# in the .venv directory. It is recommended not to include this directory in version control.
127+
.pixi
128+
129+
# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
130+
__pypackages__/
131+
132+
# Celery stuff
133+
celerybeat-schedule
134+
celerybeat.pid
135+
136+
# SageMath parsed files
137+
*.sage.py
138+
139+
# Environments
140+
.env
141+
.envrc
142+
.venv
143+
venv/
144+
ENV/
145+
env.bak/
146+
venv.bak/
147+
148+
# Spyder project settings
149+
.spyderproject
150+
.spyproject
151+
152+
# Rope project settings
153+
.ropeproject
154+
155+
# mkdocs documentation
156+
/site
157+
158+
# mypy
159+
.mypy_cache/
160+
.dmypy.json
161+
dmypy.json
162+
163+
# Pyre type checker
164+
.pyre/
165+
166+
# pytype static type analyzer
167+
.pytype/
168+
169+
# Cython debug symbols
170+
cython_debug/
171+
172+
# PyCharm
173+
# JetBrains specific template is maintained in a separate JetBrains.gitignore that can
174+
# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
175+
# and can be added to the global gitignore or merged into this file. For a more nuclear
176+
# option (not recommended) you can uncomment the following to ignore the entire idea folder.
177+
#.idea/
178+
179+
# Abstra
180+
# Abstra is an AI-powered process automation framework.
181+
# Ignore directories containing user credentials, local state, and settings.
182+
# Learn more at https://abstra.io/docs
183+
.abstra/
184+
185+
# Visual Studio Code
186+
# Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore
187+
# that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
188+
# and can be added to the global gitignore or merged into this file. However, if you prefer,
189+
# you could uncomment the following to ignore the entire vscode folder
190+
# .vscode/
191+
192+
# Ruff stuff:
193+
.ruff_cache/
194+
195+
# PyPI configuration file
196+
.pypirc
197+
198+
# Cursor
199+
# Cursor is an AI-powered code editor. `.cursorignore` specifies files/directories to
200+
# exclude from AI features like autocomplete and code analysis. Recommended for sensitive data
201+
# refer to https://docs.cursor.com/context/ignore-files
202+
.cursorignore
203+
.cursorindexingignore
204+
205+
# Marimo
206+
marimo/_static/
207+
marimo/_lsp/
208+
__marimo__/

‎.gitmodules‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
[submodule "submodules/scloudplus"]
2+
path = submodules/scloudplus
3+
url = https://github.com/haslab/scloudplus.git
4+
branch = JasminCode
5+
[submodule "submodules/jasmin"]
6+
path = submodules/jasmin
7+
url = https://github.com/jasmin-lang/jasmin.git
8+
branch = deploy-fp
9+
[submodule "submodules/formosa-keccak"]
10+
path = submodules/formosa-keccak
11+
url = https://github.com/formosa-crypto/formosa-keccak.git
12+
branch = main

0 commit comments

Comments
 (0)