Commits · master · DarwinSPL / DarwinSPL

03 Nov, 2020 4 commits
- Readding Ida's improvement · 7541caf0
  Adrian Hoff authored Nov 03, 2020
  
  7541caf0
- Reverting Ida's changes · 542204cd
  Adrian Hoff authored Nov 03, 2020
  
  542204cd
- deleted a backup file · dcb5ea55
  Adrian Hoff authored Nov 03, 2020
  
  dcb5ea55
- Removed a backup file and integrated Ida's model checking improvement! · 5375f5bb
  Adrian Hoff authored Nov 03, 2020
  
  5375f5bb
16 Oct, 2020 2 commits
- Merge branch 'master' of https://gitlab.com/DarwinSPL/DarwinSPL · a740a64c
  Adrian Hoff authored Oct 16, 2020
  
  a740a64c
- added todos · e5ae794d
  Adrian Hoff authored Oct 16, 2020
  
  e5ae794d
30 Sep, 2020 1 commit
- Update README.md · 76e2a9ae
  Adrian Hoff authored Sep 30, 2020
  
  76e2a9ae
13 Sep, 2020 4 commits
- Merge branch 'master' of https://gitlab.com/DarwinSPL/DarwinSPL · fc90a3ee
  Adrian Hoff authored Sep 13, 2020
  
  fc90a3ee
- New Update Site Version · 03f96fde
  Adrian Hoff authored Sep 13, 2020
  
  03f96fde
- Update README.md · 8ccc6da5
  Adrian Hoff authored Sep 13, 2020
  
  8ccc6da5
- Fixed a bug that would falsly display operation counts in FMs (using the... · d8078f74
  Adrian Hoff authored Sep 13, 2020
```
Fixed a bug that would falsly display operation counts in FMs (using the Eclipse property view) - Thank you, Reviewer 4!
```
  d8078f74
26 Aug, 2020 1 commit
- Update README.md - updated youtube links · b803f955
  Adrian Hoff authored Aug 26, 2020
  
  b803f955
25 Aug, 2020 5 commits
- Updated info in Readme · f07a8286
  Adrian Hoff authored Aug 25, 2020
  
  f07a8286
- Updated information · 60e84414
  Adrian Hoff authored Aug 25, 2020
  
  60e84414
- Fixed random generator and typos in Eclipse packing guidelines · 9eeebb4a
  Adrian Hoff authored Aug 25, 2020
  
  9eeebb4a
- Updated update site to deliver new version of SPLC plugin · cf1ff6b1
  Adrian Hoff authored Aug 25, 2020
  
  cf1ff6b1
- Inserted seed generation into SPLC'20 test plugin · 439e7ea6
  Adrian Hoff authored Aug 25, 2020
  
  439e7ea6
24 Aug, 2020 1 commit
- Updated README.md · 7be4d255
  Adrian Hoff authored Aug 24, 2020
  
  7be4d255
23 Aug, 2020 3 commits
- Updated Readme.MD · f1fe2335
  Adrian Hoff authored Aug 23, 2020
  
  f1fe2335
- Fixed logo folder to contain sensible files and file names · 87c906fd
  Adrian Hoff authored Aug 23, 2020
  
  87c906fd
- Fixed logo folder to contain sensible files and file names · a933de13
  Adrian Hoff authored Aug 23, 2020
  
  a933de13
22 Aug, 2020 10 commits
- Added troubleshooting tips to headless Maude engine execution part · 99cb52dd
  Adrian Hoff authored Aug 22, 2020
  
  99cb52dd
- Fixed a wring depency to JavaSe-13 · 6a9ba033
  Adrian Hoff authored Aug 22, 2020
  
  6a9ba033
- Fixed typos and formatting issues in Readme.MD · dba02461
  Adrian Hoff authored Aug 22, 2020
  
  dba02461
- Updated Readme! (The new tutorial video will follow within the next days) · fa6532cd
  Adrian Hoff authored Aug 22, 2020
  
  fa6532cd
- Improved creation of new CTC models: better TFM reference initialization · 9bbc6cdb
  Adrian Hoff authored Aug 22, 2020
  
  9bbc6cdb
- Implemented a web version for update site with instructions on how to install via update site · 5b7b5a7e
  Adrian Hoff authored Aug 22, 2020
  
  5b7b5a7e
- New docker instance version 1.2 · 8336060b
  Adrian Hoff authored Aug 22, 2020
  
  8336060b
- Updated installation site · da3d390f
  Adrian Hoff authored Aug 22, 2020
  
  da3d390f
- Fixed a little bug in the icon setup of graphical feature diagram editor · 1607a6b5
  Adrian Hoff authored Aug 22, 2020
  
  1607a6b5
- Fixed a little bug in the CTC grammar · 2830f04c
  Adrian Hoff authored Aug 22, 2020
  
  2830f04c
21 Aug, 2020 3 commits
- Fixed plugin exports according to modified classpath files · 955b9519
  Adrian Hoff authored Aug 21, 2020
  
  955b9519
- Fixed comments in VendingMachine Example FMEC module · a7fdf6b1
  Adrian Hoff authored Aug 21, 2020
  
  a7fdf6b1
- Fixed classpath issues that would require to create empty src-folders · 4e6d4aae
  Adrian Hoff authored Aug 21, 2020
  
  4e6d4aae
19 Aug, 2020 4 commits
- Merging branch "hoff_develop" into "master" · 9c9768a1
  Adrian Hoff authored Aug 19, 2020
  
  9c9768a1
- Adopting Rahel's changes to the tree viewer for merge into master · d8392285
  Adrian Hoff authored Aug 19, 2020
  
  d8392285
- Improved LTL rule for until expressions · 63d94988
  Adrian Hoff authored Aug 19, 2020
  
  63d94988
- Updated infos on update site (copyright and license) · 4d554267
  Adrian Hoff authored Aug 19, 2020
  
  4d554267
16 Aug, 2020 1 commit
- Fixed Maude translation issues - THANKS IDA! · 0da42367
  Adrian Hoff authored Aug 16, 2020
  
  0da42367
15 Aug, 2020 1 commit
- Merge branch 'branch_treeviewer_develop' into 'master' · c0ac11f5
  Adrian Hoff authored Aug 15, 2020
```
Branch treeviewer develop

See merge request !92
```
  c0ac11f5