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

Snippets Groups Projects

Jan 04, 2013
- 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
- add copyright notices · 204f368c
  Sebastian Krings authored 12 years ago
  
  204f368c
- working on unit analysis command · 28015f9b
  Sebastian Krings authored 12 years ago
  
  28015f9b
- add unit pragma to constants · 07d51831
  Sebastian Krings authored 12 years ago
  
  07d51831
- add menu command for unit checking, no function yet · b5be35dd
  Sebastian Krings authored 12 years ago
  
  b5be35dd
- add description to input text field · 2ce453dd
  Sebastian Krings authored 12 years ago
  
  2ce453dd
- attach unit pragma to variable instead of event · 5f56b91a
  Sebastian Krings authored 12 years ago
  
  5f56b91a
- add unit pragma text field to rodin database · 9e8fff5f
  Sebastian Krings authored 12 years ago
  
  9e8fff5f
- Fixed problem with ClassCastException · c3435fa1
  Daniel Plagge authored 12 years ago
  
  c3435fa1
- updated classpath to use new parser version · df39efd6
  Daniel Plagge authored 12 years ago
  
  df39efd6
Dec 17, 2012
- updated downloadCSPM Task is now 'downloadCli2' please use gradle downloadCli2... · 6da39164
  birkhoff authored 12 years ago
  6da39164
Dec 14, 2012
- Merge branch 'develop' of https://github.com/bendisposto/prob into develop · 99737118
  birkhoff authored 12 years ago
  
  99737118
- task downloadCSPM added · 93ee2eda
  birkhoff authored 12 years ago
  
  93ee2eda