Commits · 58c2d39ba32845cf721ebb7af09403ca03cd543a · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Jan 16, 2013
- use interface instead of class · 58c2d39b
  Sebastian Krings authored 12 years ago
  
  58c2d39b
- copy over attributes on machines · 7a8aa720
  Sebastian Krings authored 12 years ago
  
  7a8aa720
- new test cases for attributes, verifying that the attributes exist on the SC vars / constants · 7fb43b67
  Sebastian Krings authored 12 years ago
  
  7fb43b67
- working on static checking of machine variables (copy over attribute), infrastructure done · 7b77cb3c
  Sebastian Krings authored 12 years ago
  
  7b77cb3c
Jan 15, 2013
- add unit tests for unit translation · 3325f74b
  Sebastian Krings authored 12 years ago
  
  3325f74b
- add test project to units plugin · be939129
  Sebastian Krings authored 12 years ago
  
  be939129
- adapt to new pretty print format · 2e456eef
  Sebastian Krings authored 12 years ago
  
  2e456eef
Jan 14, 2013
- fix comment · 634b7762
  Sebastian Krings authored 12 years ago
  
  634b7762
- change expand behaviour of unit text fields · 627771cf
  Sebastian Krings authored 12 years ago
  
  627771cf
Jan 11, 2013
- add error marked on no units / multiple units, for variables and constants · 5fbefcbe
  Sebastian Krings authored 12 years ago
  
  5fbefcbe
Jan 08, 2013
- Catch illegalargumentexception occurring if the unitPragmaAttribute does not... · beed56d4
  Sebastian Krings authored 12 years ago
  beed56d4
- remove dependency to de.prob.unit from de.prob.core.tests · 0f714944
  Sebastian Krings authored 12 years ago
  
  0f714944
- refactored test case from fragment to plugin · bfb8c377
  Sebastian Krings authored 12 years ago
  
  bfb8c377
- renamed files to tycho's expected format · de09d54e
  Sebastian Krings authored 12 years ago
  
  de09d54e
- fix empty translations testcase · d68f0f85
  Sebastian Krings authored 12 years ago
  
  d68f0f85
- test case machine translation including variables · a96f176f
  Sebastian Krings authored 12 years ago
  
  a96f176f
- fix typo · 02bb2d64
  Sebastian Krings authored 12 years ago
  
  02bb2d64
- test cases for context translation · ac2a0fce
  Sebastian Krings authored 12 years ago
  
  ac2a0fce
- add test case for translation of empty context · 1110180d
  Sebastian Krings authored 12 years ago
  
  1110180d
- renamed package · 531082b7
  Sebastian Krings authored 12 years ago
  
  531082b7
- remove old test folder · 5a1a0be1
  Sebastian Krings authored 12 years ago
  
  5a1a0be1
- move prob core unit tests to their own plugin · 430e856a
  Sebastian Krings authored 12 years ago
  
  430e856a
- removed "continue" · a6ff0c96
  Daniel Plagge authored 12 years ago
  
  a6ff0c96
- Merge remote-tracking branch 'origin/develop' into develop · c9cd556b
  Daniel Plagge authored 12 years ago
  
  c9cd556b
- Getting Type Environment now from the model or context, not using the default.... · 967dbd5f
  Daniel Plagge authored 12 years ago
  967dbd5f
Jan 07, 2013
- update build properties. add icon folder to export. · 83e46b45
  Sebastian Krings authored 12 years ago
  
  83e46b45
- update units feature · 01740770
  Sebastian Krings authored 12 years ago
  
  01740770
- Merge branch 'feature/units' into develop · 5d254275
  Sebastian Krings authored 12 years ago
  
  5d254275
- fix separators · 9222d3b4
  Sebastian Krings authored 12 years ago
  
  9222d3b4
- update dependency · 36240c7d
  Sebastian Krings authored 12 years ago
  
  36240c7d
- update unit plugin xml file (name, vendor, etc) · 42651c69
  Sebastian Krings authored 12 years ago
  
  42651c69
- tried to move unit analysis to its own plugin. there are remaining references... · f168c6cb
  Sebastian Krings authored 12 years ago
  f168c6cb
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · 48f77a16
  Sebastian Krings authored 12 years ago
  
  48f77a16
- Merge branch 'develop' of github.com:bendisposto/prob into develop · dce251d6
  Sebastian Krings authored 12 years ago
  
  dce251d6
- add missing parameter to constructor, to prevent calling the default constructor · 60f30e44
  Sebastian Krings authored 12 years ago
  
  60f30e44
Jan 04, 2013
- animator is shut down by the activation once rodin is quit. no need to do it here. · 5feac513
  Sebastian Krings authored 12 years ago
  
  5feac513
- okay, error handling is done in the animator. no need to do it here. · 5565f05c
  Sebastian Krings authored 12 years ago
  
  5565f05c
- removed old todo item · c4448d19
  Sebastian Krings authored 12 years ago
  
  c4448d19
- update log message for unit analysis · d24258a1
  Sebastian Krings authored 12 years ago
  
  d24258a1
- get errors from prob after unit analysis, only insert the results into the... · 40ac9ae7
  Sebastian Krings authored 12 years ago
  40ac9ae7