b815e64740
README -> add TXT file.
2014-03-11 11:24:10 +00:00
e97bac6548
fix compilation in win:32 and 64 bits
2014-03-10 07:12:15 +00:00
f257efc2ef
without threads
2014-03-06 14:07:33 +00:00
47d436fc13
WIN32 with threads
2014-03-06 13:34:35 +00:00
386e15c425
more updates
2014-03-06 12:32:41 +00:00
e2c44e492f
fix paths
2014-03-06 02:20:58 +00:00
2c89aadb11
WIN64 support (sill needs improvement)
2014-03-06 02:09:48 +00:00
49d643d98f
script for compilation
2014-03-06 02:04:21 +00:00
93c84b4ace
remember how to compile under win
2014-02-26 22:16:52 +00:00
d4b6bc58d5
initial icons
2014-02-26 22:16:28 +00:00
6bde2d2cd7
avoid unions called u: they confuse eclipse.
2014-02-18 09:44:01 +00:00
d0efa26d8b
Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3
...
Conflicts:
OPTYap/tab.insts.i
OPTYap/tab.tries.c
OPTYap/tab.tries.i
2014-02-13 11:57:46 +00:00
3cad9c37b1
removed unnecessary cut_c macros (always on)
2014-02-11 07:15:39 -08:00
b4506cf793
CoInductive tabling
2013-12-19 16:56:55 +00:00
61d624e416
fix comment handling
2013-12-08 22:56:48 +00:00
adea3bdb24
more string fixes and get_code
2013-12-08 19:12:24 +00:00
d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
f6f183c0f6
remove some more duplicated code
2013-11-22 15:18:03 +00:00
f1f64bf25c
printwarning
2013-11-21 00:22:03 +00:00
61e78d9963
more handles and fix exit from a backtrackable user c-pred
2013-11-20 22:27:46 +00:00
4e4f21e1dc
upgrade to latest swi
2013-11-15 01:10:25 +00:00
14747fd0bf
more fixes
2013-11-13 22:52:36 +00:00
4fa9021a7b
integration work:
...
- use SWI flags whenever possible
- support by module unknown, escapes, strings
- accesss thread info fom SWI
- allow strings to be input as strings.
- remove some unused flags.
2013-11-13 10:38:20 +00:00
917d5ad75b
line numbers for clauses and clause properties
2013-11-05 17:59:19 +00:00
101a54e6ff
ifix debug option
2013-11-04 13:04:19 +00:00
5561b80796
A not a for Atom (unused anyway)
2013-11-04 01:10:15 +00:00
6f9b8bfca8
fix bad instruction format
2013-11-01 08:26:06 +00:00
360e8a9269
WIN32 support
2013-10-30 13:56:35 +00:00
70d864b13d
fix limit on atoms to ints
2013-10-08 13:04:30 +01:00
43163a190f
Atom Translations and CUDA stub
2013-10-04 13:22:00 +01:00
2cfa0081ad
make syntax extensions SWI compatible
2013-09-13 11:44:26 +01:00
38a804db1e
fix indexing of long instructions
2013-07-22 10:43:38 -05:00
493161f6d8
ciao style arrays, (...)
2013-07-07 16:15:25 -05:00
ec5f7ebb28
Chaange semantics for min and max
2013-06-25 22:53:23 -05:00
a1632ff3e7
fix 32 bit offsets
2013-06-22 20:09:20 -05:00
923be33404
speedup between
...
more exo stuff.
2013-04-30 15:23:01 -05:00
64a61e2479
make between/3 a C-builtin.
2013-04-29 18:22:53 -05:00
72cc5bc317
generalise interval handling
2013-04-29 11:58:05 -05:00
90abff4f2f
Exo compilation, the range example.
2013-04-16 20:04:53 -05:00
19863f08f2
fix gprof undder a single running thread
2013-02-08 20:38:04 +00:00
9ce268915d
imprive error handling.
2013-01-29 10:50:04 +00:00
8971f37232
start 6.3.4.
2013-01-20 19:28:33 +00:00
1bd2224377
update version
2013-01-20 17:16:34 +00:00
7e3db0f75c
improve error handling for qload
2013-01-18 14:29:41 +00:00
33714b14b9
atom completion in readline
2013-01-17 12:43:01 +00:00
e85e76cd57
update to newer pl-file.c and pl-write.c.
2013-01-15 16:51:55 +00:00
be5208f281
fix search for free variables in bagof.
2013-01-14 22:46:06 +00:00
f83379648c
fix use of exo preds.
2013-01-11 16:45:14 +00:00
6cd778f70b
exo stuff
2013-01-09 09:21:07 +00:00
f063a2bd52
exo first step.
2013-01-07 09:47:14 +00:00
f0b44b9b77
fix bad indexing (obs from Jos)
2012-12-07 23:43:00 +00:00
556937195d
avoid meta-call in system; improve goal/pred expansion
2012-12-07 08:08:32 +00:00
f74164c642
correct support for goal expansion (bug report from Paulo Moura)
2012-11-07 13:49:54 +00:00
8126381e8d
range and fix locals.
2012-10-23 14:55:44 +01:00
7f41b36378
fix typo
2012-10-20 10:48:42 +01:00
88f2dc7730
change the way predicates are hidden
2012-10-19 18:10:48 +01:00
d5bf100b71
make full init even before entering Prolog top-level
2012-09-21 11:49:59 +01:00
1be424fe57
imprive speed of ql
2012-08-23 09:04:58 -05:00
e2fb330575
avoid fixed sized hash tables.
2012-08-22 18:57:13 -05:00
0228bfbb30
qsave_program/2.
2012-06-26 10:09:10 +01:00
6eed0e30e3
fix names.
2012-06-22 04:00:00 -05:00
58c3445d82
win console.
2012-06-08 06:55:23 -05:00
0c1eb1d642
fix write_canonical of $VAR(_).
2012-03-15 22:19:48 +00:00
36acb5f897
fix profiling support.
2012-03-09 11:46:34 +00:00
665d426e13
fix writing streams by write.c
2012-02-27 08:53:18 +00:00
fc4edc3ad1
update version.
2012-02-13 19:30:00 +00:00
c98e42f545
fix global variable on compiler (move it to LOCALS).
2012-02-06 15:11:50 +00:00
3218e922ce
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
2012-01-03 16:28:36 +00:00
00b5edd8da
allow copying a chunk of floats to a list in a single operation. Also
...
improve performance of sum out operation on arrays.
2011-12-30 16:04:16 +00:00
77b93e2cda
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
2011-12-22 16:50:27 +00:00
c594d321ef
Miguel's support for multi-threaded tabling
2011-12-22 16:50:20 +00:00
551df1c70a
handle blob overflows.
2011-12-22 10:27:56 +00:00
aab98180c5
garbage collection support for opaque variables
2011-12-13 10:01:51 +00:00
fc8b265b66
ifix buildops
2011-11-04 02:51:52 +00:00
1ddd61314c
support for X^[A,B] and X^length in arithmetic expressions.
2011-10-27 12:36:48 +02:00
48bfaa1ce1
move to 6.3.1
2011-10-22 10:25:04 +01:00
067ff9828d
windows Makefile.
2011-10-22 00:19:48 +01:00
5d0eed5eb1
make sure SWI atom constants are typed as atom_t
2011-10-21 23:06:17 +01:00
51e635f0c9
more QLY stuff.
2011-08-31 13:59:30 -07:00
7c0ba3b867
qly stuff.
2011-08-24 00:11:54 -03:00
b6aca9463d
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-08-18 22:35:13 +01:00
a3303eeb69
more qlyw stuff.
2011-08-16 10:34:44 -03:00
a56402303e
first step for quick loader, and fix an instruction format.
2011-07-30 00:07:35 +01:00
4fe1833ece
Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3
2011-07-25 17:09:43 +01:00
840e287cda
mode changes
2011-07-25 17:09:28 +01:00
f6be2ed08d
support interface to foreign objects that have a backtrack handler.
2011-07-22 04:09:33 -07:00
e74a25d366
handle slowdown when retracting clauses.
2011-06-24 21:08:22 +01:00
7c6b4bf489
removing macro SEQUENTIAL_IS_DEFAULT
2011-06-21 15:43:50 +01:00
77171d4179
fix Yap debug.
2011-06-20 14:49:24 +01:00
261e02b43e
support for option comments(X) in read_term/1.
2011-06-12 17:23:10 +01:00
f658a99dad
fix C/scanner.c. change some misc/LOCALS initializations.
2011-05-26 15:02:00 +01:00
971ad94311
moved several global variables to misc/GLOBALS
2011-05-25 16:40:36 +01:00
8170f6d3cb
Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS
2011-05-23 16:19:47 +01:00
ab63cd190b
LOCALS and GLOBALS are now generated by misc/buildlocalglobal.
2011-05-11 18:22:58 +01:00
d6fc76faf1
Remove GLOBAL_AGcLastCall. Fix GLOBAL_check_sg_fr.
2011-05-10 12:20:22 +01:00
676dd26c90
change macros in misc/GLOBALS to GLOBAL_.
2011-05-10 10:06:51 +01:00
026616963c
remove FOREIGN_ macros and use REMOTE_ instead
2011-05-09 20:19:49 +01:00
f22994edf9
remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead
2011-05-09 19:55:06 +01:00
a532b6cff3
struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS)
2011-05-09 19:36:51 +01:00
bada4ddfcf
Remove LOCAL_ variables declaration from heapgc.c.
2011-05-05 17:41:05 +01:00
65a514349f
Remove LOCAL_WPP.
2011-05-05 09:32:04 +01:00
feb27c1e6e
optimize misc/buildheap script
2011-05-04 19:34:22 +01:00
d9cee607e9
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
...
Conflicts:
C/cdmgr.c
2011-05-04 11:10:20 +01:00
1358d7037a
remove LOCAL_FormatInfo e LOCAL_DelayArenaOverflows from LOCALS.
2011-05-04 10:21:47 +01:00
dc3c54c164
change LOCALS macros.
2011-05-04 10:11:41 +01:00
d041ca7a9a
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-04-30 01:17:09 +01:00
de0f8a8236
dbload
2011-04-30 01:16:40 +01:00
affaeb4092
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
...
Conflicts:
H/dlocals.h
H/hlocals.h
H/ilocals.h
H/rlocals.h
2011-04-29 16:44:59 +01:00
d4825159ee
fix configure file. change memory management in YapOr.
2011-04-28 09:48:42 +01:00
d793651f89
iupdate to 6.3
2011-04-22 15:29:24 +01:00
c940245182
make consult_level a local variable
...
assert() within consult should act as a normal assert.
2011-04-22 13:01:10 +01:00
4d537f1536
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
...
Conflicts:
H/Yap.h
packages/YapR
2011-04-14 20:00:35 +01:00
8fb8aec9bf
MULTIPLE_STACKS - or-parallelism/threads/tabling
...
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
2011-04-14 18:51:11 +01:00
de8518cf15
change optyap_global_data to global_optyap_data
2011-04-07 16:30:56 +01:00
9ab6f7ad36
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2011-04-07 16:04:19 +01:00
417fb5c52c
includ e6.2 changes for globals.
2011-04-04 13:20:35 +01:00
3e148c3541
change define SBA to YAPOR_SBA
2011-03-30 15:32:59 +01:00
f890a11377
change macros GLOBAL to Yap
2011-03-29 18:19:18 +01:00
1cede1f4d6
change struct worker_share to global_data
...
change struct global_data to optyap_global_data
chnage field global in struct worker_share to optyap_global
2011-03-25 18:01:17 +00:00
6b48f8949f
change macro FOREIGN_WL to FOREIGN
2011-03-25 15:21:02 +00:00
0352410666
support separate file for LOCALS
2011-03-24 10:25:02 +00:00
0ffe3fa6a5
break GLOBALS into GLOBALS+LOCALS
2011-03-23 16:45:47 +00:00
7670ce631b
WIN32 patches
2011-03-21 17:07:58 +00:00
e05b84ce4e
fix to thread support.
2011-03-11 19:49:32 +00:00
5418f55d74
fix pl-tai
2011-03-09 13:05:03 +00:00
8ee0724524
set version number.
2011-03-07 22:26:28 +00:00
90d93fdbdd
cache abstra machine register in threaded mode.
2011-03-07 16:02:55 +00:00
9c3041f1e3
support copying registers in SWI code.
2011-03-03 11:41:21 +00:00
73541f506f
get rid of old SWI emulation stuff.
2011-03-01 10:41:06 +00:00
cce6bb6354
LD should be local to threads.
...
get rid of write_depth on YAP side.
2011-03-01 10:26:25 +00:00
140318ff16
read works now.
2011-02-14 23:39:27 -08:00
be79c3326e
first pass at open/ and friends.
2011-02-12 14:14:12 +00:00
232a740d43
upgrade to latest SWI
2011-02-10 00:01:19 +00:00
54507703fe
Merge branch 'master' of ../yap-6.2
2011-02-08 21:05:12 +00:00
d0a5571900
trace the total number of choice-points created in profiling mode.
2011-02-08 21:02:10 +00:00
f840ee307d
Merge branch 'master' of ../yap-6.2
2011-02-02 16:15:50 +00:00
a9587b5e3d
restore and agc of recorded terms
...
overflows in recorded.
2011-01-02 21:16:29 -06:00
d64af810da
force wakeups before !
2010-12-29 09:29:42 -06:00
168a6366f8
enable obtaining current stream_position from SWI.y
2010-12-19 21:32:13 +00:00
81ca149be7
Merge branch 'master' of ../yap-6.2
2010-12-16 22:22:44 +00:00
cfe0dda995
more bigint and dbterm fixes.
2010-12-16 22:21:46 +00:00
5a2d908489
fix restore of instructions that manipulate bigints or db terms.
2010-12-16 20:39:53 +00:00
6e2947e8c4
avoid _longjmp
2010-12-16 01:22:10 +00:00
2dad416011
Merge branch 'master' of ../yap-6.2
2010-12-15 20:04:13 +00:00
bd6da9dd40
fix reconsult of multifile predicates (static).
2010-12-15 00:06:14 +00:00
dffacb814b
Merge branch 'master' of ../yap-6.2
2010-12-13 12:40:07 +00:00
3c4da56af2
allow write to find out about SWI streams in SWI mode.
2010-12-13 12:38:37 +00:00
30b0160b0d
Merge branch 'master' of ../yap-6.2
2010-12-07 15:08:25 +00:00
21bbffceda
make sure we rebuild saved state stuff even if we do not actually enter top-level.
...
fix bug with some definitions being reset at load time.
2010-12-07 15:06:53 +00:00
7874c790f3
Merge branch 'master' of ../yap-6.2
2010-12-06 20:16:05 +00:00
8290341a5f
fix typo
2010-12-05 00:07:22 +00:00
10a3d52de0
Merge ../yap-6.2
2010-11-29 23:17:49 +00:00
7b6f330bd3
improve blob support (but just skeleton).
2010-11-29 23:17:06 +00:00
40be6b56f2
Merge branch 'master' of ../yap-6.2
2010-11-29 18:09:19 +00:00
2a8854094b
halt_hooks should not be in save/restore, this will cause trouble.
2010-11-29 18:08:29 +00:00
e509d11c2e
routines to copy rational terms to tree and vice-versa.
2010-11-01 20:11:28 +00:00
9396252588
patches to provide initial support UTF32 encodings(from Paulo Moura)
2010-10-27 14:49:27 +01:00
facebe43e4
doc fixes
...
64 bits should use /usr/lib64, not /usr/lib
2010-10-24 21:26:49 +02:00
9770904f6f
update version to next stable
2010-10-18 09:17:12 +01:00
72b8334358
imake predicates parallel by default.
2010-10-15 02:04:50 +01:00
0c09447d00
fix broken tab
2010-09-30 20:53:07 +01:00
99c5a17b12
Implement Halt Hook (request from Bernd).
2010-09-24 14:00:53 +01:00
8592db72d7
start 6.0.7
2010-08-04 20:29:24 +01:00
bebb236e32
improve SWI compatibility, especilaly for threaded stuff.
2010-08-04 11:37:12 +01:00
c081d01e78
implement access_file/2 in C
2010-08-03 21:04:16 +01:00
3d6e223dae
support for space reservation (goal: call gc before trying to insert very large terms).
2010-08-02 13:04:30 +01:00
18d77309a6
c_inp_stream and friends are thread private!
2010-07-27 17:28:58 +01:00
b61d69ffe8
allow SWI Interface to send/receive wide characters.
2010-07-21 10:58:24 +01:00
6ebc31f2d8
codes/2 functor (used by format).
2010-07-19 14:48:42 +01:00
f34dcec03e
fix totag SWI functors.
2010-07-19 14:47:08 +01:00
f5b006a94b
isupport for improved SWI emulation
2010-06-23 11:48:10 +01:00
2d6fc978e4
fix for threading initialization
2010-06-19 14:38:04 +01:00
bf26536626
make frame structure thread local.
2010-06-14 09:26:32 +01:00
293dadb003
support for rational numbers
...
make floor and friends return an integer (make it closer to SICStus).
2010-05-28 09:53:56 +01:00
fd9f4efe0b
fix indexing of bignums (obs from Jos de Roo).
2010-05-14 12:42:30 +01:00
a4344f5bf6
move to 6.0.6
2010-05-11 22:22:13 +01:00
8a9f8aa1a6
libWYap.a not used any longer.
2010-05-11 14:44:35 +01:00
5f5fcb920f
generates tables for swi atoms.
2010-05-06 11:38:09 +01:00
31554991c8
better emulation of SWI atom_t and functor_t.
2010-05-03 14:26:56 +01:00
23d01fc7a6
version 6.0.5
2010-05-01 12:20:28 +01:00
030539f33b
PL_get_chars: Implement CVT_WRITE and CVT_WRITE_CANONICAL
2010-04-29 23:04:04 +01:00
64528946d9
fix bad name for atom.
2010-04-28 00:32:37 +01:00
3272d5d230
inform about new module for system library
2010-04-22 12:11:15 +01:00
2a7765ae5c
make clear that some files are generated automatically.
2010-04-18 21:48:20 +01:00
ddb1cd8604
adding two new modes to the yap_flag/2 and tabling_mode/2 built-in
...
predicates: 'local_trie' mode and 'global_trie' mode.
2010-04-16 02:08:06 +01:00
c4b12d5cbe
- fix memory leaks
...
- avoid unnecessary mallocs by having a first alloc to do th ework.
2010-04-15 22:23:54 +01:00
719089b96b
make PL_is_initialised honest :)
2010-04-13 00:31:48 +01:00
b1621d033a
export type of foreign fields.
2010-04-10 21:20:00 +01:00
d5e1ff38f4
new interface to access globals. They are not in a file called GLOBALS, from which
...
we generate several files automatically.
2010-03-21 22:12:42 +00:00
499f2c5368
cleanup: m4 conf and old CLPQR are not used any longer
2010-03-17 07:24:59 +00:00
1245c85ba1
move to version 6.0.4
2010-03-16 01:16:36 +00:00
4e052ba822
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-03-15 15:06:03 +00:00
8e290be453
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-03-15 09:42:59 -05:00
ada06d84b2
caps change
2010-03-15 09:42:42 -05:00
2908d4ccbd
fix: size of quue went down.
2010-03-12 22:40:17 +00:00
6dddceb7b2
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-03-04 23:37:57 +00:00
156555d256
fix win32 installer: second try
2010-03-04 06:17:40 -06:00
35882bfb0b
Merge branch 'master' of yap.dcc.fc.up.pt:yap-6
2010-03-04 11:07:01 +00:00
d716d5d1bb
fix win32 installer
2010-03-04 05:06:44 -06:00
50b692d2c1
change release to 6.0.3
2010-03-04 09:13:06 +00:00
Vítor Santos Costa
U-vsc-PC\vsc
David Vaz
Theo
U-w7\vsc
Ricardo Rocha
U-WIN-U2045GN0RNQ\Vítor Santos Costa
Joao
Ricardo Rocha
Vítor Santos Costa
U-WIN-ENP104VVO3U\Vítor Santos Costa
ubu32
vsc
U-vsc-win7\vsc
Ricardo Rocha
U-Khasa\Vitor