U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
0353c714d6
|
fix silly warning
|
2011-03-08 00:02:19 +00:00 |
|
Vitor Santos Costa
|
8ee0724524
|
set version number.
|
2011-03-07 22:26:28 +00:00 |
|
Vitor Santos Costa
|
1d87674cfe
|
fix OSX complaints.
|
2011-03-07 22:10:55 +00:00 |
|
Vitor Santos Costa
|
098e051e46
|
fix bad cast when copying strings.
|
2011-03-07 22:10:20 +00:00 |
|
ubu32
|
e98ba46ccb
|
make new code work in 32 bit Linux.
|
2011-03-07 08:34:20 -08:00 |
|
ubu32
|
bef041a268
|
small updates
|
2011-03-07 08:08:07 -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
|
6f1537475f
|
fix -p option to work with SYSTEM_MALLOC
|
2011-03-02 09:20:18 +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
|
a097fdc38f
|
fix warning.
|
2011-03-02 09:17:43 +00:00 |
|
Vítor Santos Costa
|
58943e4c26
|
fix compilation warnings.
|
2011-03-02 09:17:13 +00:00 |
|
Vítor Santos Costa
|
d12762ffa2
|
fix missing cases in cut handling
|
2011-03-02 09:16:40 +00:00 |
|
Vítor Santos Costa
|
753ad007ea
|
ifdef unused function
|
2011-03-02 09:16:11 +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
|
73541f506f
|
get rid of old SWI emulation stuff.
|
2011-03-01 10:41:06 +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 |
|
Vítor Santos Costa
|
9f38705c17
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-03-01 09:04:45 +00:00 |
|
ubu32
|
851b07c240
|
fix small bugs
|
2011-02-28 15:45:14 -08:00 |
|
Vítor Santos Costa
|
e44a6be448
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2011-02-28 09:38:59 +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
|
2b1663b8a6
|
Makefile.in was told about clpbn bp solver.
|
2011-02-25 12:10:25 +00: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
|
b902efe21f
|
remove $access
|
2011-02-15 22:56:15 +00:00 |
|
Vitor Santos Costa
|
5a5a992cc6
|
more encoding stuff.
|
2011-02-15 22:46:59 +00:00 |
|
Vitor Santos Costa
|
842f80e928
|
encoding support.
|
2011-02-15 22:44:06 +00:00 |
|
Vitor Santos Costa
|
145b9c1b4a
|
fix stream access.
|
2011-02-15 22:22:10 +00:00 |
|
Vitor Santos Costa
|
7cb271fd58
|
remove unused built-in.
|
2011-02-15 22:15:06 +00:00 |
|
Vítor Santos Costa
|
1c3188e304
|
make sure gmp is always included (patch from Nuno FOnseca).
|
2011-02-15 21:20:14 +00:00 |
|
Vítor Santos Costa
|
e93df788e5
|
fix indexing bug (report from Jos DeRoo).
|
2011-02-15 21:19:27 +00:00 |
|