48686bf | Peter Feiler | 27 July 2018, 17:46:28 UTC | finished fixing generate handler | 27 July 2018, 17:46:28 UTC |
d6761df | Peter Feiler | 27 July 2018, 17:17:16 UTC | tried to fix generator handler | 27 July 2018, 17:17:16 UTC |
801a43b | Peter Feiler | 27 July 2018, 16:46:32 UTC | Merge remote-tracking branch 'origin/master' | 27 July 2018, 16:46:32 UTC |
7fb1256 | Peter Feiler | 27 July 2018, 16:46:03 UTC | Fixed resolute test of aaspe to use new test interface without UI | 27 July 2018, 16:46:03 UTC |
5fbe0a2 | Lutz Wrage | 25 July 2018, 18:28:53 UTC | Update pom.xml | 25 July 2018, 18:28:53 UTC |
25c0d63 | Peter Feiler | 25 July 2018, 18:02:30 UTC | updated odesign to use aql instead of the old [\] | 25 July 2018, 18:02:30 UTC |
15f2d2a | Peter Feiler | 25 October 2017, 01:25:21 UTC | Removed condition to check whether project is predeclared properties project. It is now not an explicit project any more. | 25 October 2017, 01:25:21 UTC |
4842040 | Peter Feiler | 06 September 2017, 13:55:23 UTC | Removed duplicate package entry. Fixed case on classname of package. | 06 September 2017, 13:55:23 UTC |
b73574b | Peter Feiler | 10 August 2017, 18:56:21 UTC | updated SiriusUtil with the fixes done in emfta. Use viewpoint URI again. | 10 August 2017, 18:56:21 UTC |
7e00fbd | Peter Feiler | 10 August 2017, 16:57:10 UTC | Updated SiriusUtil and fixed supply of view as name rather than URI. | 10 August 2017, 16:57:10 UTC |
b8817bb | Peter Feiler | 10 August 2017, 16:47:49 UTC | fixed xtext testing with Xtend. | 10 August 2017, 16:47:49 UTC |
6fd1bd8 | Peter Feiler | 04 August 2017, 13:30:04 UTC | fixed change to Sirius 5.0. Does not aut-open though. Same issue as with EMFTA | 04 August 2017, 13:30:04 UTC |
59acf77 | Peter Feiler | 04 August 2017, 13:29:02 UTC | fixed reference to xtext testing | 04 August 2017, 13:29:02 UTC |
21f41c0 | Sam Procter | 21 November 2016, 20:02:55 UTC | Initial commit of the SAVI example | 21 November 2016, 20:02:55 UTC |
426d3a0 | Julien Delange | 27 September 2016, 17:32:38 UTC | Add emv2 examples | 27 September 2016, 17:32:38 UTC |
6b72905 | Julien Delange | 12 September 2016, 18:28:57 UTC | update install instructions | 12 September 2016, 18:28:57 UTC |
2e745b5 | Julien Delange | 12 September 2016, 15:45:48 UTC | Auto open generated models | 12 September 2016, 15:45:48 UTC |
fa593d7 | Joe Seibel | 17 August 2016, 16:04:54 UTC | Gave the action set in edu.cmu.sei.aaspe a unique id. | 17 August 2016, 16:04:54 UTC |
faabe2f | Julien Delange | 15 August 2016, 19:47:36 UTC | * Try to add more deps in order to have the menu to show | 15 August 2016, 19:47:36 UTC |
b65c231 | Julien Delange | 05 August 2016, 13:16:09 UTC | Fix the issue with the attack impact file | 05 August 2016, 13:16:09 UTC |
0c9a0a6 | Julien Delange | 05 August 2016, 13:14:13 UTC | Merge branch 'master' of https://github.com/cmu-sei/AASPE.git | 05 August 2016, 13:14:13 UTC |
c1d5a1b | Julien Delange | 05 August 2016, 13:13:58 UTC | * Add properties in the build | 05 August 2016, 13:13:58 UTC |
52be9d8 | Lutz Wrage | 05 August 2016, 08:01:32 UTC | ignore target dir | 05 August 2016, 08:01:32 UTC |
1e0c15f | Lutz Wrage | 05 August 2016, 08:00:51 UTC | delete files that should be ignored | 05 August 2016, 08:00:51 UTC |
1e464e6 | Lutz Wrage | 05 August 2016, 07:57:13 UTC | Revert "Enable tests" This reverts commit 0d78d0777dc1f8eac24ea38090404d1f6ea27e87. | 05 August 2016, 07:57:13 UTC |
0d78d07 | Lutz Wrage | 05 August 2016, 07:13:24 UTC | Enable tests | 05 August 2016, 07:13:24 UTC |
586770b | Lutz Wrage | 03 August 2016, 13:46:00 UTC | added support for tycho/maven build | 03 August 2016, 13:46:00 UTC |
a3bbd25 | Lutz Wrage | 03 August 2016, 10:55:56 UTC | Convert line endings to unix | 03 August 2016, 10:55:56 UTC |
52fba51 | Lutz Wrage | 03 August 2016, 10:55:17 UTC | Added/fixed .gitignore files | 03 August 2016, 10:55:17 UTC |
94a589b | Julien Delange | 22 July 2016, 03:05:29 UTC | remove resolute file as it is now in the properties | 22 July 2016, 03:05:29 UTC |
d7d41ad | Julien Delange | 22 July 2016, 03:04:13 UTC | Import security theorems directly in the workspace | 22 July 2016, 03:04:13 UTC |
01547f1 | Julien Delange | 14 July 2016, 15:14:08 UTC | Update documentation | 14 July 2016, 15:14:08 UTC |
ebd198e | Julien Delange | 13 July 2016, 20:10:50 UTC | Continue the documentation | 13 July 2016, 20:10:50 UTC |
0a27155 | Julien Delange | 13 July 2016, 19:46:00 UTC | Add documentation | 13 July 2016, 19:46:00 UTC |
1a6d5bc | julien | 13 July 2016, 14:27:27 UTC | update arduino code | 13 July 2016, 14:27:27 UTC |
69fca83 | julien | 13 July 2016, 01:36:28 UTC | Merge branch 'master' of https://github.com/cmu-sei/AASPE | 13 July 2016, 01:36:28 UTC |
9b622fd | julien | 13 July 2016, 01:36:10 UTC | add arduino code | 13 July 2016, 01:36:10 UTC |
1c51af2 | Julien Delange | 11 July 2016, 17:02:32 UTC | update example for drone control | 11 July 2016, 17:02:32 UTC |
61cf2c1 | Julien Delange | 08 July 2016, 18:14:29 UTC | update generator | 08 July 2016, 18:14:29 UTC |
232d896 | julien | 08 July 2016, 00:16:45 UTC | update model, direction works | 08 July 2016, 00:16:45 UTC |
3d670b8 | Julien Delange | 07 July 2016, 20:28:30 UTC | update navigation code | 07 July 2016, 20:28:30 UTC |
20965a5 | Julien Delange | 07 July 2016, 19:59:02 UTC | ability to handle the case study | 07 July 2016, 19:59:02 UTC |
ab020b3 | Julien Delange | 07 July 2016, 14:27:42 UTC | update documentation for the code generator | 07 July 2016, 14:27:42 UTC |
47007f8 | Julien Delange | 07 July 2016, 13:22:29 UTC | Beaglebone example with serial working | 07 July 2016, 13:22:29 UTC |
cea8ccb | julien | 07 July 2016, 01:49:18 UTC | add beaglebone example | 07 July 2016, 01:49:18 UTC |
6a1b178 | Julien Delange | 06 July 2016, 19:10:06 UTC | add libs | 06 July 2016, 19:10:06 UTC |
6bea90b | Julien Delange | 06 July 2016, 12:57:15 UTC | Merge branch 'master' of https://github.com/cmu-sei/AASPE | 06 July 2016, 12:57:15 UTC |
3a57507 | Julien Delange | 06 July 2016, 12:57:07 UTC | Add project files | 06 July 2016, 12:57:07 UTC |
3d67b14 | julien | 06 July 2016, 00:18:19 UTC | Update README | 06 July 2016, 00:18:19 UTC |
aaa38f4 | julien | 06 July 2016, 00:15:08 UTC | Improve the code generator, generate partition budget/period | 06 July 2016, 00:15:08 UTC |
ca21eba | Julien Delange | 05 July 2016, 18:51:52 UTC | Add design for attack impact and attack tree | 05 July 2016, 18:51:52 UTC |
7a05df9 | Julien Delange | 05 July 2016, 18:48:39 UTC | Add examples and the security_properties contribution | 05 July 2016, 18:48:39 UTC |
8a8245b | Julien Delange | 05 July 2016, 18:34:20 UTC | Import AASPE plugins | 05 July 2016, 18:34:20 UTC |
a6aea59 | Julien Delange | 05 July 2016, 17:18:33 UTC | Add README | 05 July 2016, 17:18:33 UTC |