Skip to content
/ QSDL-CG Public

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Code Generator (CG)

License

GPL-3.0 license
1 star 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

Diefenbruch/QSDL-CG

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
.gitignore
.gitignore
 
 
CGActualParam.h
CGActualParam.h
 
 
CGAssert.cpp
CGAssert.cpp
 
 
CGAssert.h
CGAssert.h
 
 
CGAtom.cpp
CGAtom.cpp
 
 
CGAtom.h
CGAtom.h
 
 
CGBasicTypes.h
CGBasicTypes.h
 
 
CGBlock.cpp
CGBlock.cpp
 
 
CGBlock.h
CGBlock.h
 
 
CGBlockSubstructure.cpp
CGBlockSubstructure.cpp
 
 
CGBlockSubstructure.h
CGBlockSubstructure.h
 
 
CGCall.cpp
CGCall.cpp
 
 
CGCall.h
CGCall.h
 
 
CGClear.cpp
CGClear.cpp
 
 
CGClear.h
CGClear.h
 
 
CGCreate.cpp
CGCreate.cpp
 
 
CGCreate.h
CGCreate.h
 
 
CGDecision.cpp
CGDecision.cpp
 
 
CGDecision.h
CGDecision.h
 
 
CGEventNames.h
CGEventNames.h
 
 
CGExpression.cpp
CGExpression.cpp
 
 
CGExpression.h
CGExpression.h
 
 
CGFile.cpp
CGFile.cpp
 
 
CGFile.h
CGFile.h
 
 
CGFormalParam.h
CGFormalParam.h
 
 
CGGenerator.cpp
CGGenerator.cpp
 
 
CGGenerator.h
CGGenerator.h
 
 
CGInput.cpp
CGInput.cpp
 
 
CGInput.h
CGInput.h
 
 
CGInputSignal.cpp
CGInputSignal.cpp
 
 
CGInputSignal.h
CGInputSignal.h
 
 
CGInputTimerSignal.cpp
CGInputTimerSignal.cpp
 
 
CGInputTimerSignal.h
CGInputTimerSignal.h
 
 
CGJoin.cpp
CGJoin.cpp
 
 
CGJoin.h
CGJoin.h
 
 
CGMachine.cpp
CGMachine.cpp
 
 
CGMachine.h
CGMachine.h
 
 
CGMachineService.cpp
CGMachineService.cpp
 
 
CGMachineService.h
CGMachineService.h
 
 
CGMachineServiceSpeed.cpp
CGMachineServiceSpeed.cpp
 
 
CGMachineServiceSpeed.h
CGMachineServiceSpeed.h
 
 
CGMain.cpp
CGMain.cpp
 
 
CGMain.h
CGMain.h
 
 
CGMake.cpp
CGMake.cpp
 
 
CGMake.h
CGMake.h
 
 
CGNextState.cpp
CGNextState.cpp
 
 
CGNextState.h
CGNextState.h
 
 
CGOperandConstant.cpp
CGOperandConstant.cpp
 
 
CGOperandConstant.h
CGOperandConstant.h
 
 
CGOperandExpression.cpp
CGOperandExpression.cpp
 
 
CGOperandExpression.h
CGOperandExpression.h
 
 
CGOperandLiteral.cpp
CGOperandLiteral.cpp
 
 
CGOperandLiteral.h
CGOperandLiteral.h
 
 
CGOperandMachineService.cpp
CGOperandMachineService.cpp
 
 
CGOperandMachineService.h
CGOperandMachineService.h
 
 
CGOperandOperator.cpp
CGOperandOperator.cpp
 
 
CGOperandOperator.h
CGOperandOperator.h
 
 
CGOperandProcedureCall.cpp
CGOperandProcedureCall.cpp
 
 
CGOperandProcedureCall.h
CGOperandProcedureCall.h
 
 
CGOperandProcessAccess.cpp
CGOperandProcessAccess.cpp
 
 
CGOperandProcessAccess.h
CGOperandProcessAccess.h
 
 
CGOperandSensor.cpp
CGOperandSensor.cpp
 
 
CGOperandSensor.h
CGOperandSensor.h
 
 
CGOperandSignal.cpp
CGOperandSignal.cpp
 
 
CGOperandSignal.h
CGOperandSignal.h
 
 
CGOperandState.cpp
CGOperandState.cpp
 
 
CGOperandState.h
CGOperandState.h
 
 
CGOperandSynonym.cpp
CGOperandSynonym.cpp
 
 
CGOperandSynonym.h
CGOperandSynonym.h
 
 
CGOperandVariableAccess.cpp
CGOperandVariableAccess.cpp
 
 
CGOperandVariableAccess.h
CGOperandVariableAccess.h
 
 
CGOperator.cpp
CGOperator.cpp
 
 
CGOperator.h
CGOperator.h
 
 
CGOutput.cpp
CGOutput.cpp
 
 
CGOutput.h
CGOutput.h
 
 
CGProcedure.cpp
CGProcedure.cpp
 
 
CGProcedure.h
CGProcedure.h
 
 
CGProcess.cpp
CGProcess.cpp
 
 
CGProcess.h
CGProcess.h
 
 
CGProcessAccess.cpp
CGProcessAccess.cpp
 
 
CGProcessAccess.h
CGProcessAccess.h
 
 
CGRequest.cpp
CGRequest.cpp
 
 
CGRequest.h
CGRequest.h
 
 
CGReset.cpp
CGReset.cpp
 
 
CGReset.h
CGReset.h
 
 
CGReturn.cpp
CGReturn.cpp
 
 
CGReturn.h
CGReturn.h
 
 
CGSensor.cpp
CGSensor.cpp
 
 
CGSensor.h
CGSensor.h
 
 
CGSensorMachineService.cpp
CGSensorMachineService.cpp
 
 
CGSensorMachineService.h
CGSensorMachineService.h
 
 
CGSensorNames.h
CGSensorNames.h
 
 
CGSensorProcess.cpp
CGSensorProcess.cpp
 
 
CGSensorProcess.h
CGSensorProcess.h
 
 
CGSensorSignal.cpp
CGSensorSignal.cpp
 
 
CGSensorSignal.h
CGSensorSignal.h
 
 
CGSensorState.cpp
CGSensorState.cpp
 
 
CGSensorState.h
CGSensorState.h
 
 
CGSet.cpp
CGSet.cpp
 
 
CGSet.h
CGSet.h
 
 

Repository files navigation

QSDL-CG

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis)

About

Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Code Generator (CG)

Topics

simulation sdl exploration code-generation qsdl

Resources

Readme

License

GPL-3.0 license
Activity

Stars

1 star

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages