salmatoolkit/salma issues and pull requests

#40 - www.salmatoolkit.org unreachable

Issue - State: closed - Opened by SebAlbert almost 8 years ago - 1 comment

#39 - Fix creation of failure stack.

Issue - State: open - Opened by ckroiss over 9 years ago
Labels: bug

#38 - Allow functional expressions as arguments in occur predicate.

Issue - State: open - Opened by ckroiss over 9 years ago
Labels: bug

#37 - Add type checking phase to compilation

Issue - State: open - Opened by ckroiss over 9 years ago

#36 - add support for slast in evaluate_for_all_timesteps

Issue - State: open - Opened by ckroiss over 9 years ago

#35 - Add check for circular subsort relation.

Issue - State: open - Opened by ckroiss over 9 years ago

#34 - Performance problem with nested until invariant.

Issue - State: closed - Opened by ckroiss over 9 years ago
Labels: bug

#33 - Add test for multicast channel

Issue - State: open - Opened by ckroiss almost 10 years ago

#32 - Set channel_out_content with action instead of directly.

Issue - State: open - Opened by ckroiss almost 10 years ago

#31 - Assure that all derived fluents are declared as dynamic and have clauses.

Issue - State: open - Opened by ckroiss almost 10 years ago

#30 - allow cancellation of currently scheduled events

Issue - State: open - Opened by ckroiss almost 10 years ago

#29 - check time dependence of schedulability axioms

Issue - State: open - Opened by ckroiss almost 10 years ago

#28 - Add support for mutual exclusive event dispatch.

Issue - State: closed - Opened by ckroiss almost 10 years ago
Labels: enhancement

#27 - Automatically replace operators

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#26 - Add ControlNodes for "Sleep" and "SleepUntil"

Issue - State: open - Opened by ckroiss about 10 years ago

#25 - Integrate SetFluent in normal action cycle

Issue - State: open - Opened by ckroiss about 10 years ago

#24 - Add "virtual" methods on Entity/Agent to initialize fluents / constants.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement, question

#23 - Adapt veridct arbiter to variable time stepping

Issue - State: open - Opened by ckroiss about 10 years ago

#22 - Failure stack doesn't contain unified variables.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: bug

#21 - Introduce support for real-world time measure.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#20 - Add declaration check for precondition axioms.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#19 - Add web-based UI

Issue - State: open - Opened by ckroiss about 10 years ago

#18 - Support triggered processes for remote sensor source

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#17 - Refactor: make procedure name and params optional

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#16 - Add static type checks for procedures.

Issue - State: open - Opened by ckroiss about 10 years ago

#15 - Add consistency check for sensors.

Issue - State: open - Opened by ckroiss about 10 years ago

#14 - Add visitor pattern to control nodes for consistency checks

Issue - State: open - Opened by ckroiss about 10 years ago

#13 - Consider free slots in assignment function of PLCSSAM.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#12 - Add transparent background processes for (remote-) sensing.

Issue - State: closed - Opened by ckroiss about 10 years ago

#11 - Add non-blocking mode in procedure.Sense

Issue - State: closed - Opened by ckroiss about 10 years ago

#10 - Automatically add local fluent for sensor.

Issue - State: closed - Opened by ckroiss about 10 years ago

#9 - Represent ensembles in Python side.

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: enhancement

#8 - Use SSAs with s0 directly for getFluentValue in EclipseCLPEngine

Issue - State: closed - Opened by ckroiss about 10 years ago
Labels: bug

#7 - add fluent effect check pruning and pointers to progression

Issue - State: open - Opened by ckroiss about 10 years ago
Labels: task

#6 - Automatize connector initialization

Issue - State: closed - Opened by ckroiss about 10 years ago
Labels: enhancement

#5 - Change syntax for quantors to : notation

Issue - State: closed - Opened by ckroiss over 10 years ago - 1 comment

#4 - Realize concurrent simulation execution

Issue - State: open - Opened by ckroiss over 10 years ago
Labels: enhancement

#3 - Synchronize dynamic domains with python model

Issue - State: open - Opened by ckroiss over 10 years ago
Labels: enhancement

#2 - Implement Experiment API

Issue - State: open - Opened by ckroiss over 10 years ago
Labels: enhancement

#1 - Add action and predicate filter to progression

Issue - State: open - Opened by ckroiss over 10 years ago
Labels: enhancement

GitHub / salmatoolkit/salma issues and pull requests