lenaRB crml-compiler issues

lenaRB / crml-compiler

Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.

6 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

add opening of test_report synthesis in OMEdit

#94 audrey-jardin opened 1 week ago
0
fix type mismatching when generating verification models

#93 audrey-jardin opened 1 week ago
0
fix BecomesFalseInside unit test

#92 audrey-jardin opened 1 week ago
1
implement a mecanism to activate/deactivate generation of external variables with 'input' prefix

#91 audrey-jardin opened 1 week ago
1
problem in generation of "within" statement

#90 audrey-jardin opened 1 week ago
0
solve ticket #88

#89 audrey-jardin closed 2 weeks ago
0
problem with test examples

#88 lenaRB opened 4 weeks ago
2
fix code generated for CRML models implying external variables to better structure bindings definition and building of verication models

#87 audrey-jardin opened 4 weeks ago
0
Handling of packages for tests

#86 lenaRB opened 1 month ago
2
remove quotes from paths and files if they exist.

#85 adrpo closed 1 month ago
0
replace ClockToBoolean block of CRML.mo?

#84 audrey-jardin opened 1 month ago
0
Fix/update of unit tests for all ETL operators to natively embed clocks + update of CRML.mo (graphical annotation supported by OMEdit + new clock-based ETL operators)

#83 audrey-jardin closed 1 month ago
0
Cleanup and sophisticated unit test for category

#82 audrey-jardin closed 1 month ago
0
update OMEdit icons for CRML format

#81 audrey-jardin opened 2 months ago
0
automatically load CRMLtoModelica library when compiling crml file in OMEdit

#80 audrey-jardin closed 4 weeks ago
3
fix 'translate' option to compile crml file in OMEdit

#79 audrey-jardin closed 1 month ago
1
fix output filename generation on Windows

#78 adrpo closed 2 months ago
0
publish Modelica code for the "typical_requirement" example

#77 audrey-jardin opened 2 months ago
0
update FORM-L library

#76 audrey-jardin opened 2 months ago
1
Fix for CRML.mo, some reference test results and traffic-light example

#75 audrey-jardin closed 2 months ago
0
give more info to debug OMEdit interaction

#74 adrpo closed 2 months ago
0
Problem with code generation for CRML_test.Spec_doc.ClockConstructors.ClockConstructors_verif

#73 adrpo opened 2 months ago
0
new set of verification models for ETL testing

#72 audrey-jardin closed 2 months ago
2
Wrong status in test_report.html

#71 audrey-jardin closed 1 month ago
1
verification models for ETL library

#70 audrey-jardin closed 2 months ago
0
check if OMC simulation succeeded

#69 adrpo closed 3 months ago
0
first commit to reference some public work on CRML

#68 audrey-jardin closed 4 months ago
0
check each stage in the omc script

#67 adrpo closed 4 months ago
0
Create doc folder

#66 audrey-jardin closed 3 months ago
1
Solve problem when translating "check over" ETL operator

#65 audrey-jardin opened 4 months ago
0
Solve problem for opening CRML.mo in OpenModelica

#64 audrey-jardin closed 1 month ago
1
Add new "DecideOver" block in CRML.mo library

#63 audrey-jardin closed 4 weeks ago
1
Add new "CheckOver" block in CRML.mo library

#62 audrey-jardin closed 4 weeks ago
1
Add new "Inside" blocks in CRML.mo library

#61 audrey-jardin closed 4 weeks ago
1
Reference results for ETL test suite

#60 audrey-jardin opened 6 months ago
0
Reference results for ETL operators

#59 audrey-jardin closed 4 months ago
1
Evaluation of categories

#58 audrey-jardin closed 1 month ago
1
Update of ETL testsuite as agreed today

#57 audrey-jardin closed 6 months ago
0
verifying test results

#56 lenaRB closed 6 months ago
2
many fixes for Windows and omc invocation

#55 adrpo closed 6 months ago
0
enable the possibility to define custom operators in any order

#54 audrey-jardin opened 6 months ago
0
Period operators

#53 lenaRB closed 6 months ago
0
the use of new

#52 lenaRB closed 1 month ago
3
translating tick operator

#51 lenaRB closed 6 months ago
0
Editing the ETL examples so they pass the translation phase

#50 lenaRB closed 6 months ago
0
New unit tests to better define the difference from "time" and "time from" built-in operators

#49 audrey-jardin closed 6 months ago
0
Fix declaration of Booleans for cte_false and cte_true

#48 audrey-jardin closed 6 months ago
0
example cte_false/cte_true

#47 lenaRB closed 6 months ago
1
New set of unit tests for built-in and ETL operators

#46 audrey-jardin closed 6 months ago
0
updates of unit examples to test simplified ETL library

#45 audrey-jardin closed 7 months ago
0