Quentin Bourgerie
|
caee0bae66
|
fix(compiler): Workaround fallback to Strategy::V0 when solving with Strategy::DAG_MONO
close https://github.com/zama-ai/concrete-internal/issues/297
|
2023-05-23 04:00:56 -04:00 |
|
Quentin Bourgerie
|
0bdb85b67d
|
refactor(compiler/clientlib): Remove the building of the calling convention in the EncryptedArguments and test serialization in end_to_end_tests
|
2023-05-22 16:21:33 -04:00 |
|
rudy
|
b3ec478de9
|
fix(optimizer): optimize partition in reverse order
note: it was initially the case, but it was simplified and we didn't see shortcomings on tests.
|
2023-05-22 18:22:46 +02:00 |
|
Quentin Bourgerie
|
5df44ad6f8
|
chore(compiler/build): Remove script to get BUILD_DIR
|
2023-05-17 13:57:37 +02:00 |
|
Andrei Stoian
|
817ee6b637
|
feat(compiler): add matmul eint eint op
|
2023-05-15 11:36:47 +02:00 |
|
Mayeul@Zama
|
74feda147c
|
feat(optimizer): add brute-force optimizer
Co-authored-by: Samuel Tap <samuel.tap@zama.ai>
|
2023-05-12 11:12:47 +02:00 |
|
Quentin Bourgerie
|
d973f068f6
|
fix(compiler): Fixing extra conversion fixup when producer is not directly a TFHE operator
|
2023-05-12 09:47:35 +02:00 |
|
Quentin Bourgerie
|
0fa1b4ba1d
|
refactor(compiler): Cleanup TFHECircuitSolutionParametrization and make it less verbose in verbose mode
|
2023-05-12 09:47:35 +02:00 |
|
Quentin Bourgerie
|
462a23b622
|
fix(compiler/fhe): Allows noop FHE.round operators and fold it
|
2023-05-11 12:52:38 +02:00 |
|
Quentin Bourgerie
|
eff442438b
|
fix(compiler): Do not create dealloc on the bufferization pass as that place all dealloc at the end of the program
|
2023-05-10 09:18:47 +02:00 |
|
aPere3
|
0d2416fe80
|
chore(compiler): add code doc on encrypted mul
|
2023-05-05 12:43:41 +02:00 |
|
youben11
|
f6c70ac18e
|
chore(compiler): clean dialect licenses
set dialect licenses to apache 2.0 and keeps the rest following the main
license
|
2023-05-04 10:28:50 +01:00 |
|
Mayeul@Zama
|
ece5408887
|
fix(optimizer): fix clippy lint
|
2023-04-27 13:51:29 +02:00 |
|
Mayeul@Zama
|
3558ba5586
|
feat(backend-cpu): choose fastest aes implementation at runtime
|
2023-04-24 15:02:22 +02:00 |
|
Umut
|
41bf801ce1
|
feat(frontend-python): introduce parameter selection strategy configuration
|
2023-04-21 17:38:05 +02:00 |
|
Mayeul@Zama
|
2800f74fb8
|
chore(compiler): clean up .gitignore
|
2023-04-20 15:11:38 +02:00 |
|
Mayeul@Zama
|
8033c934f3
|
chore(compiler): remove old makefile targets
|
2023-04-20 15:11:38 +02:00 |
|
Quentin Bourgerie
|
dfa0c8b202
|
feat(compiler): Add dag-multi benchmark to the run-cpu-benchmark target
|
2023-04-20 09:46:24 +02:00 |
|
Quentin Bourgerie
|
ef6fa86603
|
fix(compiler/bench): Fixing round end to end yaml description generation with shapes arguments
|
2023-04-20 09:46:24 +02:00 |
|
Quentin Bourgerie
|
af79774ae0
|
fix(compiler/tests/bench): Add optimizer strategy to the name of benchs and tests
|
2023-04-20 09:46:24 +02:00 |
|
aPere3
|
50255cc908
|
fix(compiler): propagates oid when simplifying fhelinalg zero sums
|
2023-04-18 13:36:15 +02:00 |
|
aPere3
|
85c29c2e39
|
chore(compiler): move end-to-end linalg tests to fixtures
|
2023-04-18 13:36:15 +02:00 |
|
Quentin Bourgerie
|
065e4d7b40
|
test(compiler): Temporary remove batching check-test as it to invasive
|
2023-04-14 15:01:18 +02:00 |
|
aPere3
|
141efc8db2
|
bench(compiler): Add e2e benchmark for rounded PBS
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
0e59f66a64
|
fix(compiler): FHE.to_bool and FHE.from_bool is a no op and not reduce the noise to the base
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
edbdcdd7ec
|
fix(compiler/test): Fixing naming in end_to_end tests
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
3ada182c22
|
test(compiler): Enable dag-multi tests on all yaml tests
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
311ac8ce99
|
feat(compiler,ci): parallel tests
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
944f9f6fc2
|
fix(compiler/benchmark): Remove always optimizer display
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
9c3c72a176
|
fix(optimizer): multi, more than 2 partitions, optimize_macro use optimized fks instead of lower bound
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
dd34ef120b
|
fix(optimizer): multi, more than 2 partitions, some fks was not copied back
|
2023-04-14 15:01:18 +02:00 |
|
aPere3
|
0ba154fca8
|
test(compiler): add multi precision tests
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
955dea6fcd
|
feat(compiler/tests): Add verbose options to end_to_end_test
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
d388f08cc5
|
test(compiler): Fix check test
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
008eec658b
|
fix(optimizer,tests): sign extract is slower with slow ks
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
06b724ab50
|
feat(compiler/tests): rounded tests, add rounded tlu + tensorized
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
81fd9f3441
|
feat(optimizer): multi-parameters, use slow keyswitch until stabilized
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
9c68d132ca
|
feat(optimizer): multi-parameter entry point, single parameter solution for woppbs
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
d2a342fc84
|
feat(optimizer): multiparameters compiler entry point
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
3e05aa47a4
|
feat(optimizer): multiparameters optimization
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
361244abd0
|
feat(optimizer): symbolic variance constraints for multiparameters
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
104ec93881
|
feat(optimizer): symbolic variance for multi-parameter
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
38646b7559
|
feat(optimizer): dag partitionning based on p_cut
|
2023-04-14 15:01:18 +02:00 |
|
rudy
|
c6b5a6111b
|
feat(optimizer): display trait for op and dag
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
caaec449f5
|
fix(optimizer): Conversion between dag and circuit solution
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
142e0ed77e
|
feat(compiler): Integrate circuit solution optimization
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
953c202fe1
|
refactor(compiler): Propagate optimizer dag node identifier along the compilation pipeline
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
7d1c43bc47
|
feat(compiler/multi-parameters): Create a pass to apply the multi-parameter circuit solution of the optimize
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
f0ca5aa427
|
feat(optimizer): Add a dump function to the CircuitSolution for debugging
|
2023-04-14 15:01:18 +02:00 |
|
Quentin Bourgerie
|
53b68a215b
|
refactor(optimizer-cpp): Move CircuitSolution to a namespace en remove unecessary Box in optmize_multi
|
2023-04-14 15:01:18 +02:00 |
|