Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / coalg @ d5e292c6

Name Size
coalg.ml 10.2 KB

Latest revisions

# Date Author Comment
d5e292c6 06/20/2017 09:28 PM Kristin Braun

nom2fix and solveNom

946e8213 06/20/2017 07:41 PM Kristin Braun

translation from nominal to EG AF works for K

def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K

267e3fcf 05/16/2017 02:03 PM Kristin Braun

.

89613c41 05/11/2017 03:52 PM Kristin Braun

tried to use Fischer-Ladner Closure but not working yet

f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance
characteristics.

4c23563e 04/06/2017 05:57 PM Hans-Peter Deifel

Generalize command line argument parsing

Adds a new module CoolUtils.Args that implements a generic command
line argument parser. This makes it easier to add new options to the
main program.

62cbb102 04/06/2017 05:57 PM Hans-Peter Deifel

coalg: Make 'graph' subcommand more cli-friendly

- Read only one formula, we also only generate one graph
- Don't print a prompt or the satisfiability result

This allows to redirect the output graph to a file or directly to dot.

0fe522e0 03/27/2017 08:10 PM Kristin Braun

implemented nom2fix function

860b962a 03/23/2017 02:59 PM Kristin Braun

Tried to implement a translation

View revisions

Also available in: Atom