remote_xsb milepost
Component: cr-action:remote_xsb milepost (v1.0.0)
Added by: gfursin (2019-10-16 07:58:12)
Authors: Grigori Fursin
License: BSD 3-clause (code) and CC BY-SA 4.0 (data)
Source: GitHub
Creation date: 2017-04-30 14:53:44
CID: 081173242a88bc94:98c0b84bb15b6612cr-action:remote_xsb milepost  )

Sign up here to be notified when new results are reproduced or new CodeReef components are shared!

How to get and run stable version (under development):
  pip install codereef
  cr download module:milepost --version=1.0.0 --all
  ck remote_xsb milepost --help

How to get and run 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':'remote_xsb',
                'module_uoa':'milepost',
                ... See JSON API below ...
               })
   if r['return']>0: return r
   ...
Info about the CK module with this action: milepost
Workflow framework: CK
Development repository: reproduce-milepost-project
Module description: demonstrating MILEPOST technology powered by Collective Knowledge Framework
Workflow: MILEPOST GCC basic pipeline
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
            }

"
       


All versions:


Public comments

    Please log in to add your comment!


If you notice inapropriate content that should not be here, please report us as soon as possible and we will try to remove it within 48 hours!