Commits · b81e4887e2386065040b9d586a16c37b1b599d1b · Hans-Peter Deifel / cool

Mar 21, 2017
- 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
Apr 27, 2016
- Add Monotone neighbourhood logic · f4e43751
  Christoph authored 8 years ago
  
  f4e43751
Apr 11, 2016
- Add graph subcommand to coalg · 4942adb7
  Christoph authored 8 years ago
  
  4942adb7
Nov 17, 2015
- Move verification of formula to separate step · 1484d8cb
  Christoph authored 9 years ago
  
  1484d8cb
Feb 04, 2015
- Added Identity Functor and Skeleton for Default Implication · 19f5dad0
  Dirk Pattinson authored 10 years ago
  
  19f5dad0
Jan 22, 2015
- Implement functor parameters for Const · 5e0983fe
  Thorsten Wißmann authored 10 years ago
  
  5e0983fe
- Allow functors to get parameters in the syntax · 77644d14
  Thorsten Wißmann authored 10 years ago
  
  77644d14
- Implement raw syntax for constant functors · c49eea11
  Thorsten Wißmann authored 10 years ago
  
  c49eea11
Jul 21, 2014
- Update helper message · 3e5fbf7e
  Thorsten Wißmann authored 10 years ago
  
  3e5fbf7e
Jul 16, 2014
- Fixup coalg-example call · a9243a88
  Thorsten Wißmann authored 10 years ago
  
  a9243a88
- Use generic functor parsing in coalg · b03cc745
  Thorsten Wißmann authored 10 years ago
  
  b03cc745
- Implement parsing of complex functors · 3879f710
  Thorsten Wißmann authored 10 years ago
  
  3879f710
Apr 23, 2014
- Separate cool into library and coalg frontend · 7c4d2eb4
  Thorsten Wißmann authored 10 years ago
  
  7c4d2eb4