Skip to content

Commit 10684db

Browse files
mdittmermdittmer
committed
[anneal][v2] Vendor charon_lib
gherrit-pr-id: G3ub4smvhm3rbp6d53jhwn3knjeaw7ugn
1 parent 012f46e commit 10684db

11,737 files changed

Lines changed: 4070181 additions & 116 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎anneal/v2/Cargo.lock‎

Lines changed: 1111 additions & 41 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎anneal/v2/Cargo.toml‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -60,3 +60,5 @@ walkdir = "2.5.0"
6060
sha2 = "0.10"
6161
tempfile = "3.27.0"
6262
rayon = "1.11.0"
63+
# `rev` is `main` branch HEAD on 2026-06-03.
64+
charon_lib = { package = "charon", git = "https://github.com/AeneasVerif/charon.git", rev = "0c91ca1a8e002d6bfa8d8f1f452804fce2f92cf1", default-features = false }

‎anneal/v2/vendor/adler2/.cargo-checksum.json‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"files":{".cargo_vcs_info.json":"08071a308400282ad18ca2de0df6d1f2dc270475f69aa483740ce311af3f63e0","CHANGELOG.md":"04fa29ec6eb6b05b706247ecac2cbc7075792dbfcea0bf52715782cf42132e94","Cargo.lock":"3e44ced212a9e7ddc0a5450bcebb48ec67f32a058529856458efa36415554e53","Cargo.toml":"8f30dbd092f3acc475b9d339736cd7b64c6489bc47cd234a7f2232fc52e2d490","Cargo.toml.orig":"077df9094ac86443a4d05305f74782bd237c1f15fa39640463e4c62e9e4a310a","LICENSE-0BSD":"861399f8c21c042b110517e76dc6b63a2b334276c8cf17412fc3c8908ca8dc17","LICENSE-APACHE":"8ada45cd9f843acf64e4722ae262c622a2b3b3007c7310ef36ac1061a30f6adb","LICENSE-MIT":"23f18e03dc49df91622fe2a76176497404e46ced8a715d9d2b67a7446571cca3","README.md":"cd955d5d6a49161e6f7a04df4a5963581b66ed43fd5096b2dedca8e295efe4f9","RELEASE_PROCESS.md":"a86cd10fc70f167f8d00e9e4ce0c6b4ebdfa1865058390dffd1e0ad4d3e68d9d","benches/bench.rs":"d67bef1c7f36ed300a8fbcf9d50b9dfdead1fd340bf87a4d47d99a0c1c042c04","src/algo.rs":"932c2bc591d13fe4470185125617b5aaa660a3898f23b553acc85df0bf49dded","src/lib.rs":"4acd41668fe30daffa37084e7e223f268957b816afc1864ffb3f5d6d7adf0890"},"package":"320119579fcad9c21884f5c4861d16174d0e06250625266f50fe6898340abefa"}

‎anneal/v2/vendor/adler2/.cargo_vcs_info.json‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
{
2+
"git": {
3+
"sha1": "89a031a0f42eeff31c70dc598b398cbf31f1680f"
4+
},
5+
"path_in_vcs": ""
6+
}

‎anneal/v2/vendor/adler2/CHANGELOG.md‎

Lines changed: 84 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
1+
# Changelog
2+
3+
All notable changes to this project will be documented in this file.
4+
5+
---
6+
## [2.0.1](https://github.com/Frommi/miniz_oxide/compare/2.0.0..2.0.1) - 2025-06-09
7+
8+
### Other
9+
10+
- Remove `compiler-builtins` from `rustc-dep-of-std` dependencies - ([7cdbd39](https://github.com/Frommi/miniz_oxide/commit/7cdbd3925a7f61cc075f44367b5d383861571b0a)) - Trevor Gross
11+
12+
---
13+
## [2.0.0](https://github.com/Frommi/miniz_oxide/compare/1.0.2..2.0.0) - 2024-08-04
14+
15+
First release of adler2 - fork of adler crate as the original is unmaintained and archived
16+
17+
##### Changes since last version of Adler:
18+
19+
### Bug Fixes
20+
21+
- **(core)** change to rust 2021 edition, update repository info and links, update author info - ([867b115](https://github.com/Frommi/miniz_oxide/commit/867b115bad79bf62098f2acccc81bf53ec5a125d)) - oyvindln
22+
- **(core)** simplify some code and fix benches - ([128fb9c](https://github.com/Frommi/miniz_oxide/commit/128fb9cb6cad5c3a54fb0b6c68549d80b79a1fe0)) - oyvindln
23+
24+
### Changelog of original adler crate
25+
26+
---
27+
28+
## [1.0.2 - 2021-02-26](https://github.com/jonas-schievink/adler/releases/tag/v1.0.2)
29+
30+
- Fix doctest on big-endian systems ([#9]).
31+
32+
[#9]: https://github.com/jonas-schievink/adler/pull/9
33+
34+
## [1.0.1 - 2020-11-08](https://github.com/jonas-schievink/adler/releases/tag/v1.0.1)
35+
36+
### Fixes
37+
38+
- Fix documentation on docs.rs.
39+
40+
## [1.0.0 - 2020-11-08](https://github.com/jonas-schievink/adler/releases/tag/v1.0.0)
41+
42+
### Fixes
43+
44+
- Fix `cargo test --no-default-features` ([#5]).
45+
46+
### Improvements
47+
48+
- Extended and clarified documentation.
49+
- Added more rustdoc examples.
50+
- Extended CI to test the crate with `--no-default-features`.
51+
52+
### Breaking Changes
53+
54+
- `adler32_reader` now takes its generic argument by value instead of as a `&mut`.
55+
- Renamed `adler32_reader` to `adler32`.
56+
57+
## [0.2.3 - 2020-07-11](https://github.com/jonas-schievink/adler/releases/tag/v0.2.3)
58+
59+
- Process 4 Bytes at a time, improving performance by up to 50% ([#2]).
60+
61+
## [0.2.2 - 2020-06-27](https://github.com/jonas-schievink/adler/releases/tag/v0.2.2)
62+
63+
- Bump MSRV to 1.31.0.
64+
65+
## [0.2.1 - 2020-06-27](https://github.com/jonas-schievink/adler/releases/tag/v0.2.1)
66+
67+
- Add a few `#[inline]` annotations to small functions.
68+
- Fix CI badge.
69+
- Allow integration into libstd.
70+
71+
## [0.2.0 - 2020-06-27](https://github.com/jonas-schievink/adler/releases/tag/v0.2.0)
72+
73+
- Support `#![no_std]` when using `default-features = false`.
74+
- Improve performance by around 7x.
75+
- Support Rust 1.8.0.
76+
- Improve API naming.
77+
78+
## [0.1.0 - 2020-06-26](https://github.com/jonas-schievink/adler/releases/tag/v0.1.0)
79+
80+
Initial release.
81+
82+
83+
[#2]: https://github.com/jonas-schievink/adler/pull/2
84+
[#5]: https://github.com/jonas-schievink/adler/pull/5

‎anneal/v2/vendor/adler2/Cargo.lock‎

Lines changed: 16 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎anneal/v2/vendor/adler2/Cargo.toml‎

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
2+
#
3+
# When uploading crates to the registry Cargo will automatically
4+
# "normalize" Cargo.toml files for maximal compatibility
5+
# with all versions of Cargo and also rewrite `path` dependencies
6+
# to registry (e.g., crates.io) dependencies.
7+
#
8+
# If you are reading this file be aware that the original Cargo.toml
9+
# will likely look very different (and much more reasonable).
10+
# See Cargo.toml.orig for the original contents.
11+
12+
[package]
13+
edition = "2021"
14+
name = "adler2"
15+
version = "2.0.1"
16+
authors = [
17+
"Jonas Schievink <jonasschievink@gmail.com>",
18+
"oyvindln <oyvindln@users.noreply.github.com>",
19+
]
20+
build = false
21+
exclude = [".*"]
22+
autolib = false
23+
autobins = false
24+
autoexamples = false
25+
autotests = false
26+
autobenches = false
27+
description = "A simple clean-room implementation of the Adler-32 checksum"
28+
documentation = "https://docs.rs/adler2/"
29+
readme = "README.md"
30+
keywords = [
31+
"checksum",
32+
"integrity",
33+
"hash",
34+
"adler32",
35+
"zlib",
36+
]
37+
categories = ["algorithms"]
38+
license = "0BSD OR MIT OR Apache-2.0"
39+
repository = "https://github.com/oyvindln/adler2"
40+
41+
[package.metadata.docs.rs]
42+
rustdoc-args = ["--cfg=docsrs"]
43+
44+
[package.metadata.release]
45+
no-dev-version = true
46+
pre-release-commit-message = "Release {{version}}"
47+
tag-message = "{{version}}"
48+
49+
[[package.metadata.release.pre-release-replacements]]
50+
file = "CHANGELOG.md"
51+
replace = """
52+
## Unreleased
53+
54+
No changes.
55+
56+
## [{{version}} - {{date}}](https://github.com/jonas-schievink/adler/releases/tag/v{{version}})
57+
"""
58+
search = """
59+
## Unreleased
60+
"""
61+
62+
[[package.metadata.release.pre-release-replacements]]
63+
file = "README.md"
64+
replace = 'adler = "{{version}}"'
65+
search = 'adler = "[a-z0-9\\.-]+"'
66+
67+
[[package.metadata.release.pre-release-replacements]]
68+
file = "src/lib.rs"
69+
replace = "https://docs.rs/adler/{{version}}"
70+
search = 'https://docs.rs/adler/[a-z0-9\.-]+'
71+
72+
[features]
73+
default = ["std"]
74+
rustc-dep-of-std = ["core"]
75+
std = []
76+
77+
[lib]
78+
name = "adler2"
79+
path = "src/lib.rs"
80+
81+
[[bench]]
82+
name = "bench"
83+
path = "benches/bench.rs"
84+
harness = false
85+
86+
[dependencies.core]
87+
version = "1.0.0"
88+
optional = true
89+
package = "rustc-std-workspace-core"
90+
91+
[dev-dependencies]

‎anneal/v2/vendor/adler2/Cargo.toml.orig‎

Lines changed: 71 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎anneal/v2/vendor/adler2/LICENSE-0BSD‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
Copyright (C) Jonas Schievink <jonasschievink@gmail.com>
2+
3+
Permission to use, copy, modify, and/or distribute this software for
4+
any purpose with or without fee is hereby granted.
5+
6+
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
7+
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
8+
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
9+
ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
10+
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
11+
AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
12+
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.

0 commit comments

Comments
 (0)