Commits · 83e46b45bd3949b4c34c2217176ef2a38c85d7b6 · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

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
- add copyright comments · cee83df9
  Sebastian Krings authored 12 years ago
  
  cee83df9
- getPossibleValues should return null to avoid a drop down menu in some of the rodin editors · 431f8f68
  Sebastian Krings authored 12 years ago
  
  431f8f68
Jan 03, 2013
- use atomicString instead of toString to remove ticks around the units returned by ProB · 36699953
  Sebastian Krings authored 12 years ago
  
  36699953
- do not export an empty unit attribute to ProB · 49fabba9
  Sebastian Krings authored 12 years ago
  
  49fabba9
- do not should down the animator after unit analysis. not sure if this is correct anyway. · 9a22c885
  Sebastian Krings authored 12 years ago
  
  9a22c885
- wrap the content of the unit pragma in a list, to get closers to what happens for regular B · 75286489
  Sebastian Krings authored 12 years ago
  
  75286489
Jan 02, 2013
- translation of units pragmas in machines, contexts next · 0cf8520d
  Sebastian Krings authored 12 years ago
  
  0cf8520d
- renamed unitPragma to unitPragmaAttribute to avoid name clash with internal data types · 9eadbf16
  Sebastian Krings authored 12 years ago
  
  9eadbf16
- infrastructure for translation of unit pragmas · c9b110ac
  Sebastian Krings authored 12 years ago
  
  c9b110ac
- insert results of unit analysis in the inferredUnitPragma text fields · eaf30ff0
  Sebastian Krings authored 12 years ago
  
  eaf30ff0
- add a second text field to output the inferred pragma · 69181ee0
  Sebastian Krings authored 12 years ago
  
  69181ee0
- switch plugin output to list, managed to get the resulting state printed on the console….. · 6303d930
  Sebastian Krings authored 12 years ago
  
  6303d930
Dec 28, 2012
- fix predicate name · edd36d1f
  Sebastian Krings authored 12 years ago
  
  edd36d1f
- get unit analysis result (string form) from prolog and print on console · 89240b65
  Sebastian Krings authored 12 years ago
  
  89240b65
Dec 27, 2012
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · 070b9e3b
  Sebastian Krings authored 12 years ago
  
  070b9e3b
Dec 20, 2012
- working on analysis handler · 388da10e
  Sebastian Krings authored 12 years ago
  
  388da10e
- new proof status: reviewed · 64cd3e87
  Jens Bendisposto authored 12 years ago
  
  64cd3e87
- refactoring, new command structure for unit analysis handler · 42dd4ec3
  Sebastian Krings authored 12 years ago
  
  42dd4ec3
- fix term send to prolog · 8eea83fc
  Sebastian Krings authored 12 years ago
  
  8eea83fc
Dec 19, 2012
- try to add unit pragmas to the translation, infrastructural work · f74c5200
  Sebastian Krings authored 12 years ago
  
  f74c5200
- Merge branch 'develop' of github.com:bendisposto/prob into feature/units · c04588fb
  Sebastian Krings authored 12 years ago
  
  c04588fb
- Removen unnecessary call to the theory translation · abbb05db
  Daniel Plagge authored 12 years ago
  
  abbb05db
- Merge branch 'develop' into feature/units · f378f99e
  Sebastian Krings authored 12 years ago
  
  f378f99e
- fix dependency version · 870d48aa
  Sebastian Krings authored 12 years ago
  
  870d48aa
- add missing dependency · ff733ba1
  Sebastian Krings authored 12 years ago
  
  ff733ba1