Project

General

Profile

Statistics
| Branch: | Revision:

cool @ 946e8213

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 388 Bytes
BUGS 804 Bytes
HACKING 5.24 KB
INSTALL 2.15 KB
Makefile 826 Bytes
_oasis 4.72 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 942 Bytes
playground.hs 1.42 KB
randmu.py 15 KB
tatl-compatibility-wrapper.sh 82 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.

e919f880 04/06/2017 05:58 PM Hans-Peter Deifel

Merge branch 'aconjunctive'

View all revisions | View revisions

Also available in: Atom