Commits

Branch selector

 main

User selector

zhassan-aws

Datepicker

All time

Commit History

Commits on Jan 30, 2025

• Remove symtab2gb from bundle (#3865)

  Show description for afd0469
  zhassan-aws

  authored
  afd0469

  Copy full SHA for afd0469

Commits on Jan 24, 2025

• Remove the openssl-devel package from dependencies (#3852)

  Show description for 3e93311
  zhassan-aws

  authored
  3e93311

  Copy full SHA for 3e93311

Commits on Jan 22, 2025

• Update build command in docs to use release mode (#3846)

  Show description for 834dc41
  zhassan-aws

  authored
  834dc41

  Copy full SHA for 834dc41

Commits on Jan 17, 2025

• Use fully-qualified name for size_of (#3838)

  Show description for 6f70c7d
  zhassan-aws

  authored
  6f70c7d

  Copy full SHA for 6f70c7d

Commits on Jan 3, 2025

• Upgrade toolchain to 2024-12-19 (#3810)

  Show description for 954fa15
  zhassan-aws

  authored
  954fa15

  Copy full SHA for 954fa15

• Update charon submodule (#3801)

  Show description for 91a41ea
  

  zhassan-aws

  and

  thanhnguyen-aws

  authored
  91a41ea

  Copy full SHA for 91a41ea

Commits on Dec 26, 2024

• Upgrade toolchain to nightly-2024-12-18 (#3794)

  Show description for 33b74e0
  zhassan-aws

  authored
  33b74e0

  Copy full SHA for 33b74e0

Commits on Nov 28, 2024

• Add a Kani function that checks if the range of a float is valid for conversion to int (#3742)

  Show description for e53511e
  zhassan-aws

  authored
  e53511e

  Copy full SHA for e53511e

Commits on Nov 14, 2024

• Update charon submodule (#3716)

  Show description for c0afe20
  zhassan-aws

  authored
  c0afe20

  Copy full SHA for c0afe20

Commits on Nov 12, 2024

• Add support for f16 and f128 in float_to_int_unchecked intrinsic (#3701)

  Show description for 80d4451
  zhassan-aws

  authored
  80d4451

  Copy full SHA for 80d4451

Commits on Nov 11, 2024

• Upgrade Rust toolchain to 2024-11-08 (#3703)

  Show description for c776a54
  zhassan-aws

  authored
  c776a54

  Copy full SHA for c776a54

Commits on Nov 8, 2024

• Remove CBMC viewer and visualize option (#3699)

  Show description for 26c078e
  

  zhassan-aws

  and

  jaisnan

  authored
  26c078e

  Copy full SHA for 26c078e

Commits on Nov 6, 2024

• Add support for float_to_int_unchecked (#3660)

  Show description for 0dc09a7
  zhassan-aws

  authored
  0dc09a7

  Copy full SHA for 0dc09a7

• Update Charon submodule to 2024-11-04 (#3686)

  Show description for b677d6b
  zhassan-aws

  authored
  b677d6b

  Copy full SHA for b677d6b

Commits on Oct 31, 2024

• Upgrade Rust toolchain to 2024-10-31 (#3668)

  Show description for f3e3f33
  zhassan-aws

  authored
  f3e3f33

  Copy full SHA for f3e3f33

Commits on Oct 29, 2024

• Add a timeout option (#3649)

  Show description for 323fc27
  zhassan-aws

  authored
  323fc27

  Copy full SHA for 323fc27

• Upgrade toolchain to 2024-10-29 (#3658)

  Show description for 87cd331
  zhassan-aws

  authored
  87cd331

  Copy full SHA for 87cd331

Commits on Oct 28, 2024

• Reduce the number of object bits for refcell test (#3656)

  Show description for b375b6b
  zhassan-aws

  authored
  b375b6b

  Copy full SHA for b375b6b

Commits on Oct 23, 2024

• [Lean] Rename user-facing options from Aeneas to Lean (#3630)

  Show description for 8c9ee58
  zhassan-aws

  authored
  8c9ee58

  Copy full SHA for 8c9ee58

• Remove dead Option layer from run_piped (#3634)

  Show description for 1aad10c
  zhassan-aws

  authored
  1aad10c

  Copy full SHA for 1aad10c

Commits on Oct 21, 2024

• Update coverage flag in docs (#3626)

  Show description for a91619f
  zhassan-aws

  authored
  a91619f

  Copy full SHA for a91619f

Commits on Oct 19, 2024

• Emit an error when proof_for_contract function is not found (#3609)

  Show description for dcb4d6d
  zhassan-aws

  authored
  dcb4d6d

  Copy full SHA for dcb4d6d

Commits on Oct 18, 2024

• [aeneas] Preserve variable names (#3560)

  Show description for ab39455
  zhassan-aws

  authored
  ab39455

  Copy full SHA for ab39455

Commits on Oct 17, 2024

• Update toolchain to 2024-10-17 (#3610)

  Show description for bff1daa
  zhassan-aws

  authored
  bff1daa

  Copy full SHA for bff1daa

Commits on Oct 16, 2024

• Update toolchain to 2024-10-15 (#3605)

  Show description for f80d5ed
  zhassan-aws

  authored
  f80d5ed

  Copy full SHA for f80d5ed

Commits on Oct 12, 2024

• Exclude Charon from workspace (#3580)

  Show description for 373af49
  zhassan-aws

  authored
  373af49

  Copy full SHA for 373af49

Commits on Oct 10, 2024

• Remove the overflow checks for wrapping_offset (#3589)

  Show description for b29e74f
  zhassan-aws

  authored
  b29e74f

  Copy full SHA for b29e74f

Commits on Oct 9, 2024

• Fix the computation of the number of bytes of a pointer offset (#3584)

  Show description for c645752
  zhassan-aws

  authored
  c645752

  Copy full SHA for c645752

Commits on Oct 8, 2024

• Add an LLBC backend (#3514)

  Show description for e7ab090
  zhassan-aws

  authored
  e7ab090

  Copy full SHA for e7ab090

Commits on Oct 2, 2024

• Remove obsolete linker options (#3559)

  Show description for 14ebca9
  zhassan-aws

  authored
  14ebca9

  Copy full SHA for 14ebca9

Commits on Sep 18, 2024

• Instrument validity checks for pointer to reference casts for slices and str's (#3513)

  Show description for f888913
  

  zhassan-aws

  and

  celinval

  authored
  f888913

  Copy full SHA for f888913

Commits on Sep 16, 2024

• Downgrade once_cell (#3517)

  Show description for 21cb34a
  zhassan-aws

  authored
  21cb34a

  Copy full SHA for 21cb34a

Commits on Sep 9, 2024

• Reduce object-bits for test to avoid OOM (#3511)

  Show description for 5f6de6e
  zhassan-aws

  authored
  5f6de6e

  Copy full SHA for 5f6de6e

Commits on Sep 8, 2024

• Upgrade toolchain to 2024-09-07 (#3504)

  Show description for 7896cff
  zhassan-aws

  authored
  7896cff

  Copy full SHA for 7896cff

Commits on Sep 7, 2024

• Fix iss3495 (#3501)

  Show description for 20eb00c
  zhassan-aws

  authored
  20eb00c

  Copy full SHA for 20eb00c

Pagination

Previous

Next