This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vítor Santos Costa 186adc2053 More thread fixes, including true anonymous mqueues, worker_id for sequential, ...

support for arithmetic exceptions on mac, fixes for with_mutex, fixes for dangling pointers
 in thread termination. Uuufff...

2014-10-14 15:53:24 +01:00

..

archive @ 6e84f300b5

improve docs

2014-09-15 03:13:50 -05:00

bdd

updates to documentation

2014-09-12 18:50:04 -05:00

chr @ 7b59e06eca

doxygen support

2014-09-15 13:07:53 -05:00

clib @ 3d7af0e671

more doc udates

2014-09-15 13:10:49 -05:00

CLPBN

make hcli installable in win32.

2014-10-02 23:22:19 +01:00

clpqr @ f086a96d77

improve docs

2014-09-15 03:13:50 -05:00

cplint

psckage compilation stuff.

2014-05-04 23:15:39 +01:00

cuda

fix configuration to support 6.5.

2014-10-08 16:50:33 +01:00

gecode

looking at operators.

2014-10-05 23:51:06 +01:00

http @ 373c30a0e8

improve docs

2014-09-15 03:13:50 -05:00

jpl @ 9b72782784

fixes in javadoc

2014-10-03 16:56:23 +01:00

meld

syntax errors

2014-08-06 10:26:03 -05:00

myddas

utf8

2014-10-09 10:49:51 +01:00

odbc @ b6617b8ab4

use stdbool

2014-09-09 09:27:29 -05:00

plunit @ c70811ad67

improve docs

2014-09-15 03:13:50 -05:00

prism

fix arena initialization

2014-08-23 14:47:40 -05:00

ProbLog

back to life, ProbLog-I

2014-10-12 00:33:34 +01:00

prosqlite

More thread fixes, including true anonymous mqueues, worker_id for sequential,

2014-10-14 15:53:24 +01:00

pyswip

syntax errors

2014-08-06 10:26:03 -05:00

python

enable analysis.

2014-08-20 07:56:33 -05:00

R @ 87bb48410a

big makefile cleanup

2014-02-13 01:58:48 +00:00

raptor @ 1ebbe20a42

doxygen support

2014-09-15 13:09:48 -05:00

RDF @ f19e64df26

big makefile cleanup

2014-02-13 01:58:48 +00:00

real @ 31bfeecaf4

improvements in packages

2014-10-02 23:24:31 +01:00

semweb @ f1f1b98773

missing library calls

2014-09-09 09:37:20 -05:00

sgml @ 77cd95d93e

missing library calls

2014-09-09 09:38:10 -05:00

swi-minisat2

fix arena initialization

2014-08-23 14:47:40 -05:00

swig

more C++/Android fixes

2014-09-19 14:20:22 -05:00

udi @ 9becd0f061

more configuration fixes

2014-02-15 01:24:07 +00:00

xml

update docs

2014-09-11 14:06:57 -05:00

yap-lbfgs

improve docs

2014-09-15 03:13:50 -05:00

zlib @ 63368e2b9f

improve docs

2014-09-15 03:13:50 -05:00

Dialect.defs.in

C++ flags

2014-05-06 09:55:40 +01:00

Makefile.defs.in

latex to html translator port from SWi.

2013-11-18 01:21:21 +00:00