Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ 946e8213

Name Size
  coalg
  coalgcompare
  debugger
  lib
  ncurses
  owl
  repl-example
  testsuite
  unit-tests
.dir-locals.el 35 Bytes

Latest revisions

# Date Author Comment
946e8213 06/20/2017 07:41 PM Kristin Braun

translation from nominal to EG AF works for K
2da28579 06/20/2017 05:50 PM Kristin Braun

added VAR to patternmatching
def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K
e3cf4ca2 05/16/2017 07:39 PM Kristin Braun

translation calculates fisher ladner closure correctly
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
0f9140ab 05/04/2017 04:06 PM Kristin Braun

part 1 and 3 of translation
a91110f4 05/03/2017 03:47 PM Kristin Braun

first part of translations is implemented
3cd07e5d 05/03/2017 03:26 PM Hans-Peter Deifel

Replace String.split_on_char with custom implementation

String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.
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.

View revisions

Also available in: Atom