Commit Graph

3010 Commits

Author SHA1 Message Date
Bourgerie Quentin
c36c3728f9 chore(ci): Enable CI test on release branch 2023-07-13 09:34:03 +02:00
rudy
65d4a62cfd fix(optimizer): cargo +nightly clippy 2023-07-12 10:28:12 +02:00
rudy
d9fc01ca15 fix(optimizer): cargo +nightly fmt 2023-07-12 10:28:12 +02:00
jadkhatib
9b7aca4acf fix(optimizer): updating optimize_1_fks_and_all_compatible_ks function in order to return the best solution 2023-07-12 10:28:12 +02:00
jadkhatib
4d189d6795 fix(optimizer): best complexity was not updated in the function optimize_1_fks_and_all_compatible_ks 2023-07-12 10:28:12 +02:00
rudy
c7655c354e fix(optimizer): detect lower bound solution due to macro parameter changes 2023-07-12 10:28:12 +02:00
rudy
6febdee3f8 fix(optimizer): multi-partition, test showing the issue on more than 2 partitions 2023-07-12 10:28:12 +02:00
Pedro Alves
ae43e7ffe5 feat(backend-gpu): implement the multi-bit PBS 2023-07-11 12:25:18 -03:00
Ayoub Benaissa
b3d8c5b195 docs(compiler): add prerequisites to build from source 2023-07-11 15:27:36 +01:00
Umut
e64ded61e4 feat(frontend-python): add fhe.zeros_like(x) and fhe.ones_like(x) extensions 2023-07-10 09:51:22 +02:00
Pedro Alves
5b103acbd9 feat(backend-gpu): expose a rust API for concrete-cuda 2023-07-07 13:15:56 -03:00
Umut
8031f8b59e feat(frontend-python): allow single element tuple inputsets for single argument functions 2023-07-07 14:34:57 +02:00
Umut
9ef1229c51 fix(frontend-python): mimic summing like numpy exactly 2023-07-07 14:34:57 +02:00
Umut
1215a57752 fix(frontend-python): mimic reshaping like numpy exactly 2023-07-07 14:34:57 +02:00
aquint-zama
bac5682027 chore(common): add citing Concrete in README 2023-07-06 17:16:23 +02:00
Bourgerie Quentin
1b0106302b fix(optimizer/backend-cpu): Fix Cargo.lock to avoid flaky dependencies 2023-06-30 16:08:43 +02:00
Umut
ee5fc138ab feat(frontend-python): lazily enable simulation and execution when needed 2023-06-30 16:08:28 +02:00
Umut
6fdcb78158 fix(compiler-bindings): use manual function pointer type to avoid compilation error on macOS 2023-06-27 18:36:22 +02:00
youben11
094583e32b test(frontend): disable JIT in helper test config 2023-06-27 14:21:42 +01:00
youben11
9f54184375 feat(frontend): simulate execution using the compiler 2023-06-27 14:21:42 +01:00
youben11
648e868ffe feat(compiler): support parallelization during simulation 2023-06-27 14:21:42 +01:00
youben11
3ad37522e5 test(compiler): test compile/run in simulation 2023-06-27 14:21:42 +01:00
youben11
e92a0d9fa8 fix(tools): remove vector init in header
vector init can't be in a header file, and there was a double free due
to its usage in two different locations. We now use simple arrays to
store the list of available security curves
2023-06-27 14:21:42 +01:00
youben11
27e1835f23 feat(compiler/python): expose simulation to python-bindings 2023-06-27 14:21:42 +01:00
youben11
eb116058e0 feat(compiler): support invoke on simulated circuits 2023-06-27 14:21:42 +01:00
youben11
32ad46f7c5 feat(compiler): disable runtimeCtx pass in simulation 2023-06-27 14:21:42 +01:00
youben11
5e848a6971 feat(compiler/clientlib): support simulation in enc-args 2023-06-27 14:21:42 +01:00
youben11
09b84e0373 refactor(compiler/clientlib): add ValueDecrypter Interface 2023-06-27 14:21:42 +01:00
youben11
ad13602bf3 refactor(compiler/clientlib): add ValueExporter Interface 2023-06-27 14:21:42 +01:00
youben11
7b594c5ecd feat(compiler): add simulation runtime 2023-06-27 14:21:42 +01:00
youben11
b8e462c1cc feat(compiler): add option to compile in simulation mode 2023-06-27 14:21:42 +01:00
youben11
e58b46d86d feat(compiler): add a pass to simulate TFHE ops
lowering is done to CAPI calls that implement simulation as well as
standard MLIR ops
2023-06-27 14:21:42 +01:00
Umut
c98b8f0241 fix(frontend-python): manually abort on ctrl+c 2023-06-27 15:11:21 +02:00
Pedro Alves
a4ef7543a6 feat(backend-gpu): introduce a function to check for cooperative groups support 2023-06-27 08:48:39 -03:00
Mayeul@Zama
6877f6c9e3 fix(backend-cpu): fix clippy lint 2023-06-27 11:14:40 +02:00
Bourgerie Quentin
29f1ce753b fix(optimizer): new version of generated files
This reverts commit 9b345e51ed.
2023-06-27 11:06:32 +02:00
Bourgerie Quentin
6a49fc3a1d test(compiler): Temporary disable matmul_eint_eint on 16bits integer 2023-06-26 22:49:56 +02:00
Andi Drebes
934e25de0d test(compiler): Let entire Makefile rules for tests / benchmarks fail if subcommand fails
The commands for the Makefile rules `run-end-to-end-tests` and
`run-cpu-benchmarks` are generated using the `$(foreach)` builtin
function with a trailing `;` for each subcommand. The result is a
sequence of commands separated by `;`, which only fails if the last
command fails. This causes any code for which the last test /
benchmark passes, but for which any of the preceding subcommands fails
to pass the CI and thus to leave failing tests undiscovered.

This commit adds a trailing `&& exit $$?` to each command, such that
the entire sequence fails if a single command fails.
2023-06-26 22:49:56 +02:00
Quentin Bourgerie
9b345e51ed Revert "fix(optimizer): new version of generated files"
This reverts commit db3ecb1402.
2023-06-26 17:06:02 +02:00
Quentin Bourgerie
41a911603b Revert "fix(optimizer): best complexity was not updated in the function optimize_1_fks_and_all_compatible_ks"
This reverts commit 48e8842ef0.
2023-06-26 17:06:02 +02:00
Quentin Bourgerie
7147fb8f35 Revert "fix(optimizer): updating optimize_1_fks_and_all_compatible_ks function in odrer to return the best solution"
This reverts commit aff3d91278.
2023-06-26 17:06:02 +02:00
Umut
a13ab5f314 fix(frontend-python): move atexit register for printing ctrl+c message to keyboard interrupt handler 2023-06-26 12:49:07 +02:00
Umut
45e69798aa feat(frontend-python): support ctrl+c during compilation and key generation 2023-06-26 12:37:52 +02:00
Umut
87d460e9ec feat(frontend-python): support ctrl+c during fhe execution 2023-06-26 11:09:38 +02:00
jadkhatib
aff3d91278 fix(optimizer): updating optimize_1_fks_and_all_compatible_ks function in odrer to return the best solution 2023-06-23 18:42:58 +02:00
jadkhatib
48e8842ef0 fix(optimizer): best complexity was not updated in the function optimize_1_fks_and_all_compatible_ks 2023-06-23 18:42:58 +02:00
jadkhatib
db3ecb1402 fix(optimizer): new version of generated files 2023-06-23 18:42:58 +02:00
Bourgerie Quentin
ff02adea89 test(compiler): Add bug report 376 v1.1.0-rc1 2023-06-23 14:34:23 +02:00
Bourgerie Quentin
5147ac8418 feat(compiler): Add canonicalization of FHE/FHELinalg to_signed to_unsigned ops 2023-06-23 14:34:23 +02:00
Bourgerie Quentin
5a80e22cf3 fix(compiler): Annotate FHELinalg as Pure for canonicalization 2023-06-23 14:34:23 +02:00