Andrea committed [522e9b]

Set PSCEL Feature for plug-in

Andrea committed [08073a]

Finalised Plugin and Main Generation

Andrea committed [64f0f4]

Finalised SMTLIB Genaration

Andrea committed [3b8dcd]

Add validity check for Alg connection

Andrea committed [212416]

Beta Z3 main for Graph Creation

Andrea committed [fd1425]

Minor type in import declaration of generated code

Andrea committed [263780]

Minor typo on policy translation

Andrea committed [97462a]

Draft Z3 Runtime for PolicyFlow graph calculation

Andrea committed [d0f17e]

Finalised Policy Translation to SMTLIB

Andrea committed [7b409f]

Initial version of pattern matching function

Andrea committed [47f121]

Type System and Inference for Template Analysis

Andrea committed [a976c1]

Approximation of Subject and Object

Andrea committed [44a101]

Draft TypeSystem

Andrea committed [9f08f6]

Formatted and minor typos

Andrea committed [3687fe]

format

Andrea committed [ccdca1]

Set up new Eclipse

Andrea committed [30ad00]

Beta of the SMTLIB translation for the POlicyFl...

Andrea committed [37ab12]

Add PSCEL examples and finalised Java Generation

Andrea committed [efd829]

Add correct validator for ID feature of nodes

Andrea committed [436109]

Add Case Study PSCEL

Andrea committed [e20b93]

PolicyAutomaton Updated with last fixes

Andrea committed [c5a3cf]

Recursive check and replace of FormalVariables ...

Andrea committed [995a4c]

Update PolicyAutomaton (Non simulation version)...

Andrea committed [bfd31c]

OK FACPL robot swarm example

Andrea committed [1b3f1a]

OK PSCEL case study

Andrea committed [8c9f20]

Fix pattern-matching between ActualTemplateFiel...

Andrea committed [82813b]

Fix for case studies

Andrea committed [3e84ee]

Add block of denied actions in Simulated Policy...

Andrea committed [d65496]

Fix generation of feature ID

Andrea committed [c91c21]

Fix Put authorisation

Andrea committed [8de781]

Support for Variables in Obligations

Andrea committed [932357]

Add support for THIS in policy evaluation

Andrea committed [08e82b]

Updated Automaton Definition based on TargetExp...

Andrea committed [76c054]

Finalised Automaton Definition and Translation

Andrea committed [5a365d]

Support for attribute name within Tuple and Tem...

Andrea committed [0cbedc]

Java Code generation for PSCEL Policy

Andrea committed [3cc1cb]

Fix policy evaluation and scheduler of new agent

Andrea committed [757655]

Updated PSCEL example robots

Andrea committed [91965b]

Finalised Example and Simulation of Execution o...

Andrea committed [5b3a4d]

Add support for exchanging interfaces among nodes

Andrea committed [b4192c]

Authorisation of READ and UPDATE actions

Andrea committed [fadfe2]

Fix Authorisation of local actions with BEFORE ...

Andrea committed [bd7102]

Removed unused elemtns of FACPL library

Andrea committed [2a0923]

Add method for attribute request in the INode i...

Andrea committed [787f79]

Add partial support for new policy authorisation

Andrea committed [1fa906]

Various improvements to PSCEL example

Andrea committed [1370ca]

Initial Commit for new PSCEL example for disast...

Andrea committed [ff5284]

Add UPD and READ actions

Andrea committed [edf40e]

Add Support for 'reserved keyword' THIS in poli...

Andrea committed [5c56a6]

Fix PSCEL code geneartor and support of interfa...

Andrea committed [7eeabc]

Add Obligation Action syntax

Andrea committed [c47deb]

[PSCEL UI] Add code generation for programming ...

Andrea committed [7d1d69]

Fix exported packages

Andrea committed [0e1ab2]

Add "dummy" automaton for single FACPL policy

Andrea committed [c67bea]

PSCEL Syntax (to fix Obligaiton actions)

Andrea committed [29e524]

Fix MWE for generation of new project

Andrea committed [ab3dda]

PSCEL IDE : programming policy constructs

Michele Loreti committed [19c92d]

[NEW] Introduced class AnyField that matches ag...

Michele Loreti committed [14155b]

[NEW] Implemented queryAll and getAll at the le...

Michele Loreti committed [1348ad]

[FIX] Bug on interface recomputation.

Michele Loreti committed [669d7e]

[NEW] Queryp and Getp actions.

Michele Loreti committed [ea18cb]

[FIX] Bug on SocketPort.

Michele Loreti committed [08d79d]

[FIX] Bug on socket port.

Michele Loreti committed [5eec3d]

Removed generated files

Michele Loreti committed [e42733]

Removed generated files from repository.

Michele Loreti committed [870d1b]

[FIX] Removed unused old classes.

Michele Loreti committed [25dd0b]

[FIX] Minor bugs.

Michele Loreti committed [ca506b]

[FIX] Syntax highlighting.

jresp released /jresp_3.1_lib.jar

Andrea Margheri committed [d5c75c]

Fix Policy Comparison Function

Michele Loreti committed [7e1fd9]

[NEW] Example and test of HL-SCEL.

Michele Loreti committed [d6ad55]

Merge branch 'master' of git@150.217.32.61:SCEL

Michele Loreti committed [466787]

[FIX] Minor bugs.

Michele Loreti committed [14294d]

[NEW] Released HL-SCEL code generation.

jresp released /jresp_3.0_lib.jar

Michele Loreti committed [ae27eb]

Merge branch 'master' of git@150.217.32.61:SCEL

Andrea Margheri committed [099936]

ADDED:

Michele Loreti committed [91aaa5]

[MERGET]

Andrea committed [03cd3e]

Minor typos on comparison function invocation

Michele Loreti committed [4dc163]

[NEW] Example.

Michele Loreti committed [b4fc09]

[NEW] Exponential delay factory.

Andrea committed [446efb]

[FIX] Simulation for policy automaton and polic...

Michele Loreti committed [9a8793]

[FIX] Minor issues

Michele Loreti committed [a1f92e]

Merge branch 'master' of git@150.217.32.61:SCEL

Michele Loreti committed [fbac7a]

[MERGED]

Michele Loreti committed [8893dd]

[NEW] Removed some generated files form index.

Andrea Margheri committed [c5b332]

jRESP Video Demos

Michele Loreti committed [5b1e01]

[NEW] Integrated policy in the simulatio package.

Michele Loreti committed [313295]

Merge branch 'master' of git@150.217.32.61:SCEL

Michele Loreti committed [66fa03]

[NEW] Integrated policies in simulations.

Andrea committed [9c9ae8]

[FIXED] Charging problem

Michele Loreti committed [9f5260]

[NEW] Syntax of HL-SCEL programs and their vali...

Michele Loreti committed [002941]

[NEW] Example

Michele Loreti committed [612e38]

[NEW] Tests for HL-SCEL parser.

Andrea Margheri committed [6be94e]

Add Condition Specification

Michele Loreti committed [877814]

[NEW] Example

Michele Loreti committed [0d4ebf]

Merge branch 'master' of git@150.217.32.61:SCEL

Andrea committed [2a3469]

Add a first draft of LowBattery Behaviour

Andrea committed [0f1951]

Merge branch 'master' into LowBattery

Andrea committed [ceb4e1]

Finish the simulation on BatteryLevel consumpti...