This portal has been discontinued and archived in 2021, and some functionality may no longer work as expected. Please explore
the next generation of this technology
and contact Grigori Fursin, the author and architect of this platform, for more information.
remote_xsb milepost
ck-action:remote_xsb milepost (v1.0.0)
License: BSD 3-clause (code) and CC BY-SA 4.0 (data)
Creation date: 2017-04-30
Source: GitHub
cID: 081173242a88bc94:98c0b84bb15b6612
Don't hesitate to get in touch if you encounter any issues or would like to discuss this community project!
Creation date: 2017-04-30
Source: GitHub
cID: 081173242a88bc94:98c0b84bb15b6612
Description
- Automation framework: CK
- Workflow: MILEPOST GCC basic pipeline
- Development repository: reproduce-milepost-project
- Source: GitHub
- How to get the stable version via the CK client:
pip install cbench
cb download module:milepost --version=1.0.0 --all
ck remote_xsb milepost --help - How to get the development version:
pip install ck
ck pull repo:reproduce-milepost-project
ck remote_xsb milepost --help
- How to run from Python:
import ck.kernel as ck
r=ck.access({'action':'',
'module_uoa':'',
... See JSON API below ...
})
if r['return']>0: return r
...
- Module description: demonstrating MILEPOST technology powered by Collective Knowledge Framework
- API Python code: Link
- JSON API:
" Input: { (input) - XSB input file } Output: { return - return code = 0, if successful > 0, if error (error) - error text if return > 0 } "