https://github.com/agacek/jkind
Tip revision: cfedbed11a86dcdee4598dd050537b5deadea495 authored by Vassil Todorov on 08 December 2018, 23:13:48 UTC
Adding -inv_gen_level option to handle automatic proof of long-running timers in the properties
Adding -inv_gen_level option to handle automatic proof of long-running timers in the properties
Tip revision: cfedbed
| File | Mode | Size |
|---|---|---|
| .settings | ||
| resources | ||
| src | ||
| .classpath | -rw-r--r-- | 492 bytes |
| .gitignore | -rw-r--r-- | 5 bytes |
| .project | -rw-r--r-- | 368 bytes |
| JFace.win32.x86_64.userlibraries | -rw-r--r-- | 573 bytes |
| README.md | -rw-r--r-- | 740 bytes |
| jkind-api.jardesc | -rw-r--r-- | 1.0 KB |
