jresp Code
Status: Beta
Brought to you by:
mloreti
Menu
▾
▴
Tree [522e9b] master / History
| 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. |
