Activity for Michele Loreti
-
Michele Loreti committed [f25b44]
[FIX] Typos in the interface.
-
[FIX] Error bars in Experiment Views.
-
[FIX] Added missing icons in the repository.
-
[NEW] Simulation View.
-
[NEW] Dialgo for simulation wizard.
-
[NEW] New syntax for spatial models.
-
[NEW] Definition of space in systems
-
[NEW] Integrated datatypes for collections;
-
[NEW] Bike Sharing Scenario
-
[FIX] Bug on predicate evaluation.
-
Included on-the-fly and statistical model-checker.
-
PRISM Language:
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
[FIXED] Autoscale of simulation graphs.
-
[NEW] Language for Probabilistic Reactive Modules
-
[REGENERATED]
-
[NEW] LPRM: Type checker and validation of expr...
-
[NEW] LPRM: Type checking for variable assignme...
-
Restructured Git repository.
-
Restructured Git repository.
-
[NEW] Smuc Language
-
[NEW] Simulation extension.
-
[NEW] Tests
-
Integrated new version of csstudio libraries fo...
-
* New commands for: Interactive execution, Export
-
[NEW] Simulation package
-
[NEW] Parser test for Population language
-
[NEW] Scel syntax.
-
[UPDATED] New methods for simulation.
-
Restructured Git repository.
-
[NEW] Integrated population plug-in.
-
Integrated Population based language (Syntax de...
-
* Included Apache Math Commons v. 3.1.1
-
[NEW] Simulation agent + SEIR Example.
-
[NEW] Prism module internal representation and ...
-
[NEW] PModule language
-
[NEW] Extension point for simulating Population...
-
[NEW] Computation of the probabilities of path ...
-
[NEW] Model-checking extensions for population ...
-
[LAST COMMIT]
-
[NEW] Model-checking tools for Populations.
-
[NEW] Type inference for LPRM expressions
-
Restructured Git Repository.
-
[RESTRUCTURED] Project org.cmg.ml.sam.xtext.kla...
-
[FIX] Minor changes.
-
[Fixed] Transition computations of PRISM modules.
-
[merge]
-
General commit.
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
[NEW] Model checking view.
-
[NEW] Lpr backgroung language
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
[NEW] Classes for Markovian Simulation.
-
New tests
-
Refactoring of jSAM components.
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
-a
-
[NEW] Validation for Population language.
-
[NEW] New Population Project Wizard moved under...
-
[UPDATE] Update to Xtext 2.5.1
-
Restructured Git repository.
-
[merge]
-
[NEW] Prism tests.
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
[NEW] Collected memory usage during tests.
-
[Merge]
-
PRISM Language integrations:
-
[FIX] Moved to Mars
-
[REFACTORING] Renamed projects and pakcages of ...
-
Merge branch 'master' of git@150.217.32.61:jSAM
-
[PROGRESS] Code generation of PRISM language
-
[FIX] On-the-fly data structure for CONCUR
-
[Merged]
-
[NEW] Population language: Model-checking of st...
-
[NEW] Population language parser test.
-
[FIXED] Population language syntax.
-
[NEW] Completed code generation.
-
[NEW+] Model-checking of populations.
-
[FIXED] Labels in the graph of a simulation.
-
[NEW] Fast simulation of Population models.
-
[FIXED] Removed code warnings.
-
[RESTRUCTURED] Project: org.cmg.ml.sam.xtext.klaim
-
Restructured Git Repository
-
Restructured Git repository.
-
[NEW] Tests for LPRM Language
-
[TEST] ICE final version.
-
Removed antlr-generator file from repository.
-
[NEW] Test for stiff Prism models.
-
[FIXED] ICE Benchmarks
-
[NEW] Introduced class AnyField that matches ag...
-
[NEW] Implemented queryAll and getAll at the le...
-
[FIX] Bug on interface recomputation.
-
[NEW] Queryp and Getp actions.
-
[FIX] Bug on SocketPort.
-
[FIX] Bug on socket port.
-
Removed generated files
-
Removed generated files from repository.
-
[FIX] Removed unused old classes.
-
[FIX] Bug on guards evaluation.
-
[FIX] Another bug on scopes.
1 >
