- Committer: srba.jiri at gmail
- Date: 2020-09-11 14:23:39 UTC
- mfrom: (213.1.151 interval_tar)
- Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
- Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
- Implements new global properties, translated into CTL formulae.
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
- Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
- Implements new global properties, translated into CTL formulae.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CMakeLists.txt |
213.1.35 | 4 years ago | Peter G. Jensen | using ptries from official distribution-chan | 172 bytes |
|
|
|
OnTheFlyDG.cpp |
213.1.36 | 4 years ago | Peter G. Jensen | cleanup from clion | 24 KB |
|
|