LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

cn

CN separation logic refinement type system for C

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

4mo ago

Recent commits

Latest commits.

[Fulminate] Fix ghost array memory mismanagement (#417)
fa4aad3Dimitrios Economou8mo ago
[CN-exec] Special-case `Void` for GCC-stats-as-exprs (#418)
50c57e2Rini Banerjee8mo ago
[Fulminate] Make bump allocator growable (#416)
1638432Zain K Aamer8mo ago
[Fulminate] Generate funcs for used globals only (#415)
0a4f901Zain K Aamer8mo ago
[CN-exec] Delete spurious print statement (#414)
290c51dRini Banerjee8mo ago

remove PEbounded_binop and handle as in Core (#413)

a57acecChristopher Pulte8mo ago

[CN-exec] Support for GCC statements as expressions (#376)

9b9293fRini Banerjee8mo ago

remove special treatment of two stdlib functions in Mucore (#412)

599d1ecChristopher Pulte8mo ago

Top contributors

Builders behind this project.