User should download and install following three packages to use
There are two versions:
Similar to version 0.99. The difference is the ' notion in MEDL auxiliary
variables. The auxiliary variable that ends with ' denote a new value of that
Both versions contain:
- PEDL,MEDL and SADL compilers and Instrumentor
- Filter/Injector, Event Recognizer, Run-time Checker
- Examples and GUI
- User manual and Language manual
- Known Bug : filter sends 4 bytes for byte,char and short variables,
which can crash event recognizer.
- JTrek Version 1.1 (by Compaq): You can download from here. Note: JTrek is no longer supported by Compaq.