github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-04-17 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity
3,288 Commits 185 Branches 425 Tags
fix/composition
Commit Graph

86 Commits

Author SHA1 Message Date
Alexandre Péré
5cf2c6f793 chore(optimizer): fix new nightly lints 2024-01-16 16:21:59 +01:00
Alexandre Péré
a724f706af fix(optimizer): enhance error reported on non-composability 2024-01-16 16:21:59 +01:00
Alexandre Péré
39720b0ddb chore(optimizer): add dot partitioning visualization 2024-01-16 09:43:45 +01:00
Alexandre Péré
21fd69e18d fix(optimizer): add test for composition with 3 partitions 2024-01-15 16:04:49 +01:00
Alexandre Péré
2025747654 fix(optimizer): allow composability of input only circuits 2024-01-15 16:04:15 +01:00
rudy
cd390b02dc fix(optimizer): do not mix lsb and tlu-0bits from round 2024-01-15 14:42:25 +01:00
rudy
cb0679fc03 fix(optimizer): multi-parameters, tolerate overspecified partition_cut 2024-01-08 20:32:27 +01:00
rudy
c298408f26 feat(optimizer): multi-parameters, partitionning using norm2 2024-01-08 20:32:27 +01:00
rudy
b2f382f63a feat(optimizer): multi-parameters, do not bottleneck on the default partition 2024-01-08 20:32:27 +01:00
rudy
0f819d864c fix(optimizer): accept composable for v0-no-dag and woppbs 2024-01-08 09:30:20 +01:00
Bourgerie Quentin
15835719b9 fix(compiler/optimizer): Returns error for optimization strategy that doesn't support composition 2024-01-04 15:00:25 +01:00
Bourgerie Quentin
f3ec1976ef fix(compiler/optimizer): Returns NotComposable error if not lookup table in dag 2024-01-04 15:00:25 +01:00
Alexandre Péré
60da713312 feat(optimizer): adds support for function composition 2024-01-04 15:00:25 +01:00
dependabot[bot]
1d0800012a chore(compiler): deps, bump rustix in /compilers/concrete-optimizer 
Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.37.21 to 0.37.27.
- [Release notes](https://github.com/bytecodealliance/rustix/releases)
- [Commits](https://github.com/bytecodealliance/rustix/compare/v0.37.21...v0.37.27)

---
updated-dependencies:
- dependency-name: rustix
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
 2023-12-29 11:39:52 +01:00
Bourgerie Quentin
1d5ea66bec fix(optimizer): Fixing nighlty check 2023-12-22 15:51:02 +01:00
rudy
34ffd6f97a feat(compiler): new ops, reinterpret_precision and lsb 2023-12-04 10:20:06 +01:00
rudy
08dcf993e4 feat(optimizer): export unsafe_cast to cpp 2023-12-04 10:20:06 +01:00
Alexandre Péré
211dcd0ad7 fix(backend-cpu): fix rust lint error 
See https://github.com/zama-ai/concrete/actions/runs/6690310177/job/18175401058#step:9:94
 2023-11-03 12:04:16 +01:00
rudy
c67da66d86 feat(optimizer): multi-parameters, variance and cost value and coefficient compression 2023-10-31 14:00:27 +01:00
youben11
76b72b7feb fix(optimizer): avoid asserting on manp >= 1 
zero tensor ops now use a MANP of 0
 2023-10-03 16:17:27 +01:00
rudy
c84372ec1f feat(optimizer): multi-parameters, direct variance and cost operation bound 2023-09-26 15:01:10 +02:00
rudy
7e6ce03b09 fix(optimizer): multi-parameters, DEBUG, display reason for lower bound 2023-09-26 15:00:29 +02:00
rudy
d64c9b0f25 fix(optimizer): multi-parameters, shorter_dump for the compiler --display-optimizer-choice 2023-09-25 15:55:22 +02:00
rudy
3cd26192bc fix(optimizer): incorrect broadcast shape 2023-09-25 15:53:19 +02:00
rudy
1c0a70f911 fix(compiler): conversion to optimizer dag, bad dot before signed lut 
this has no effect apart making the shape incorrect
 2023-09-25 15:53:19 +02:00
rudy
90e62f551b feat(optimizer): multi-params, key sharing 2023-09-19 12:13:25 +02:00
rudy
dc0a3d8a2e feat(optimizer): levelled circuit, no power of two constraint 2023-09-08 14:26:32 +02:00
rudy
7782f4e967 fix(optimizer): woppbs, cost model, cmux tree size x2 2023-08-28 14:47:54 +02:00
rudy
2c348f6a3d chore(optimizer): update for nightly rust 2023-08-02 14:14:58 +02:00
rudy
8ff9158424 fix(optimizer): multi-parameters, levelled only circuit 2023-08-01 17:01:30 +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
Bourgerie Quentin
1b0106302b fix(optimizer/backend-cpu): Fix Cargo.lock to avoid flaky dependencies 2023-06-30 16:08:43 +02:00
Bourgerie Quentin
29f1ce753b fix(optimizer): new version of generated files 
This reverts commit 9b345e51ed.
 2023-06-27 11:06:32 +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
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
Mayeul@Zama
e360e938c9 feat(optimizer): add table u32, u128 2023-06-15 10:48:07 +02:00
Mayeul@Zama
2e94c21970 chore(optimizer): fix formatting 2023-06-15 10:48:07 +02:00
Mayeul@Zama
97b13e871c feat(optimizer): introduce fft precision 2023-06-15 10:48:07 +02:00
Mayeul@Zama
5659195dbc feat(optimizer): accept any ciphertext_modulus_log 2023-06-15 10:48:07 +02: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
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