LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

OCaml

analyzer

The goblint static analysis framework

OCamlEmerging

Stars

—

Forks

—

Contributors

8

Last push

34mo ago

Recent commits

Latest commits.

Fix test 13/67: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1336
9efcd90Michael Schwarz56mo ago
Fix indentation from #433
d63c729Simmo Saan56mo ago
Merge pull request #433 from goblint/issue_423
b5ebbb7Julian Erhard56mo ago
Remove unnecessary .Util
416b1edJulian Erhard56mo ago
Move PrePrivPrecCompare.ComparePrec to PrecCompare.MakeDump
9270d5bJulian Erhard56mo ago

Merge pull request #431 from goblint/symblocks-combine

c585e64Simmo Saan56mo ago

Include Util module in ApronPrecCompareUtil and privPrecCompareUtil directly.

de1e2d3Julian Erhard56mo ago

Fix capitalization in filename, fix typo in comment

f79dbc8Julian Erhard56mo ago

Top contributors

Builders behind this project.

michael-schwarz