Commits · tmp/leakdebug · Hans-Peter Deifel / cool · GitLab

Snippets Groups Projects

Mar 25, 2017
- Add stuff for debugging mem leak · 18819409
  Hans-Peter Deifel authored 8 years ago
  
  18819409
Mar 23, 2017
- added EAFormula · 200774f4
  Kristin Braun authored 8 years ago
  
  200774f4
- Add comment on purpose of glpk_stub to various files · 7451cccf
  Hans-Peter Deifel authored 8 years ago
  
  7451cccf
- Remove libbdd and libglpk from C linker command · a6f9f99f
  Hans-Peter Deifel authored 8 years ago
  a6f9f99f
Mar 22, 2017
- Enable documentation generation in oasis · 7198f96f
  Hans-Peter Deifel authored 8 years ago
  7198f96f
- Advertise 'graph' command of command line interface · 6c61df45
  Hans-Peter Deifel authored 8 years ago
  
  6c61df45
- debugger: Stop and print result if reasoner finishes · 83612ae5
  Hans-Peter Deifel authored 8 years ago
  83612ae5
- Prettify graphviz output · 86c2c2ee
  Hans-Peter Deifel authored 8 years ago
  86c2c2ee
- Add UTF-8 "Micro Sign" as syntax for 'mu' · 5f1ec830
  Hans-Peter Deifel authored 8 years ago
  5f1ec830
- Perform sat propagation in debugger step · 371cb823
  Hans-Peter Deifel authored 8 years ago
  371cb823
- Fix command line argument check in debugger · bbd5d2db
  Hans-Peter Deifel authored 8 years ago
  bbd5d2db
- Whitespace fixes · 3a374ca4
  Hans-Peter Deifel authored 8 years ago
  
  3a374ca4
- Show correct binary name in "Usage" of main program · cf70b199
  Hans-Peter Deifel authored 8 years ago
  
  cf70b199
- Improve 'verify' subcommand of main program · e928d370
  Hans-Peter Deifel authored 8 years ago
  e928d370
- Merge branch 'remove-gmlmip' · c9ed384b
  Hans-Peter Deifel authored 8 years ago
  
  c9ed384b
- Disable all testcases involving PML · 2ed7312f
  Hans-Peter Deifel authored 8 years ago
  
  2ed7312f
- Remove GMLMIP from INSTALL file · 48e6299b
  Hans-Peter Deifel authored 8 years ago
  48e6299b
- Replace Array.exists by Array.fold_left · 5736aabb
  Hans-Peter Deifel authored 8 years ago
  5736aabb
- Remove GMLMIP · c4aee922
  Hans-Peter Deifel authored 8 years ago
  c4aee922
Mar 21, 2017
- Add vim modeline to all OCaml files · a57eb439
  Hans-Peter Deifel authored 8 years ago
  
  a57eb439
- Add emacs mode lines to various files · 2bda8737
  Hans-Peter Deifel authored 8 years ago
  
  2bda8737
- Fix whitespace · b81e4887
  Hans-Peter Deifel authored 8 years ago
  
  b81e4887
Mar 18, 2017
- added nom2fix method · 9631d5b7
  Kristin Braun authored 8 years ago
  
  9631d5b7
Mar 16, 2017
- Fix another compiler warning · 7eb41195
  Hans-Peter Deifel authored 8 years ago
  7eb41195
- Add .merlin file to gitignore · 885cc0df
  Hans-Peter Deifel authored 8 years ago
  885cc0df
- Fix a few compiler warnings · e0e6eb62
  Hans-Peter Deifel authored 8 years ago
  
  e0e6eb62
- Get testsuite running again · 9fdc9f4d
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  9fdc9f4d
- Fix testsuite for K · 3c42e3f1
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  3c42e3f1
- Fix compilation of gmlmip with newest ocaml · 9352b45f
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  9352b45f
- Merge branch 'flatmu' · fb402b0e
  Hans-Peter Deifel authored 8 years ago
  
  fb402b0e
May 22, 2016
- Create random coalition for ATL operators · 74870253
  Christoph authored 9 years ago
  
  74870253
- use correct modal operator for ATL · 7d83cfb6
  Christoph authored 9 years ago
  
  7d83cfb6
May 21, 2016
- Consider also other modal operators as valid guards · 07402362
  Christoph authored 9 years ago
  
  07402362
May 14, 2016
- Fix deferral tracking for new CoalitionLogic code · edfbcc2b
  Christoph authored 9 years ago
  
  edfbcc2b
- Remove A( ψ R φ) as it's not supported by all CTL reasoners · 3e2aa1b8
  Christoph authored 9 years ago
  
  3e2aa1b8
- fix generation for CTL · d0628bb9
  Christoph authored 9 years ago
  
  d0628bb9
- Revert to fresh variable names in convertToMu · 2a36974b
  Christoph authored 9 years ago
  
  2a36974b
- Allow creating ATL formulae in randmu · becb9ab2
  Christoph authored 9 years ago
  
  becb9ab2
- Merge remote-tracking branch 'origin/master' into flatmu · e01c4a03
  Christoph authored 9 years ago
  
  e01c4a03
May 12, 2016
- Fix deferral tracking when "empty" least fixpoints appear · e08cd8a9
  Christoph authored 9 years ago
  
  e08cd8a9