LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Ada

code_obfuscator

Application to change object names in an Ada file or project

AdaEmerging

Stars

—

Forks

—

Contributors

2

Last push

17mo ago

Recent commits

Latest commits.

Prevent libadalang from deallocating project tree
0945781Piotr Trojanek17mo ago
Add new options for recursive and externally built GPR's
9bb2439Michael Frank17mo ago
Replace "Formal_*" packages with regular packages
3225183Michael Frank17mo ago
Add more functional contracts
87ea004frank71mo ago
Update to prove AoRTE
cd196f0frank71mo ago

Updated to remove all possible warnings from "SPARK => Examine All"

96c75d2frank71mo ago

Implement min_length and constant_length

91b3214frank71mo ago

Clean up options; add option to obfuscate string literals

8face74frank71mo ago

Top contributors

Builders behind this project.

frank-at-adacore