Commit Graph

2737 Commits

Author SHA1 Message Date
David Testé
3e42b8b2fb chore(ci): add concrete-cuda benchmarks using slab 2023-03-29 15:18:01 +02:00
Pedro Alves
dab31433d9 fix(backend): fix ci after 08e8012
Google benchmark is built twice due to the new bench infrastructure for
concrete-cuda, this commit fixes it by introducing
CONCRETE_CUDA_BUILD_TESTS and CONCRETE_CUDA_BUILD_BENCHMARKS options to skip
unecessary builds.
2023-03-29 14:36:35 +02:00
Umut
b6f1eb3d2f chore(frontend/python): introduce nightly releases 2023-03-28 14:29:19 +02:00
Umut
4445985aab chore(frontend/python): allow setting python to use in the makefile 2023-03-28 14:29:19 +02:00
Umut
371f2076f7 fix(compiler/bindings): update runtime library lookup to consider concrete-python as well 2023-03-28 14:29:19 +02:00
Pedro Alves
08e8012061 bench(backend): add a benchmark tool for concrete-cuda 2023-03-28 10:19:57 +02:00
aPere3
2728046ae7 chore(compiler): allows unsecure keyset caches to be generated
For debugging purpose, add a cmake variable that allows to generate
unsecure keycaches, that allows tracing ops to show the message in the
ciphertext body.
2023-03-28 09:15:04 +02:00
Quentin Bourgerie
8b4dc7be82 chore(concrete-cpu): Use concrete-fft nightly when nightly features is enable to use avx512 2023-03-28 08:50:33 +02:00
Umut
0b9c2a0a3e chore(frontend/python): create nightly release workflow 2023-03-27 16:21:33 +02:00
Umut
5e2349839a chore(frontend/python): pin development dependencies to avoid future CI failures 2023-03-27 16:21:33 +02:00
Umut
18c2a894a5 fix(frontend/python): set extension modules in setup.py 2023-03-27 16:21:33 +02:00
Umut
43a9c499e1 chore(frontend/python): disable S311 lint in tests as it's a false positive 2023-03-27 16:21:33 +02:00
Umut
f0a1122d23 chore(frontend/python): allow filtering tests using markers in make pytest target 2023-03-27 16:21:33 +02:00
Umut
d9313f350a test(frontend/python): use dataflow marker in appropriate tests 2023-03-27 16:21:33 +02:00
Umut
382282736e chore(frontend/python): add dataflow marker to pytest 2023-03-27 16:21:33 +02:00
Umut
ee6da15732 fix(frontend/python): disable dataflow parallelization by default 2023-03-27 16:21:33 +02:00
Umut
805f3702d7 chore(frontend/python): add concurrency control to test linux test workflow 2023-03-27 16:21:33 +02:00
Mayeul@Zama
0b86167310 chore(ci): be more strict on commit messages 2023-03-27 11:39:23 +02:00
Agnes Leroy
df5f1837fc test(compiler): add test for N = 16384 on GPU 2023-03-24 15:29:43 +01:00
Andi Drebes
d1781e0901 refactor(compiler): Remove unused header files from TensorOpsToLinalg.cpp 2023-03-24 11:06:51 +01:00
Andi Drebes
488877ac0b test(compiler): Add tests for batching of TFHE operations
Re-introduce the previously deleted batching tests for BConcrete as
tests for TFHE with the addition of a new test, checking that
non-batchable operands generated by pure operations are hoisted.
2023-03-24 11:06:51 +01:00
Andi Drebes
fa5c09a52b feat(compiler): Run batching pass after conversion to TFHE
With TFHE operations becoming batchable, the batching pass must now be
run after the conversion to TFHE,and TFHE parametrization, but before
any further lowering.
2023-03-24 11:06:51 +01:00
Andi Drebes
9cd238db82 refactor(compiler): Separate TFHE parametrization into its own pipeline stage 2023-03-24 11:06:51 +01:00
Andi Drebes
fdb4594a2b feat(compiler): Add lowering path for batched TFHE operations to Concrete 2023-03-24 11:06:51 +01:00
Andi Drebes
b495f9dd5c feat(compiler): Make TFHE.keyswitch_glwe and TFHE.bootstrap_glwe batchable 2023-03-24 11:06:51 +01:00
Andi Drebes
b24709a1ec feat(compiler): Batching: Hoist non-batchable operands produced by pure ops
The batching pass only creates a batched version of a batchable
operation if all of its non-batchable operands are defined out ouf the
outermost loop the iterating over the values of the batchable operand.

This change also allows for operations to be batched if the
non-batachable operands are generated by operations, which are pure
and thus hoistable out of the outermost loop.
2023-03-24 11:06:51 +01:00
Andi Drebes
3309615d7b fix(compiler): Batching: Bail out if batchable operand is not produced by an op
An early test for a batchable operation checks whether the batchable
operand is produced by a `tensor.extract` operation and bails out if
this is not the case. However, the use of `llvm::dyn_cast<T>()` directly
on the defining operation of the batchable operand causes an attempt
to cast a null value for an operand which is not produced by an
operation (e.g., block arguments).

Using `llvm::dyn_cast_or_null<T>()` fixes this issue.
2023-03-24 11:06:51 +01:00
Andi Drebes
a0e5628a88 refactor(compiler): Remove implementation of batching interface from all Concrete operations 2023-03-24 11:06:51 +01:00
Andi Drebes
dafb33414d refactor(compiler): Mark TFHE operations as side-effect free 2023-03-24 11:06:51 +01:00
Quentin Bourgerie
67e2518df9 chore(compiler): Build rust libraries with target-feature 2023-03-23 15:54:30 +01:00
youben11
d891ba2181 ci(compiler): enable minimal tests on PR (macos) 2023-03-22 18:55:26 +01:00
youben11
9e79c4750d test(compiler): disable exception tests on macos temporarily 2023-03-22 18:55:26 +01:00
youben11
568d0e2912 fix(compiler): use value in range of the i5 type
it's actually weird that the test was passing all this time, and only
failed since we tested on MacOS M1
2023-03-22 18:55:26 +01:00
youben11
2a81f2e333 chore(compiler): disable SDFG in SDFG tests for macos 2023-03-22 18:55:26 +01:00
youben11
529d96f564 fix(compiler): update mlir-c usage in rust bindings 2023-03-22 18:55:26 +01:00
tmontaigu
2cdf166b96 feat(rust): change build.rs to work on arm64 targets 2023-03-22 18:55:26 +01:00
youben11
afaaf70287 ci(compiler): run tests on M1 2023-03-22 18:55:26 +01:00
Mayeul@Zama
b1bd00c4e4 chore(CI): run compiler tests on backends c-api change 2023-03-22 17:29:51 +01:00
rudy
806d50ab7f fix|compiler: incorrect optimizer display for complexity 2023-03-22 17:16:40 +01:00
Agnes Leroy
573f4756fd fix(concrete_cuda): fix buffer size type in the scratches, int is not big enough 2023-03-22 15:55:15 +01:00
rudy
6556bee101 fix|compiler: MANP extract for v0 strategy is incorrect 2023-03-22 14:27:30 +01:00
Quentin Bourgerie
0921918c51 chore: Move lattice-estimator to third_party 2023-03-22 14:22:11 +01:00
Quentin Bourgerie
128734a682 chore: Final layout of the concrete project 2023-03-22 14:22:11 +01:00
Quentin Bourgerie
a1a955f5e2 chore(concrete-optimizer): Use the local concrete-cpu noise-model 2023-03-22 14:22:11 +01:00
Quentin Bourgerie
8349d7824e chore(concrete-cpu): Move concrete-cpu implementation 2023-03-22 14:22:11 +01:00
Quentin Bourgerie
c4bcaafd57 chore(parameter-curves): Fix linelint 2023-03-21 16:38:30 +01:00
Umut
850f98ab95 chore: remove concrete-python-tests-macos action 2023-03-21 16:26:19 +01:00
Umut
9570868210 chore: finalize concrete-python-tests-linux action 2023-03-21 16:26:19 +01:00
Samuel Tap
0210bc28c3 new crt basis
Co-authored-by: Jad Khatib <jadkhatib6@gmail.com>
2023-03-21 16:13:48 +01:00
Quentin Bourgerie
58ce784b9d chore(parameter-curves): Integrate parameter-curves in mono-repo 2023-03-21 16:06:53 +01:00