Eric Ramat 81e75cb90e Add new formalism: devs il y a 4 ans
..
context aafce12776 Add save/restore mecanisms il y a 4 ans
observer c95f7f6c20 Add context and save/restore il y a 4 ans
scheduler 088948cec9 Add new formalism: dsde il y a 4 ans
time 237a72ba46 Add new time representation: rational and integer il y a 4 ans
utils 053ab5b7ee Add new formalism: fddevs il y a 4 ans
Any.hpp aafce12776 Add save/restore mecanisms il y a 4 ans
Bag.hpp 81e75cb90e Add new formalism: devs il y a 4 ans
CMakeLists.txt c95f7f6c20 Add context and save/restore il y a 4 ans
Coordinator.hpp 088948cec9 Add new formalism: dsde il y a 4 ans
ExternalEvent.hpp 81e75cb90e Add new formalism: devs il y a 4 ans
GraphManager.hpp 088948cec9 Add new formalism: dsde il y a 4 ans
InternalEvent.hpp 76caeac1d1 Clean and optimize code il y a 4 ans
Links.hpp 81e75cb90e Add new formalism: devs il y a 4 ans
Macro.hpp c95f7f6c20 Add context and save/restore il y a 4 ans
Model.hpp 088948cec9 Add new formalism: dsde il y a 4 ans
Node.hpp 76caeac1d1 Clean and optimize code il y a 4 ans
Parameters.hpp 76caeac1d1 Clean and optimize code il y a 4 ans
RootCoordinator.hpp 044f94d936 Add two items in trace (formalism and level) il y a 4 ans
Scheduler.hpp 76caeac1d1 Clean and optimize code il y a 4 ans
Simulator.hpp 088948cec9 Add new formalism: dsde il y a 4 ans
States.hpp 5cad47f561 Simplify QSS interface il y a 4 ans
Value.hpp 81e75cb90e Add new formalism: devs il y a 4 ans