Code

Update Charon submodule #3823

Code

Merged

thanhnguyen-aws merged 72 commits intomodel-checking:mainmodel-checking/kani:mainfrom thanhnguyen-aws:update-charonthanhnguyen-aws/kani:update-charonCopy head branch name to clipboardJan 14, 2025

+98-59

Commits

Commits on Nov 15, 2024

• add support for enum, struct, tuple in mod.rs, add some tests

  thanhnguyen-aws

  committed
  e7f4152

  Copy full SHA for e7f4152

• revert changes

  thanhnguyen-aws

  committed
  0937022

  Copy full SHA for 0937022

• format code

  thanhnguyen-aws

  committed
  bb789a7

  Copy full SHA for bb789a7

• edit according to clippy suggestions

  thanhnguyen-aws

  committed
  cebeff5

  Copy full SHA for cebeff5

Commits on Nov 18, 2024

• add new line at the send of basic0/expected, remove comments in mod.rs

  thanhnguyen-aws

  committed
  694f7ac

  Copy full SHA for 694f7ac

• remove more commented functions

  thanhnguyen-aws

  committed
  6998703

  Copy full SHA for 6998703

• format code

  thanhnguyen-aws

  committed
  75dcb09

  Copy full SHA for 75dcb09

• Merge branch 'model-checking:main' into thanh-llbc

  thanhnguyen-aws

  authored
  ad57da7

  Copy full SHA for ad57da7

• add end lines to expected files for the 4 test cases

  thanhnguyen-aws

  committed
  7ac77f3

  Copy full SHA for 7ac77f3

• remove comments

  thanhnguyen-aws

  committed
  4d40b53

  Copy full SHA for 4d40b53

• update s2n-quic

  thanhnguyen-aws

  committed
  7977233

  Copy full SHA for 7977233

• re-run kani and fix the expected file

  thanhnguyen-aws

  committed
  28395c5

  Copy full SHA for 28395c5

Commits on Nov 19, 2024

• change function namne find_type_decl_id to get_type_decl_id

  thanhnguyen-aws

  committed
  2d2f6ce

  Copy full SHA for 2d2f6ce

• change function namne find_type_decl_id to get_type_decl_id

  thanhnguyen-aws

  committed
  c729818

  Copy full SHA for c729818

Commits on Nov 20, 2024

• added the translation for generic params, fixed the formatting

  thanhnguyen-aws

  committed
  dbd7215

  Copy full SHA for dbd7215

• Merge branch 'main' into thanh-llbc

  thanhnguyen-aws

  authored
  e3bb0ca

  Copy full SHA for e3bb0ca

• comment change

  thanhnguyen-aws

  committed
  997db12

  Copy full SHA for 997db12

• fixed the expected testes

  thanhnguyen-aws

  committed
  3ec593d

  Copy full SHA for 3ec593d

• fixed clippy

  thanhnguyen-aws

  committed
  000d098

  Copy full SHA for 000d098

• fixed format

  thanhnguyen-aws

  committed
  4107f81

  Copy full SHA for 4107f81

Commits on Nov 21, 2024

• group use statements and add a test that use generic args

  thanhnguyen-aws

  committed
  43bd739

  Copy full SHA for 43bd739

• fixed unreachable -> todo

  thanhnguyen-aws

  committed
  137008c

  Copy full SHA for 137008c

• fixed format

  thanhnguyen-aws

  committed
  df89b51

  Copy full SHA for df89b51

Commits on Nov 22, 2024

• changing some test folders' names

  thanhnguyen-aws

  committed
  2cb0e56

  Copy full SHA for 2cb0e56

Commits on Nov 25, 2024

• Merge branch 'model-checking:main' into thanh-llbc

  thanhnguyen-aws

  authored
  0b89120

  Copy full SHA for 0b89120

• Some support for generic

  thanhnguyen-aws

  committed
  24a30a3

  Copy full SHA for 24a30a3

• translating traits

  thanhnguyen-aws

  committed
  6f5347c

  Copy full SHA for 6f5347c

Commits on Nov 26, 2024

• Merge branch 'main' into generic-llbc

  thanhnguyen-aws

  committed
  f798051

  Copy full SHA for f798051

• added trait clauses

  thanhnguyen-aws

  committed
  30026cc

  Copy full SHA for 30026cc

Commits on Nov 27, 2024

• more on trait

  thanhnguyen-aws

  committed
  11f5f10

  Copy full SHA for 11f5f10

• save

  thanhnguyen-aws

  committed
  28b11e1

  Copy full SHA for 28b11e1

• save

  thanhnguyen-aws

  committed
  659f83b

  Copy full SHA for 659f83b

Commits on Nov 28, 2024

• save

  thanhnguyen-aws

  committed
  e668d44

  Copy full SHA for e668d44

Commits on Nov 29, 2024

• update toolchain

  thanhnguyen-aws

  committed
  00c9513

  Copy full SHA for 00c9513

Commits on Dec 30, 2024

• translate trait

  thanhnguyen-aws

  committed
  9f5774c

  Copy full SHA for 9f5774c

Commits on Dec 31, 2024

• editing code

  thanhnguyen-aws

  committed
  7c286c8

  Copy full SHA for 7c286c8

• fixed clippy

  thanhnguyen-aws

  committed
  865bdd9

  Copy full SHA for 865bdd9

Commits on Jan 2, 2025

• update charon

  thanhnguyen-aws

  committed
  0b7c527

  Copy full SHA for 0b7c527

• update charon

  thanhnguyen-aws

  committed
  d7c91f5

  Copy full SHA for d7c91f5

• fix small bugs

  thanhnguyen-aws

  committed
  215d11d

  Copy full SHA for 215d11d

• save

  thanhnguyen-aws

  committed
  5e3fd23

  Copy full SHA for 5e3fd23

Commits on Jan 3, 2025

• update projection

  thanhnguyen-aws

  committed
  103603f

  Copy full SHA for 103603f

• merging main

  thanhnguyen-aws

  committed
  d84c48e

  Copy full SHA for d84c48e

• fixed println

  thanhnguyen-aws

  committed
  f585369

  Copy full SHA for f585369

• adding an expected test for trait

  thanhnguyen-aws

  committed
  f336b0a

  Copy full SHA for f336b0a

• fixed the test

  thanhnguyen-aws

  committed
  53983dd

  Copy full SHA for 53983dd

Commits on Jan 6, 2025

• fix some comments

  thanhnguyen-aws

  committed
  3bc4e6d

  Copy full SHA for 3bc4e6d

Commits on Jan 7, 2025

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  dd8c642

  Copy full SHA for dd8c642

• add comments

  thanhnguyen-aws

  committed
  7d28582

  Copy full SHA for 7d28582

• add more comments

  thanhnguyen-aws

  committed
  5459810

  Copy full SHA for 5459810

• formating

  thanhnguyen-aws

  committed
  1efa472

  Copy full SHA for 1efa472

• remove expected

  thanhnguyen-aws

  committed
  bd88440

  Copy full SHA for bd88440

Commits on Jan 8, 2025

• Update kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs

  Show description for e28169a
  

  thanhnguyen-aws

  and

  zhassan-aws

  authored
  e28169a

  Copy full SHA for e28169a

• add example test for option

  thanhnguyen-aws

  committed
  e80166b

  Copy full SHA for e80166b

• comments

  thanhnguyen-aws

  committed
  7930902

  Copy full SHA for 7930902

• add tests/expected/llbc/option/expected

  thanhnguyen-aws

  committed
  06d0525

  Copy full SHA for 06d0525

Commits on Jan 9, 2025

• revert change to s2n-quic

  thanhnguyen-aws

  committed
  2a2a462

  Copy full SHA for 2a2a462

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  1799aa6

  Copy full SHA for 1799aa6

• fixed formating

  thanhnguyen-aws

  committed
  954317d

  Copy full SHA for 954317d

• add expected for trait impl

  thanhnguyen-aws

  committed
  6c76375

  Copy full SHA for 6c76375

Commits on Jan 10, 2025

• update charon

  thanhnguyen-aws

  committed
  4f05967

  Copy full SHA for 4f05967

• sync

  thanhnguyen-aws

  committed
  57294f0

  Copy full SHA for 57294f0

• sync

  thanhnguyen-aws

  committed
  b2bb054

  Copy full SHA for b2bb054

Commits on Jan 11, 2025

• sync

  thanhnguyen-aws

  committed
  476c3d2

  Copy full SHA for 476c3d2

• formating

  thanhnguyen-aws

  committed
  1647552

  Copy full SHA for 1647552

• fix clippy

  thanhnguyen-aws

  committed
  d396b4c

  Copy full SHA for d396b4c

• fix comments

  thanhnguyen-aws

  committed
  109e884

  Copy full SHA for 109e884

Commits on Jan 13, 2025

• update formatting

  thanhnguyen-aws

  committed
  66c7836

  Copy full SHA for 66c7836

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  f03517e

  Copy full SHA for f03517e

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  e71be0b

  Copy full SHA for e71be0b

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  a6de90c

  Copy full SHA for a6de90c

Commits on Jan 14, 2025

• Merge branch 'main' into update-charon

  thanhnguyen-aws

  authored
  dd3ff73

  Copy full SHA for dd3ff73