Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / EAFormula.ml @ def3763d

History | View | Annotate | Download (8.02 KB)

# Date Author Comment
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

31038432 03/31/2017 12:00 PM Kristin Braun

.

966e1556 03/27/2017 08:42 PM Kristin Braun

nom2EA function compiles

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

200774f4 03/23/2017 01:26 PM Kristin Braun

added EAFormula