RIGUZZI FABRIZIO - Dipartimento di Ingegneria
|
ce540b5dd4
|
Fixed compilation of cplint under new packages folder
|
2010-03-15 09:51:39 +01:00 |
|
Vitor Santos Costa
|
e33b7502b5
|
SWI compatibility
|
2010-03-14 09:35:04 +00:00 |
|
Vitor Santos Costa
|
6f1281849c
|
SWI compatibility for term_expansion
|
2010-03-14 09:34:54 +00:00 |
|
Ricardo Rocha
|
ee0022bb47
|
checking for frozen segments in the trail stack in now done using the
macro IN_BETWEEN(Yap_TrailBase, ref, Yap_TrailTop)
|
2010-03-12 20:02:32 +00:00 |
|
Vítor Santos Costa II
|
df6b9a8511
|
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
|
2010-03-12 18:03:41 +00:00 |
|
Vítor Santos Costa II
|
ff97f53a24
|
expand_index was broken for long_ints
|
2010-03-12 18:03:15 +00:00 |
|
Vitor Santos Costa
|
96a15851a7
|
fix unnecessary choicepoint in [a].
|
2010-03-10 14:09:48 +00:00 |
|
Vitor Santos Costa
|
abe4744fe7
|
fix error handling.
|
2010-03-10 14:09:35 +00:00 |
|
Ricardo Rocha
|
6dbc6f09fa
|
new built-in predicate abolish_all_frozen_choice_points/0
|
2010-03-09 14:48:20 +00:00 |
|
Vitor Santos Costa
|
a98cc1ac65
|
fix bad label for gc
|
2010-03-08 09:13:52 +00:00 |
|
Vitor Santos Costa
|
fa517450ee
|
Since YAPBOOTDIR doesn't appear to be
referenced anywhere I've attached a patch to remove it from configure.in. (Keri Harris).
|
2010-03-06 00:25:22 +00:00 |
|
Vitor Santos Costa
|
ffaad94334
|
another exec_prefix (obs from Jos de Roo).
|
2010-03-06 00:18:24 +00:00 |
|
Vitor Santos Costa
|
8fc50d9935
|
make YAP throw a runtime-error on unknown arithmetic ops.
|
2010-03-06 00:16:49 +00:00 |
|
Vítor Santos Costa II
|
8497905876
|
declare erf to Prolog
|
2010-03-05 16:49:37 +00:00 |
|
Vitor Santos Costa
|
2f073c546d
|
get rid of shlib
|
2010-03-05 10:38:20 +00:00 |
|
Vitor Santos Costa
|
5e26f604c6
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00:00 |
|
Vitor Santos Costa
|
08257b2817
|
use YAPSHAREDIR instead of YAP_PL_SRCDIR to book from Prolog files.
|
2010-03-05 09:51:52 +00:00 |
|
Vitor Santos Costa
|
e4f3a127e0
|
make sure environment variables are consulted first.
|
2010-03-05 08:33:40 +00:00 |
|
Vitor Santos Costa
|
e92107e4cc
|
version is 6.0
|
2010-03-05 08:33:29 +00:00 |
|
Vitor Santos Costa
|
5ab629e8e0
|
cut_c is now always installed.
|
2010-03-05 08:23:24 +00:00 |
|
Vitor Santos Costa
|
2685a8449d
|
installation patches from Keri Harris
|
2010-03-05 08:15:02 +00:00 |
|
Vitor Santos Costa
|
43a1a754dd
|
erf function (patch from Bernd Gutmann).
|
2010-03-05 00:01:04 +00:00 |
|
Vitor Santos Costa
|
75d1b897e0
|
fix fragile export.
|
2010-03-05 00:00:00 +00:00 |
|
Vitor Santos Costa
|
cef4a27d1c
|
export new_variables_in_term and variables_within_term (obs from Jiefei Ma).
|
2010-03-04 23:45:33 +00:00 |
|
Vitor Santos Costa
|
abec8208d3
|
export operator.
|
2010-03-04 23:42:17 +00:00 |
|
Vitor Santos Costa
|
c58e9f4562
|
export attributes.
|
2010-03-04 23:41:45 +00:00 |
|
Vitor Santos Costa
|
6dddceb7b2
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-03-04 23:37:57 +00:00 |
|
U-Khasa\Vitor
|
156555d256
|
fix win32 installer: second try
|
2010-03-04 06:17:40 -06:00 |
|
Vitor Santos Costa
|
35882bfb0b
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-03-04 11:07:01 +00:00 |
|
U-Khasa\Vitor
|
d716d5d1bb
|
fix win32 installer
|
2010-03-04 05:06:44 -06:00 |
|
Vitor Santos Costa
|
50b692d2c1
|
change release to 6.0.3
|
2010-03-04 09:13:06 +00:00 |
|
U-Khasa\Vitor
|
1b65f5e220
|
WINDOWS can seek
|
2010-03-03 18:50:56 -06:00 |
|
Vitor Santos Costa
|
c6204240cb
|
fix unknown nb
|
2010-03-03 22:14:42 +00:00 |
|
Vitor Santos Costa
|
db0b378789
|
fix doc typo (obs from Jose Santos).
|
2010-03-03 22:12:17 +00:00 |
|
Vitor Santos Costa
|
3070e4ce9d
|
fix locking issues with dynamic predicates and threads (obs from Paulo Moura).
|
2010-03-03 22:11:50 +00:00 |
|
Vitor Santos Costa
|
fb6c4f966c
|
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
|
2010-03-03 21:49:14 +00:00 |
|
Vítor Santos Costa II
|
f489118025
|
small fix to consult.
|
2010-03-03 19:08:59 +00:00 |
|
Vítor Santos Costa II
|
8f41517e24
|
del_attrs/1 (for SWI compatibility).
|
2010-03-03 19:08:17 +00:00 |
|
Vitor Santos Costa
|
24f5b060d5
|
improve previous patch for syntax_error.
|
2010-03-02 23:18:04 +00:00 |
|
Vitor Santos Costa
|
910d04a786
|
test for [X] and friends.
|
2010-03-02 23:13:39 +00:00 |
|
Vitor Santos Costa
|
9e5a25c61e
|
make sure syntax_error receives a global variable (obs from Jose Santos).
|
2010-03-02 22:21:48 +00:00 |
|
Vitor Santos Costa
|
ca12a4b959
|
fix all_distinct/1 (patch from Markus Triska).
|
2010-03-02 21:35:12 +00:00 |
|
Vitor Santos Costa
|
145e66063b
|
inc version to 6.0.2
|
2010-03-01 23:06:25 +00:00 |
|
Vitor Santos Costa
|
b03cbac342
|
document exception/3
|
2010-03-01 23:02:48 +00:00 |
|
Vitor Santos Costa
|
635d13c082
|
exception/3 is dynamic.
|
2010-03-01 23:02:37 +00:00 |
|
Vitor Santos Costa
|
8cfbee9584
|
support exception/3 on undefined predicates.
|
2010-03-01 23:02:24 +00:00 |
|
Vitor Santos Costa
|
192aa92b9c
|
fix clpfd back to use exceptions.
|
2010-03-01 22:32:59 +00:00 |
|
Vitor Santos Costa
|
233926ea00
|
fix nb_getval to handle exceptions.
|
2010-03-01 22:32:40 +00:00 |
|
Vitor Santos Costa
|
0546df7ac3
|
fix goal_expansion
|
2010-03-01 22:30:31 +00:00 |
|
Vitor Santos Costa
|
1b5038cc9e
|
fix docs on nb_
|
2010-03-01 21:49:10 +00:00 |
|