jresp Code
Status: Beta
Brought to you by:
mloreti
File | Date | Author | Commit |
---|---|---|---|
CORE | 2016-07-29 | Andrea Margheri | [44a101] Draft TypeSystem |
DEMOS | 2014-10-09 | Andrea Margheri | [c5b332] jRESP Video Demos |
DOCS | 2013-11-07 | Michele Loreti | [378665] [FIXED] Cloud example. |
EXAMPLES | 2016-08-01 | Andrea Margheri | [97462a] Draft Z3 Runtime for PolicyFlow graph calculation |
LIB | 2013-06-30 | Michele Loreti | [890101] [FIXED] Completed the firts version of the inte... |
SIM | 2016-07-22 | Andrea Margheri | [e20b93] PolicyAutomaton Updated with last fixes |
XTEXT | 2016-08-30 | Andrea Margheri | [522e9b] Set PSCEL Feature for plug-in |
.gitignore | 2012-10-02 | Michele Loreti | [dbb4bb] Renamed package from scel to resp. |