Ticket #51 (closed feature: invalid)

Opened 3 years ago

Last modified 3 weeks ago

PGIP interface

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

Description (last modified by till) (diff)

Write a PGIP interface for the Hets command-line parser. Integrate the calls of the Isabelle prover smoothly with the PGIP interface for Isabelle. Implement proveCMDLinteractive from Logic.Prover for the Isabelle prover.

Change History

Changed 3 years ago by till

  • description modified (diff)

Changed 2 years ago by rpascanu

  • status changed from new to assigned

Changed 21 months ago by till

  • priority changed from major to critical

Changed 3 months ago by till

  • status changed from assigned to closed
  • resolution set to fixed

Changed 3 months ago by maeder

  • status changed from closed to reopened
  • resolution deleted

How can this be run?

Changed 2 months ago by maeder

  • owner changed from rpascanu to maeder
  • status changed from reopened to new
  • version changed from 1.0 to 0.93
  • milestone changed from 1.0 to 0.95

Changed 3 weeks ago by maeder

  • status changed from new to closed
  • resolution set to invalid

leave it to the broker to communicate with Isabelle

Note: See TracTickets for help on using tickets.