Tags

Tags give the ability to mark specific points in history as being important

v0.4.4

fff4d956 · Relaxed constraints on gcc+x86/x64 to gcc 4.1.2 (#482) · Aug 15, 2019
v0.4.3

35ee33f5 · Depend on pthreads via Threads rather than manually (#473) · Aug 01, 2019
v0.4.2

018e74cf · Ensure error list stays in sync (#454) · Jul 15, 2019
v0.4.1

b2e7ca47 · Add yaml file for aws_byte_buf_cat proof (#448) · Jul 09, 2019
v0.4.0

970a96e6 · Task log (#419) · Jul 01, 2019
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

1
…
6
7
8
9
10
11