Umut
7872bc5430
fix(frontend-python): generate correct MLIR for signed integer rounding to 1-bit
2023-12-29 12:42:29 +03:00
Umut
ee5be3af43
feat(frontend-python): keys are generated property
2023-12-29 10:19:06 +03:00
Umut
1edd341fb0
feat(frontend-python): printing assignment
2023-12-29 10:19:06 +03:00
Umut
b8db12ae53
feat(frontend-python): bit extraction
2023-12-26 14:31:23 +03:00
Umut
ee7a321408
chore(frontend-python): move lsb method to correct place to preserve method ordering
2023-12-26 14:31:23 +03:00
Bourgerie Quentin
18e4673f11
chore(frontend-python/ci): Cleanup host after testing
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
e69a9ca520
fix(compiler/tests): bad options in end-to-end-test in macos
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
b2e918156c
chore(ci): Fix keyset cache path for concrete python tests
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
a812984636
chore(backend/cuda): Removing concrete cuda workflow (since new development will be in another repo)
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
1d5ea66bec
fix(optimizer): Fixing nighlty check
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
98274e012e
test(backend-cpu): Remove useless zip tests
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
e664aaafcb
fix(backend-gpu): Fixing cuda code for tfhe-rs keysitch key layout
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
fc10062b4b
test(compiler): Add --input-compression to the end-to-end-test
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
4d1d7bde7d
test(compiler): Add --simulation options to end-to-end-test tool
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
c67fac4082
feat(compiler): Introduce input compression and use tfhe-rs as backend
...
- added --compress-input compiler option which forces the use of seeded
bootstrap keys and keyswitch keys
- replaced the concrete-cpu FHE implementation with tfhe-rs
Co-authored-by: Nikita Frolov <nf@mkmks.org >
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
0379f3676c
fix(compiler/tests): Recreate the entire testCicuit when retrying a test as the keyset is also used by the clientProgram
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
4a8356c18d
feat(compiler/tests): Add optimizer-key-sharing option to the end-to-end tests tool
2023-12-22 15:51:02 +01:00
Bourgerie Quentin
8ecea9d625
fix(compiler/tests): Print values when a test fail
2023-12-22 15:51:02 +01:00
Benoit Chevallier-Mames
a6a7e886fd
docs(compiler): update the readme
...
- make it more coherent with the Concrete ML readme
- remove the warning about the old library which was called Concrete
2023-12-21 16:10:17 +01:00
Umut
5fa62d3424
feat(frontend-python): fancy indexing
2023-12-21 15:51:39 +03:00
Alexandre Péré
e82a8f6ddb
chore(compiler): fix broken retry for flaky tests
2023-12-18 15:54:25 +01:00
Umut
b9806e48f6
fix(frontend-python): use more strict inputset to fix a flanky test
2023-12-18 14:03:50 +01:00
Bourgerie Quentin
ddd85c4aeb
chore(ci): Change instance for benchmarks
2023-12-15 11:00:45 +01:00
Bourgerie Quentin
39e27d3766
chore(compiler/bench): Remove useless bench
2023-12-15 11:00:45 +01:00
Bourgerie Quentin
95ddf4b65e
fix(ci): Remove keyset cache for e2e benchmark
2023-12-15 11:00:45 +01:00
Bourgerie Quentin
23c721996a
refactor(compiler/tests): Refactor internal test utils
2023-12-15 11:00:45 +01:00
Alexandre Péré
bfcab026a6
chore(compiler): fix capnp build step requiring network
2023-12-12 09:59:17 +01:00
Umut
54d792c7bf
feat(frontend-python): add truncate bit pattern extension
2023-12-05 14:20:54 +01:00
Umut
07d6293ca8
fix(frontend-python): assigning signed values to unsigned tensors
2023-12-04 13:37:26 +01:00
rudy
687502d4e2
feat(compiler): tests showing ReLU scenario
2023-12-04 10:20:06 +01:00
rudy
ae2eec1b18
chore(compiler): use same bit extract in round as lsb
2023-12-04 10:20:06 +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
Vasily Sidorov
e3a5428d21
chore(frontend-python): typo in fhe_basics.md
2023-12-01 18:04:26 +01:00
rudy
f0027ff3b6
chore(ci): Update m6i to m7i
2023-12-01 15:30:39 +01:00
Umut
d87776cdc9
feat(frontend-python): make it possible to query maximum bit-width of a graph after bit-width assignment
2023-11-30 18:34:32 +03:00
Umut
c040b665cf
fix(compiler): print parameters correctly in the bindings
2023-11-29 13:20:48 +03:00
Umut
ece4f2e216
fix(frontend-python): hint correct node when it's used after assignment
2023-11-29 09:46:02 +03:00
Umut
bb30881acb
fix(frontend/python): introduce optimization goal to z3 to remove arbitrarily high bit-widths sometimes
2023-11-27 10:16:44 +03:00
Umut
b25d794815
fix(frontend/python): copy node inputs to have correct bounds on nodes
2023-11-27 10:16:44 +03:00
Umut
62982815d0
feat(frontend/python): process graph in place before MLIR conversion for being able to see the assigned bit-widths afterward
2023-11-27 10:16:44 +03:00
Umut
5422e0c272
test(frontend/python): use hinting instead of multiple outputs to test semi-optimized min/max
2023-11-23 09:32:19 +01:00
youben11
a4db568170
fix(compiler): add missing args in woppbs simulation
2023-11-22 13:49:30 +01:00
Samuel Tap
fb0c6d4d85
fix(compiler): simulation, noise in woppbs
2023-11-22 13:49:30 +01:00
Umut
bac468a968
refactor(frontend/python): improve basic implementation of game of life example
2023-11-20 10:35:55 +03:00
Bourgerie Quentin
588075ddc8
test(compiler): Add retry for fixing some flaky tests
2023-11-16 12:48:58 +01:00
Umut
835d062e12
chore(frontend-python): don't require coverage for highlighting result
2023-11-16 14:04:54 +03:00
Umut
743ecfb4de
feat(frontend-python): support fully encrypted np.minimum and np.maximum
2023-11-16 14:04:54 +03:00
Umut
62923d27f9
chore(frontend-python): fix pylint issues
2023-11-16 14:04:54 +03:00
Andi Drebes
ed8d1f3857
fix(compiler): Force linking of libomp with libstdc++ in debug builds
...
Debug builds preserve assertions in libomp, which are implemented
using code form libstdc++. However, the build rules for libomp
explicitly prevent the library from being linked with libstdc++ by
default, resulting in a linker error for debug builds.
This patch sets the option `LIBOMP_USE_STDCPPLIB` for libomp to `ON`
for debug builds in order to force linking with libstdc++.
2023-11-16 11:09:52 +01:00
