Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
main
default
protected
57d1c37a
·
update new version
·
Aug 08, 2022
list-with-map
72314616
·
build error
·
Jan 11, 2022
malloc_0_fix
f9b076e6
·
Make byte_buf proof allocator consistent with code
·
Nov 22, 2021
remove-stubs
69774c19
·
Remove `memcmp` stubs
·
Aug 05, 2021
PriorityQueueWarning
ce369c59
·
priority_queue.c: fix compile error with -Og
·
Jul 20, 2021
type_fixes
1f387b12
·
Merge branch 'main' into type_fixes
·
Jul 09, 2021
move_to_rust_phase1
b064a5c5
·
Okay, all this works now.
·
Jun 22, 2021
fix-warning
6e57830a
·
Marking aws-c-common/source/posix/system_info.c as a non parameters function (#797)
·
May 11, 2021
cmake_fix
9534d1f8
·
Merge branch 'main' into main
·
Apr 21, 2021
aws-sdk-cpp
060b3c64
·
Update POLICY CMP0077 to NEW.
·
Apr 14, 2021
update-readable-writable-flags
a2adf495
·
Updates readable and writable macros
·
Mar 19, 2021
msvc-2015
c4db6866
·
test builder fixes for shared-lib builds
·
Feb 15, 2021
vector
c49e3308
·
wip typesafe vector
·
Feb 10, 2021
LoggingTweaks
d35e28a5
·
Theoretical memory leak due to pending log line sneaking in and not getting...
·
Dec 31, 2020
fix_string_new
652480db
·
only memcpy if we have bytes
·
Oct 02, 2020
update_math_proofs
63114ef3
·
Updates the postconditions in aws_mul_size_checked proof
·
Sep 14, 2020
negative_test
47ec7da3
·
fixed CI issues (hopefully) ...
·
Aug 31, 2020
use-standards-batch-yaml
8a633cb9
·
use default cbmc-batch
·
Aug 31, 2020
kk-litani
ef4b6839
·
Add litani submodule
·
Aug 25, 2020
trace_event
a4f85698
·
comment/time unit update
·
Aug 21, 2020
Prev
1
2
Next