Bourgerie Quentin
760df4343d
chore(ci): Test default configuration on python CI tests
2024-03-08 18:01:13 +01:00
Andi Drebes
282cacaef4
fix(compiler): Do not omit assignment of optimizer ID to FHE.reinterpret_precision
...
The DAG pass establishing a mapping between operations in the IR and
the optimizer DAG currently omits assignment of the optimizer ID to
`FHE.reinterpret_precision` operations via the `TFHE.OId`
attribute. This prevents subsequent passes from determining to which
optimizer partition a `FHE.reinterpret_precision` operation belongs.
This commit removes the early exit in `FunctionToDag::addOperation`
for the handling of `FHE.reinterpret_precision` that prevented the
code assigning the optimizer ID from being executed.
2024-03-06 14:50:27 +01:00
rudy
d3e70c483f
chore(frontend-python): use compression for tests to solve the missing space issue
2024-03-06 14:43:40 +01:00
Bourgerie Quentin
7651cb1129
fix(compiler): Guard decompression of seeded keys to avoid access conflicts in parallel programs
2024-03-06 14:43:40 +01:00
Umut
760e5ef02a
feat(frontend-python): support additional pre and post processors instead of just post processors
2024-03-06 12:27:08 +01:00
Umut
bf548b0738
feat(frontend-python): expose integer dtype from the main module
2024-03-06 12:27:08 +01:00
Benoit Chevallier-Mames
089b5e8d6c
docs(compiler): reorganize the doc
2024-03-04 17:48:16 +01:00
Benoit Chevallier-Mames
68cada3963
docs(frontend): add a tutorial about XOR distance
2024-03-04 16:14:14 +01:00
rudy
05bd8cc5f2
feat(frontend-python): approximate mode for round_bit_pattern
2024-03-01 16:04:11 +01:00
Alexandre Péré
9b5a2e46da
feat(compiler): support multi-circuit compilation
2024-03-01 15:35:52 +01:00
Umut
3247a28d9d
feat(frontend-python): additional graph processors
2024-02-26 19:09:13 +03:00
Antoniu Pop
bda568ab6b
feat(compiler): distributed execution - on-demand key transfer to remote nodes.
2024-02-23 13:55:52 +00:00
Antoniu Pop
e67aa9b499
feat(compiler): upgrade HPX library version to 1.9.1.
2024-02-23 11:47:37 +00:00
Antoniu Pop
da1f30023f
feat(compiler): upgrade HPX library version to 1.9.1.
2024-02-23 10:31:18 +00:00
rudy
2f7d3ff2cc
chore(frontend-python): private release tests
2024-02-21 17:11:15 +01:00
rudy
1a4de9beae
fix(frontend-python): declare graphviz pytest mark
2024-02-21 17:08:58 +01:00
rudy
da2134337e
fix(frontend-python): package test should not install graphviz on macos
2024-02-21 17:08:58 +01:00
rudy
de0af6638c
fix(frontend-python): package test should install extra requires on linux
2024-02-21 14:07:47 +01:00
rudy
e1d7be02c6
fix(frontend-python): macos os tests without graphviz
2024-02-20 17:23:58 +01:00
Umut
29503dfc17
feat(compiler): fusing table lookups
2024-02-20 12:39:57 +01:00
Umut
efc9314d25
fix(frontend-python): stop crashing on scalar squeeze
2024-02-20 12:37:48 +01:00
Umut
565e6f2796
feat(frontend-python): identity extension
2024-02-20 12:37:48 +01:00
Bourgerie Quentin
22bbdec086
fix(ci/compiler): Remove KeySetCache directory on mac os CI to avoid space disk issues
2024-02-20 09:17:13 +01:00
Alexandre Péré
c53985f112
fix(compiler): fix double free on aliased outputs
2024-02-19 16:14:12 +01:00
rudy
b324ca8391
fix(frontend-python): bitwise tests coverage
2024-02-16 13:47:38 +01:00
rudy
9fdb959beb
fix(frontend-python): failure to display invalid input set value
2024-02-15 17:13:05 +01:00
yuxizama
34628ec6c5
docs(common): Update Readme.md structure
2024-02-14 15:31:10 +01:00
Alexandre Péré
d1b62462f2
fix(compiler): fix mac arm exception propagation
...
On Mac arm, the c api backing the python bindings does not propagate the
exceptions properly to the concretelang python module. This makes all
exceptions raised through `CompilerEngine.cpp` fall in the catch-all
case of the pybind exceptions handler.
Since there is no particular need for a public c api, we just remove it
from the bindings, and move all the content of `CompilerEngine.cpp`
directly in the `CompilerAPIModule.cpp` file.
2024-02-14 15:08:19 +01:00
Bourgerie Quentin
a654e68eab
chore(ci): Update cuda version
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
712924a297
test(frontend-python): Temporary skip test_minimum_maximum on multi parameter optimization waiting parametrization fixes
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
1545779e6a
chore(ci): Cleanup main jobs dispatch
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
bdc1151356
chore(compiler): Update dockers base image
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
ebea2e3cae
chore(ci): Reduce number of compiler test for macos
2024-02-13 17:02:46 +01:00
rudy
0376a175a9
fix(frontend-python): test_min_max, extend marking xfail
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
dd62426320
chore(ci): Cleanup host tmp dir even if tests fails
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
aa5d7edfbc
chore(ci): Fix package name for testing wheel
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
f9e3cb0735
chore(ci): Fix tag filtering
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
5687bce9e3
chore(frontend-python): Fix hack for multiple omp library in macos tests
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
3b94f3b84e
chore(compiler): Fixing docker build issue by cleaning dnf and set the right rust nighlty version
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
7c3e4388aa
chore(ci): Use a stable version of the nightly rust toolchain for concrete-cpu build
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
b29aa78a1f
chore(optimizer): Remove nightly check as it randomy fail because of the unstable version
2024-02-13 17:02:46 +01:00
Bourgerie Quentin
5b3ab5f4b3
chore(ci): Trigger main jobs on push on release branches
2024-02-13 17:02:46 +01:00
rudy
86e88443fc
feat(optimizer): accept high precision weight
2024-02-08 17:53:23 +01:00
rudy
c5692397b4
chore(frontend-python): converter, getattr call with default
2024-02-06 15:11:20 +01:00
Umut
965f5d2780
chore(ci): run apt update before apt install during python release
2024-02-06 08:59:37 +01:00
Andi Drebes
972eb962ee
test(compiler): Add check tests for type inference
...
Add various check tests for type inference testing forward and
backward propagation, including propagation into nested regions.
2024-02-01 16:18:45 +01:00
Andi Drebes
21a7eead6c
refactor(compiler): Re-implement TFHE multi-parameter parametrization with type inference
...
The current pass applying the parameters determined by the optimizer
to the IR propagates the parametrized TFHE types to operations not
directly tagged with an optimizer ID only under certain conditions. In
particular, it does not always properly propagate types into nested
regions (e.g., of `scf.for` loops).
This burdens preceding transformations that are applied in between the
invocation of the optimizer and the parametrization pass with
data-flow analysis and book-keeping in order to tag newly inserted
operations with the right optimizer IDs that ensure proper
parametrization.
This commit replaces the current parametrization pass with a new pass
that propagates parametrized TFHE types up and down def-use chains
using type inference and a proper rewriter. The pass is limited to the
operations supported by `TFHEParametrizationTypeResolver::resolve`.
2024-02-01 16:18:45 +01:00
Andi Drebes
775171c69d
fix(compiler): Run canonicalizer after TFHE circuit parametrization
...
In order to avoid leftover TFHE operations to be lowered further down
the pipeline after parametrization, run the canonicalizer, which
includes dead code eliminiation.
2024-02-01 16:18:45 +01:00
Andi Drebes
bc171dde82
test(compiler): Run canonicalizer in TFHE parametrization tests
2024-02-01 16:18:45 +01:00
Andi Drebes
79d8337026
feat(compiler): Add support for batched keyswitch ops in TFHE key normalization
2024-02-01 16:18:45 +01:00
