A command-line tool for detecting the "unjustified assumption in subclasses" defect in EO programs.
-
Updated
Oct 5, 2022 - Scala
A command-line tool for detecting the "unjustified assumption in subclasses" defect in EO programs.
Symbolic Execution engine for finding bugs in EO programs
Java compilation and optimization benchmark that integrates EO, 𝜑-calculus, JEO, OPEO, and INEO optimizers
Maven plugin that can normalize 𝜑-calculus expressions, with the help of Normalizer
Maven plugin that inlines and specializes objects in EO programs
A command line tool for DeMutabilization of EO programs
The original paper about EOLANG and phi-calculus
EO programs to Call Flow Graph (CFG) transformator
Command Line Normalizer of 𝜑-calculus Expressions
Maven plugin to remove Bytecode opcodes from XMIR as much as possible
Add a description, image, and links to the eolang topic page so that developers can more easily learn about it.
To associate your repository with the eolang topic, visit your repo's landing page and select "manage topics."