SVMRanker

User Tools

Site Tools

Trace:
svmranker:main

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
svmranker:main [2020/11/18 19:35] – merlinsvmranker:main [2020/11/20 14:03] – merlin
Line 1: Line 1:
- **[[svmranker:main| Main ]]** ||  **[[svmranker:tool| Tool ]]** ||  **[[svmranker:usage| Usage & Case Study ]] **  +{{:svmranker:main.png?nolink|}}**[[svmranker:main| Main ]]{{:svmranker:tool.png?nolink|}}[[svmranker:tool| Tool ]]{{:svmranker:usage.png?nolink|}}[[svmranker:usage| Usage & Case Study ]] **  
 ====== SVMRanker======  ====== SVMRanker====== 
 SVMRanker, an open source tool implementing a general framework for proving termination of programs, SVMRanker, an open source tool implementing a general framework for proving termination of programs,
Line 7: Line 7:
 support for learning **multiphase ranking functions**. \\ support for learning **multiphase ranking functions**. \\
 SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]]. SVMRanker is now publicly available on GitHub at [[https://github.com/ESEC-FSE-2020-Tool-Demo-ID21/SVMRanker|this repository]].
-You can get the information about how to  
 ---- ----
 ===== Background ===== ===== Background =====