- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
assignment.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 167 bytes |
|
|
|
BasicDependencyGraph.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 457 bytes |
|
|
|
Configuration.h |
213.1.60 | 4 years ago | Peter G. Jensen | moving to 4-bit ptrie in stateset to avoid overhea | 717 bytes |
|
|
|
Edge.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 660 bytes |
|
|