Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / Nom2fix.mli @ 1d36cd07

History | View | Annotate | Download (551 Bytes)

# Date Author Comment
1d36cd07 10/06/2017 09:06 PM Kristin Braun

Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula

2d58f46f 07/18/2017 11:16 AM Kristin Braun

added optimized translation

97b76edf 06/29/2017 05:03 PM Kristin Braun

deleted conjunction

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