A Java library to assist with randomised testing and model generation.
更新时间: 2021-05-25 05:12Jasm is an Assembler / Disassembler for Java Bytecode. Using Jasm you can easily read or write Java Classfiles. Jasm was originally developed as part of the Java Compiler Kit (JKit), and is now used primarily within the Whiley Compiler.
更新时间: 2019-09-24 06:58This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.
更新时间: 2019-07-04 16:43The Whiley2JavaCompiler is responsible for translating Whiley Intermediate Language (WyIL) files into JVM Bytecodes
更新时间: 2018-04-09 13:38| 仓库 | 个数 |
| Central | 592045 |