Commit 5231561b authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Update README

parent 7a9a5d7c
......@@ -121,72 +121,71 @@ Changelog
- Fix issue finding ASN.1 files when model loaded from another folder
**3.1.2 (07/2020)**
- Reinforce syntax error checking and reporting
- Reinforce syntax error checking and reporting
**3.1.1 (07/2020)**
- Reinforce syntax error checking and reporting
Don't allow user escape a symbol syntax error: refocus text until fixed
- Reinforce syntax error checking and reporting
- Don't allow user escape a symbol syntax error: refocus text until fixed
**3.1.0 (06/2020)**
- Add support for mkstring operator to transform an element into an array
- Add support for mkstring operator to transform an element into an array
mkstring (a, b, c) is in principle equivalent to ASN.1 Value Notation {a, b, c}
however ASN.1 value notation can't be used for a single indexed element : { foo(1) }
as this is an ambiguous syntax (it can be mixed with a record field, with value 1).
mkstring is the actuall Z100 (SDL standard) syntax to be used
**3.0.9 (06/2020)**
- Minor fixes in C backend related to case sensitivity
- Minor fixes in C backend related to case sensitivity
**3.0.8 (06/2020)**
- Support ASN.1 integer constants with no range (plain x INTEGER ::= 5)
- Check that procedures with a return type are called only from TASKs
- Support ASN.1 integer constants with no range (plain x INTEGER ::= 5)
- Check that procedures with a return type are called only from TASKs
**3.0.7 (06/2020)**
- Fix update of data dictionary window
- Fix unconstained constants support
- Fix update of data dictionary window
- Fix unconstained constants support
**3.0.6 (06/2020)**
- Fix CONNECT symbol
- Fix CONNECT symbol
**3.0.5 (06/2020)**
- Add support to standard SDL syntax x := CALL procedure
in tasks
- Add support to standard SDL syntax *x := CALL procedure* in tasks
**3.0.4 (06/2020)**
- Fix use of ASN.1 constants in decision branches
- Fix use of ASN.1 constants in decision branches
**3.0.3 (05/2020)**
- Replace the unicode separator when flattening the model for code generation
- Fix calls to the exit procedure in nested states
- Replace the unicode separator when flattening the model for code generation
- Fix calls to the exit procedure in nested states
**3.0.2 (05/2020)**
- Fix API change in Pyside2
- Fix API change in Pyside2
**3.0.1 (05/2020)**
- Improve generated Makefile/gpr project file
- Improve generated Makefile/gpr project file
**3.0.0 (12/2019)**
- Port of Opengeode to Python3
- Use PySide2 instead of PySide
- Asn1scc module supports additional options
- Port of Opengeode to Python3
- Use PySide2 instead of PySide
- Asn1scc module supports additional options
**2.1.5 (10/2019)**
- Fix unicode issues
- Fix unicode issues
**2.1.4 (10/2019)**
- Improve code generated for simulation
- Improve code generated for simulation
**2.1.3 (10/2019)**
- Improve statechart rendering (in particular with nested states)
- Improve statechart rendering (in particular with nested states)
**2.1.2 (10/2019)**
- Change import name case for set/reset of timer (for taste compatibility)
- Change import name case for set/reset of timer (for taste compatibility)
**2.1.1 (10/2019)**
- Create cache folder if it was missing
- Create cache folder if it was missing
**2.1.0 (09/2019)**
- Reinforce type checks when using substrings and indexes, and
- Reinforce type checks when using substrings and indexes, and
variable-length arrays. the latter can no longer be indexed on the
left side of an assignment, as the size cannot be set that way
The proper ways to set values of a variable-length array are:
......@@ -195,468 +194,468 @@ Changelog
var := var (0) // { b } // var (2, 3)
**2.0.44 (09/2019)**
- Fix case issue when used combined with kazoo
- Fix case issue when used combined with kazoo
**2.0.43 (05/2019)**
- Better handling of path in generated gpr files
- Better handling of path in generated gpr files
**2.0.42 (05/2019)**
- Fix substring support (can now write var(1,2) := {1,2})
- Fix substring support (can now write var(1,2) := {1,2})
**2.0.41 (05/2019)**
- Add --taste flag to target taste integration with kazoo
- Add --taste flag to target taste integration with kazoo
**2.0.40 (04/2019)**
- Improve generated gpr file
- Improve generated gpr file
**2.0.39 (04/2019)**
- Fix append operator when using substrings
- Fix unicode issue
- Fix append operator when using substrings
- Fix unicode issue
**2.0.38 (04/2019)**
- Support advanced "in" expressions (e.g. "someVar in {enum1, enum2}",
- Support advanced "in" expressions (e.g. "someVar in {enum1, enum2}",
or "someVar in {{a 4, b false}, {a 1, b true}}"
**2.0.37 (04/2019)**
- Support substrings on the left part of an expression (a(1,2) := ...)
- Support substrings on the left part of an expression (a(1,2) := ...)
**2.0.36 (04/2019)**
- Fix unicode issue in Ada backend
- Fix unicode issue in Ada backend
**2.0.35 (04/2019)**
- Add helper when editing text (update data dictionary selection)
- Add helper when editing text (update data dictionary selection)
**2.0.34 (04/2019)**
- Relax range check for substrings
- Save/restore windows geometry when quitting/opening the tool
- Make datatypes fully visible in the data dictionary window
- write[ln] operator now supports embedded newlines
- Relax range check for substrings
- Save/restore windows geometry when quitting/opening the tool
- Make datatypes fully visible in the data dictionary window
- write[ln] operator now supports embedded newlines
**2.0.33 (04/2019)**
- Fix unicode issue in Ada backend when using substrings
- Fix unicode issue in Ada backend when using substrings
**2.0.32 (04/2019)**
- Fix segfault and improve copy paste of nested states in branches
- Fix segfault and improve copy paste of nested states in branches
**2.0.31 (04/2019)**
- Can cut/paste nested states (nested content was lost before)
- Can copy/paste and then rename states with nested content
- Can cut/paste nested states (nested content was lost before)
- Can copy/paste and then rename states with nested content
**2.0.30 (03/2019)**
- Fix bug when double clicking in an autocompletion box in text areas
- Fix bug when double clicking in an autocompletion box in text areas
**2.0.29 (03/2019)**
- Fix range computations and modulo operator
- Fix range computations and modulo operator
**2.0.28 (03/2019)**
- Fix saving issue on new non-taste models
- Fix saving issue on new non-taste models
**2.0.27 (03/2019)**
- Fix type checking when using substrings
- Fix type checking when using substrings
**2.0.26 (03/2019)**
- minor bugfix with underscore/dash confusion
- minor bugfix with underscore/dash confusion
**2.0.25 (03/2019)**
- fixed variable renaming bug in code generation for nested states
- fixed variable renaming bug in code generation for nested states
**2.0.24 (03/2019)**
- Add choice_to_int operator
- Add choice_to_int operator
**2.0.23 (03/2019)**
- Add basic support for NEWTYPE definitions
- Add basic support for NEWTYPE definitions
**2.0.22 (02/2019)**
- Generate GPR files to ease the build using gprbuild
- Generate GPR files to ease the build using gprbuild
**2.0.21 (02/2019)**
- Fix regression in simulation build script
- Fix regression in simulation build script
**2.0.20 (02/2019)**
- Added "val" operator to convert a number to an enumerant
- Added "val" operator to convert a number to an enumerant
useage: someVal := val (0, MyEnumeratedType)
with someVal of type MyEnumeratedType. Will return the first enumerant
**2.0.19 (01/2019)**
- for CHOICE types variables can be declared with enumerated type
- for CHOICE types variables can be declared with enumerated type
corresponding to the choice distriminant. CHOICE type is suffixed by
"-selection", and the "present" operator now returns type type
- If there is an enumerated type with the exact same content as the list
- If there is an enumerated type with the exact same content as the list
of CHOICE determinants, cast is possible using to_selector and to_enum
**2.0.18 (12/2018)**
- Generate code in the current directory, not in the one of the .pr
- Generate code in the current directory, not in the one of the .pr
**2.0.17 (09/2018)**
- Fix type checking of the "power" operator
- Fix type checking of the "power" operator
**2.0.16 (07/2018)**
- Added interaction with system clipboard (basic for floating items)
- Added interaction with system clipboard (basic for floating items)
**2.0.15 (07/2018)**
- Fix many bugs in type checking system
- Fix many bugs in type checking system
**2.0.14 (06/2018)**
- fix numerical checks when setting timer parameters
- fix numerical checks when setting timer parameters
**2.0.13 (06/2018)**
- Add taste-compatible cache mechanism when calling asn1scc
- Add taste-compatible cache mechanism when calling asn1scc
**2.0.12 (06/2018)**
- Fix resolution of ASN.1 constants - values were not use propertly when
- Fix resolution of ASN.1 constants - values were not use propertly when
a constant was referencing another constant (numerical operations only)
**2.0.11 (06/2018)**
- Ada backend: fix choice determinant issue leading to CHOICE_NOT_FOUND bug
- Ada backend: fix choice determinant issue leading to CHOICE_NOT_FOUND bug
**2.0.10 (06/2018)**
- Various fixes in statechart rendering, esp. from command line
- Various fixes in statechart rendering, esp. from command line
**2.0.9 (06/2018)**
- Add timers in statecharts
- Fix statechart list of signals when tab is activated from a sub-diagram
- Add timers in statecharts
- Fix statechart list of signals when tab is activated from a sub-diagram
**2.0.8 (05/2018)**
- Minor bugfix
- Minor bugfix
**2.0.7 (05/2018)**
- Add option to generate code with QGen (C and Ada)
- Better reporting of model parsing error
- Add option to generate code with QGen (C and Ada)
- Better reporting of model parsing error
**2.0.6 (05/2018)**
- Several fixes with the Append operator when working on complex types
- Several fixes with the Append operator when working on complex types
**2.0.5 (04/2018)**
- Fix zoom-in on laptops keyboards with ctrl-shift-+
- Fix zoom-in on laptops keyboards with ctrl-shift-+
**2.0.4 (03/2018)**
- Fix issue with variable prefix in nested states (in generated code)
- Fix issue with variable prefix in nested states (in generated code)
**2.0.3 (03/2018)**
- Optimize calls to asn1scc
- Fix paste error when input symbol is selected
- Optimize calls to asn1scc
- Fix paste error when input symbol is selected
**2.0.2 (03/2018)**
- Better support of ASN.1 constants
- Support timer when using process type
- Trigger model check proposal on save only if not checked recently
- Fix Statechart rendering (incl. with process type)
- Ada backend: when a branch is ignored, generate "null"
- Better support of ASN.1 constants
- Support timer when using process type
- Trigger model check proposal on save only if not checked recently
- Fix Statechart rendering (incl. with process type)
- Ada backend: when a branch is ignored, generate "null"
**2.0.1 (02/2018)**
- Detect type mismatches when user mixes signed and unsigned variables
- Detect type mismatches when user mixes signed and unsigned variables
**2.0.0 (02/2018)**
- V2 of Opengeode is based on ASN1SCC V4 and is not compatible with V3
- Main changes concern support of unsigned numbers in ASN.1 types
- V2 of Opengeode is based on ASN1SCC V4 and is not compatible with V3
- Main changes concern support of unsigned numbers in ASN.1 types
**1.5.44 (01/2018)**
- Bugfix: Return error code when Ada generation fails
- Tests: reorder arguments to asn1scc for v4 compatibility
- Bugfix: Return error code when Ada generation fails
- Tests: reorder arguments to asn1scc for v4 compatibility
**1.5.43 (01/2018)**
- Add preliminary compatibility with asn1scc v4
- Add preliminary compatibility with asn1scc v4
**1.5.42 (10/2017)**
- Fix case issue with process types
- Remove submodules
- Fix case issue with process types
- Remove submodules
**1.5.40 (07/2017)**
- Fix range check in arrays
- Fix range check in arrays
**1.5.39 (07/2017)**
- Minor fix in testcase Makefile
- Minor fix in testcase Makefile
**1.5.38 (06/2017)**
- Fix unicode issue in Ada backend
- Fix unicode issue in Ada backend
**1.5.37 (05/2017)**
- Fix Ada backend bug with sequence of literals in nested states
- Fix Ada backend bug with sequence of literals in nested states
**1.5.36 (05/2017)**
- Fix Unicode issues in Ada backend
- Fix Unicode issues in Ada backend
**1.5.35 (05/2017)**
- Fix FOR LOOPS code generation
- Fix FOR LOOPS code generation
**1.5.34 (05/2017)**
- Fix statechart message selection box
- Fix statechart message selection box
**1.5.33 (04/2017)**
- Fix unicode issue with the simulation code
- Use -fPIC when building the simulation library
- Fix unicode issue with the simulation code
- Use -fPIC when building the simulation library
**1.5.32 (04/2017)**
- Unicode bugfixes in Ada backend
- Bugfix with SEQUENCE OF literals in Ada backend
- Various bugfixes with mixed int32/64 bits
- Unicode bugfixes in Ada backend
- Bugfix with SEQUENCE OF literals in Ada backend
- Various bugfixes with mixed int32/64 bits
**1.5.28 (03/2017)**
- Added preliminary support for PROCESS TYPE and instances
- Added preliminary support for PROCESS TYPE and instances
**1.5.26 (02/2017)**
- Statecharts can be configured to filter out signals
- Statecharts can be configured to filter out signals
**1.5.25 (01/2017)**
- Ada backend generates aliased context (used for model checking)
- Ada backend generates aliased context (used for model checking)
**1.5.24 (01/2017)**
- PR file use better indentation for text areas (no line return)
- PR file use better indentation for text areas (no line return)
**1.5.23 (12/2016)**
- In simulation mode, bugfix in the declaration of the startup function
- Code generator prepared for model checking
- In simulation mode, bugfix in the declaration of the startup function
- Code generator prepared for model checking
**1.5.22 (12/2016)**
- Simulation function save/restore context fix
- Simulation function save/restore context fix
**1.5.21 (11/2016)**
- Fix regression with test-math (import of external functions)
- Use monospace font in the HTML rendering of ASN.1 files
- Fix regression with test-math (import of external functions)
- Use monospace font in the HTML rendering of ASN.1 files
**1.5.20 (11/2016)**
- Fix wrongly formatted error reporting in FOR loops
- Support SDL2010 dot field separator (variable.field,
- Fix wrongly formatted error reporting in FOR loops
- Support SDL2010 dot field separator (variable.field,
while sdl92 only supported variable!field)
- Sequence of literals now support field selectors
- Sequence of literals now support field selectors
(i.e. { variable.field } is now a valid statement)
- Support inner procedure call with return statement
- Support inner procedure call with return statement
**1.5.19 (11/2016)**
- Fix integer cast in Ada
- Fix integer cast in Ada
**1.5.18 (11/2016)**
- Fix parsing of ASN.1 constants that use an annonymous inner type
- Fix parsing of ASN.1 constants that use an annonymous inner type
**1.5.17 (11/2016)**
- Fixed issue with initialization of generated code in state aggregations
- Fixed issue with initialization of generated code in state aggregations
**1.5.16 (11/2016)**
- Fix minor indentation issue when saving
- Fix minor indentation issue when saving
**1.5.15 (10/2016)**
- Report incomplete startup transitions as errors in nested states
- Report incomplete startup transitions as errors in nested states
**1.5.14 (10/2016)**
- Support named integers (requires asn1scc 3.3.04 or more recent)
- Support named integers (requires asn1scc 3.3.04 or more recent)
**1.5.13 (10/2016)**
- Better support of warnings
- Fixed detection of CHOICE assignment erros
- Raise error if process miss the start transition
- Raise error in case of SEQUENCE OF type mismatch
- Better support of warnings
- Fixed detection of CHOICE assignment erros
- Raise error if process miss the start transition
- Raise error in case of SEQUENCE OF type mismatch
**1.5.12 (09/2016)**
- Detect duplicate declaration of procedures
- Detect duplicate declaration of procedures
**1.5.11 (09/2016)**
- Allow semicolon in the declaration of procedures after RETURNS keyword
- Allow semicolon in the declaration of procedures after RETURNS keyword
**1.5.10 (09/2016)**
- readonly mode with more restrictions
- readonly mode with more restrictions
**1.5.9 (09/2016)**
- Added --readonly command line to restrict process modifications
- Added --readonly command line to restrict process modifications
**1.5.8 (09/2016)**
- Bugfix - Ada backend failed when there were continuous signals in
- Bugfix - Ada backend failed when there were continuous signals in
nested states but none at root level (missing end if)
- Load fix when there is no dataview
- Additional type checks
- Load fix when there is no dataview
- Additional type checks
**1.5.7 (09/2016)**
- Bugfix - Update completion list of process symbol
- Sort ASN.1 types in data dictionary
- Bugfix - Update completion list of process symbol
- Sort ASN.1 types in data dictionary
**1.5.6 (08/2016)**
- vi interface supports history
- vi interface for substitution can apply to the whole model (with g)
- refactoring function via vi interface (eg. %state,fromName,toName,)
- Fixed issue with rendering (coordinates of symbols could be wrong)
- Introduce data dictionary
- vi interface supports history
- vi interface for substitution can apply to the whole model (with g)
- refactoring function via vi interface (eg. %state,fromName,toName,)
- Fixed issue with rendering (coordinates of symbols could be wrong)
- Introduce data dictionary
**1.5.4 (08/2016)**
- Various GUI improvements
- Various GUI improvements
**1.5.3 (07/2016):**
- Ada backend fix: Continous signals now handled in states
- Ada backend fix: Continous signals now handled in states
where input is not consumed
**1.5.2 (07/2016):**
- Asn1scc API added to interface with DMT/asn2dataModel
- Better statechart rendering (less distance between nodes)
- Asn1scc API added to interface with DMT/asn2dataModel
- Better statechart rendering (less distance between nodes)
**1.4.5 (07/2016):**
- Context variable was not prefixed properly
- Callback function for timers use 64bits integer
- RIs use prefix with unicode separation to avoid name clashes
- Context variable was not prefixed properly
- Callback function for timers use 64bits integer
- RIs use prefix with unicode separation to avoid name clashes
**1.4.4 (06/2016)**
- Minor bugfix in Ada backend to support typeless systems
- Minor bugfix in Ada backend to support typeless systems
**1.4.3 (06/2016)**
- Add support for priority of continuous signals in Ada code generator
- Add support for priority of continuous signals in Ada code generator
**1.4.2 (06/2016)**
- Reload / render properly priority of continuous signals
- Reload / render properly priority of continuous signals
**1.4.1 (06/2016)**
- Continuous states can check the presence of messages in the input queue
- Continuous states can check the presence of messages in the input queue
to respect the SDL semantics
- Bugfix in Ada code generator on continuous states
- Bugfix in Ada code generator on continuous states
**1.3.28 (06/2016)**
- Excluded states (with *(statelist) ) were case sensitive
- Excluded states (with *(statelist) ) were case sensitive
**1.3.27 (05/2016)**
- Fix bug in Ada backend when using continous signals
- Better handling of simulation script
- Fix bug in Ada backend when using continous signals
- Better handling of simulation script
**1.3.26 (05/2016)**
- Fix parser issues with negative expressions
- Fix parser issues with negative expressions
**1.3.25 (05/2016)**
- Fix reporting of syntax errors in state aggregations
- Fix reporting of syntax errors in state aggregations
**1.3.22 (05/2016)**
- Bug fix in range checks for division and subtraction
- Optimise loading when there are no CIF comments
- Bug fix in range checks for division and subtraction
- Optimise loading when there are no CIF comments
**1.3.21 (05/2016)**
- Complete support of optional fields
- Complete support of optional fields
(check tests/regression/test-optionalfields)
**1.3.20 (05/2016)**
- Improve simulator interface
- Improve simulator interface
**1.3.19 (04/2016)**
- Various bugfixes with ternary operator
- Added demo "test-save" showing how to emulate the behaviour of the SAVE
- Various bugfixes with ternary operator
- Added demo "test-save" showing how to emulate the behaviour of the SAVE
symbol
- ASN.1 types are shown with SDL-syntax (no hyphens)
- ASN.1 types are shown with SDL-syntax (no hyphens)
**1.3.18 (04/2016)**
- Add support for value notation of NULL type
- Remove warning when accessing CHOICE fields
- Add support for value notation of NULL type
- Remove warning when accessing CHOICE fields
**1.3.17 (04/2016)**
- Add support for value notation of empty SEQUENCEs ("{}")
- Add support for value notation of empty SEQUENCEs ("{}")
**1.3.16 (03/2016)**
- Bugfix in testing aggregation states in the GUI
- Bugfix in testing aggregation states in the GUI
**1.3.15 (03/2016)**
- Bugfix in Ada backend when a state aggregation contained only empty
- Bugfix in Ada backend when a state aggregation contained only empty
states (directly returning states).
**1.3.14**
- Minor bugfix with command line handling
- Minor bugfix with command line handling
**1.3.13**
- Bugfix in rendering of Continuous signals
- Bugfix in rendering of Continuous signals
**1.3.12**
- Render properly parameterless procedures that are declared in the .pr
- Render properly parameterless procedures that are declared in the .pr
file but without a textbox
- When going to parent scene, fixed rendering issue
- When going to parent scene, fixed rendering issue
**1.3.11**
- Parser is more tolerant to incomplete systems
- Parser is more tolerant to incomplete systems
**1.3.9/10 (01/2016)**
- Checker verifies that decision coverage is complete on Real and Boolean
- Checker verifies that decision coverage is complete on Real and Boolean
types
- F3 generates Ada code
- F3 generates Ada code
**1.3.8 (01/2016)**
- Fix logging when LLVM is not installed
- Fix logging when LLVM is not installed
**1.3.7 (12/2015)**
- Added icon to use Continuous Signals from the GUI
- Added icon to use Continuous Signals from the GUI
**1.3.6 (11/2015)**
- Support external procedures having a return statement
- Support external procedures having a return statement
this allows to import math functions from the libmath without having
to provide manual code. see test-math
**1.3.5 (11/2015)**
- Better support for continous signals
- Better support for continous signals
**1.3.4 (11/2015)**
- Early support for continous signals
- Regression issue fixed (test-nocif2)
- Early support for continous signals
- Regression issue fixed (test-nocif2)
**1.3.3 (11/2015)**
- Better support of platform-dependent screen resolution and dpi
- Minor fixes in statechart scenes (no negative coordinates)
- Better support of platform-dependent screen resolution and dpi
- Minor fixes in statechart scenes (no negative coordinates)
**1.3.1 (11/2015)**
- Support for State Aggregations (parallel states)
- Improved statechart rendering
- Support for State Aggregations (parallel states)
- Improved statechart rendering