 Eric Ramat
|
0669069e6c
Fix variable name (ta)
|
vor 4 Jahren |
|
Eric Ramat
|
2e87262c3f
Verify ta >= 0
|
vor 4 Jahren |
|
Eric Ramat
|
0284b0569c
Remove Time to start function
|
vor 4 Jahren |
|
Eric Ramat
|
f6220afb4e
Fix multithreading transition
|
vor 4 Jahren |
|
Eric Ramat
|
58d01f3cc5
DTSS: fix virtual member function
|
vor 4 Jahren |
|
Eric Ramat
|
da028d1ff8
DTSS: remove time returning by start function
|
vor 4 Jahren |
|
Eric Ramat
|
81e75cb90e
Add new formalism: devs
|
vor 4 Jahren |
|
Eric Ramat
|
053ab5b7ee
Add new formalism: fddevs
|
vor 4 Jahren |
|
Eric Ramat
|
237a72ba46
Add new time representation: rational and integer
|
vor 4 Jahren |
|
Eric Ramat
|
20711a0a36
Fix abstract classes
|
vor 4 Jahren |
|
Eric Ramat
|
088948cec9
Add new formalism: dsde
|
vor 4 Jahren |
|
Eric Ramat
|
044f94d936
Add two items in trace (formalism and level)
|
vor 4 Jahren |
|
Eric Ramat
|
5cad47f561
Simplify QSS interface
|
vor 4 Jahren |
|
Eric Ramat
|
8a58bb498e
Add DTSS policies
|
vor 4 Jahren |
|
Eric Ramat
|
04a6d5cb2c
Change TraceType definition
|
vor 4 Jahren |
|
Eric Ramat
|
30493b3894
Fix trace
|
vor 4 Jahren |
|
Eric Ramat
|
aafce12776
Add save/restore mecanisms
|
vor 4 Jahren |
|
Eric Ramat
|
c95f7f6c20
Add context and save/restore
|
vor 4 Jahren |
|
Eric Ramat
|
f05d0ffb9a
Remove iostream library includes
|
vor 4 Jahren |
|
Eric Ramat
|
8c20ed803c
New formalism: QSS
|
vor 4 Jahren |
|
Eric Ramat
|
73f3b65248
Fix comma
|
vor 4 Jahren |
|
Eric Ramat
|
76caeac1d1
Clean and optimize code
|
vor 4 Jahren |
|
Eric Ramat
|
d83cadf55d
Add parameters to graph_manager in order to pass parameters to children
|
vor 6 Jahren |
|
Eric Ramat
|
c0b9ee4740
Remove unused dependencies
|
vor 6 Jahren |
|
Eric Ramat
|
b6d64e3205
Use port name in toString method of Links
|
vor 6 Jahren |
|
Eric Ramat
|
466da3533b
Add observable declaration
|
vor 6 Jahren |
|
Eric Ramat
|
36a2b59f83
Use index for port instead of name
|
vor 6 Jahren |
|
Eric Ramat
|
3c8aa14ff9
kernel/pdevs: add simulator attribute in Dynamics class and input/output ports management method
|
vor 6 Jahren |
|
Eric Ramat
|
3d722dfbea
Fix delete error in Value class
|
vor 6 Jahren |
|
Eric Ramat
|
741b16e08a
Change get_content() of ExternalEvent class to data() and change get_content() of Value class to operator().
|
vor 6 Jahren |
