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 7e1692bdb0 fix mess with LIBDIR and YAPLIBDIR ... use -Wl,-WR in a more consistent way in Linux use --with-java instead of --with-jpl		2010-06-01 00:38:42 +01:00
..
base_itries.c	fix OSX breakage	2008-10-20 17:58:12 +01:00
base_itries.h	fix OSX breakage	2008-10-20 17:58:12 +01:00
base_tries.c	tries module: fix bug in trie_traverse/2	2010-02-24 18:03:43 +00:00
base_tries.h	tries module: fix bug in trie_get_first_entry/2	2010-02-22 14:01:56 +00:00
core_tries.c	tries module: bug fix when printing float terms	2010-03-31 19:36:26 +01:00
core_tries.h	tries module: undo last change on macro MAX_NODES_PER_TRIE_LEVEL	2010-03-31 18:39:38 +01:00
itries.c	tries module: fix bug in trie_get_first_entry/2	2010-02-22 14:01:56 +00:00
Makefile.in	fix mess with LIBDIR and YAPLIBDIR	2010-06-01 00:38:42 +01:00
tries.c	tries module: fix bug in trie_get_first_entry/2	2010-02-22 14:01:56 +00:00