 Eric Ramat
|
237a72ba46
Add new time representation: rational and integer
|
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
|
5cad47f561
Simplify QSS interface
|
4 年之前 |
|
Eric Ramat
|
8a58bb498e
Add DTSS policies
|
4 年之前 |
|
Eric Ramat
|
04a6d5cb2c
Change TraceType definition
|
4 年之前 |
|
Eric Ramat
|
30493b3894
Fix trace
|
4 年之前 |
|
Eric Ramat
|
aafce12776
Add save/restore mecanisms
|
4 年之前 |
|
Eric Ramat
|
c95f7f6c20
Add context and save/restore
|
4 年之前 |
|
Eric Ramat
|
f05d0ffb9a
Remove iostream library includes
|
4 年之前 |
|
Eric Ramat
|
8c20ed803c
New formalism: QSS
|
4 年之前 |
|
Eric Ramat
|
73f3b65248
Fix comma
|
4 年之前 |
|
Eric Ramat
|
76caeac1d1
Clean and optimize code
|
4 年之前 |
|
Eric Ramat
|
d83cadf55d
Add parameters to graph_manager in order to pass parameters to children
|
6 年之前 |
|
Eric Ramat
|
c0b9ee4740
Remove unused dependencies
|
6 年之前 |
|
Eric Ramat
|
b6d64e3205
Use port name in toString method of Links
|
6 年之前 |
|
Eric Ramat
|
466da3533b
Add observable declaration
|
6 年之前 |
|
Eric Ramat
|
36a2b59f83
Use index for port instead of name
|
6 年之前 |
|
Eric Ramat
|
3c8aa14ff9
kernel/pdevs: add simulator attribute in Dynamics class and input/output ports management method
|
6 年之前 |
|
Eric Ramat
|
3d722dfbea
Fix delete error in Value class
|
6 年之前 |
|
Eric Ramat
|
741b16e08a
Change get_content() of ExternalEvent class to data() and change get_content() of Value class to operator().
|
6 年之前 |
|
Eric Ramat
|
26347d181d
View: add new methos for selector with one variable
|
6 年之前 |
|
Eric Ramat
|
a1691ac54c
Change dates of copyright
|
6 年之前 |
|
Eric Ramat
|
9039d81f22
Remove doc directory
|
6 年之前 |
|
Eric Ramat
|
31316d9b50
Change project name
|
6 年之前 |
|
Eric Ramat
|
4f7dbcbe74
Coding style
|
6 年之前 |
|
Eric Ramat
|
d907020569
Improve observation mecanism
|
6 年之前 |
|
Eric Ramat
|
9affb0e1cc
Change observation system
|
6 年之前 |
|
Eric Ramat
|
231c1f58c6
Improve Value class and fix bug in scheduler
|
6 年之前 |
