Leonardo Neumann
c29ae73710
chore(ci): fix GPU shell script shebangs
2024-05-07 10:24:16 +02:00
Arthur Meyre
26747828eb
chore(ci): add a cpu count script to avoid crashing on macOS on make -j
2024-04-09 13:27:19 +02:00
tmontaigu
2c106e8f01
feat(tfhe): plug zk-pok into all layers
2024-04-09 07:59:20 +02:00
Mayeul@Zama
1647634c8e
fix(script): fix formatting
2024-03-15 09:26:53 +01:00
Arthur Meyre
f9669c3294
chore(ci): update scripts and Makefile for future forward compatibility
2024-01-31 16:24:39 +01:00
Arthur Meyre
303cac2092
chore(ci): re-enable release profile for doctest
...
- following merge of 17.0.4 in rust stable the bug uncovered by lto on
aarch64 has been fixed https://github.com/rust-lang/rust/issues/116941 so
we remove the hard coded override
2023-12-01 12:34:26 +01:00
Arthur Meyre
ee57f5658b
chore(ci): refactor integer script and skip div and rem preferring div_rem
2023-11-17 15:00:50 +01:00
Arthur Meyre
eace0bfb85
chore(ci): spread tests between two CI machines/workflow for faster runtime
2023-11-16 14:18:30 +01:00
Arthur Meyre
87421e8307
chore(ci): update M1 workflow to not explode the 6h GitHub limit
...
- run doc tests for CI with LTO off following M1 investigation
- LTO fat may be a cause of the wopbs flaky tests, disabling to check
2023-10-19 14:18:05 +02:00
Arthur Meyre
41c20e22f5
chore(ci): enable AVX512 for integer and multi bit integer tests
2023-10-17 10:28:14 +02:00
tmontaigu
a35386f740
chore(ci): remove ability for tests to be retried
2023-08-24 20:38:07 +02:00
Arthur Meyre
3cfee104cb
chore(ci): forward profile to shortint and integer test scripts
2023-07-10 09:34:10 +02:00
Arthur Meyre
5bea1e0bc0
chore(ci): fix fast tests launching too many multi bit parameters
2023-06-28 19:14:20 +02:00
Arthur Meyre
c0b82c77fb
chore(shortint): plug cpk tests in scripts
2023-06-28 19:14:20 +02:00
Arthur Meyre
b09dc1f3ca
chore(tfhe): rename params
2023-06-28 19:14:20 +02:00
Arthur Meyre
8100b2d0de
chore(ci): skip super slow integer tests in CI
2023-06-19 09:25:29 +02:00
David Testé
18ed2e29a1
chore(ci): create fast feedback unit test profile
...
This is done to get quick feedback to developpers in a Pull Request.
It tests shorint level with only three sets of parameters. Integer
level is tested with only the default operations with two sets of
parameters.
This profile will be automatically triggered on each push in a
pull request. Conversely the full suite of test will also be
triggered automatically but once the review is approved.
2023-06-12 15:19:56 +02:00
Arthur Meyre
d1cb55ba24
chore(tfhe): add multi bit shortint and integer tests
...
- default tests do not run multi bit PBS as it's not yet deterministic
- only radix parallel currently use multi bit pbs in integer
- remove determinism checks for some unchecked ops
- 4_4 multi bit parameters are disabled for now as they seem to introduce
too much noise
2023-06-02 16:00:28 +02:00
tmontaigu
c20ca07cd3
chore(ci): reduce number of test-threads
...
Reduce number of test-threads being spawned
to reduce propability if tests getting killed due
to out of memory
2023-05-17 15:58:27 +02:00
Arthur Meyre
6268752ac9
fix(integer): fix radix wopbs table size issue
2023-04-13 11:03:33 +02:00
Arthur Meyre
e954247f1b
chore(ci): CI at the speed of ligth
...
- use a 128 vcpu instance
- update script to have a no compromise test run
- update Makefile to be able to run the "no compromise" CI mode
2023-03-20 11:24:37 +01:00
Arthur Meyre
14da0ca001
feat(integer): add concrete-integer as integer module
2023-03-07 10:08:53 +01:00
