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

63mo ago

Recent commits

Latest commits.

Removed unecessary use of a variable length array
2cd5defRomain Brenguier116mo ago
Adding more comments in refined_string_type and string_constraint
ffdef62Romain Brenguier116mo ago
Following coding guidelines in string preprocessing
d6d4627Romain Brenguier116mo ago
Removed changes to remove_returns used for debuging
582547dRomain Brenguier116mo ago
Cleaner version of extract_java_string
2e7f98aRomain Brenguier116mo ago

Setting the default of integer_of_expr to 0

95d089dRomain Brenguier116mo ago

Made integer_of_expr to correctly deal with negative numbers

2ab3e49Romain Brenguier116mo ago

Use arith-tools.h functions to convert expressions to integer

6b73f41Romain Brenguier116mo ago

Top contributors

Builders behind this project.

romainbrenguier