Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ b75e5a66

Name Size
  coalg
  coalgcompare
  fuzzy
  lib
  ncurses
  owl
  repl-example
  testsuite

Latest revisions

# Date Author Comment
b75e5a66 03/15/2015 11:18 PM Dominik Paulus

Submitted version of fuzzy ALC reasoner

d751b16d 07/27/2014 08:46 PM Thorsten Wißmann

Implement simple REPL

b2369796 07/27/2014 07:51 PM Thorsten Wißmann

Add binding for curses getch()

8c423c7a 07/27/2014 07:43 PM Thorsten Wißmann

Add curses painting basics

7844abb2 07/27/2014 06:18 PM Thorsten Wißmann

Make readline cursor position utf-8 aware

ba931a9b 07/27/2014 05:58 PM Thorsten Wißmann

Add readline bindings for callbacks

c14c011a 07/27/2014 05:02 PM Thorsten Wißmann

Add basic curses and readline bindings

433c8a2e 07/21/2014 02:48 PM Thorsten Wißmann

Reset CoAlgReasoner to the version ee45f2f

This fixes an assertion that failed for the PML+K formula

sat "({>= 3/5} (False + <R1> True & <R2> True) & {>= 2/5} ({>= 1/10} p0 & {>= 1/10} (~ p0) + False ) + False)"

which is satisfiable.

72e541b6 07/21/2014 02:42 PM Thorsten Wißmann

Add failing PML+K testcase

aadc6a87 07/21/2014 02:33 PM Thorsten Wißmann

Flush stdout more often in testsuite

View revisions

Also available in: Atom