model-checking/cbmc-starter-kit issues and pull requests

#113 - Improve documentation

Issue - State: closed - Opened by tautschnig over 2 years ago

#111 - Update pvPortMalloc tutorial

Pull Request - State: closed - Opened by angelonakos over 2 years ago - 2 comments

#104 - Run starter-kit tests in CI

Pull Request - State: closed - Opened by ronakfof over 2 years ago - 1 comment

#92 - Add support for remove-static via crangler

Pull Request - State: closed - Opened by tautschnig over 2 years ago - 17 comments

#87 - An error occurred when applying CHECK_FUNCTION_CONTRACTS to a function with loops.

Issue - State: closed - Opened by xiaolangde over 2 years ago - 1 comment
Labels: question

#85 - Regression testing

Issue - State: open - Opened by markrtuttle almost 3 years ago
Labels: testing

#82 - add graphviz in README to avoid 'dot' not found

Pull Request - State: closed - Opened by ActoryOu almost 3 years ago - 1 comment

#81 - Proof readme files are out of date

Issue - State: open - Opened by markrtuttle almost 3 years ago - 3 comments
Labels: bug

#76 - Update apache reference for .c file

Pull Request - State: closed - Opened by Bujain almost 3 years ago - 1 comment

#74 - Makefile priority order

Issue - State: open - Opened by markrtuttle almost 3 years ago
Labels: bug

#73 - Perform run-script checks even when running `make report`

Pull Request - State: closed - Opened by karkhaz almost 3 years ago - 1 comment

#47 - Add timeout for CBMC jobs

Pull Request - State: closed - Opened by karkhaz over 3 years ago

#40 - Adds a general README.md to template-for-repository

Pull Request - State: closed - Opened by feliperodri almost 4 years ago - 2 comments
Labels: documentation

#31 - Standard definition for bounded_malloc

Issue - State: closed - Opened by feliperodri almost 4 years ago - 2 comments

#30 - Initial draft of training material

Pull Request - State: closed - Opened by markrtuttle almost 4 years ago - 1 comment

#29 - Performance debugging documentation for starter kit

Pull Request - State: closed - Opened by natasha-jeppu almost 4 years ago - 2 comments
Labels: enhancement

#25 - The README for proofs could be refactored to remove redundancy

Issue - State: open - Opened by danielsn about 4 years ago
Labels: clean up

#21 - Move all common stubs to CBMC templates

Issue - State: open - Opened by feliperodri about 4 years ago - 2 comments
Labels: enhancement

#11 - Fix punctuation in proof README.md

Pull Request - State: closed - Opened by markrtuttle about 4 years ago

#10 - Use short form of Apache license.

Pull Request - State: closed - Opened by markrtuttle about 4 years ago - 1 comment

Ecosyste.ms: Issues

GitHub / model-checking/cbmc-starter-kit issues and pull requests