Commits · b09d6a94cbeeb72e74f00ceb224b9decded40c0e · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Feb 12, 2013
- added dependency to theory plug-in · b09d6a94
  Daniel Plagge authored 12 years ago
  
  b09d6a94
Jan 31, 2013
- Merge branch 'develop' into feature/theory_plugin · ba31e728
  Daniel Plagge authored 12 years ago
  ba31e728
Jan 21, 2013
- Mac specific test options · fe287ca8
  birkhoff authored 12 years ago
  
  fe287ca8
- Split problem marker into different classes for each problem, simplified error generation. · d43ab31e
  Sebastian Krings authored 12 years ago
  
  d43ab31e
Jan 18, 2013
- reset inferred unit once a new analysis run starts · 020f2547
  Sebastian Krings authored 12 years ago
  
  020f2547
- improved error reporting: attach error marker to variables with incorrect unit definitions · c428191a
  Sebastian Krings authored 12 years ago
  
  c428191a
- moved files to new packages · 0250046b
  Sebastian Krings authored 12 years ago
  
  0250046b
- disable ui tests for now till jenkins supports it · 8774f0a3
  Sebastian Krings authored 12 years ago
  
  8774f0a3
- removed vm args line entirely · ed42a687
  Sebastian Krings authored 12 years ago
  
  ed42a687
- commented out jvm flags for tests · c961259d
  Sebastian Krings authored 12 years ago
  
  c961259d
Jan 16, 2013
- try and see if we can run ui tests on jenkins · 377d8c36
  Sebastian Krings authored 12 years ago
  
  377d8c36
- address the identifier attribute by its constant declared in EventBAttributes instead of by string · ea2fc064
  Sebastian Krings authored 12 years ago
  
  ea2fc064
- remove prereq attribute from ContextAttributeProcessor. Does not seem to be necessary at all. · 40478873
  Sebastian Krings authored 12 years ago
  
  40478873
- grep constants identifier from attributes, update SCConstant with unit attribute · 2d110e9f
  Sebastian Krings authored 12 years ago
  
  2d110e9f
- update translator test case now that attributes on constants are copied · e1c8ea30
  Sebastian Krings authored 12 years ago
  
  e1c8ea30
- remove prereq from contextAttributeProcessor, should fix the running order of SC modules · a85ff614
  Sebastian Krings authored 12 years ago
  
  a85ff614
- renaming some variables · 32601b55
  Sebastian Krings authored 12 years ago
  
  32601b55
- use sc variables in machine translation · 4a86793c
  Sebastian Krings authored 12 years ago
  
  4a86793c
- small refactoring · bc9f5f55
  Sebastian Krings authored 12 years ago
  
  bc9f5f55
- remove file saving from test case · b97a0ae6
  Sebastian Krings authored 12 years ago
  
  b97a0ae6
- use exists() instead of != null when checking for variable / constant · dc694db1
  Sebastian Krings authored 12 years ago
  
  dc694db1
- add static checker for constants in contexts · 33d84332
  Sebastian Krings authored 12 years ago
  
  33d84332
- moved config setter · 675dc4d6
  Sebastian Krings authored 12 years ago
  
  675dc4d6
- 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