Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v0.3.15
5d7bf619
·
Fixed typo that broke osx build. (#425)
·
Jun 20, 2019
v0.3.14
8b7d8fd8
·
Parse (<function>+<addr>) backtrace format on POSIX systems (#422)
·
Jun 17, 2019
v0.3.13
76e2a61e
·
Re-enabled unknown pragma warnings, wrapped CPROVER pragmas (#420)
·
Jun 14, 2019
v0.3.12
ef38080f
·
Fixes to clang-tidy failures in dependent libs (#418)
·
Jun 12, 2019
v0.3.11
0bebfbcd
·
alter code so it can compile in c++ as well (#395)
·
May 30, 2019
v0.3.10
07bcb2cf
·
fix shared lib builds (#389)
·
May 30, 2019
v0.3.9
f1b5105a
·
assert() -> AWS_ASSERT() (#348)
·
May 13, 2019
v0.3.8
667ebedc
·
Memory-safety proofs for aws_byte_buf (#331)
·
May 09, 2019
v0.3.7
a972c5c0
·
Conditional test building + execinfo feature check (#324)
·
Apr 29, 2019
v0.3.6
cbe96ad4
·
Faster CBMC stubs for memset and memcpy (#300)
·
Apr 10, 2019
v0.3.5
286d802d
·
Byte buf utility functions - append that grows, append with internal tolower, reserve (#297)
·
Apr 04, 2019
v0.3.4
a09c1862
·
Update file structure for proofs (#277)
·
Mar 15, 2019
v0.3.3
35202981
·
FreeBSD should not have _XOPEN_SOURCE and _POSIX_C_SOURCE, as it deletes the...
·
Feb 22, 2019
v0.3.2
e84469f2
·
Fix downstream build script. (#246)
·
Feb 11, 2019
v0.3.1
5ece8a4a
·
Added CI job for x64 old linux. (#240)
·
Jan 24, 2019
v0.3.0
67262a9a
·
aws_task_run(#228)
·
Jan 08, 2019
v0.2.1
125ed70d
·
Reusable dll stuff (#221)
·
Dec 27, 2018
Updates to modularize shared lib builds.
v0.2.0
95d9e6bc
·
CMake packaging cleanup/fixes (#214)
·
Dec 17, 2018
v0.1
d570ff46
·
Fix Windows usage of dll import/export (#143)
·
Sep 19, 2018
Initial Alpha release
Prev
1
2
3
4
5
6
Next