Vitor Santos Costa
|
021141188f
|
fix missing $live
|
2009-11-02 12:46:28 +00:00 |
|
Vítor Manuel de Morais Santos Costa
|
6a8cee8b79
|
compilation fixes
|
2009-10-31 00:18:13 +00:00 |
|
Vitor Santos Costa
|
bda231f24d
|
Use "Foreign.h"
|
2009-10-31 00:02:17 +00:00 |
|
Vitor Santos Costa
|
923094bd01
|
more updates to HEAPFIELDS.
|
2009-10-30 23:59:00 +00:00 |
|
Vitor Santos Costa
|
7116d1385b
|
move more fields to HEAPFIELDS
|
2009-10-28 15:53:23 +00:00 |
|
Vitor Santos Costa
|
838b14cb77
|
more data structures.
|
2009-10-28 15:20:46 +00:00 |
|
Vitor Santos Costa
|
d3f969e1b1
|
various_codes includes all the head pointers to the code space. Try to
centralise everything in a single file (HEAPFIELDS) and generate them
from a Prolog script (buildheap).
|
2009-10-28 13:11:35 +00:00 |
|
Vitor Santos Costa
|
d373f23b50
|
make some sense of the mess that was various_codes *
|
2009-10-27 10:48:37 +00:00 |
|
Vitor Santos Costa
|
36a7e5c59e
|
fix error handling in syntax_error (don't assume ARG2 has the output).
|
2009-10-26 22:56:18 +00:00 |
|
Vitor Santos Costa
|
4c8eb33e06
|
we had args already (no need for argv0)
improve error handling in YAP_ReadBuffer
|
2009-10-26 10:42:19 +00:00 |
|
Vitor Santos Costa
|
96da71b514
|
fix console.c to also add / (obs from Paulo Moura).
|
2009-10-23 23:54:24 +01:00 |
|
Vitor Santos Costa
|
9303efd6d6
|
fix singleton warning.
|
2009-10-23 23:54:00 +01:00 |
|
Vitor Santos Costa
|
78d2960d16
|
bad doc on nth/4 (obs from Daniel Diaz)
|
2009-10-23 23:21:42 +01:00 |
|
Vitor Santos Costa
|
981d060ffb
|
fix nth/4 going backwards (obs from Daniel Diaz).
|
2009-10-23 23:19:55 +01:00 |
|
Vitor Santos Costa
|
0ea348c26d
|
extend SWI interface with PL_toplevel and to handle C++ code.
prolog/0 built-in
fixes to parms.h changes.
|
2009-10-23 16:50:43 +01:00 |
|
Vitor Santos Costa
|
0179998d60
|
change Heap.h to YapHeap.h
rename $live to prolog/0 (for SWI compatibility).
|
2009-10-23 14:22:17 +01:00 |
|
Vitor Santos Costa
|
253444d7ca
|
support parms.h
pass argv[0]
|
2009-10-23 09:09:16 +01:00 |
|
Vitor Santos Costa
|
da0186a0aa
|
fix unused stuff.
|
2009-10-21 08:35:09 +01:00 |
|
Vitor Santos Costa
|
0f99e336cc
|
YAPVERSION
|
2009-10-21 00:20:18 +01:00 |
|
Vitor Santos Costa
|
c6e16a608a
|
fix @ option in format/2
|
2009-10-21 00:07:31 +01:00 |
|
Vitor Santos Costa
|
b2eb437625
|
minor changes to CLP(BN).
|
2009-10-21 00:05:23 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
54465b08f1
|
support ISO extension popcount/1
|
2009-10-20 10:03:10 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
90d8b42a85
|
document lsb
|
2009-10-20 09:51:55 +01:00 |
|
Vítor Manuel de Morais Santos Costa
|
36e0c6bcf7
|
support for msb
|
2009-10-20 09:50:51 +01:00 |
|
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 |
|