Vítor Santos Costa
|
d96f9c3fe1
|
ZLIB support
|
2011-03-15 18:16:05 +00:00 |
|
Vítor Santos Costa
|
5b27d9fb72
|
fix submodule
|
2011-03-15 17:02:56 +00:00 |
|
Vítor Santos Costa
|
73b8478bdb
|
iinclude all modules.
|
2011-03-15 16:41:33 +00:00 |
|
Vítor Santos Costa
|
123cf5af84
|
use external module for clib
|
2011-03-15 16:26:44 +00:00 |
|
Vítor Santos Costa
|
6b5046bb8c
|
use external modules.
|
2011-03-15 16:22:56 +00:00 |
|
Vítor Santos Costa
|
2a76f86785
|
don't lock ThreadLocal predicates.
|
2011-03-15 09:08:09 +00:00 |
|
Vítor Santos Costa
|
656e95f068
|
fix low level emulation.
|
2011-03-14 21:03:28 +00:00 |
|
Vítor Santos Costa
|
2d2f5f8702
|
remove debugging message.
|
2011-03-14 21:03:13 +00:00 |
|
Vítor Santos Costa
|
0d6be2d858
|
improve string support
fix non-thread compilation.
|
2011-03-11 23:21:23 +00:00 |
|
Vítor Santos Costa
|
d42db0dc5c
|
ithread_pool (untested).
|
2011-03-11 21:31:10 +00:00 |
|
Vítor Santos Costa
|
cb192cf26a
|
add get_time.
|
2011-03-11 20:36:40 +00:00 |
|
Vítor Santos Costa
|
e05b84ce4e
|
fix to thread support.
|
2011-03-11 19:49:32 +00:00 |
|
Vítor Santos Costa
|
3c5eb3ff7d
|
use SWI version of CLIB
|
2011-03-10 11:05:53 +00:00 |
|
Vítor Santos Costa
|
4b8a9a4f4e
|
make http an external module.
|
2011-03-09 23:38:58 +00:00 |
|
Vítor Santos Costa
|
f92f8daa6d
|
fix debugging message.
|
2011-03-09 22:39:11 +00:00 |
|
Vitor Santos Costa
|
4ad0407388
|
fix small differences
|
2011-03-09 13:33:30 +00:00 |
|
Vitor Santos Costa
|
5418f55d74
|
fix pl-tai
|
2011-03-09 13:05:03 +00:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
752fa4fc53
|
support windows compilation, upgrade to current uxnt.
|
2011-03-09 00:02:21 +00:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
a3f79cede9
|
WINDOWS compatibility
|
2011-03-08 00:03:50 +00:00 |
|
ubu32
|
e98ba46ccb
|
make new code work in 32 bit Linux.
|
2011-03-07 08:34:20 -08:00 |
|
Vítor Santos Costa
|
90d93fdbdd
|
cache abstra machine register in threaded mode.
|
2011-03-07 16:02:55 +00:00 |
|
Vítor Santos Costa
|
9c3041f1e3
|
support copying registers in SWI code.
|
2011-03-03 11:41:21 +00:00 |
|
Vítor Santos Costa
|
da1df3d851
|
more cleanups.
|
2011-03-02 23:19:39 +00:00 |
|
Vítor Santos Costa
|
cd287280b3
|
fix warnings
|
2011-03-02 09:20:05 +00:00 |
|
Vítor Santos Costa
|
824b5ff88e
|
support critical sections, now that we have Yap.h
|
2011-03-02 09:19:35 +00:00 |
|
Vítor Santos Costa
|
7f3e510992
|
get rid of aliasing warnings.
|
2011-03-02 09:18:51 +00:00 |
|
Vítor Santos Costa
|
d42f4daed0
|
get rid of unused functions.
|
2011-03-02 09:18:14 +00:00 |
|
Vítor Santos Costa
|
282760de9c
|
fix an alias warning by replacing cast by an union.
|
2011-03-02 09:15:30 +00:00 |
|
Vítor Santos Costa
|
b868d85ac8
|
make rl not deadlock under SIGINT
|
2011-03-01 12:31:19 +00:00 |
|
Vítor Santos Costa
|
0e447436b3
|
fix missing lock in OpInfo
|
2011-03-01 10:32:25 +00:00 |
|
Vítor Santos Costa
|
cce6bb6354
|
LD should be local to threads.
get rid of write_depth on YAP side.
|
2011-03-01 10:26:25 +00:00 |
|
Vítor Santos Costa
|
31909e3741
|
fix makefile rules.
fix dtoa for 64 bit machines
|
2011-03-01 09:18:19 +00:00 |
|
ubu32
|
3f6b92de4b
|
enable compilation with multi-threading.
|
2011-02-27 15:06:10 -08:00 |
|
ubu32
|
f2e8f2ac2e
|
more fixes for bignum support in PLStream.
|
2011-02-27 03:40:27 -08:00 |
|
ubu32
|
3c261305db
|
interface to rationals.
|
2011-02-27 02:13:25 -08:00 |
|
ubu32
|
53e8811077
|
fixes to use SWI version of readline.
|
2011-02-26 18:34:44 -08:00 |
|
Vítor Santos Costa
|
fbdac55317
|
rm Makefile, we have Makefile.in
|
2011-02-25 12:05:51 +00:00 |
|
Vítor Santos Costa
|
11f4ac0e52
|
remove dump files.
|
2011-02-25 12:04:46 +00:00 |
|
Vítor Santos Costa
|
f92fa69eab
|
more PLStream stuff.
|
2011-02-23 17:46:50 +00:00 |
|
Vítor Santos Costa
|
6ea0b727e0
|
delete executable.
|
2011-02-23 15:35:17 +00:00 |
|
Vítor Santos Costa
|
29e46cbab9
|
Experimental code for Tiago Gomes bp solver.
|
2011-02-23 15:31:56 +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
|
d4f11c9fda
|
Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3
|
2011-02-16 21:12:03 +00:00 |
|
Vitor Santos Costa
|
0614a8c26e
|
readline fixes
|
2011-02-16 21:11:45 +00:00 |
|
ubu32
|
3736a14d9b
|
small fixes
|
2011-02-15 16:41:32 -08:00 |
|
Vitor Santos Costa
|
dce619f804
|
compile readline.
|
2011-02-16 00:23:58 +00:00 |
|
Vitor Santos Costa
|
ef918d8fe4
|
try compiling pl-rl
|
2011-02-15 23:45:47 +00:00 |
|
Vitor Santos Costa
|
842f80e928
|
encoding support.
|
2011-02-15 22:44:06 +00:00 |
|
Vítor Santos Costa
|
49f980a7a7
|
small fixes
|
2011-02-15 19:24:15 +00:00 |
|
Vítor Santos Costa
|
e90a1ce024
|
avoid repeated fetch
|
2011-02-15 18:40:18 +00:00 |
|