Project

General

Profile

« Previous | Next » 

Revision c4aee922

IDc4aee9225d36d4c2b7822a92533d35a4b48e80c9
Parent 9fdc9f4d
Child 5736aabb

Added by Hans-Peter Deifel 9 months ago

Remove GMLMIP

This drops the rule implementation for GML and PML, because they were
relying on GMLMIP which complicated the build process and didn't work
completely. See Issue 19.

GML and PML are still implemented as functors but currently disabled.
To re-instantiate them, an OCaml implementation is needed.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

  • _oasis (diff)
  • src
    • coalg
    • lib
      • CoAlgLogics.ml (diff)
      • GMLMIP-0.1
        • .gitignore
        • README.txt
        • config.mk
        • formulas
          • GML_formula.c
          • GML_formula.h
          • PML_formula.c
          • PML_formula.h
          • formula.c
          • formula.h
          • makefile
          • rational.c
          • rational.h
          • satisfyingassignment.c
          • satisfyingassignment.h
        • input
        • main.c
        • makefile
        • onestep-example.c
        • onestep.c
        • onestep.h
        • parser
          • lex.yy.c
          • lex.yy.h
          • location.h
          • makefile
          • mlf-driver.c
          • mlf-driver.h
          • mlf-parser.tab.c
          • mlf-parser.tab.h
          • mlf-parser.yy
          • mlf-scanner.ll
          • position.h
          • stack.h
          • test.c
        • rand.pl
        • rules
          • GML_premise.c
          • GML_premise.h
          • PML_premise.c
          • PML_premise.h
          • makefile
          • node.c
          • node.h
          • premise.c
          • premise.h
          • radixtree.c
          • radixtree.h
          • setofconclusions.c
          • setofconclusions.h
          • sizefunctions.c
          • sizefunctions.h
          • test.c
          • valuation.c
          • valuation.h
        • satisfyingstack.h
        • timeoutwrapper.sh
      • gmlmip.ml
      • gmlmip.mli
      • gmlmip_stub.c