MOISE
/
Timed-Altarica-To-Fiacre-Translator
mirror of http://172.16.200.102/MOISE/Timed-Altarica-To-Fiacre-Translator.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
This project is a demonstrator tool, made by the MOISE project, that translates timed Altarica models into Fiacre models. Such translation allows to use model checkers such as Tina to prove properties. The project contains the translator tool.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2 Commits
1 Branch
0 Tags
4.6 MiB
 
 
 
 
 
 
Branch: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Timed-Altarica-To-Fiacre-Tr.../sdk/wxshapeframework/include/wx/wxsf
Pierre Gaufillet 18eb3f6047
Initial commit. 		7 years ago
..
ArrowBase.h Initial commit. 7 years ago
BitmapShape.h Initial commit. 7 years ago
CanvasHistory.h Initial commit. 7 years ago
CanvasState.h Initial commit. 7 years ago
CircleArrow.h Initial commit. 7 years ago
CircleShape.h Initial commit. 7 years ago
CommonFcn.h Initial commit. 7 years ago
ControlShape.h Initial commit. 7 years ago
CurveShape.h Initial commit. 7 years ago
Defs.h Initial commit. 7 years ago
DiagramManager.h Initial commit. 7 years ago
DiamondArrow.h Initial commit. 7 years ago
DiamondShape.h Initial commit. 7 years ago
EditTextShape.h Initial commit. 7 years ago
EllipseShape.h Initial commit. 7 years ago
FixedRectShape.h Initial commit. 7 years ago
FlexGridShape.h Initial commit. 7 years ago
GridShape.h Initial commit. 7 years ago
LineShape.h Initial commit. 7 years ago
MultiSelRect.h Initial commit. 7 years ago
OpenArrow.h Initial commit. 7 years ago
OrthoShape.h Initial commit. 7 years ago
PolygonShape.h Initial commit. 7 years ago
Printout.h Initial commit. 7 years ago
RectShape.h Initial commit. 7 years ago
RoundRectShape.h Initial commit. 7 years ago
SFEvents.h Initial commit. 7 years ago
ScaledDC.h Initial commit. 7 years ago
ShapeBase.h Initial commit. 7 years ago
ShapeCanvas.h Initial commit. 7 years ago
ShapeDataObject.h Initial commit. 7 years ago
ShapeHandle.h Initial commit. 7 years ago
SolidArrow.h Initial commit. 7 years ago
TextShape.h Initial commit. 7 years ago
Thumbnail.h Initial commit. 7 years ago
wxShapeFramework.h Initial commit. 7 years ago