Ticket #726 (closed task: fixed)

Opened 3 months ago

Last modified 2 weeks ago

Provide interface for proof script parser

Reported by: till Owned by: maeder
Priority: critical Milestone: 0.95
Component: interfaces Version: 0.93
Keywords: Cc: ewaryst, autexier, dodi

Description

Input: proof script

Output: XML annotated proof script

Change History

Changed 2 months ago by maeder

  • status changed from new to assigned

Changed 2 months ago by maeder

  • cc ewaryst added

Changed 2 weeks ago by maeder

  • cc autexier, dodi added
  • status changed from assigned to closed
  • resolution set to fixed

There's a (main) module (for a stand-alone binary) in source:trunk/PGIP/ParseProofScript.hs that converts a .hpf file to xml output for the broker and (via a "-" option) to xml that hets accepts with the -x (plus -I) option.

create the binary by:

make PGIP/ParseProofScript
Note: See TracTickets for help on using tickets.