diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,865 Commits 2 Branches 6 Tags 146 MiB
efa64ba6c4
Commit Graph

1843 Commits

Author SHA1 Message Date
Vitor Santos Costa
f45e95ba68 fix sTR0 to always point to base of updates. 2010-03-30 10:59:12 +01:00
Vitor Santos Costa
9a728ed796 fix int -> Int 2010-03-30 10:58:46 +01:00
Vitor Santos Costa
66a5235098 just get rid of warning. 2010-03-30 09:16:07 +01:00
Vitor Santos Costa
394b3e08e1 make sure we never ask for less than what we were asked for (growtrail). 2010-03-30 09:15:02 +01:00
Vitor Santos Costa
6d52fa371e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-03-27 11:00:42 +00:00
Vitor Santos Costa
9869ffebfd delete_attributes deletes v as an attvar. 2010-03-27 10:57:21 +00:00
Vítor Santos Costa II
000f4524ea fix bad bracket 2010-03-26 16:16:05 +00:00
Vítor Santos Costa II
50b380c2aa make number_chars and atom_chars accept strings of numbers, unless if in strict iso. 2010-03-25 09:59:39 +00:00
Vítor Santos Costa II
4052f03726 initialise everything 2010-03-23 16:15:55 +00:00
Vítor Santos Costa II
3ceb7eb479 fix unneed call. 2010-03-23 16:15:41 +00:00
Vítor Santos Costa II
e03b948b0a ifix warning 2010-03-22 16:57:19 +00:00
Vítor Santos Costa II
a9b979144c forward possible errors 2010-03-22 16:56:58 +00:00
Vítor Santos Costa II
b068721c68 fix type warnings. 2010-03-22 15:01:54 +00:00
Vítor Santos Costa II
c3d2e4cd14 support for agc_margin 2010-03-22 14:47:53 +00:00
Vitor Santos Costa
da51afc1e4 fix term_hash of floats and large ints (obs from Jose Santos). 2010-03-22 00:09:50 +00:00
Vitor Santos Costa
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
Vitor Santos Costa
57f55cbd28 fix garbage collection of pointers to attributed variables. 2010-03-16 01:07:26 +00:00
Vítor Santos Costa II
3c67550975 fix stupid use of ++ within macro. 2010-03-15 16:20:47 +00:00
Vitor Santos Costa
3c6a4435d8 Merge branch 'new_atts' 2010-03-15 15:05:42 +00:00
Vitor Santos Costa
8b6b9e9ac3 we don't need to wakeup variables that have no attributes, even if they have been bound. 2010-03-15 14:17:30 +00:00
Vitor Santos Costa
4fafe10fbe fix error messages 2010-03-14 09:32:04 +00:00
Vitor Santos Costa
3683da028a use correct tests. 2010-03-14 09:31:04 +00:00
Vitor Santos Costa
2908d4ccbd fix: size of quue went down. 2010-03-12 22:40:17 +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
222ead095c term_attvars/2. 2010-03-12 08:49:12 +00:00
Vitor Santos Costa
30a4f3cfe7 fixes to support copy_term and nb_ 2010-03-12 08:24:58 +00:00
Vitor Santos Costa
abe4744fe7 fix error handling. 2010-03-10 14:09:35 +00:00
Vitor Santos Costa
3d10482cc7 more upgrades to new coroutining code. 2010-03-10 14:06:07 +00:00
Vitor Santos Costa
4a6bfe1fa0 avoid unnecessary term construction. 2010-03-09 22:03:00 +00:00
Vitor Santos Costa
2c53542bb1 fix error handling. 2010-03-09 22:01:42 +00:00
Vitor Santos Costa
34ca485e42 new Atts code. 2010-03-08 09:23:58 +00:00
Vitor Santos Costa
d48be6406b no more need to support AttVars 2010-03-08 09:21:48 +00:00
Vitor Santos Costa
43a822b41f IsAttVar 2010-03-08 09:21:16 +00:00
Vitor Santos Costa
16ea59e106 no more list of variables. 2010-03-08 09:20:30 +00:00
Vitor Santos Costa
0dc4369b20 no more need to support call_residue. 2010-03-08 09:20:06 +00:00
Vitor Santos Costa
e440953256 use IsAttVar 2010-03-08 09:19:57 +00:00
Vitor Santos Costa
99460df195 use IsAttVar 2010-03-08 09:19:35 +00:00
Vitor Santos Costa
e992b0dcf0 new version of attributed variable code, using arena to store variables and 
removing variable chain.
 2010-03-08 09:18:52 +00:00
Vitor Santos Costa
76c6e06b45 patch label for gc 2010-03-08 09:18:30 +00:00
Vitor Santos Costa
02fb454f3f DelayTop goes away 2010-03-08 09:18:08 +00:00
Vitor Santos Costa
81635b48fb use isattvar 2010-03-08 09:17:40 +00:00
Vitor Santos Costa
a98cc1ac65 fix bad label for gc 2010-03-08 09:13:52 +00:00
Vitor Santos Costa
ba091eb2f9 support db_ref_e: 2010-03-06 22:43:21 +00:00
Vitor Santos Costa
8fc50d9935 make YAP throw a runtime-error on unknown arithmetic ops. 2010-03-06 00:16:49 +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
43a1a754dd erf function (patch from Bernd Gutmann). 2010-03-05 00:01:04 +00:00
U-Khasa\Vitor
1b65f5e220 WINDOWS can seek 2010-03-03 18:50:56 -06: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
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
9e5a25c61e make sure syntax_error receives a global variable (obs from Jose Santos). 2010-03-02 22:21:48 +00:00
Vitor Santos Costa
233926ea00 fix nb_getval to handle exceptions. 2010-03-01 22:32:40 +00:00
Vitor Santos Costa
51982bee42 fix nb_current/2 2010-03-01 21:48:39 +00:00
U-Khasa\Vitor
46f0a0644c fix bad restore of operators (obs from Paulo Moura) 2010-03-01 11:52:42 -06:00
Vitor Santos Costa
8b18242138 fix missing ; (obs from Paulo Moura). 2010-03-01 00:06:45 +00:00
Vitor Santos Costa
16a9c8a807 SWI-compatible source_file/1 and 2 2010-02-28 22:24:51 +00:00
Vitor Santos Costa
623200683a fix comparison if Int != int. 2010-02-28 12:15:29 +00:00
Vitor Santos Costa
c8479541bb fix bad overflow handling in peek_memory_stream (obs from Jos De Roo). 2010-02-28 09:30:58 +00:00
Vitor Santos Costa
7037b38fa7 make nb_ undefined variable return an error, as SWI does. 2010-02-28 00:57:29 +00:00
Vitor Santos Costa
5778730b62 be less enthusiastsis about writing (op). 2010-02-26 14:14:10 +00:00
Vitor Santos Costa
4355a94793 make syntax_error handling ISO compatible. 2010-02-26 13:08:38 +00:00
Vitor Santos Costa
0e9a98fa30 handle right cases where both argumnets to number_ are bound. 2010-02-26 12:01:24 +00:00
Vitor Santos Costa
b316710db5 make error handling close to ISO. 2010-02-26 12:01:08 +00:00
Vitor Santos Costa
59759cc88e make current_stream file name ISO friendly. 2010-02-26 11:43:05 +00:00
Vitor Santos Costa
69b6f47b73 make open remember original file. 2010-02-26 11:23:15 +00:00
Vitor Santos Costa
038b74493c more ATOM changes. 2010-02-26 10:59:43 +00:00
Vitor Santos Costa
361c54bed8 execute0 has no access to the third argument. 2010-02-26 10:04:33 +00:00
Vitor Santos Costa
f4e734da34 make number_chars and atom_chars SWI/ISO compatible by default. 2010-02-26 10:04:08 +00:00
Vitor Santos Costa
c6ad678174 some more tests. 2010-02-26 09:12:20 +00:00
Vitor Santos Costa
21fb6091ea fix char_conversion 2010-02-26 09:12:06 +00:00
Vítor Santos Costa
01b801e753 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-02-26 00:17:39 +00:00
Vitor Santos Costa
6f745469b0 make ceiling, floor and round always return an int (ISO and SWI compat, obs from Paulo Moura). 2010-02-26 00:15:55 +00:00
Vítor Santos Costa
5e1f8ff84f Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-02-25 17:52:30 +00:00
Vítor Santos Costa
6a7e584e94 protect better call 2010-02-25 17:52:11 +00:00
Vitor Santos Costa
eab72f6ab7 handle integer(0.0/0.0) (obs from David Vaz). 2010-02-23 22:25:04 +00:00
Vitor Santos Costa
83f25afc41 add address_bits flag (request from Paulo Moura). 2010-02-23 00:29:17 +00:00
Vitor Santos Costa
f3c2dea752 use the right type in call. 2010-02-22 23:08:40 +00:00
Vitor Santos Costa
f137773011 fix error handling on entry arguments. 2010-02-22 22:48:13 +00:00
Vitor Santos Costa
29854466fa check_bom should undo char, even if end of file (obs from Nicola di Mauro). 2010-02-21 00:53:55 +00:00
Vitor Santos Costa
7b89916c43 C-code may mess up with environment: we cannot afford to just jump 
there from anywhere (obs from Stefano Ferili).
 2010-02-21 00:45:49 +00:00
Vitor Santos Costa
12672a77e1 fix missing unlock. 2010-02-21 00:45:38 +00:00
Vítor Santos Costa
692a482adf fix gc call while in meta-call. 2010-02-19 15:37:36 +00:00
Vítor Santos Costa
dddad72a0e AtomDouble was not defined correctly. 2010-02-19 14:16:57 +00:00
Vítor Santos Costa
1b66eba611 fix handling of float/1 by indexing code. 2010-02-19 14:16:41 +00:00
Vitor Santos Costa
3b4bb45c62 fix error handling in builtin arithmetic (obs from Jose Santos). 2010-02-18 10:56:59 +00:00
Vitor Santos Costa
c21f178b36 fix error where \* ( could be scanned as \+( (obs from Paulo Moura). 2010-02-18 09:19:29 +00:00
U-Khasa\Vitor
7855ddf2ce exists_directory/1 2010-02-11 12:07:08 -06:00
U-Khasa\Vitor
33190e290d mingw complaint with recent versions of gcc 2010-02-10 03:03:03 -06:00
vsc
f8070bdd59 YAPOR: lock memory allocation under YAPOR/dlmalloc 2010-02-03 22:54:47 +00:00
vsc
976ae73266 fix get_dbterm compilation. 2010-02-03 18:52:10 +00:00
Vitor Santos Costa
929995f5a1 fix compilation problems. 2010-02-01 21:44:21 +00:00
Vitor Santos Costa
3b1ab8cfd9 do not recover space if there is an overflow. (obs from Paulo Moura). 2010-02-01 21:43:45 +00:00
Vítor Manuel de Morais Santos Costa
9d1f0cd361 incremental copying with or-threads. 2010-02-01 20:05:01 +00:00
Vitor Santos Costa
a0b48eb108 protect against calls to garbage collector (obs from Paulo Moura). 2010-01-31 23:03:55 +00:00
Vitor Santos Costa
6b8c2b096a make sure everything is close together. 2010-01-31 23:03:27 +00:00
Vítor Manuel de Morais Santos Costa
10744069fc fix global variable core dump in threaded yapor. 2010-01-29 18:09:07 +00:00
Vítor Manuel de Morais Santos Costa
4d341f2aab fix bad call to gc (obs from Jose Santos). 2010-01-29 15:21:00 +00:00
Vítor Manuel de Morais Santos Costa
f56b9ab426 each OPTYap worker needs its own auxiliary stack! 2010-01-29 12:28:00 +00:00
Vítor Manuel de Morais Santos Costa
139fc6c440 small fixes for CUT_C 2010-01-28 15:42:49 +00:00
Vitor Santos Costa
b4b9891242 fix for gprof in 64 bit OSX. 2010-01-27 10:59:59 +00:00
Vitor Santos Costa
cfba7815c1 fix compilation in OSX, WINDOWS 2010-01-26 23:36:00 +00:00
Vítor Manuel de Morais Santos Costa
bcc4a27206 cut_succeed and cut_fail should recover pool of try_c and should 
do trim_trail (not that the latter really matters).
 2010-01-26 18:03:09 +00:00
Vítor Manuel de Morais Santos Costa
98c0964c80 iget rid of annoying message. 2010-01-26 16:35:15 +00:00
Vitor Santos Costa
b112574dc5 booting should not be console controlled. 2010-01-26 12:20:46 +00:00
Vitor Santos Costa
df267a07b9 be able to parse "hello" 2010-01-26 12:19:48 +00:00
Vítor Manuel de Morais Santos Costa
b0ea945ebc Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-01-26 11:40:47 +00:00
Vítor Manuel de Morais Santos Costa
4d54ea4c92 improve PP on threaded version 2010-01-26 11:40:32 +00:00
Vitor Santos Costa
2702c7e973 oops, forgot deref 2010-01-25 21:28:51 +00:00
Vitor Santos Costa
c8ee7259d7 allow MMAP variable on OSX. 2010-01-25 12:29:27 +00:00
Vitor Santos Costa
5cd85f4eaa export Yap_IsGroundTerm(t) 2010-01-25 12:28:49 +00:00
Vitor Santos Costa
98769ce9af fix case where debugger was finding the wrong clause. 2010-01-25 10:21:40 +00:00
Vitor Santos Costa
ce3a193ae7 fix forgotten unlocks. 2010-01-25 09:01:04 +00:00
Vitor Santos Costa
7854f39fb9 in SYSTEM_MALLOC, save_heap makes no sense (as it stands). 2010-01-22 22:29:07 +00:00
Vítor Manuel de Morais Santos Costa
a7c1e9afba fix hashing over empty atoms (obs from Jose Santos). 2010-01-21 15:21:26 +00:00
Vítor Manuel de Morais Santos Costa
1187e58005 fix unnecessary unlocking (obs from Jiefei Ma). 2010-01-21 15:05:59 +00:00
Vítor Manuel de Morais Santos Costa
7bdc216cf6 get rid of the 0x0x problem. 2010-01-21 15:05:01 +00:00
Vitor Santos Costa
fa9425cd21 make sure there is indexing code after a record_at 2010-01-21 10:00:24 +00:00
Vitor Santos Costa
2edc06b6a2 fix unifiable for attributed variables (obs from Jiefei Ma). 2010-01-21 09:47:55 +00:00
Vitor Santos Costa
d78591f73c don't forget that we may have aaa and aa in substring. 2010-01-18 14:27:56 +00:00
Vitor Santos Costa
8f9f1223e7 fix sub_atom(xxx,_,_,_,'') (obs from David Vaz). 2010-01-17 00:04:17 +00:00
Vítor Manuel de Morais Santos Costa
89e38cbcc0 or_last is different under yapor. 2010-01-15 16:15:36 +00:00
Vitor Santos Costa
7da431fe00 fix fix :( 2010-01-15 10:58:58 +00:00
Vitor Santos Costa
70c762c162 fix undefined predicate (made Logtalk loop). 2010-01-15 01:03:34 +00:00
Vítor Manuel de Morais Santos Costa
a498dc1265 icompile table+orp 2010-01-14 17:38:39 +00:00
Vítor Manuel de Morais Santos Costa
5ef31fbfd2 experiment in or-parallel threads. 2010-01-14 15:58:19 +00:00
Vítor Manuel de Morais Santos Costa
ac104aac9c revert previous commit. 2010-01-14 15:57:16 +00:00
Vítor Manuel de Morais Santos Costa
31314c8059 fix warning about not checking output. 2010-01-14 15:43:18 +00:00
Vitor Santos Costa
8d5c490ff7 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-01-12 22:21:46 +00:00
Vítor Manuel de Morais Santos Costa
d4b14648b0 fix confusion with SWI handling of C-backtrackable predicates. 2010-01-12 14:58:48 +00:00
Vítor Manuel de Morais Santos Costa
4670e456a5 do not check for bom over binary files (obs from Nuno Fonseca). 2010-01-12 14:08:38 +00:00
Vitor Santos Costa
5824e5ecea fix debugging info. 2010-01-12 10:08:15 +00:00
Vitor Santos Costa
02108d2017 make it so that we always use the fixed op for |. Needs improement. 2010-01-12 10:06:10 +00:00
Vítor Manuel de Morais Santos Costa
324833f84a fix excessive trimming in C-interface for backtrackable predicates (obs from José Vieira). 2010-01-11 15:44:43 +00:00
Vitor Santos Costa
e86a995dd2 fix bad test faster interface to eval (obs from Jose Santos) 2010-01-11 10:35:36 +00:00
Vitor Santos Costa
5fc26e1b45 improve emulataion of backtrackable SWI c-code (request from NF). 2010-01-06 11:25:15 -02:00
Vitor Santos Costa
a7e6c5672e try to speed up eval a bit. 2010-01-04 21:16:42 -02:00
Vitor Santos Costa
33f3dcc3d1 avoid excessive error testing 2010-01-03 15:43:07 -02:00
Vitor Santos Costa
da4aa804a7 improve error handling for is/2. 2010-01-03 15:42:51 -02:00
Vitor Santos Costa
ab0913a2df ask for space proportional to the free trail space at trail overflow. 2009-12-21 10:26:00 -02:00
Vitor Santos Costa
6d1eec34db make atom locking compatible with SWI-Prolog. 2009-12-21 10:12:47 -02:00
Vitor Santos Costa
6ec92ac5c0 handle correctly file rewind in the presence of ungetc (obs from Jose Santos). 2009-12-19 19:57:20 -02:00
Vitor Santos Costa
79a1d3e13c fix thread stuff (obs from Jiefei Ma). 2009-12-17 23:55:09 -02:00
Vitor Santos Costa
5b8dc25eff fix locking stuff. 2009-12-17 16:11:02 -02:00
Vitor Santos Costa
6aff7bda59 fix initialization in threaded version. 2009-12-17 16:03:00 -02:00
Vítor Manuel de Morais Santos Costa
48861db34e fix bad testing of choice-point in throw (tabling bug?) 2009-12-12 23:22:10 +00:00
Vitor Santos Costa
1486b97e75 YAP added / to WIN32 file names (obs from Jose Santos). 2009-12-11 09:49:47 +00:00
Vitor Santos Costa
ac2cf2434a prolog_flag executable (obs from Aubrey Barnard). 2009-12-10 01:16:29 +00:00