LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

cbmc

C Bounded Model Checker

C++Emerging

Stars

—

Forks

—

Contributors

8

Last push

96mo ago

Recent commits

Latest commits.

Merge pull request #2700 from romainbrenguier/clean-up/side-effect-location
d7ddf59Michael Tautschnig96mo ago
Pass location around for nondet initialization
119e88bRomain Brenguier96mo ago
Specify source location for nondet expressions
50660dbRomain Brenguier96mo ago
Merge pull request #2708 from owen-jones-diffblue/coding-standard-class-comments
e448db6Michael Tautschnig96mo ago
State that identifiers should be good
519370dOwen Jones96mo ago

Document classes and member variables unless obvious

611374fOwen Jones96mo ago

Add side_effect_exprt constructor with location

fd4f563Romain Brenguier96mo ago

Merge pull request #2668 from diffblue/expose_remove_preconditions

98657d8Daniel Kroening96mo ago

Top contributors

Builders behind this project.

romainbrenguier

NathanJPhillips