LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

analyzer

Static analysis framework for C

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

Merge pull request #1570 from goblint/issue_1569
147935aMichael Schwarz21mo ago
Update outdated comment
c4c9c89Michael Schwarz21mo ago
Duplicate module synopsis
d76e40eMichael Schwarz21mo ago
Document context gas lifter
7112bafMichael Schwarz21mo ago
Make `contextGasLifter` its own module
426ec69Michael Schwarz21mo ago

Embrace dynamic nature of everything

3ee79bfMichael Schwarz21mo ago

Comment why `top` is maximal gas.

d421731Michael Schwarz21mo ago

I won the fight with first-class modules

5ea31d5Michael Schwarz21mo ago

Top contributors

Builders behind this project.

michael-schwarz