Repository navigation

Update LLBC backend for Trait support and translation of projection - #3807

Merged

thanhnguyen-aws merged 62 commits into

model-checking:mainfrom

thanhnguyen-aws:update-charon

Jan 10, 2025

Merged

Update LLBC backend for Trait support and translation of projection#3807
thanhnguyen-aws merged 62 commits into
model-checking:mainfrom
thanhnguyen-aws:update-charon

Commits on Nov 15, 2024
- add support for enum, struct, tuple in mod.rs, add some tests
  thanhnguyen-aws
  committed
  e7f4152
- revert changes
  thanhnguyen-aws
  committed
  0937022
- format code
  thanhnguyen-aws
  committed
  bb789a7
- edit according to clippy suggestions
  thanhnguyen-aws
  committed
  cebeff5
Commits on Nov 18, 2024
- add new line at the send of basic0/expected, remove comments in mod.rs
  thanhnguyen-aws
  committed
  694f7ac
- remove more commented functions
  thanhnguyen-aws
  committed
  6998703
- format code
  thanhnguyen-aws
  committed
  75dcb09
- Merge branch 'model-checking:main' into thanh-llbc
  thanhnguyen-aws
  authored
  ad57da7
- add end lines to expected files for the 4 test cases
  thanhnguyen-aws
  committed
  7ac77f3
- remove comments
  thanhnguyen-aws
  committed
  4d40b53
- update s2n-quic
  thanhnguyen-aws
  committed
  7977233
- re-run kani and fix the expected file
  thanhnguyen-aws
  committed
  28395c5
Commits on Nov 19, 2024
- change function namne find_type_decl_id to get_type_decl_id
  thanhnguyen-aws
  committed
  2d2f6ce
- change function namne find_type_decl_id to get_type_decl_id
  thanhnguyen-aws
  committed
  c729818
Commits on Nov 20, 2024
- added the translation for generic params, fixed the formatting
  thanhnguyen-aws
  committed
  dbd7215
- Merge branch 'main' into thanh-llbc
  thanhnguyen-aws
  authored
  e3bb0ca
- comment change
  thanhnguyen-aws
  committed
  997db12
- fixed the expected testes
  thanhnguyen-aws
  committed
  3ec593d
- fixed clippy
  thanhnguyen-aws
  committed
  000d098
- fixed format
  thanhnguyen-aws
  committed
  4107f81
Commits on Nov 21, 2024
- group use statements and add a test that use generic args
  thanhnguyen-aws
  committed
  43bd739
- fixed unreachable -> todo
  thanhnguyen-aws
  committed
  137008c
- fixed format
  thanhnguyen-aws
  committed
  df89b51
Commits on Nov 22, 2024
- changing some test folders' names
  thanhnguyen-aws
  committed
  2cb0e56
Commits on Nov 25, 2024
- Merge branch 'model-checking:main' into thanh-llbc
  thanhnguyen-aws
  authored
  0b89120
- Some support for generic
  thanhnguyen-aws
  committed
  24a30a3
- translating traits
  thanhnguyen-aws
  committed
  6f5347c
Commits on Nov 26, 2024
- Merge branch 'main' into generic-llbc
  thanhnguyen-aws
  committed
  f798051
- added trait clauses
  thanhnguyen-aws
  committed
  30026cc
Commits on Nov 27, 2024
- more on trait
  thanhnguyen-aws
  committed
  11f5f10
- save
  thanhnguyen-aws
  committed
  28b11e1
- save
  thanhnguyen-aws
  committed
  659f83b
Commits on Nov 28, 2024
- save
  thanhnguyen-aws
  committed
  e668d44
Commits on Nov 29, 2024
- update toolchain
  thanhnguyen-aws
  committed
  00c9513
Commits on Dec 30, 2024
- translate trait
  thanhnguyen-aws
  committed
  9f5774c
Commits on Dec 31, 2024
- editing code
  thanhnguyen-aws
  committed
  7c286c8
- fixed clippy
  thanhnguyen-aws
  committed
  865bdd9
Commits on Jan 2, 2025
- update charon
  thanhnguyen-aws
  committed
  0b7c527
- update charon
  thanhnguyen-aws
  committed
  d7c91f5
- fix small bugs
  thanhnguyen-aws
  committed
  215d11d
- save
  thanhnguyen-aws
  committed
  5e3fd23
Commits on Jan 3, 2025
- update projection
  thanhnguyen-aws
  committed
  103603f
- merging main
  thanhnguyen-aws
  committed
  d84c48e
- fixed println
  thanhnguyen-aws
  committed
  f585369
- adding an expected test for trait
  thanhnguyen-aws
  committed
  f336b0a
- fixed the test
  thanhnguyen-aws
  committed
  53983dd
Commits on Jan 6, 2025
- fix some comments
  thanhnguyen-aws
  committed
  3bc4e6d
Commits on Jan 7, 2025
- Merge branch 'main' into update-charon
  thanhnguyen-aws
  authored
  dd8c642
- add comments
  thanhnguyen-aws
  committed
  7d28582
- add more comments
  thanhnguyen-aws
  committed
  5459810
- formating
  thanhnguyen-aws
  committed
  1efa472
- remove expected
  thanhnguyen-aws
  committed
  bd88440
Commits on Jan 8, 2025
- Update kani-compiler/src/codegen_aeneas_llbc/mir_to_ullbc/mod.rs
  
  thanhnguyen-aws
  and
  zhassan-aws
  authored
  e28169a
- add example test for option
  thanhnguyen-aws
  committed
  e80166b
- comments
  thanhnguyen-aws
  committed
  7930902
- add tests/expected/llbc/option/expected
  thanhnguyen-aws
  committed
  06d0525
Commits on Jan 9, 2025
- revert change to s2n-quic
  thanhnguyen-aws
  committed
  2a2a462
- Merge branch 'main' into update-charon
  thanhnguyen-aws
  authored
  1799aa6
- fixed formating
  thanhnguyen-aws
  committed
  954317d
- add expected for trait impl
  thanhnguyen-aws
  committed
  6c76375
- Merge branch 'main' into update-charon
  thanhnguyen-aws
  authored
  5cbbbae
Commits on Jan 10, 2025
- Merge branch 'main' into update-charon
  thanhnguyen-aws
  authored
  0a58fb1

Commits

Commits on Nov 15, 2024

Commits on Nov 18, 2024

Commits on Nov 19, 2024

Commits on Nov 20, 2024

Commits on Nov 21, 2024

Commits on Nov 22, 2024

Commits on Nov 25, 2024

Commits on Nov 26, 2024

Commits on Nov 27, 2024

Commits on Nov 28, 2024

Commits on Nov 29, 2024

Commits on Dec 30, 2024

Commits on Dec 31, 2024

Commits on Jan 2, 2025

Commits on Jan 3, 2025

Commits on Jan 6, 2025

Commits on Jan 7, 2025

Commits on Jan 8, 2025

Commits on Jan 9, 2025

Commits on Jan 10, 2025