Vítor Manuel de Morais Santos Costa
|
d18cb214fa
|
implement epsilon (from ISO)
|
2009-10-20 09:21:59 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
7223b0c9a5
|
check for float.h
|
2009-10-20 09:11:10 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
d810cbd41d
|
we're moving down, not up, in both cases!
|
2009-10-19 16:39:40 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
91b47a438b
|
indenting stuff.
|
2009-10-19 16:39:06 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
230d8f504f
|
should make sure when we reset a trail_entry it looks like a variable pointer.
|
2009-10-19 16:37:25 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
460d0c9f6b
|
fix compilation in older gccs.
|
2009-10-16 08:36:37 +01:00 |
|
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 |
|