Commits · 48d7b5000d8e09df480ff7925fd70d794b099267 · Cloogle / Cloogle · GitLab

18 Nov, 2018 2 commits
- Cache requests while resolving ranking constraints · 2b6446a6
  Camil Staps authored Nov 18, 2018
  
  2b6446a6
- Add nr. of args to Type/Cons in unifier to ranking factors · a2a620fa
  Camil Staps authored Nov 18, 2018
  
  a2a620fa
17 Nov, 2018 4 commits
- Let Z3 output decimals instead of fractions (easier to parse) · a41eaffb
  Camil Staps authored Nov 17, 2018
  
  a41eaffb
- Make up to date to latest Platform · 2f6a1aa5
  Camil Staps authored Nov 17, 2018
  
  2f6a1aa5
- Include kind of element in UniqueResultIdentifier · c59d8995
  Camil Staps authored Nov 17, 2018
  
  c59d8995
- Drop arbitrary unifier size, rank on nr of Type/Func/Cons in unifier · 929f03ae
  Camil Staps authored Nov 17, 2018
  
  929f03ae
16 Nov, 2018 1 commit
- Move Z3 interface for ranking constraints from cloogle.org to here; add feature for StdEnv · 9104d2c6
  Camil Staps authored Nov 16, 2018
  
  9104d2c6
15 Nov, 2018 1 commit
- Add support for symbolic ranking (cloogle-org#215 ) · 196fee32
  Camil Staps authored Nov 15, 2018
  
  196fee32