Skip to content

Issues: lenaRB/crml-compiler

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

30 Open 21 Closed
30 Open 21 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Implicit expansion of sets inside operators expecting a single element of the set
#109 opened Dec 19, 2024 by lenaRB
@adrpo @lenaRB @audrey-jardin
fix support of "CountInside" operator bug Something isn't working test-cases
#108 opened Dec 13, 2024 by audrey-jardin
@lenaRB @audrey-jardin
fix support of "Inside" operator bug Something isn't working test-cases
#107 opened Dec 13, 2024 by audrey-jardin
@lenaRB @audrey-jardin
addition of a FORM-L package in library CRML.mo enhancement New feature or request test-cases/CRML.mo
#105 opened Dec 10, 2024 by audrey-jardin
@audrey-jardin
provide unit tests for FORM-L library test-cases
#103 opened Nov 29, 2024 by audrey-jardin
@audrey-jardin
update unit test to use directly CRML.mo blocks enhancement New feature or request test-cases/CRML.mo
#101 opened Sep 10, 2024 by audrey-jardin
@audrey-jardin
translation of CRML options in OMEdit in other languages gui/OMEdit
#98 opened Jul 4, 2024 by audrey-jardin
@adrpo
complete CRML Github documentation with EMBrACE results documentation Improvements or additions to documentation
#97 opened Jul 4, 2024 by audrey-jardin
@adrpo @vincemolnar @lenaRB
update EMBrACE website documentation Improvements or additions to documentation
#96 opened Jul 4, 2024 by audrey-jardin
@adrpo @lenaRB
1
add opening of test_report synthesis in OMEdit gui/OMEdit test-cases
#94 opened Jun 14, 2024 by audrey-jardin
@adrpo
fix type mismatching when generating verification models bug Something isn't working test-cases
#93 opened Jun 14, 2024 by audrey-jardin
@adrpo @lenaRB @audrey-jardin
fix BecomesFalseInside unit test test-cases
#92 opened Jun 14, 2024 by audrey-jardin
@adrpo @audrey-jardin
2
implement a mecanism to activate/deactivate generation of external variables with 'input' prefix enhancement New feature or request
#91 opened Jun 14, 2024 by audrey-jardin
@lenaRB
1
problem in generation of "within" statement bug Something isn't working test-cases
#90 opened Jun 14, 2024 by audrey-jardin
@adrpo @lenaRB
problem with test examples
#88 opened May 29, 2024 by lenaRB
@audrey-jardin
2
fix code generated for CRML models implying external variables to better structure bindings definition and building of verication models bug Something isn't working test-cases
#87 opened May 28, 2024 by audrey-jardin
@adrpo @lenaRB
Handling of packages for tests
#86 opened May 24, 2024 by lenaRB
@lenaRB
2
replace ClockToBoolean block of CRML.mo? test-cases/CRML.mo
#84 opened May 6, 2024 by audrey-jardin
@audrey-jardin
update OMEdit icons for CRML format gui/OMEdit
#81 opened Apr 23, 2024 by audrey-jardin
@adrpo @lenaRB
publish Modelica code for the "typical_requirement" example test-cases
#77 opened Apr 19, 2024 by audrey-jardin
@audrey-jardin
update FORM-L library CRML specification questions regarding the correct syntax test-cases
#76 opened Apr 19, 2024 by audrey-jardin
@audrey-jardin
1
Solve problem when translating "check over" ETL operator bug Something isn't working
#65 opened Feb 15, 2024 by audrey-jardin
@adrpo @lenaRB
Reference results for ETL test suite test-cases
#60 opened Dec 21, 2023 by audrey-jardin
@adrpo @lenaRB
enable the possibility to define custom operators in any order enhancement New feature or request
#54 opened Dec 15, 2023 by audrey-jardin
@lenaRB
add better messages for passing tests and failing tests enhancement New feature or request
#40 opened Mar 24, 2023 by lenaRB
ProTip! Add no:assignee to see everything that’s not assigned.