LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

OCaml

aeneas

A verification toolchain for Rust programs

OCamlEmerging

Stars

—

Forks

—

Contributors

8

Last push

8h ago

Recent commits

Latest commits.

String: prove `toStr` length bound via `ByteArray.length_toList` (#1066)
ac74e1bremix15d ago
Merge pull request #1096 from Nadrieril/update-charon
ac9f1bcNadrieril17d ago
Update charon
e45609fNadrieril17d ago
Fix several issues in the translation (#1095)
601ef6fSon HO17d ago
Merge pull request #1094 from Nadrieril/update-charon
be9b340Nadrieril17d ago

Tweak PR script

daf8a2fNadrieril17d ago

8a0bdc7Nadrieril17d ago

Merge pull request #1093 from Nadrieril/fix-release

ee3f5baNadrieril17d ago

Top contributors

Builders behind this project.