youben11
f6599a91c6
refactor(compiler): add func to populate RTOps type conversion
2023-07-31 16:57:53 +01:00
Andi Drebes
66d9c6eee4
fix(compiler): Do not print type mnenomic in custom printers for RT types
...
Printing the mnenomic in the custom printers for RT types leads to a
repetition, since the mnenomic is already printed by the
infrastructure invoking the custom printer (e.g., instead of
RT.future<...>, the printed type is `RT.futurefuture<...>`).
This commit removes the mnenomics from the custom printers and thus
causes them to emit the correct textual representation of types.
2023-07-31 14:09:33 +02:00
rudy
019d10e0bf
fix(compiler): main, detection for v0 + global p_error
2023-07-31 12:24:57 +02:00
Benoit Chevallier-Mames
fa55dd065a
test(frontend): add a script to launch tests with CML
...
- clone CML
- replace CP by a chosen one (either a X.Y.Z or the last weekly or the CP which corresponds to the current Concrete branch)
- install
- launch their test
refs #430
2023-07-27 16:49:32 +02:00
youben11
bea973e895
feat(frontend): add options to enable verbose/debug mode of the compiler
2023-07-26 18:22:20 +01:00
youben11
761bc5f62d
feat(compiler/python): support enabling verbose/debug
2023-07-26 18:22:20 +01:00
Pedro Alves
b91a736cd6
fix(backend-gpu): minor fixes to the rust API
2023-07-26 10:43:43 -03:00
Umut
79b38a72ec
feat(compiler): provide circuit statistics
2023-07-26 11:08:15 +02:00
Umut
5936ff5dbe
feat(frontend-python): extract statistics from simulation backend if it's available
2023-07-26 11:08:15 +02:00
Umut
d1b004c87d
fix(compiler): move simulation before batching
2023-07-26 11:08:15 +02:00
Umut
e49c16873c
refactor(frontend-python): use @fhe.compiler instead of importing it and doing @compiler
2023-07-26 11:08:15 +02:00
rudy
885d25424d
fix(compiler): revert Workaround fallback to Strategy::V0 when solving with Strategy::DAG_MONO
...
This reverts commit caee0bae66
2023-07-24 18:07:59 +02:00
youben11
545bda979d
fix(compiler): use dyn sized tensors in CAPI func definitions
2023-07-21 16:53:32 +01:00
youben11
7e138bf278
feat(frontend): compile using in-memory module
2023-07-21 14:14:55 +01:00
youben11
022b1879a1
feat(compiler): support compiling in-memory module
2023-07-21 14:14:55 +01:00
Ayoub Benaissa
67ca4e10b9
fix(compiler): add conversion of tensor.from_elements in simulation
2023-07-21 09:23:31 +01:00
Antoniu Pop
5082cea110
fix(compiler): disable dataflow parallelization when the optimiser strategy is dag-multi. Currently the two don't work well together because dataflow task outlining obfuscates the code early on in the compilation pipeline.
2023-07-20 14:39:28 +01:00
Umut
4aa4f82f97
feat(frontend-python): add location to MLIR
2023-07-20 07:28:24 +01:00
Umut
9c4dc343f0
feat(frontend-python): add version to fhe module
2023-07-19 11:50:42 +02:00
aquint-zama
b9a747cceb
chore(common): update UPGRADING notes
2023-07-17 10:39:00 +02:00
aquint-zama
900d25c952
docs(compiler): fix dialect links
2023-07-13 14:53:25 +02:00
aquint-zama
b0b74ee81f
chore(compiler): doc edit
2023-07-13 14:33:54 +02:00
aquint-zama
654f0de81f
chore(common): rearrange docs structure
2023-07-13 14:33:54 +02:00
aquint-zama
502fcfdbe6
chore(compiler): fix typos
2023-07-13 14:33:54 +02:00
Ben
96ae2df13e
docs(common): documentation edits
2023-07-13 14:33:54 +02:00
rudy
9b24e8d974
docs(optimizer): add high level doc
2023-07-13 14:33:54 +02:00
Ben
f6dc891792
chore(tools): add documentation for security curves
2023-07-13 14:33:54 +02:00
aquint-zama
649c9ddce7
chore(common): update docs structure
2023-07-13 14:33:54 +02:00
Mayeul@Zama
18b9e0d246
docs(backend): add introduction
2023-07-13 14:33:54 +02:00
Mayeul@Zama
348403d25a
docs(backend): add adding_new_backend.md
2023-07-13 14:33:54 +02:00
Bourgerie Quentin
8782a28694
docs(common): add project layout for developers
2023-07-13 14:33:54 +02:00
aquint-zama
25754a656a
docs(common): add FHE dialects autogenerated docs
2023-07-13 14:33:54 +02:00
aquint-zama
88bee38643
chore(common): let Gitbook handle newlines
2023-07-13 14:33:54 +02:00
aquint-zama
9928c0dbd9
docs(compiler): Generate dialect docs for the Tracing Dialect
2023-07-13 14:33:54 +02:00
aquint-zama
60817835db
chore(compiler): typos
2023-07-13 14:33:54 +02:00
Umut
4e03632a11
docs(frontend-python): add bit width assignment and parameter selection sections
2023-07-13 14:33:54 +02:00
Umut
de8efe0a4c
docs(frontend-python): add missing escape characters in how to configure section
2023-07-13 14:33:54 +02:00
youben11
2f8d877de8
docs(compiler): calling from other lang (rust)
2023-07-13 14:33:54 +02:00
youben11
d2e6cf28bc
docs(compiler): update compilation docs
2023-07-13 14:33:54 +02:00
aquint-zama
69e6776f20
docs(common): add fhe introduction
2023-07-13 14:33:54 +02:00
Umut
8968f29052
docs(frontend-python): add progressbar section
2023-07-13 14:33:54 +02:00
Umut
c3f2b71833
docs(frontend-python): re-write rounding section
2023-07-13 14:33:54 +02:00
Umut
f1ae7a1233
docs(frontend-python): move sha256 tutorial to application tutorials
2023-07-13 14:33:54 +02:00
Umut
5e4cf34598
docs(frontend-python): move kvdb tutorial to application tutorials
2023-07-13 14:33:54 +02:00
Andi Drebes
efec081673
docs(compiler): Add documentation for FHE-related dialects
2023-07-13 14:33:54 +02:00
Andi Drebes
cc6f86957c
docs(compiler): Generate dialect docs for the RT Dialect
2023-07-13 14:33:54 +02:00
aquint-zama
407a3b2cde
docs(common): add table of content proposal
2023-07-13 14:33:54 +02:00
Bourgerie Quentin
ec8cb214fa
docs: Update tags to v2.0.0 in documentation
2023-07-13 09:34:03 +02:00
Bourgerie Quentin
c36c3728f9
chore(ci): Enable CI test on release branch
2023-07-13 09:34:03 +02:00
rudy
65d4a62cfd
fix(optimizer): cargo +nightly clippy
2023-07-12 10:28:12 +02:00
