KIELER
  1. KIELER

semantics

Public
AuthorCommitMessageCommit dateIssues
Steven SmythSteven Smyth
e4b8b6661bbMMerge pull request #161 in KIELER/semantics from nbw/java/statebased.lean.template to master* commit '1c6191d7adb11ed7bf3183de3a104ddf7e13ef55': statebased.lean.java: Added lean-mode statebased java generator
Steven SmythSteven Smyth
0ff914e4b23MMerge pull request #160 in KIELER/semantics from nbw/c/statebased.lean.template to master* commit '38ca3a768b48ab4a97132e70ef7e4a6ae4eff962': statebased.lean.common: Ensure unique names for regions with the same name statebased.lean.c: Moved common functionality to abstract template statebased.lean.c: Moved template codegen for C to dedicated package
Steven SmythSteven Smyth
a85c0e3f18fMMerge pull request #159 in KIELER/semantics from nbw/KISEMA-1404-Statebased-Precedence to master* commit 'a1292bed7c4c343d91ebab379c366e9c73b81dbe': statebased.lean.c: Fixed broken precendences with multiple guards on deleayed transitionsKISEMA-1404
Steven SmythSteven Smyth
87f33e1b57bMMerge remote-tracking branch 'origin/master' into ssm/master
Steven SmythSteven Smyth
2f08267d5eeMMerge branch 'ssm/circuits' into ssm/master
Steven SmythSteven Smyth
6c2b9e56193MMerge branch 'ssm/causalView' into ssm/master
Nis WechselbergNis Wechselberg
1c6191d7adbstatebased.lean.java: Added lean-mode statebased java generatorState-based lean codegenerator for java using the template approach. Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Nis WechselbergNis Wechselberg
38ca3a768b4statebased.lean.common: Ensure unique names for regions with the same nameSigned-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Nis WechselbergNis Wechselberg
cb7ea129251statebased.lean.c: Moved common functionality to abstract templateSigned-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Nis WechselbergNis Wechselberg
733291f5b90statebased.lean.c: Moved template codegen for C to dedicated packageTo allow for templates for other target languages, the target language should be represented in the packagename. Signed-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Nis WechselbergNis Wechselberg
a1292bed7c4statebased.lean.c: Fixed broken precendences with multiple guards on deleayed transitionsSigned-off-by: Nis Wechselberg <wechselberg.nisboerge@scheidt-bachmann-st.de>
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
7e6577b0a13simulation: Added blacklist to exclude variables from json communication
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
64646ce8565release: Switched to new development version (1.1)
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
88eadb2db9dMMerge remote-tracking branch 'origin/master' into als/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
ad421494f97sccharts: Fixed ambiguous transition syntax. KISEMA-1399- The sctx grammar no longer supports both orders in transition definitions. Target state now has to be at the end.KISEMA-1399
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
d27d1611d2bsccharts.ui: Added reserialization commandAdded reserialization command to parse an sctx file, ignoring all user formatting and syntax options and overrideing the file with newly serialzed content.
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
cad1a06dfdeMMerge remote-tracking branch 'origin/master' into als/master
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
70e57306d39kexpressions: Improved formatter
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
75b407ca1d4sccharts: Fixed bug caused by too aggressive DTO optimization.KISEMA-1397KISEMA-1397
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
400fba22964simulation.ui: Fixed exception messages in variable filter.KISEMA-1396KISEMA-1396
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8ce9b7e3d31perspectives: Removed superfluous environment simulation perspectiveKISEMA-1393KISEMA-1393
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
ba0e49a8719sccharts.ui: Fixed indentation of sctx file wizard template.KISEMA-1393KISEMA-1393
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
e8bb27ad447MMerge remote-tracking branch 'origin/als/master'
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
8843426afacproduct: Set standard encoding to UTF8 in RCA
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
c237e984ac5kexpressions: Improved omitting parenthesis in HR serializerKISEMA-1394 Fixed kexpressions testsKISEMA-1394
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
871d00a036ckexpressions: Fixed HR serialization for non-associative operatorsKISEMA-1394KISEMA-1394
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
a659060cd67MMerge pull request #157 in KIELER/semantics from const-input-for-referenced-sccharts to master* commit '2536877cc8eecca3c8f33a109700bb397ac3ef0c': sccharts: Reference: declare declarations bound to literals as const, if it was const before kexpressions: don't show error because of missing initialization on const input (for referenced sccharts)
Andreas StangeAndreas Stange
2536877cc8esccharts: Reference: declare declarations bound to literals as const, if it was const beforekexpressions: don't show error because of missing initialization on const input (for referenced sccharts)
Steven SmythSteven Smyth
bdd86ddcc0dMMerge remote-tracking branch 'origin/master' into ssm/circuits
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
525a01e444asimulation.ui: Added support to simulate model chains. KISEMA-1395The first model in chain will always be used as simulation input.KISEMA-1395
Steven SmythSteven Smyth
7211af1aaebMMerge remote-tracking branch 'origin/als/master' into ssm/circuits
Alexander Schulz-RosengartenAlexander Schulz-Rosengarten
7a6a1afc870simulation.ui: Fixed missing entry in data view
Steven SmythSteven Smyth
9137240c9c4scg/circuit: improved diagram highlighting with active TTS
Steven SmythSteven Smyth
089b280ef2cscg: refined tracing
Steven SmythSteven Smyth
aaf2e2d7bb7scg: fixed tracing chain in simple guard sequentializer
Steven SmythSteven Smyth
d8e3ab318cfcircuit.ui: worked on circuit diagram highlighter
Steven SmythSteven Smyth
1820b4c3a92circuit.ui: added prev circuit highlighter as stub
Steven SmythSteven Smyth
71b03cf2dfascg.ui: added highlighter for SCGs
Steven SmythSteven Smyth
1d01d1005aecircuit: added tracing
Steven SmythSteven Smyth
e527d9b1916MMerge branch 'ssm/improvedCausalView' into ssm/circuits
Steven SmythSteven Smyth
a49175641a5scc.ui: added option for causal dataflow
Steven SmythSteven Smyth
ed314005766kico: added cc construction helper for processors without system
Steven SmythSteven Smyth
24630111049scc: improved causal loop detection
Steven SmythSteven Smyth
5adf163f98dcircuit: processors now use environments for aux data
Steven SmythSteven Smyth
861a445654bcircuit: adapted to kicool
Steven SmythSteven Smyth
f94d41248b2circuit: renamed to actual scheme
Steven SmythSteven Smyth
ba687da2b0dcircuit: re-enabled circuit dev plugins
Steven SmythSteven Smyth
81aad7b7118scc: causal view differs between valid/invalid schedules
Steven SmythSteven Smyth
5f47148b296scc: added visualization for potential causal loop in causal view
Steven SmythSteven Smyth
987acf1c22bscc: added generic version of tarjan to control dependency processor