Nicolas Sarlin
34743ea304
fix(backward): badly generated backward data
2025-08-28 17:54:59 +02:00
Nicolas Sarlin
677da3855e
chore(ci): update dylint
2025-08-28 08:41:48 +02:00
Nicolas Sarlin
fa48444611
chore(ci): update toolchain to nightly-2025-08-26
2025-08-28 08:41:48 +02:00
tmontaigu
d389ea67a1
refactor!: Use NonZero<T> in DataKind
...
Change the type used to store a block count in
DataKind to NonZero. This makes it impossible to store
'empty' kinds such as DataKind::Unsigned(0), DataKind::Signed(0).
Also, when deserializing, if the count is zero and error will be
returned, adding an additional layer of sanitization.
2025-08-21 16:18:28 +02:00
Nicolas Sarlin
afd628c7b9
doc(backward): explain how to pull backward compat data
2025-08-14 11:56:16 +02:00
Mayeul@Zama
4909a8ef0e
chore(backward): add data for multibit noise squashing
2025-08-14 11:56:16 +02:00
Mayeul@Zama
c8a9105953
chore(backward): add multi bit support
2025-08-14 11:56:16 +02:00
Nicolas Sarlin
0aaadf04d9
chore(versionable): bump version to 0.6.1
2025-08-11 16:49:27 +02:00
Nicolas Sarlin
54c6b9e50a
feat(versionable): impl Versionize for Btree{Map, Set}
2025-08-11 13:47:27 +02:00
Arthur Meyre
a63207af9e
chore(ci): add MSRV build to check we are compliant with what we announce
...
- have to downgrade param_dedup edition as 1.84 cannot handle 2024 in a
workspace
2025-08-08 18:06:29 +02:00
Nicolas Sarlin
57cbab9fe1
chore(backward): integrate backward compat data
...
Code is taken from
59a6179831
2025-07-07 13:10:55 +02:00
David Testé
a96970e8c3
chore: update clap dependency version to 4.5.30
2025-05-13 10:35:51 +02:00
Arthur Meyre
d05ee42629
chore: add param_dedup to alias redundant parameter defs across versions
2025-05-08 09:30:36 +02:00
David Testé
dc67ca721d
chore: update toolchain to 2025-04-28
2025-04-29 17:36:08 +02:00
Nicolas Sarlin
0a279711d8
chore: update toolchain to 2025-04-16
2025-04-16 14:08:48 +02:00
Nicolas Sarlin
a47ebe93aa
chore(versionable): bump version to 0.6.0
2025-04-07 09:48:38 +02:00
Nicolas Sarlin
5f9ac48dbe
feat(versionable): add skip attribute to skip field versioning
2025-04-07 09:48:38 +02:00
Nicolas Sarlin
1f2e1537fa
chore(ci): update tfhe-lints for newer compiler version
2025-03-06 09:48:18 +01:00
Arthur Meyre
52a1191474
chore(ci): force installation of toolchain for tfhe-lints
...
- also update toolchain.txt to match the tfhe-lint toolchain
2025-03-06 09:48:18 +01:00
Arthur Meyre
f0238bab16
chore: bump tfhe-versionable to 0.5.0
2025-02-18 13:19:28 +01:00
Nicolas Sarlin
f66805eeb1
fix(versionable): Handle generics in NotVersioned
2025-01-21 09:41:01 +01:00
Mayeul@Zama
72095144dc
chore: fix new lints
2025-01-15 15:16:15 +01:00
Nicolas Sarlin
9a64c34989
chore(lint): use dylint as lint driver for tfhe-lint
2025-01-14 18:30:04 +01:00
Nicolas Sarlin
17c714f153
chore(versionable): bump to 0.4.0
2025-01-07 15:36:49 +01:00
Nicolas Sarlin
ef684649f9
chore(backward): move allow(dead_code) to dispatch variants
...
This allows to detect unused dispatch enums
2024-12-16 16:00:15 +01:00
Nicolas Sarlin
c2a999d300
feat(zk)!: plug zk v2
...
BREAKING CHANGE:
- The object ZkVerificationOutCome has been renamed ZkVerificationOutcome.
- Conformance of proofs now checks the scheme version of the CRS. This is
breaking at the shortint and core_crypto levels, and for manually built integer
conformance params.
New CRS will be generated with the V2 Scheme by default, but V1 CRS and proofs
are still accepted, so this is not breaking. New methods have been added to
generate a V1 CRS.
2024-12-16 16:00:15 +01:00
Nicolas Sarlin
3dcb982a0b
feat(versionable): "Version" macro now handles transparent attribute
2024-12-16 16:00:15 +01:00
Nicolas Sarlin
e363b76f17
fix(tfhe-lints): linter was not run, missing compile time env var
2024-12-06 15:01:42 +01:00
Arthur Meyre
6a161fef0a
chore: bring concrete-fft as tfhe-fft in the repo
2024-11-18 13:17:58 +01:00
Nicolas Sarlin
466a996fdf
feat(versionable): support version deprecations in the dispatch enum
2024-10-22 11:37:41 +02:00
Nicolas Sarlin
075e87495d
doc(versionable): improve proc macro doc with an example
2024-10-22 11:37:41 +02:00
Nicolas Sarlin
f4e74b2754
chore(all): update MSRV to 1.81
2024-10-16 11:07:19 +02:00
Nicolas Sarlin
25fb1e53a2
chore(versionable): prepare release 0.3.2
2024-10-09 16:40:56 +02:00
Nicolas Sarlin
9cc0b9050e
feat(versionable): Handle ?Sized bounds in the proc macro
2024-10-09 16:40:56 +02:00
Nicolas Sarlin
51da8fe735
feat(versionable): add transparent mode for newtype structs
2024-10-09 16:40:56 +02:00
Nicolas Sarlin
2b14b22820
fix(versionable): compatibility between "convert" and generics
2024-10-09 09:40:07 +02:00
Nicolas Sarlin
2af4676588
chore(versionable): add '#[versionize(dispatch = T)]' in macro
...
This allows to add new attributes without arguments to the proc-macro
2024-10-09 09:40:07 +02:00
Nicolas Sarlin
7d044b00a3
chore(versionable): remove unneeded bounds in examples
2024-10-09 09:40:07 +02:00
Nicolas Sarlin
bc31e95e2c
chore(versionable): prepare release 0.3.1
2024-10-08 10:03:51 +02:00
Mayeul@Zama
28c86b356c
chore(all): format
2024-10-07 16:10:00 +02:00
David Testé
212af17538
style(global): fix typos
2024-10-03 11:47:00 +02:00
Nicolas Sarlin
04c6f18d42
feat(versionable): impl Versionize for Vec<Vec<T>>
2024-10-01 13:32:41 +02:00
Nicolas Sarlin
35dac0d85c
fix(versionable): use examples as tests
2024-09-24 15:20:05 +02:00
Nicolas Sarlin
3ff81c3c4b
test(versionable): test bounds visibility in the generated code
2024-09-23 13:28:54 +02:00
Nicolas Sarlin
bce5cd3552
chore(versionable): prepare release 0.3.0
2024-09-23 13:28:54 +02:00
Nicolas Sarlin
d63c2f7705
chore(versionable): update examples
...
Mostly test in the main that the derived code actually works
2024-09-23 13:28:54 +02:00
Nicolas Sarlin
5bcc34728a
doc(versionable): adds in the README that this crate uses serde
2024-09-23 13:28:54 +02:00
Nicolas Sarlin
b62228b429
feat(versionable): Versionize Vec of tuples
2024-09-23 13:28:54 +02:00
Nicolas Sarlin
b63347336b
fix(versionable)!: wrong derived bounds in the Versionize macro
...
Over-restrictive derived bounds were in some cases unsatisfiable, making the
`versionize` method uncallable.
BREAKING_CHANGE:
- The `#[versionize(bound = ...)]` attribute is not needed anymore, so it has
been removed.
2024-09-23 13:28:54 +02:00
Mayeul@Zama
38b5759e88
chore(all): fix new lints
2024-09-09 11:57:45 +02:00
