Commits · 044dba194b422d98094a6e7137411bd8069d0945 · general / stups / ProB Rodin Plugin · GitLab

Snippets Groups Projects

Jun 21, 2013
- Merge branch 'release/2.4.1' · 044dba19
  Sebastian Krings authored 11 years ago
  
  View commits for tag 2.4.1 2.4.1
  
  044dba19
- bump version number to 2.4.1 · 659b05ab
  Sebastian Krings authored 11 years ago
  
  659b05ab
- comment out some debugging code · 5298e191
  Sebastian Krings authored 11 years ago
  
  5298e191
- update org.eventb.ui dependencies · 4add7f60
  Sebastian Krings authored 11 years ago
  
  4add7f60
- update dependencies for rodin 2.8 · f7646f4a
  Sebastian Krings authored 11 years ago
  
  f7646f4a
Jun 20, 2013
- work around rodin db exception when a symbolic attribute is not set · 56a21c71
  Sebastian Krings authored 11 years ago
  
  56a21c71
Jun 14, 2013
- use our prolog output instead of rodins output for disproved hypotheses and goal · 181b81f1
  Sebastian Krings authored 12 years ago
  
  181b81f1
Jun 07, 2013
- fix index out of bounds if the disprover is called on a sequent without hypotheses · 66917bbd
  Sebastian Krings authored 12 years ago
  
  66917bbd
Jun 06, 2013
- use toStringFullyParenthesized in disprover output of hypotheses and goal · 72aaba51
  Sebastian Krings authored 12 years ago
  
  72aaba51
- remove outdated comment · d6c7324a
  Sebastian Krings authored 12 years ago
  
  d6c7324a
- convert disprover log output to ascii · 22d32e7a
  Sebastian Krings authored 12 years ago
  
  22d32e7a
- disprover: add hypotheses, goal and result to log · e8d8dd55
  Sebastian Krings authored 12 years ago
  
  e8d8dd55
- if a timeout occurs, no counterexample is found · 43f35f3d
  Sebastian Krings authored 12 years ago
  
  43f35f3d
- improved to string method of counter-example (for loggin) · 2c9428a1
  Sebastian Krings authored 12 years ago
  
  2c9428a1
May 29, 2013
- Improved Error Message (PROBPLUGIN-75) · 7ca58084
  Jens Bendisposto authored 12 years ago
  
  7ca58084
May 22, 2013
- provide disprover as an auto tactic · f7ffbfcb
  Sebastian Krings authored 12 years ago
  
  f7ffbfcb
- renamed disprover -> (dis)prover, remove old strings · 47864339
  Sebastian Krings authored 12 years ago
  
  47864339
- fix import of counter example · 9d5e1827
  Sebastian Krings authored 12 years ago
  
  9d5e1827
- externalize strings in disprover.cover · 51fe5fcf
  Sebastian Krings authored 12 years ago
  
  51fe5fcf
- move file to internal package · 2f34e60b
  Sebastian Krings authored 12 years ago
  
  2f34e60b
May 21, 2013
- made disprover user interruptible · f402c12a
  Sebastian Krings authored 12 years ago
  
  f402c12a
May 17, 2013
- fix build (classpath, etc following parser version bump) · 09f68e8e
  Sebastian Krings authored 12 years ago
  
  09f68e8e
- bump parser version · f95ee87f
  Sebastian Krings authored 12 years ago
  
  f95ee87f
May 14, 2013
- fix null-pointer occurring if Rodin tries to restore serialised disprover reasoner input · 85018eaf
  Sebastian Krings authored 12 years ago
  
  85018eaf
Apr 24, 2013
- store if a model or a context was send to the animator inside an eclipse... · dbf77a94
  Sebastian Krings authored 12 years ago
  dbf77a94
- fix assertion check button · 06017916
  Sebastian Krings authored 12 years ago
  
  06017916
Apr 23, 2013
- get assertion checking counter example transition from prolog and update animator · 5f62d80c
  Sebastian Krings authored 12 years ago
  
  5f62d80c
- refactoring of enum, renamed element · 31486be4
  Sebastian Krings authored 12 years ago
  
  31486be4
- add assertion checking to prob plugin. an existing error state is not displayed yet. · 30832b68
  Sebastian Krings authored 12 years ago
  
  30832b68
- renamed some menu entries · 168aa22a
  Sebastian Krings authored 12 years ago
  
  168aa22a
- restructured checking menu in animation view · 790cb460
  Sebastian Krings authored 12 years ago
  
  790cb460
Apr 19, 2013
- improve output of disprover · ffac47aa
  Sebastian Krings authored 12 years ago
  
  ffac47aa
Apr 18, 2013
- if no counter-example is found by the disprover, return a reasoner failure... · 69dbb1a2
  Sebastian Krings authored 12 years ago
  69dbb1a2
- refactored counter example · ae65b9b4
  Sebastian Krings authored 12 years ago
  
  ae65b9b4
- if the proof status of a theorem as guard is exported for prob, we also export... · b0a97f59
  Sebastian Krings authored 12 years ago
  b0a97f59
- missing exception · 60f5b509
  Sebastian Krings authored 12 years ago
  
  60f5b509
- remove old code · 514d278f
  Sebastian Krings authored 12 years ago
  
  514d278f
- return a reasoner failure instead of modifying the proof tree if a timeout occurs · 4eeb0eac
  Sebastian Krings authored 12 years ago
  
  4eeb0eac
- remove unused local variable, simplifies constructor · ca368746
  Sebastian Krings authored 12 years ago
  
  ca368746
- remove old comments · d5d03fb9
  Sebastian Krings authored 12 years ago
  
  d5d03fb9