krestenkrab / jvm-verifier
A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone else.
☆16Updated 14 years ago
Related projects: ⓘ
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- A reporting project on the performance of self-optimizing interpreters☆16Updated 8 years ago
- ☆44Updated this week
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 5 months ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆38Updated 7 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 2 years ago
- ☆10Updated 8 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Updated 10 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- ☆49Updated 6 months ago
- Convert Java bytecode to firm IR☆18Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- just another compiler compiler for Java☆25Updated 7 years ago
- A modern and concise language that compiles to Java bytecode☆12Updated 5 years ago
- An x86 disassembler written in Java (port of udis86)☆13Updated 9 years ago
- Jssembly is a library that allows you to execute native assembly from Java.☆123Updated 7 years ago
- The Dyvil programming language☆60Updated 8 months ago
- LuaTruffle, an implementation of Lua on the JVM using Truffle☆55Updated 9 years ago
- Experimental results of the strata project☆9Updated 8 years ago
- pre-release.☆12Updated 9 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-spec☆26Updated 8 years ago
- Parser for the llvm bitcode format☆59Updated 3 weeks ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Conceptum is a stack-based, lightweight, Turing-equivalent JIT virtual machine running a small set of bytecodes for benchmarking VM perfo…☆22Updated 7 years ago
- Attribute grammar Based Language Extensions for C☆35Updated last week
- ☆14Updated 5 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago