Miles
5d68424531
fix typos
2024-04-11 14:50:16 +02:00
rudy
15b22918df
fix(optimizer): bad variance on zero noise input on levelled op
2024-04-03 14:34:46 +02:00
Alexandre Péré
9b5a2e46da
feat(compiler): support multi-circuit compilation
2024-03-01 15:35:52 +01:00
rudy
86e88443fc
feat(optimizer): accept high precision weight
2024-02-08 17:53:23 +01:00
Alexandre Péré
a02bf3bae9
fix(optimizer): compiler output forwarding
...
In the optimizer, nodes without consumers are identified as outputs.
Since we can now return multiple values, this is inherently buggy,
since a value can then be both returned, and consumed to create another
input.
This commit fixes this by allowing the compiler to tag nodes as being
outputs.
2024-01-26 17:15:03 +01:00
Alexandre Péré
4df041c399
chore(optimizer): fix new nightly lints
2024-01-18 14:03:35 +01:00
Alexandre Péré
75d33d4f94
fix(optimizer): enhance error reported on non-composability
2024-01-18 14:03:35 +01:00
Alexandre Péré
2746bda27e
chore(optimizer): add dot partitioning visualization
2024-01-18 14:03:35 +01:00
Alexandre Péré
52427d129b
fix(optimizer): add test for composition with 3 partitions
2024-01-18 14:03:35 +01:00
Alexandre Péré
939ae72292
fix(optimizer): allow composability of input only circuits
2024-01-18 14:03:35 +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
