8000 Commits · checkedc/checkedc · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Sep 24, 2024

Remove use of stdcheckedc.h from some tests. (#505)
dtarditi
authored

Commits on Sep 2, 2024

Update URLs and move the history section later in the README.md file. (#502)
dtarditi
authored

Commits on Nov 8, 2023

Declare Version 1.0 of the Checked C spec.
dtarditi
committed

Commits on Nov 7, 2023

add a flag to only add typematic changes, or only checked-c or both
arunkumarbhattar
committed

Commits on Jul 19, 2023

Commits on Jul 8, 2023

Commits on May 24, 2023

Commits on May 6, 2023

Checked C macro test cases.
arunkumarbhattar
authored

Commits on Sep 1, 2022

Microsoft mandatory file (#481)
microsoft-github-policy-service[bot]
authored

Commits on Jan 31, 2022

Merge branch 'master' of https://github.com/correctcomputation/checkedc into 3c-headers-update
dtarditi
committed

Commits on Jan 18, 2022

Commits on Jan 7, 2022

Install all checked headers as part of the `checkedc-headers` target.
mattmccutchen-cci
committed

Commits on Jan 5, 2022

Fix broken reference from gettimeofday to `struct timezone` when
mattmccutchen-cci
committed

Commits on Dec 7, 2021

Commits on Oct 12, 2021

More dirent functions
john-h-kastner
committed

Commits on Oct 11, 2021

Add resource.h
john-h-kastner
committed

Commits on Oct 8, 2021

More checked headers
john-h-kastner
committed

Commits on Oct 7, 2021

Add checked header for dirent
john-h-kastner
committed

Commits on Sep 29, 2021

A 45-minute presentation on Checked C. (#476)
sulekhark
authored

Commits on Sep 10, 2021

Get lvalue observed bounds: update test (#474)
kkjeer
authored

Commits on Sep 8, 2021

Test cases for bundled block support. (#471)
sulekhark
authored

Commits on Sep 7, 2021

Update expected notes for assignments to pointer dereferences (#472)
kkjeer
authored

0