Vítor Manuel de Morais Santos Costa
|
ff31aa4a7c
|
assign value to attributed variable
|
2009-10-16 08:32:03 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
0f4b64d199
|
make should only look at reconsulted files, it makes no sense to use make for
consulted files.
|
2009-10-16 08:31:23 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
fc3c3b4e29
|
fix passing LD
|
2009-10-16 08:09:50 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
463348bb2f
|
fix memory collision in allocatng mmap
|
2009-10-16 08:09:22 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
6b5aa1542c
|
pass full cc argument, not just gcc
|
2009-10-16 08:08:45 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
d649ba5894
|
first cut at make/0y
|
2009-10-15 12:56:16 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
dd6ac5a8f2
|
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
|
2009-10-13 14:51:37 +01:00 |
|
Ulrich Neumerkel
|
f9436a7faa
|
Doc: ISO status added
|
2009-10-13 14:51:16 +01:00 |
|
Ulrich Neumerkel
|
61ead4a2e9
|
Doc: Corrected ISO status
|
2009-10-13 14:50:31 +01:00 |
|
Ulrich Neumerkel
|
d459283a69
|
typo
|
2009-10-13 14:49:48 +01:00 |
|
Ricardo Rocha
|
7120e79dd6
|
include the library shm.h only when needed
|
2009-09-29 00:56:58 +01:00 |
|
Ricardo Rocha
|
7d841065e9
|
support for the common global trie (version GT-T: global trie for terms)
|
2009-09-27 02:31:31 +01:00 |
|
Vitor Santos Costa
|
218bc2e423
|
fix to slow reconsult (Jos Deroo)
|
2009-09-20 10:03:10 -05:00 |
|
Costa Vitor
|
56d37591a5
|
fix var_in_term
|
2009-09-12 17:17:16 -05:00 |
|
Costa Vitor
|
a1d44f068e
|
fix stupid typo.
|
2009-09-12 16:45:00 -05:00 |
|
Costa Vitor
|
c0fd49df34
|
fix bad functor in heap routines.
|
2009-09-12 16:44:28 -05:00 |
|
Costa Vitor
|
32122f4171
|
make sure we have enough room when splitting mega clause.
|
2009-09-12 16:43:44 -05:00 |
|
Costa Vitor
|
fc28a49122
|
just use stderr
|
2009-09-12 16:43:18 -05:00 |
|
Costa Vitor
|
4e4d486dee
|
fix compilation errors
|
2009-09-09 18:13:12 -05:00 |
|
Vitor Santos Costa
|
307446d000
|
improve evidence handling in CLP(BN).
|
2009-09-09 18:02:09 -05:00 |
|
Vitor Santos Costa
|
0688fb4d68
|
handle old style binding lists.
|
2009-09-09 18:00:35 -05:00 |
|
Vitor Santos Costa
|
ef05f4a919
|
how did append/3 come up twice in lists?
|
2009-09-09 18:00:04 -05:00 |
|
Vitor Santos Costa
|
e1a724e456
|
allow unification not to bound a variable.
|
2009-09-09 17:59:49 -05:00 |
|
Vitor Santos Costa
|
1e905eb5ef
|
allow unification not to bound a variable.
|
2009-09-09 17:59:25 -05:00 |
|
Vitor Santos Costa
|
ce76be4e77
|
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
|
2009-09-07 22:19:41 -05:00 |
|
Costa Vitor
|
1e16a9c339
|
modern machines do not guarantee sequential consistency.
|
2009-09-07 20:42:19 -05:00 |
|
Vitor Santos Costa
|
9047ad2e6e
|
fix bad call.
|
2009-09-02 23:08:36 -05:00 |
|
Vitor Santos Costa
|
903358724d
|
fix bad code in between (obs from Jose Santos).
|
2009-09-02 23:07:43 -05:00 |
|
Costa Vitor
|
5fb3ec0515
|
fix repeated definition for halt.
|
2009-09-01 00:00:08 -05:00 |
|
Costa Vitor
|
d02c9d23c2
|
handle cases where test is called with unbound variable.
|
2009-08-31 23:59:34 -05:00 |
|
Costa Vitor
|
4431682276
|
get rid of unused variable.
|
2009-08-31 23:58:05 -05:00 |
|
Costa Vitor
|
a00c69b6f7
|
badly initialised memory stream (obs from J Santos).
|
2009-08-31 23:56:00 -05:00 |
|
Vitor Santos Costa
|
8bde2a0d72
|
support control.yap
|
2009-08-20 10:39:25 -05:00 |
|
Vitor Santos Costa
|
12d793755e
|
load control.yap
|
2009-08-20 10:38:33 -05:00 |
|
Vitor Santos Costa
|
2984a660fb
|
make setup in setup_call_cleanup deterministic (#141)
break utils.yap and transfer control functionality to control.yap
|
2009-08-20 10:36:58 -05:00 |
|
Costa Vitor
|
dbd5b09303
|
make low_level_tracer compile sequentially, again.
|
2009-08-20 09:38:30 -05:00 |
|
Costa Vitor
|
3cbdc8d14a
|
make low level tracer understand yapor.
|
2009-08-19 23:46:51 -05:00 |
|
Costa Vitor
|
4c9f440b07
|
simplify YAPOR.
|
2009-08-19 22:45:11 -05:00 |
|
Costa Vitor
|
33085fd8d1
|
fix YAPOR not being threadtes as threads.
|
2009-08-19 22:44:48 -05:00 |
|
Costa Vitor
|
f877e78785
|
make YAP compile with --enable-or-parallelism
|
2009-08-19 21:53:49 -05:00 |
|
Costa Vitor
|
80b97aafaa
|
make flush_output easier to understand.
|
2009-08-19 20:24:13 -05:00 |
|
Costa Vitor
|
b4502969ad
|
make types compatible.
|
2009-08-19 20:23:52 -05:00 |
|
Costa Vitor
|
6453cf5ae7
|
avoid unnecessary backtracking.
|
2009-08-19 20:23:20 -05:00 |
|
Costa Vitor
|
84646ee581
|
make includes compatible with configure.in
|
2009-08-19 20:22:49 -05:00 |
|
Costa Vitor
|
418fa1a396
|
64 bit machines may be using S while calling ExpandIndex.
|
2009-08-19 20:22:04 -05:00 |
|
Costa Vitor
|
40ea33c150
|
Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6
|
2009-08-12 10:01:34 -05:00 |
|
Costa Vitor
|
dccf3cf8a2
|
assert logupd should set the clause in use (obs by Jose Santos).
|
2009-08-12 10:00:38 -05:00 |
|
Ricardo Rocha
|
9dc0618a12
|
make the support for compact lists the default configuration for the tabling engine
|
2009-08-12 14:32:12 +01:00 |
|
Ricardo Rocha
|
23d44f959d
|
include cp_h field in deterministic choice points, otherwise we get in trouble
|
2009-08-09 03:38:07 +01:00 |
|
Ricardo Rocha
|
4f6676e5af
|
fix garbage collector for deterministic tabling (still very
experimental)
|
2009-08-08 05:02:27 +01:00 |
|