| .. |
|
algorithms
|
Fixed several issues (see #62)
|
2024-01-25 17:29:26 +01:00 |
|
clockbounds
|
Fixed exception handling
|
2024-03-21 15:52:31 +01:00 |
|
dbm
|
Wip (#4)
|
2024-05-14 18:18:14 +02:00 |
|
expression
|
solve g++ 10 problem using output methods for statements and expressions instead of operator<<
|
2024-03-05 10:15:50 +01:00 |
|
extrapolation
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
fsm
|
Fixed missing const
|
2024-02-24 16:53:30 +01:00 |
|
graph
|
Added finite path graph
|
2023-03-16 06:18:03 +01:00 |
|
parsing
|
Merge branch 'bugfix'
|
2024-03-21 17:12:34 +01:00 |
|
refzg
|
Added synchronization identifier to transitions
|
2024-02-24 08:00:32 +01:00 |
|
statement
|
solve g++ 10 problem using output methods for statements and expressions instead of operator<<
|
2024-03-05 10:15:50 +01:00 |
|
strong-timed-bisim
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
syncprod
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
system
|
Fixed deterministic check on initial locations
|
2024-05-04 22:05:30 +02:00 |
|
ta
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
tck-compare
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
tck-liveness
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
tck-reach
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
tck-simulate
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
|
tck-syntax
|
Improved memory management in declarations
|
2023-12-24 16:14:34 +01:00 |
|
ts
|
Removed old transition system interfaces
|
2023-07-07 06:11:55 +02:00 |
|
utils
|
Intermediate (#3)
|
2024-05-14 18:18:14 +02:00 |
|
variables
|
Revert "Improved API to const evaluation of expression"
|
2024-01-05 13:06:22 +01:00 |
|
vcg
|
fixed multiple bugs (#6)
|
2024-05-17 16:12:12 +02:00 |
|
vm
|
Using shared pointers in expressions and statements
|
2023-12-20 22:05:18 +01:00 |
|
waiting
|
Updated waiting containers
|
2021-05-06 18:13:54 +02:00 |
|
zg
|
enabled the possibility to do the extrapolation by hand
|
2024-05-14 18:18:14 +02:00 |
|
basictypes.cc
|
Added synchronization identifier to transitions
|
2024-02-24 08:00:32 +01:00 |
|
CMakeLists.txt
|
added first version of vcg
|
2024-05-14 18:18:14 +02:00 |
