Vitor Santos Costa
ecd2fab52e
fix term_variables/2 docs (obs from Bernd Gutmann).
2010-10-24 22:19:03 +02:00
Vitor Santos Costa
9304fd52f7
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-24 21:31:52 +02:00
Vitor Santos Costa
fe36320b47
When running 'make install' packages/jpl suffers from a race condition:
...
* install_unix rule calls:
- cd packages/jpl ; make
- cd packages/jpl ; make install <-- race
* install_data rule calls:
- cd packages/jpl ; make install <-- race
I've attached a patch that separate the jpl 'make' from the jpl 'make install'
and ensures the jpl 'make install' is called from a single Makefile rule.
Thanks
Keri
2010-10-24 21:30:42 +02:00
Vitor Santos Costa
d5785152f8
more HAVE_CONFIG_H patches
2010-10-24 21:28:37 +02:00
Vitor Santos Costa
facebe43e4
doc fixes
...
64 bits should use /usr/lib64, not /usr/lib
2010-10-24 21:26:49 +02:00
Paulo Moura
213af5f917
Added description of the hook predicate user:prolog_predicate_name/2 to the user manual.
2010-10-22 00:57:57 +01:00
Paulo Moura
15a728ce6d
Added hook predicate user:prolog_predicate_name/2, taken from SWI-Prolog, to the profiler code.
2010-10-21 20:15:17 +01:00
Theofrastos Mantadelis
de06131ba4
bug correction
2010-10-20 17:41:13 +02:00
Vitor Santos Costa
9770904f6f
update version to next stable
2010-10-18 09:17:12 +01:00
Vitor Santos Costa
d0b904b49a
fix CUDD path.
2010-10-18 09:16:00 +01:00
Vitor Santos Costa
a76c1feeb5
updte README info.
2010-10-18 09:15:38 +01:00
Vitor Santos Costa
65a66a3360
fix operator problem (|). (Ulrich #193 )
2010-10-18 08:36:47 +01:00
Vitor Santos Costa
f4218bdaac
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-18 01:25:49 +01:00
Vitor Santos Costa
bfe890aae3
patches from Keri Harris to finn runpath
...
support cudd from MacPorts
2010-10-18 01:25:00 +01:00
Vítor Santos Costa
0deddd5603
include Nicos Angelopoulos r_session package.
2010-10-16 14:54:48 +01:00
Vitor Santos Costa
6ab7987c69
be stricter about what is an attributed variable: the previous definition allowed confusion if there was garbage in the local stack.
2010-10-15 13:14:37 +01:00
Vitor Santos Costa
45ce3a83ef
allow low level locking in OSX.
2010-10-15 13:14:24 +01:00
vsc
312d82816e
fix memory allocation (MMAP) for shared LOCAL and GLOBAL in ENV_COPY
2010-10-15 02:06:37 +01:00
vsc
824ff4094c
simplify RW locks
2010-10-15 02:05:20 +01:00
vsc
72b8334358
imake predicates parallel by default.
2010-10-15 02:04:50 +01:00
vsc
4c343d0762
fix save/restore in multi-process YAPOR.
2010-10-15 01:15:45 +01:00
vsc
bd502a39ac
fix RW_locks for x86 (code from Erlang).
2010-10-15 01:13:49 +01:00
vsc
fa42de1025
cannot optimise try/retry in the presence of or-parallelism
2010-10-15 01:11:49 +01:00
Vitor Santos Costa
2444eea5a7
fix odbc configure for OSX9
2010-10-13 23:07:02 +01:00
Vitor Santos Costa
7a29007eb5
fix readline configure issues (obs from Paulo Moura).
2010-10-13 00:20:40 +01:00
Vitor Santos Costa
755a57fdbd
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
...
Conflicts:
C/absmi.c
2010-10-12 23:22:23 +01:00
Vitor Santos Costa
b27a9869bf
initialise for 1024 threads (report from Jiefie Ma).
2010-10-12 23:16:51 +01:00
Vitor Santos Costa
80c38081da
no need for special procceed instruction.
2010-10-12 22:02:51 +01:00
Vitor Santos Costa
7f70a797f4
fix error messages to obey standard.
2010-10-12 22:02:24 +01:00
Vítor Santos Costa
3e6309cc8a
fix trace problem
2010-10-11 20:10:12 +01:00
Vitor Santos Costa
fae29012a9
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-11 14:46:53 +01:00
Vitor Santos Costa
e5232bc8fc
force system to check for overflows at end of procceed for clauses with body.
2010-10-11 14:45:15 +01:00
Vítor Santos Costa
8846ccbf01
small fixes
2010-10-08 14:42:55 +01:00
Vítor Santos Costa
6811ded37b
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-08 12:22:06 +01:00
Vítor Santos Costa
c1710974b8
fix bad comparison (Ulrich Neumerkel).
2010-10-08 12:21:49 +01:00
Vitor Santos Costa
f40ba3e6db
rounding function was incorrect (ulrich's #180 )
2010-10-08 11:02:56 +01:00
Vitor Santos Costa
3cfe5c74d5
fix div to round correctly (Ulrich's #181 ).
2010-10-08 10:58:08 +01:00
Vitor Santos Costa
afa0799504
fix error message (Ulrich's #184 ).
2010-10-08 10:50:23 +01:00
Vitor Santos Costa
361c5ad78f
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-10-08 10:46:11 +01:00
Vitor Santos Costa
9187c658b8
fix very large clause handling
2010-10-08 10:45:50 +01:00
Vitor Santos Costa
da0aee0f57
fix operator error checking (Ulrich #192 )
2010-10-08 10:44:51 +01:00
Vítor Santos Costa
61d99731c8
avoid recursion on very deep sequences of static indices.
2010-10-07 18:14:55 +01:00
Theofrastos Mantadelis
284fc9ab8b
corrected a small bug with export
2010-10-06 18:27:40 +02:00
Theofrastos Mantadelis
1342d2dab2
SimpleCUDD versioning
2010-10-06 13:24:25 +02:00
Theofrastos Mantadelis
d1839b730c
ProbLog versioning, ProbLog Tabling warning message instead of error
2010-10-06 12:59:18 +02:00
Theofrastos Mantadelis
ff6bd1dda0
ProbLog Versioning System
2010-10-05 18:29:29 +02:00
Theofrastos Mantadelis
f2e3476a8e
ProbLog Versioning System
2010-10-05 18:27:09 +02:00
Theofrastos Mantadelis
5323a3677d
ProbLog Versioning System
2010-10-05 18:26:40 +02:00
Paulo Moura
047f1ad809
Corrected some spelling errors in the user manual.
2010-10-04 19:35:22 +01:00
Theofrastos Mantadelis
c1c02d1e95
Correcting some versioning issues
2010-10-01 12:04:45 +02:00
