Quentin Bourgerie
86b942a444
chore(doc): Build doc and publish doc on master and tags
2022-01-06 18:07:19 +01:00
youben11
fcf5ee05d5
chore: rename docker images
...
use concrete-compiler instead of concretefhe-compiler
2022-01-06 12:40:10 +01:00
youben11
d96d2506ee
fix: remove org name in release api URL
...
org name is already part of github.repository
2022-01-06 12:40:10 +01:00
youben11
2009ee1c94
chore: changing ref to repo after its renaming
...
also formatting and update the check_license script to match that
2022-01-06 12:40:10 +01:00
youben11
d1fef75aea
fix: change api link after repo renaming
2022-01-04 20:16:44 +01:00
youben11
63e96e2674
ci: use gcc and test build on macos
2022-01-04 20:16:44 +01:00
rudy
0f1dbd919d
fix(format_cpp): More robust error reporting
2022-01-03 17:58:01 +01:00
youben11
c276e13d97
chore(python): add namespace init file
2022-01-03 15:27:24 +01:00
youben11
1183c9dc94
fix(ci): fix formatting script
...
seems like big diffs weren't catched. Now we use ifne which checks if
the stdin isn't empty
2022-01-03 09:29:19 +01:00
youben11
e3ae6e9c06
ci: check if sources include license header
2022-01-03 09:29:19 +01:00
youben11
e73291abdc
chore: rename compiler to concrete-compiler
...
zamalang => concretelang
zamacompiler => concretecompiler
2021-12-29 15:13:34 +01:00
Antoniu Pop
23d3dca3f2
formatting(dfr): add .hpp to the formatting script and format the relevant files.
2021-12-23 15:57:53 +00:00
Antoniu Pop
e429180179
fix(ci): enable key caching for DF testing.
2021-12-22 18:22:22 +01:00
youben11
a32d73fb4e
test(ci): test final python packages after release
2021-12-22 18:22:22 +01:00
youben11
62b417a373
refactor(ci): unify workflows into a single one
...
Having a single workflow make it easier to have dependencies between
jobs, like release and docker image being dependant of the tests job
2021-12-22 18:22:22 +01:00
youben11
2e5bff93fd
ci: check if there are commits to squash
...
we can then configure github to never merge when this doesn't pass
2021-12-17 08:46:38 +01:00
youben11
acf91c78a7
fix(ci): disable release worflow run on master with no tag
...
There were both runs of release for master and the tag push, so we now
match the tag push
2021-12-16 11:43:28 +01:00
youben11
319cc3fd28
fix(python): copy dynamic library into macos wheel
2021-12-16 09:15:25 +01:00
youben11
b812f6f7f2
feat(python): version python package from git tag
...
automatic detection of version from git tag and update of the python
version file
2021-12-16 09:15:25 +01:00
youben11
a94e05e85b
ci: release mac
...
improve current workflow: more parallelism and factoring of steps with
matrix
2021-12-16 09:15:25 +01:00
youben11
6c1800048a
ci: test on gcc6.3
2021-12-13 16:35:56 +01:00
Antoniu Pop
bb44124999
feat(dfr): add the DFR (DataFlow Runtime).
2021-12-08 18:35:29 +00:00
youben11
5773310215
feat(ci): release on tag pushed (linux only)
...
The release workflow should, whenever a tag is pushed,
create a draft release on github (that should be manually
checked by one of us to make the actual release).
The release should contain wheels for python 3.8, 3.9, and 3.10,
as well as a tarball containing the zamacompiler and required
libraries (and installation guide is provided).
The draft release will also have an auto generated release note
that can be modified later.
2021-12-08 17:59:53 +01:00
youben11
4618abcc50
ci: add release workflow
...
currently only replace one asset from a specific release
2021-12-07 16:14:44 +01:00
Mayeul@Zama
dad4390518
feat(compiler): add a key cache
2021-12-07 12:11:56 +01:00
Andi Drebes
e356b8f797
fix(ci): Conformance test: Abort on failure in any command in the run section
...
By default, all commands in the `run` section of
`.github/workflows/conformance.yml` are executed, regardless of their
return values and the return value of the last command is used as the
result for the entire flow. Failing test followed by passing tests
thus remain undetected.
This change forces the use of the bash shell and causes it to exit
immediately with a non-zero return value when one of the commands
fails using `set -e`.
2021-11-12 15:05:55 +01:00
youben11
3246f8b035
chore: remove build files from docker image
...
- Reduce the size of the docker image
- Make sure ccache is always used => faster CI tests
2021-11-12 15:05:55 +01:00
Ayoub Benaissa
2088e86edd
ci: run concretelib compatibility-check once a week
2021-11-12 12:12:07 +01:00
Andi Drebes
3bf493e83c
ci: Force use of ccache in conformance.yml
...
Set the make variable `CCACHE` to `ON` in order to force the use of
`ccache` during compilation of the code. For unknown reasons, the
build directory must also be removed. Otherwise, a complete rebuild
circumventing the cache is triggered and `ccache` does not have any
effect on compilation time.
Debug information printing `ccache` statistics before and after the
build has also been added.
2021-11-10 15:46:48 +01:00
youben11
dc2d6a362e
chore: stop using "build" target in CI
2021-10-28 15:59:31 +01:00
youben11
33d75a92f4
ci: remove logging of LLVM commit
...
the loggign is actually incorrect, as this would be the version of the
repo, not the one in the env, so it doesn't even make sense
2021-10-12 11:50:15 +01:00
youben11
952968567b
ci: update msg of LLVM auto-update commit
2021-10-09 11:44:46 +01:00
youben11
50236f4f18
ci: auto-update llvm 1/week if no breaking changes
2021-10-08 12:28:10 +01:00
youben11
34f114cda9
ci: fix compatibility checks
2021-10-07 16:33:00 +01:00
youben11
8535ab797e
ci: compatibility check workflows concretelib/llvm
2021-10-07 14:38:50 +01:00
youben11
bfc763144c
ci: new unified build system
2021-10-07 14:38:50 +01:00
youben11
51c7b49144
ci: setup appropriate ENV for runtime lib
2021-09-09 20:35:28 +02:00
youben11
f948db1228
feat(python): CompilerEngine to compile and run
2021-08-18 17:38:46 +02:00
Quentin Bourgerie
e290447389
chore(compiler): Get the concrete capi release
2021-08-13 14:05:29 +02:00
youben11
c58abe6565
chore(ci): add python testing
2021-08-05 13:49:29 +02:00
youben11
59d9844bc2
chore(ci): update registry server url
2021-08-03 14:35:39 +01:00
youben11
89d16bbea7
chore(ci): update to GHCR to store mlir image
2021-08-03 14:23:15 +01:00
youben11
33f5911ac2
chore(ci): build zamalang image on push to master
2021-08-03 14:23:15 +01:00
Quentin Bourgerie
61382b3cdb
chore(ci): Fixing mlir-env image to a specific commit since python bidings has been modified
2021-07-29 10:49:09 +02:00
Ayoub Benaissa
ab53ef71c6
feat(compiler): Python bindings ( #53 )
...
- feat(compiler): python bindings
- build: update docker image for python bindings
- pin pybind11 to 2.6.2, 2.7 is not having correct include_dirs set (still
a question why?)
- using generated parser/printer
2021-07-28 15:58:51 +01:00
Ayoub Benaissa
812268000c
CI: docker image workflow
...
build and push whenever the docker file has changed. Push with two tags, latest, and commit's hash
2021-07-22 15:32:44 +02:00
Andi Drebes
cef0e569d4
fix(compiler): Generate and include autogenerated dialect definitions ( #52 )
...
* fix(compiler): Generate and include autogenerated dialect definitions
Since commit 485cc55edfb875628e19bb6d9de4706af2865d3e in llvm-project,
dialects are now required to include a file with autogenerated
definitions. This commit generates the definition files and includes
them in appropriate dialect source files for MidLFHE and HLFHE.
* CI: update docker image ref
Co-authored-by: Andi Drebes <andi.drebes@zama.ai >
Co-authored-by: Ayoub Benaissa <ayoub.benaissa@zama.ai >
2021-07-08 15:54:10 +01:00
Quentin Bourgerie
d489f91f7d
chore(compiler/ci): Update mlir image
2021-06-23 10:07:16 +02:00
Quentin Bourgerie
b948c5c6a5
chore(compiler): Actions for build and test compiler
2021-06-16 14:31:21 +02:00
Andi Drebes
5167781e44
ci(compiler): Add option --fix to lint_cpp.sh
...
Add an option `--fix` to `lint_cpp.sh` advising `clang-tidy` to apply
suggested fixes.
2021-06-11 10:45:00 +02:00
