Commits · 8f108dd7cb418009c2ccd5255b34f43843b26b50 · Cloogle / cloogle.org

20 Nov, 2018 2 commits
- Also add usages link on results from Clean core; add two ranking constraints · 8f108dd7
  Camil Staps authored Nov 20, 2018
  
  8f108dd7
- Add name search ranking constraints · 42b838a6
  Camil Staps authored Nov 20, 2018
  
  42b838a6
19 Nov, 2018 1 commit
- Add ranking constraints for :: a -> String · bf4a815a
  Camil Staps authored Nov 19, 2018
  
  bf4a815a
18 Nov, 2018 2 commits
- Update submodule · a2c01c45
  Camil Staps authored Nov 18, 2018
  
  a2c01c45
- Add ranking constraints · 87d165f1
  Camil Staps authored Nov 18, 2018
  
  87d165f1
17 Nov, 2018 7 commits
- Update submodule for bugfix · 88a528cc
  Camil Staps authored Nov 17, 2018
  
  88a528cc
- Update submodule for required context bugfix · 36f888cb
  Camil Staps authored Nov 17, 2018
  
  36f888cb
- More ranking constraints · 6cf60b53
  Camil Staps authored Nov 17, 2018
  
  6cf60b53
- Add ranking constraints for :: Int -> [Int] · 1847e5f9
  Camil Staps authored Nov 17, 2018
  
  1847e5f9
- Update submodule · abd782b6
  Camil Staps authored Nov 17, 2018
  
  abd782b6
- Update submodule · 1f874f86
  Camil Staps authored Nov 17, 2018
  
  1f874f86
- Add ranking constraints for exact results in using queries; update submodule · b0d0bfa2
  Camil Staps authored Nov 17, 2018
  
  b0d0bfa2
16 Nov, 2018 2 commits
- Move Z3 interface for ranking constraints to Cloogle submodule; prioritise StdEnv over Platform · 2109a575
  Camil Staps authored Nov 16, 2018
  
  2109a575
- Add more ranking constraints for unification · 44b5bb3d
  Camil Staps authored Nov 16, 2018
  
  44b5bb3d
15 Nov, 2018 6 commits
- Link to #215 instead of !216 from banner (the issue gives more information) · ffe00e18
  Camil Staps authored Nov 15, 2018
  
  ffe00e18
- Merge branch '215-symbolic-ranking-and-test-cases' into 'master' · a0e23b2e
  Camil Staps authored Nov 15, 2018
```
Resolve "Symbolic ranking and test cases"

Closes #215

See merge request !216
```
  a0e23b2e
- Add rank_settings.json to artifacts · 41a2d2b1
  Camil Staps authored Nov 15, 2018
  
  41a2d2b1
- Add symbolic ranking support (#215 ) · 33124f23
  Camil Staps authored Nov 15, 2018
  
  33124f23
- Recognise "instance X" queries in long-term statistics · 11aeab8f
  Camil Staps authored Nov 15, 2018
  
  11aeab8f
- Retry curl requests in fetch_libs.sh · b973b091
  Camil Staps authored Nov 15, 2018
  
  b973b091
14 Nov, 2018 2 commits
- Add unzip to installation scripts · 91c6d95b
  Camil Staps authored Nov 14, 2018
  
  91c6d95b
- Fetch libraries in distributions from their respective packages instead of from bundle-complete · 0598d645
  Camil Staps authored Nov 14, 2018
  
  0598d645
13 Nov, 2018 1 commit
- Searching for "instance X" now returns class results with all information unfolded (resolves #216 ) · 2b5da708
  Camil Staps authored Nov 13, 2018
  
  2b5da708
10 Nov, 2018 1 commit
- Hide identity assignments in unifiers · cd182f61
  Camil Staps authored Nov 10, 2018
  
  cd182f61
07 Nov, 2018 1 commit
- Fix build script · b3074b64
  Camil Staps authored Nov 07, 2018
  
  b3074b64
06 Nov, 2018 2 commits
- Simplify makefile · 2ac76c9c
  Camil Staps authored Nov 06, 2018
  
  2ac76c9c
- Update Cloogle to use git version of compiler · 9a12e57c
  Camil Staps authored Nov 06, 2018
  
  9a12e57c
29 Oct, 2018 1 commit
- Update to latest Platform for fix in Clean.Parse.Comments · 01c5748c
  Camil Staps authored Oct 29, 2018
  
  01c5748c
24 Oct, 2018 1 commit
- Make more-info links easier to click on · 80767bd7
  Camil Staps authored Oct 24, 2018
  
  80767bd7
23 Oct, 2018 1 commit
- Reorganise libraries into core, peripheral and applications · 9b35bc01
  Camil Staps authored Oct 23, 2018
  
  9b35bc01
22 Oct, 2018 1 commit
- Revert inadvertent change from 13157b1c ; fix build-log.txt in backend/build.sh · bcb0fa4f
  Camil Staps authored Oct 22, 2018
  
  bcb0fa4f
21 Oct, 2018 5 commits
- Fix build · b243ecf5
  Camil Staps authored Oct 21, 2018
  
  b243ecf5
- Update submodule for fixed makefile · 4b70c75c
  Camil Staps authored Oct 21, 2018
  
  4b70c75c
- Update cloogle-discord link · 13157b1c
  Camil Staps authored Oct 21, 2018
  
  13157b1c
- Improve & cleanup makefile · 22ac3eeb
  Camil Staps authored Oct 21, 2018
  
  22ac3eeb
- Update documentation · 224059d8
  Camil Staps authored Oct 21, 2018
  
  224059d8
20 Oct, 2018 4 commits
- Remove unused code in update.sh · 193c2336
  Camil Staps authored Oct 20, 2018
  
  193c2336
- update.sh: drop --release-repo support (gitlab releases cannot have files... · fd4431f1
  Camil Staps authored Oct 20, 2018
```
update.sh: drop --release-repo support (gitlab releases cannot have files uploaded through API); add --release-directory instead
```
  fd4431f1
- Update cloogle-cli link in stats · 1d99d132
  Camil Staps authored Oct 20, 2018
  
  1d99d132
- Update CleanRegex and CleanInotify locations · 39062639
  Camil Staps authored Oct 20, 2018
  
  39062639