Commit Graph

119 Commits

Author SHA1 Message Date
Fabrizio Riguzzi
089bd928cf fixed cplint compilation 2014-10-16 13:49:56 +02:00
Vítor Santos Costa
c95045e14c improve support for floating point exceptions. 2014-10-14 01:13:31 +01:00
Vítor Santos Costa
52cf634e33 real 2014-09-25 09:47:20 +01:00
Vitor Santos Costa
6b0d99e2fe fix debugging-left-over 2014-09-17 16:55:19 -05:00
Vitor Santos Costa
8461026303 fixes for win64 compilation. 2014-09-16 19:15:56 +01:00
Vítor Santos Costa
8eec3113be improve docs 2014-09-15 03:13:50 -05:00
Vítor Santos Costa
0ed6fe43b2 cleanup 2014-09-10 00:36:20 -05:00
Vítor Santos Costa
99713d81a6 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00
Vítor Santos Costa
2becb15578 more android support changes. 2014-07-16 11:56:09 -05:00
Vítor Santos Costa
e167cdfa4c more config fixes, this time check again for mysql, but in the rifht place. 2014-07-09 12:52:55 -05:00
Vítor Santos Costa
fcf5309653 flag fixing 2014-07-09 12:43:32 -05:00
Vítor Santos Costa
74a65633d8 fix duplicated system predicate + android related cleanups 2014-06-20 11:13:39 +01:00
Vítor Santos Costa
059884bc03 Android 2014-06-11 19:36:50 +01:00
Vítor Santos Costa
71b40e0438 changes to support eclipse compat
support of Android assets as /assets files.
2014-06-04 22:08:37 +01:00
Vítor Santos Costa
1e08a7ce05 more readline breakage. 2014-05-28 00:35:50 +01:00
Vítor Santos Costa
41606bdc44 improve android compilation and fix readline 6.3 2014-05-28 00:11:47 +01:00
Vítor Santos Costa
39498868fb support detection of signals. 2014-03-18 17:26:01 +00:00
Vitor Santos Costa
0dc40370dc merge 2014-03-06 02:18:02 +00:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
Vitor Santos Costa
e9fce51e92 ndk support 2014-02-27 16:31:20 +00:00
Vitor Santos Costa
964b15d107 keep on simplifying configure. 2014-02-18 07:59:47 +00:00
Vítor Santos Costa
6a1302221c change to support autoheaders 2014-02-16 13:03:09 +00:00
Vitor Santos Costa
2665f71112 keep trying to fix atoms 2013-12-04 23:01:30 +00:00
Vítor Santos Costa
84bd55df0d continue cleanup 2013-11-16 00:27:02 +00:00
U-w7\vsc
9c5d7af938 win32 patches 2013-11-15 18:25:33 +00:00
Vitor Santos Costa
4e4f21e1dc upgrade to latest swi 2013-11-15 01:10:25 +00:00
Vitor Santos Costa
415a6a3a71 configuration for clib 2013-11-04 09:59:42 +00:00
Vitor Santos Costa
1cbe82da1e SWI flags compat 2013-10-29 12:43:31 +00:00
Vítor Santos Costa
a1e599ebe4 windows stuff 2013-01-19 11:48:36 +00:00
Vítor Santos Costa
798afc81c4 fix argv[0] discovery. 2013-01-13 17:55:13 +00:00
David Vaz
a9cacc7b33 Changes to autoconfigure libjudy in udi 2013-01-02 12:10:11 +00:00
Vítor Santos Costa
b272205707 odbc and archive 2012-10-23 00:45:13 +01:00
Vítor Santos Costa
a4ae6acbb6 check for Rinterface.h 2012-08-02 19:53:43 -05:00
Vítor Santos Costa
a69a509b11 check if strlwr exists 2012-07-24 21:51:30 -04:00
Costa Vitor
8ba1de7250 fixes for external CUDD compatibility. 2012-07-16 11:58:21 -05:00
Vitor Santos Costa
d78a55ca83 fix cudd support. 2012-07-08 07:45:16 -05:00
Vitor Santos Costa
5989af937b MT support in mingw win32. 2012-06-29 15:38:49 -05:00
Vitor Santos Costa
6c36a8ccd3 make it easier for outside packages to link with YAP innards. 2012-05-14 15:06:18 +01:00
Vítor Santos Costa
49b9c8ea50 include support for HAS_GETHOSTNAME 2012-03-27 14:55:59 +01:00
Vítor Santos Costa
fa9842083b fixes for OpenMP. 2012-02-01 08:57:26 +00:00
Vítor Santos Costa
2ee9981a11 new Makefiles and prototypes. 2011-11-03 07:55:56 +09:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b6aca9463d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-08-18 22:35:13 +01:00
Denys Duchier
76dd2511a8 finish and test support for dynamic arrays 2011-08-09 16:30:59 +02:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vítor Santos Costa
8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
U-WIN-ENP104VVO3U\Vítor Santos Costa
7670ce631b WIN32 patches 2011-03-21 17:07:58 +00:00
Vítor Santos Costa
da1df3d851 more cleanups. 2011-03-02 23:19:39 +00:00
Vítor Santos Costa
b868d85ac8 make rl not deadlock under SIGINT 2011-03-01 12:31:19 +00:00
Vitor Santos Costa
4a5ba35937 assembly fixes
more support for readline, including getting more stuff from read.
2011-02-17 00:57:49 +00:00
Vitor Santos Costa
ef918d8fe4 try compiling pl-rl 2011-02-15 23:45:47 +00:00