Commits · feature/theory_plugin · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Mar 08, 2013
- Added handling for missing theory plugin · ce1a74f1
  Daniel Plagge authored 12 years ago
  
  ce1a74f1
- minor refactoring · 161c9162
  Daniel Plagge authored 12 years ago
  
  161c9162
- Some refactorings in the translator, moved duplicated code to super class · 43e1923e
  Daniel Plagge authored 12 years ago
  
  43e1923e
- made dependency to theories optional (first step) · ed18c738
  Daniel Plagge authored 12 years ago
  
  ed18c738
- some refactoring in Theories · d410e815
  Daniel Plagge authored 12 years ago
  
  d410e815
- Added a flag that shows if a theory was used · 8eccaf54
  Daniel Plagge authored 12 years ago
  
  8eccaf54
- current MANIFEST · d6d36b0f
  Daniel Plagge authored 12 years ago
  
  d6d36b0f
Feb 25, 2013
- prototype code to find Theory -> ProB Mapping · 4d73b84c
  Daniel Plagge authored 12 years ago
  
  4d73b84c
- Now using the TranslationVisitor, comparing with old version · 103260fc
  Daniel Plagge authored 12 years ago
  
  103260fc
Feb 13, 2013
- added a refactored TranslationVisitor · f1d99986
  Daniel Plagge authored 12 years ago
  
  f1d99986
Feb 12, 2013
- organized imports · 50b80176
  Daniel Plagge authored 12 years ago
  
  50b80176
- added translation of axiomatic definitions · 9afb6906
  Daniel Plagge authored 12 years ago
  
  9afb6906
- bugfix: ProBException is not handled initially · 3a1a6e13
  Daniel Plagge authored 12 years ago
  
  3a1a6e13
- Converting RuntimeExceptions to TranslationFailedExceptions, · 1398231d
  Daniel Plagge authored 12 years ago
  1398231d
- bugfix: passing bound variables was not always guaranteed · 891f45b3
  Daniel Plagge authored 12 years ago
  
  891f45b3
- 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