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

Snippets Groups Projects

Mar 28, 2014
- update dependencies · 80b9b06f
  Sebastian Krings authored 11 years ago
  
  80b9b06f
- update dependencies · 8fd05cc6
  Sebastian Krings authored 11 years ago
  
  8fd05cc6
- merge develop · 6f20c1ec
  Sebastian Krings authored 11 years ago
  
  6f20c1ec
Mar 27, 2014
- trying to fix parallel building of prob for rodin 2 and rodin 3 · 4548b4f7
  Sebastian Krings authored 11 years ago
  
  4548b4f7
- trying to fix parallel building of prob for rodin 2 and rodin 3 · 035ac6b0
  Sebastian Krings authored 11 years ago
  
  035ac6b0
- trying to fix parallel building of prob for rodin 2 and rodin 3 · 3566881c
  Sebastian Krings authored 11 years ago
  
  3566881c
- trying to fix parallel building of prob for rodin 2 and rodin 3 · c8df4790
  Sebastian Krings authored 11 years ago
  
  c8df4790
- trying to fix parallel building of prob for rodin 2 and rodin 3 · cbab7304
  Sebastian Krings authored 11 years ago
  
  cbab7304
- merge · a661dfa8
  Sebastian Krings authored 11 years ago
  
  a661dfa8
- fix translation of variants (PROBPLUGIN-99) · 61769653
  Sebastian Krings authored 11 years ago
  
  61769653
Mar 18, 2014
- increase version numbers · 85794636
  Sebastian Krings authored 11 years ago
  
  85794636
- update target · d50670cf
  Sebastian Krings authored 11 years ago
  
  d50670cf
- change name · aadd95c1
  Sebastian Krings authored 11 years ago
  
  aadd95c1
- update deps for rodin3 · 8e67ceab
  Sebastian Krings authored 11 years ago
  
  8e67ceab
- Merge branch 'develop' into rodin3 · 17473e3e
  Sebastian Krings authored 11 years ago
  
  17473e3e
Mar 14, 2014
- add output to disprover · 86727c05
  Sebastian Krings authored 11 years ago
  
  86727c05
Mar 13, 2014
- increase size of text field · c406cb5c
  Sebastian Krings authored 11 years ago
  
  c406cb5c
- Merge branch 'develop' into rodin3 · 05541c32
  Sebastian Krings authored 11 years ago
  
  05541c32
- add preference page for disprover · d00782ef
  Sebastian Krings authored 11 years ago
  
  d00782ef
- remove obsolete export as disprover test case · a8d433df
  Sebastian Krings authored 11 years ago
  
  a8d433df
Mar 11, 2014
- Bugfix in translation: In case of quantified expressions or predicates, · 55f5e5b2
  Daniel Plagge authored 11 years ago
  55f5e5b2
Mar 06, 2014
- Merge branch 'develop' into rodin3 · 24e5cdb7
  Sebastian Krings authored 11 years ago
  
  24e5cdb7
- PROB-322: Now adding type information to quantified formulas. · b7efcd85
  Daniel Plagge authored 11 years ago
  b7efcd85
- Added comments · d39ea038
  Daniel Plagge authored 11 years ago
  
  d39ea038
- Added comments, made SuppressWarnings annotation more specific · 45ca4071
  Daniel Plagge authored 11 years ago
  
  45ca4071
Mar 05, 2014
- fix class path and manifest (parser version bump) · 3f9e424d
  Sebastian Krings authored 11 years ago
  
  3f9e424d
Feb 28, 2014
- PROB-322: New necessary parser version 2.4.22 (because of the needed "typeof" elements in the AST) · 0765a81f
  Daniel Plagge authored 11 years ago
  
  0765a81f
- PROB-322: Added "typeof" elements in the translation process. · 51da0000
  Daniel Plagge authored 11 years ago
  
  51da0000
- Removed comparision with old implementation of the translation. · 3a3c302b
  Daniel Plagge authored 11 years ago
  
  3a3c302b
Feb 13, 2014
- Merge branch 'develop' into rodin3 · 210a02ca
  Sebastian Krings authored 11 years ago
  
  210a02ca
- try and adapt Model Checking Dialog text · f2f95f63
  Michael Leuschel authored 11 years ago
  f2f95f63
- improve output in model checking dialog · b03817cb
  Sebastian Krings authored 11 years ago
  
  b03817cb
- merged develop · a641e9a9
  Sebastian Krings authored 11 years ago
  
  a641e9a9
- add progress bar to model checking dialog · cc6ee52b
  Sebastian Krings authored 11 years ago
  
  cc6ee52b
Feb 12, 2014
- State view: The filter button is now initially activated · 4cecc9b3
  Daniel Plagge authored 11 years ago
  
  4cecc9b3
Feb 10, 2014
- PROBPLUGIN-97: Fixed code to check whether an invariant is defined in the... · 11041708
  Daniel Plagge authored 11 years ago
  11041708
Feb 06, 2014
- Merge branch 'develop' into rodin3 · 5c8129db
  Sebastian Krings authored 11 years ago
  
  5c8129db
- refactoring · 7b2efc3a
  Sebastian Krings authored 11 years ago
  
  7b2efc3a
- java 6 · d71bb8d6
  Sebastian Krings authored 11 years ago
  
  d71bb8d6
- Merge branch 'develop' into rodin3 · a03b8fd9
  Sebastian Krings authored 11 years ago
  
  a03b8fd9