Project

General

Profile

Revision:

Revisions

# Date Author Comment
2a84977e 12/17/2013 11:32 PM Thorsten Wißmann

Implement complete KD rule

b7445f7e 12/17/2013 06:15 PM Thorsten Wißmann

Add pseudo rule for MultiModalKD

The rule creator for MultiModalKD does not do anything but calling the
one of MultiModalK.

a87192e8 12/16/2013 02:01 PM Thorsten Wißmann

Temp

559819d7 12/12/2013 04:00 PM Thorsten Wißmann

Add some explaining comments

3dda5e5e 10/04/2013 03:57 PM Dirk Pattinson

added include directories

7625cc6d 10/03/2013 11:25 PM Thorsten Wißmann

Add basic INSTALL instructions

0c4441c7 10/03/2013 11:15 PM Thorsten Wißmann

Makefile: include .depend as a dependency

Use -include directive to tell Make that Make itself has to create the
.depend file. Therefore, add a .depend target in addition to the phony
depend target.

9cea3319 10/03/2013 11:08 PM Thorsten Wißmann

Remove all kinds of generated files on make clean

2c877d0b 10/03/2013 11:06 PM Thorsten Wißmann

Add . to the include search path

Look for headers in . as well, just to make sure it works for those
having minisat-includes saved in the project directory.

9ac7ad2d 10/03/2013 11:04 PM Thorsten Wißmann

Make system-includes and C++-Linker configurable

Include minisat- and caml-includes via #include <..> to make their
location in the file system configurable

4d631d27 10/03/2013 11:02 PM Thorsten Wißmann

Add coalg, coalgcompare to .gitignore

7d8d53b6 10/03/2013 10:53 PM Thorsten Wißmann

Add .gitignore

4fd28192 10/03/2013 10:34 PM Thorsten Wißmann

Initial commit

It contains the most current tarball created by the original author
Florian Widmann.

(626-638/638) Per page: 25, 50, 100

Also available in: Atom