|
|
9 meses atrás | |
|---|---|---|
| .. | ||
| HTTPClient_AddHeader | 9 meses atrás | |
| HTTPClient_AddRangeHeader | 9 meses atrás | |
| HTTPClient_InitializeRequestHeaders | 9 meses atrás | |
| HTTPClient_ReadHeader | 9 meses atrás | |
| HTTPClient_Send | 9 meses atrás | |
| HTTPClient_strerror | 9 meses atrás | |
| findHeaderFieldParserCallback | 9 meses atrás | |
| findHeaderOnHeaderCompleteCallback | 9 meses atrás | |
| findHeaderValueParserCallback | 9 meses atrás | |
| httpParserOnBodyCallback | 9 meses atrás | |
| httpParserOnHeaderFieldCallback | 9 meses atrás | |
| httpParserOnHeaderValueCallback | 9 meses atrás | |
| httpParserOnHeadersCompleteCallback | 9 meses atrás | |
| httpParserOnMessageBeginCallback | 9 meses atrás | |
| httpParserOnMessageCompleteCallback | 9 meses atrás | |
| httpParserOnStatusCallback | 9 meses atrás | |
| lib | 9 meses atrás | |
| Makefile-project-defines | 9 meses atrás | |
| Makefile-project-targets | 9 meses atrás | |
| Makefile-project-testing | 9 meses atrás | |
| Makefile-template-defines | 9 meses atrás | |
| Makefile.common | 9 meses atrás | |
| README.md | 9 meses atrás | |
| run-cbmc-proofs.py | 9 meses atrás | |
This directory contains the CBMC proofs. Each proof is in its own directory.
This directory includes four Makefiles.
One Makefile describes the basic workflow for building and running proofs:
Three included Makefiles describe project-specific settings and can override definitions in Makefile.common: