Update charon submodule (#3716)

Update `charon` submodule to latest commit. This should enable #3712. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · Nov 14, 2024 · c0afe20 · c0afe20
1 parent f855a72
commit c0afe20
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 13 deletions.
diff --git a/Cargo.lock b/Cargo.lock
@@ -253,7 +253,6 @@ dependencies = [
  "clap",
  "colored",
  "convert_case 0.6.0",
- "derivative",
  "derive-visitor",
  "env_logger",
  "hashlink",
@@ -497,17 +496,6 @@ dependencies = [
  "powerfmt",
 ]
 
-[[package]]
-name = "derivative"
-version = "2.2.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "fcc3dd5e9e9c0b295d6e1e4d811fb6f157d5ffd784b8d202fc62eac8035a770b"
-dependencies = [
- "proc-macro2",
- "quote",
- "syn 1.0.109",
-]
-
 [[package]]
 name = "derive-visitor"
 version = "0.4.0"

diff --git a/charon b/charon
+10 −27		.github/workflows/ci.yml
+5 −1		README.md
+10 −0		charon-ml/src/Collections.ml
+4 −8		charon-ml/src/LlbcAstUtils.ml
+16 −10		charon-ml/src/MetaUtils.ml
+0 −12		charon/Cargo.lock
+0 −1		charon/Cargo.toml
+93 −0		charon/src/ast/expressions_utils.rs
+9 −6		charon/src/ast/types.rs
+100 −0		charon/src/ast/types_utils.rs
+5 −19		charon/src/bin/charon-driver/translate/translate_constants.rs
+1 −3		charon/src/bin/charon-driver/translate/translate_ctx.rs
+17 −38		charon/src/bin/charon-driver/translate/translate_functions_to_ullbc.rs
+13 −36		charon/src/bin/charon-driver/translate/translate_predicates.rs
+7 −13		charon/src/bin/charon-driver/translate/translate_traits.rs
+56 −79		charon/src/bin/charon-driver/translate/translate_types.rs
+138 −0		charon/src/transform/index_intermediate_assigns.rs
+4 −0		charon/src/transform/mod.rs
+52 −0		charon/tests/ui/arrays.out
+8 −0		charon/tests/ui/arrays.rs