Commits · cool2mlsolver · Hans-Peter Deifel / cool · GitLab

Snippets Groups Projects

Apr 10, 2017
- TMP: Add script to convert a cool formula to mlsolver · e37d9884
  Hans-Peter Deifel authored 8 years ago
  
  e37d9884
Apr 06, 2017
- Merge branch 'aconjunctive' · e919f880
  Hans-Peter Deifel authored 8 years ago
  
  e919f880
- Add command line flag for fragment · f24367c4
  Hans-Peter Deifel authored 8 years ago
  f24367c4
- Add tests for command line option parser · 7ed16bab
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  
  7ed16bab
- Generalize command line argument parsing · 4c23563e
  Hans-Peter Deifel authored 8 years ago
  4c23563e
- coalg: Make 'graph' subcommand more cli-friendly · 62cbb102
  Hans-Peter Deifel authored 8 years ago
  62cbb102
- tests: Add dividing example for aconjunctive fragment · c4503f4f
  Hans-Peter Deifel authored 8 years ago
  
  c4503f4f
- Document tests in HACKING file · c2233aff
  Hans-Peter Deifel authored 8 years ago
  
  c2233aff
- tests: Add unit tests · 256444ba
  Hans-Peter Deifel authored 8 years ago
  256444ba
- build: Add testsuite to oasis · fbe64bb7
  Hans-Peter Deifel authored 8 years ago
  fbe64bb7
- build: Use new Makefile as generated by oasis · bc28fc54
  Hans-Peter Deifel authored 8 years ago
  bc28fc54
- tests: Don't use exit status 0 if tests failed · 3d2f5068
  Hans-Peter Deifel authored 8 years ago
  
  3d2f5068
- Fix aconjunctive fragment for rules with >1 children · 93ef4736
  Hans-Peter Deifel authored 8 years ago
  93ef4736
- Add CoolUtils.TList.combinations function · aa4d3606
  Hans-Peter Deifel authored 8 years ago
  
  aa4d3606
- Makefile: Add doc target to generate documentation · f15d82e6
  Hans-Peter Deifel authored 8 years ago
  
  f15d82e6
- tests: Print summary for failed tests at the end · 4a20854e
  Hans-Peter Deifel authored 8 years ago
  4a20854e
- tests: Add example where new Algorithm should fail · 0d6818bb
  Hans-Peter Deifel authored 8 years ago
  0d6818bb
- Don't hardcode check for aconjunctive formulas · b6653b96
  Hans-Peter Deifel authored 8 years ago
  b6653b96
- Add test cases for aconjunctive fragment · bc706b79
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  bc706b79
- Specialize deferral tracking for aconjunctive fragment · e7aaefa9
  Hans-Peter Deifel authored 8 years ago and Hans-Peter Deifel committed 8 years ago
  e7aaefa9
- Add check for aconjunctive formulas · fdda99d4
  Hans-Peter Deifel authored 8 years ago
  
  fdda99d4
Mar 31, 2017
- . · 31038432
  Kristin Braun authored 8 years ago
  
  31038432
Mar 27, 2017
- nom2EA function compiles · 966e1556
  Kristin Braun authored 8 years ago
  
  966e1556
- implemented nom2fix function · 0fe522e0
  Kristin Braun authored 8 years ago
  
  0fe522e0
- Add vim modelines to more files · 8d9a2669
  Hans-Peter Deifel authored 8 years ago
  
  8d9a2669
- tests: Throw error if child doesn't return 0 or 1 · 8c810657
  Hans-Peter Deifel authored 8 years ago
  8c810657
Mar 26, 2017
- tests: Run reasoner in new process for each formula · ad0b75b1
  Hans-Peter Deifel authored 8 years ago
  ad0b75b1
- Add lots of test cases for CTL. · b002efa8
  Hans-Peter Deifel authored 8 years ago
  b002efa8
Mar 23, 2017
- Tried to implement a translation · 860b962a
  Kristin Braun authored 8 years ago
  
  860b962a
- 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