 Eric Ramat
|
ea00e6ec18
dtss: use time step parameter of coordinator
|
2 лет назад |
|
Eric Ramat
|
c6c6c8e8ca
change year of copyright
|
2 лет назад |
|
Eric Ramat
|
51a9b479da
nested namespace and move some classes to new namespace
|
2 лет назад |
|
Eric Ramat
|
7d4f9b4b7a
Change copyright dates
|
3 лет назад |
|
Eric Ramat
|
439234f961
Add new QSS: multiQSS
|
4 лет назад |
|
Eric Ramat
|
0fc53c8137
New coding style
|
4 лет назад |
|
Eric Ramat
|
cb81616110
Add lookahead in multithreading coordinator
|
4 лет назад |
|
Eric Ramat
|
8cee3ffe62
dtss: add observables and change time_step definition
|
4 лет назад |
|
Eric Ramat
|
053ab5b7ee
Add new formalism: fddevs
|
4 лет назад |
|
Eric Ramat
|
20711a0a36
Fix abstract classes
|
4 лет назад |
|
Eric Ramat
|
088948cec9
Add new formalism: dsde
|
4 лет назад |
|
Eric Ramat
|
044f94d936
Add two items in trace (formalism and level)
|
4 лет назад |
|
Eric Ramat
|
8a58bb498e
Add DTSS policies
|
4 лет назад |
|
Eric Ramat
|
04a6d5cb2c
Change TraceType definition
|
4 лет назад |
|
Eric Ramat
|
c95f7f6c20
Add context and save/restore
|
4 лет назад |
|
Eric Ramat
|
f05d0ffb9a
Remove iostream library includes
|
4 лет назад |
|
Eric Ramat
|
76caeac1d1
Clean and optimize code
|
4 лет назад |
|
Eric Ramat
|
a1691ac54c
Change dates of copyright
|
6 лет назад |
|
Eric Ramat
|
31316d9b50
Change project name
|
6 лет назад |
