[gemoc-dev] new GEMOC Studio official release 3.4.0 available

[Didier Vojtisek <didier.vojtisek@xxxxxxxx>]

    Hi all
    
    
     a new official release of the studio 3.4.0 is now available on the
    download page: http://gemoc.org/download.html
    
    
    New and noteworthy:

• Studio is the last based on Eclipse 2021-06
• new support for definition and execution of behavioral interface (currently available for sequential java engine). This interface allows to interleave user/external events with the execution. (cf. https://hal.archives-ouvertes.fr/hal-02565549/document)
  
• enhancement of the moccml concurrent to support the construction of state space
• enhancement of the moccml concurrent to support a new DSL that specifies a specific scenario to be verified against the behavioral semantics
• better support for pom first jar of a subset of the studio (ie. jar to be used with pure maven dependencies instead of eclipse manifest dependencies)
• improvements on the trace (recording and basic visualization)
• test suite stability improvements
• and many bug fixes

    (with more details here: https://gemoc.org/studio_releases/eclipse_package/updatesite/2022/01/10/V3.4.0.html
    ) 
    
    Next milestone versions will be 3.5.0.yyyymmdd  and will move to
    eclipse 2021-12.
      
    best regards
    
    Didier
    
    
-- 
Didier Vojtisek
SED Rennes - DiverSE Team - LogicA Team
Inria, Univ Rennes, CNRS, IRISA
Campus de beaulieu
35042 Rennes
02 99 84 75 07