yuxizama
9e82a04ce2
docs(frontend): update survey link
2024-04-03 10:27:45 +02:00
Yuxi Zhao
4b29b386d8
docs(frontend): fix broken links
2024-04-03 10:27:45 +02:00
yuxizama
6a8a5f73b9
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
a3a35cf670
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
d2e3107964
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
feb24b7447
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
54650d36c4
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
b6a576a21c
docs(frontend): delete unused images
2024-04-03 10:27:45 +02:00
yuxizama
17e3723e85
docs(frontend): add dark image for dark mode, update links
2024-04-03 10:27:45 +02:00
yuxizama
01e08c8ba7
docs(frontend): adjust font size
2024-04-03 10:27:45 +02:00
yuxizama
55abc61dbd
docs(frontend): adjust font size
2024-04-03 10:27:45 +02:00
Yuxi Zhao
0a886c6382
docs(frontend): fix broken links
2024-04-03 10:27:45 +02:00
yuxizama
91e78a32de
docs(frontend): fix a typo
2024-04-03 10:27:45 +02:00
Yuxi Zhao
92981dc1b5
docs(frontend): change page options
2024-04-03 10:27:45 +02:00
yuxizama
700581dd0b
docs(frontend): adjust wording
2024-04-03 10:27:45 +02:00
yuxizama
0862cb29b1
docs(frontend): adjust designs
2024-04-03 10:27:45 +02:00
yuxizama
ce241a3d2a
docs(frontend): adjust line spacing
2024-04-03 10:27:45 +02:00
yuxizama
24258eb5ba
docs(frontend): add the developer survey
2024-04-03 10:27:45 +02:00
yuxizama
e85d65fa25
docs(frontend): upload new designs
2024-04-03 10:27:45 +02:00
rudy
9717ec583e
fix(frontend-python): round_bit_pattern, prevent exactness argument misuse
2024-04-02 13:51:55 +02:00
Umut
a98feed824
fix(frontend-python): keep negative values inside tlus as is instead of converting them to unsigned
2024-03-29 14:03:18 +03:00
Umut
29e131a6ef
fix(frontend-python): always increase the clear bit width by one to avoid sign extension issues
2024-03-26 17:20:31 +03:00
Bourgerie Quentin
406804609c
fix(compiler): Handle tensor.empty in the pass that lower tfhe to the simulatation code
2024-03-25 15:32:27 +01:00
Umut
79b72dbe4a
feat(frontend-python): relax bit-width assignment of clear values
2024-03-21 13:17:14 +03:00
Umut
2471b374a2
test(frontend-python): make sure tlu fusing is enabled by default
2024-03-21 13:17:14 +03:00
Umut
790d6ffa94
feat(compiler): remove p+1 requirement for clear values
2024-03-21 13:17:14 +03:00
Alexandre Péré
170002ff20
feat(frontend-python): add support for multi-circuits
2024-03-19 14:13:18 +01:00
Bourgerie Quentin
8132a8a14b
fix(ci): Download all artifacts to the wheels directory
2024-03-19 11:28:06 +01:00
dependabot[bot]
983631f6de
chore(ci): bump tj-actions/changed-files from 41 to 43
...
Bumps [tj-actions/changed-files](https://github.com/tj-actions/changed-files ) from 41 to 43.
- [Release notes](https://github.com/tj-actions/changed-files/releases )
- [Commits](https://github.com/tj-actions/changed-files/compare/v41...v43 )
---
updated-dependencies:
- dependency-name: tj-actions/changed-files
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com >
2024-03-19 09:41:21 +01:00
Umut
d13b283f98
feat(frontend-python): disable and print tlu fusing
2024-03-19 09:39:06 +01:00
Raphaël Lafargue
84382fa771
Docker and Pip were reversed; fixed
2024-03-19 09:13:22 +01:00
Antoniu Pop
312f505063
feat(ci): add distributed CI test run target
2024-03-18 13:39:03 +00:00
David Testé
c52893f465
chore(ci): add distributed cpu build and tests workflow
2024-03-18 13:39:03 +00:00
Yuxi Zhao
7f506c0c45
docs(frontend): fix designs
2024-03-18 10:50:58 +00:00
Umut
7eefc6c053
feat(frontend-python): tlu on original bit width
2024-03-15 12:39:57 +03:00
Bourgerie Quentin
9ce4ffa9aa
fix(ci): Separate build and test release
2024-03-15 09:39:38 +01:00
Andi Drebes
97292ed85f
test(compiler): Add tests for type inference on IR with scf.forall operations
2024-03-14 06:45:53 +01:00
Andi Drebes
d79c76a872
feat(compiler): Add support for tiling of linalg.generic operations
...
This adds support for the tiling of `linalg.generic` operations that
have only parallel iterators or only parallel iterators and a single
reduction dimension via the linalg tiling infrastructure (i.e.,
`mlir::linalg::tileToForallOpUsingTileSizes()` and
`mlir::linalg::tileReductionUsingForall()`).
This allows for the tiling of FHELinalg operations by first replacing
them with appropriate `linalg.generic` oeprations and then invoking
the tiling pass in the pipeline. In order for the tiling to take
place, tile sizes must be specified using the `tile-sizes` operation
attribute, either directly for `linalg.generic` operations or
indirectly for the FHELinalg operation, e.g.,
"FHELinalg.matmul_eint_int"(%a, %b) { "tile-sizes" = [0, 0, 7] } : ...
Tiling of operations with a reduction dimension is currently limited
to tiling of the reduction dimension, i.e., the tile sizes for the
parallel dimensions must be zero.
2024-03-14 06:45:53 +01:00
Andi Drebes
55a6041943
feat(compiler): Add support for tiled TFHE IR in TFHE parametrization pass
...
Add the required patterns for `tensor.empty` and `scf.forall` to the
TFHE circuit parametrization pass.
2024-03-14 06:32:19 +01:00
Andi Drebes
082cddb133
chore(compiler): Bump MLIR fork to commit including RegionBranchOpInterface for scf.forall
2024-03-14 06:32:19 +01:00
Andi Drebes
55d54a9c7f
feat(compiler): Add pass replacing linalg.fill with linalg.generic
2024-03-14 06:32:19 +01:00
Andi Drebes
f89947a580
feat(compiler): Add support for scf.forall and associated ops in TFHE key normalization pass
2024-03-14 06:32:19 +01:00
Andi Drebes
d10c1ca576
feat(compiler): Add support for scf.forall and associated ops in FHE to TFHE passes
2024-03-14 06:32:19 +01:00
Andi Drebes
2cd06580ee
feat(compiler): Add support for scf.forall and associated ops in TFHE parametrization
2024-03-14 06:32:19 +01:00
Andi Drebes
63e53ff200
feat(compiler): Add support for scf.forall and associated ops in TFHE to Concrete pass
2024-03-14 06:32:19 +01:00
Andi Drebes
64eaeb068e
feat(compiler): Add reinstantiating rewrite patterns for scf.forall and scf.forall.in_parallel
2024-03-14 06:32:19 +01:00
Andi Drebes
ff20f88c44
feat(compiler): Run SCFForallToSCFFor pass before lowering to LLVM dialect
...
This adds an invocation of the `SCFForallToSCFFor` pass to the
compilation pipeline before lowering to the LLVM dialect as a
sequential fallback path to future passes exploiting the parallelism
of `scf.forall` further up in the pipeline.
2024-03-14 06:32:19 +01:00
Andi Drebes
5a7bf5aed2
feat(compiler): Add pass converting scf.forall loops to nested scf.for operations
...
This adds a new pass that converts `scf.forall` loops into nested
`scf.for` operations. The conversion carries parallel output tensors
from the original loop as dependencies through the loop nest and
replaces any occurrence of `tensor.parallel_insert_slice` operations
in the `scf.forall.in_parallel` terminator with equivalent
`tensor.insert_slice` operations.
2024-03-14 06:32:19 +01:00
Andi Drebes
7a295f89bd
feat(compiler): Make trip counts and memory usage optional in statistics passes
...
This makes the trip counts of operations in the TFHE statistics pass
as well as the per-location memory usage statistics in the memory
usage statistics pass optional. These values are unset if the trip
count could not be determined statically.
2024-03-14 06:32:19 +01:00
Andi Drebes
e6e5db6f51
refactor(compiler): Use common static loop analysis in TFHE / memory statistics
2024-03-14 06:32:19 +01:00
