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

1911 Commits

Author SHA1 Message Date
Vítor Santos Costa
c52dda489b be careful around 1L and friends 2010-05-11 00:18:12 +01:00
Vítor Santos Costa
99dafc9172 more win64 fixes 2010-05-10 22:14:08 +01:00
Vítor Santos Costa
faeef37a03 long -> Int 2010-05-10 10:21:56 +01:00
Vitor Santos Costa
f83ac17ca3 remove debugging info. 2010-05-10 03:10:18 +01:00
Vitor Santos Costa
d0371b2f36 arity 2? 2010-05-10 03:05:46 +01:00
Vitor Santos Costa
dec36676e5 stack expansion would not recognise bignums and friends.y 2010-05-10 03:04:54 +01:00
U-WIN-8E8REQR3Q7E\Vítor Santos Costa
e85d0a3939 fix unsafe test 2010-05-09 00:43:13 +01:00
Vítor Santos Costa
28ba64be94 fix garbage collector for attributed variables. 2010-05-07 23:49:20 +01:00
Vítor Santos Costa
11641c5f94 64 bit cleanups. 2010-05-06 15:00:44 +01:00
Vítor Santos Costa
c074076e89 fix warning in the absence of GMP 2010-05-06 12:39:42 +01:00
Vítor Santos Costa
51f33514b3 fix typing problems and a bug in quote.c? 2010-05-06 12:19:51 +01:00
Vitor Santos Costa
ecaf6aa713 lookup with max lentgth 2010-05-06 10:58:25 +01:00
Vítor Santos Costa
950abd136e get rid of debugging info. 
routines are only define with wctype.h
 2010-05-05 12:51:38 +01:00
Vitor Santos Costa
f3b6a044f6 improvements to language support. 2010-05-05 12:45:11 +01:00
Vitor Santos Costa
950144a63f more experiments with format 2010-05-05 00:38:46 +01:00
Vítor Santos Costa
ba22623aeb mark slots if called from user-c-code 
beautify oops messages.
 2010-05-04 14:54:55 +01:00
Vítor Santos Costa
aadbb136f5 make sure we always look for slots if called from user code. 
oops beautifications.
 2010-05-04 14:53:34 +01:00
Vítor Santos Costa
2be8bcb482 64 bit error 2010-05-04 14:53:05 +01:00
Vítor Santos Costa II
ba996c8dd5 fix bad call to low_level_tracer. 2010-05-03 16:34:20 +01:00
Vitor Santos Costa
31554991c8 better emulation of SWI atom_t and functor_t. 2010-05-03 14:26:56 +01:00
Vitor Santos Costa
3e8dc5cd19 try to handle overflows in stack dumpers. 2010-04-29 10:29:06 +01:00
Vitor Santos Costa
e302eb3463 fix bad assumption in indexing code. 2010-04-27 22:09:44 +01:00
Vítor Santos Costa II
788193b0c9 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-04-22 12:17:39 +01:00
Vítor Santos Costa II
3272d5d230 inform about new module for system library 2010-04-22 12:11:15 +01:00
Vítor Santos Costa II
14b1f65e35 save area was not being saved correctly. 2010-04-22 12:08:51 +01:00
Vítor Santos Costa II
7f9f10a1d9 cannot trust H0 in the att test (use Yap_GlobalBase instead). 2010-04-22 12:08:02 +01:00
Vítor Santos Costa II
da78b22324 fix fixes to garbage collector. 2010-04-20 23:08:08 +01:00
Ricardo Rocha
7eee5a5b56 new built-in predicates to access OPTYap statistics related to memory 
usage.
 2010-04-20 03:59:48 +01:00
Vítor Santos Costa II
04ddd8dca0 fix garbage collection of attributed variables. 2010-04-19 16:15:33 +01:00
Ricardo Rocha
1029828775 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-04-19 02:36:14 +01:00
Ricardo Rocha
c221c2ff85 renaming some OPTYap files in order to have a more consistent name organization 2010-04-19 02:34:08 +01:00
Vitor Santos Costa
7593a9ec78 fix scanning of integers starting with 0b and 0o (ISO, obs from Paulo Moura). 2010-04-18 20:48:25 +01:00
Ricardo Rocha
73d210c991 reducing the number of macros for error checking in the OPTYap files 2010-04-18 04:59:11 +01:00
Vitor Santos Costa
be91864c1e Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-04-16 10:33:11 +01:00
Vitor Santos Costa
463ab07f3c fix error handling with nan (obs from Jose Santos). 2010-04-16 10:32:36 +01:00
Ricardo Rocha
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
Vítor Santos Costa II
052c20a29b more memory allocation fixes. 2010-04-15 22:49:25 +01:00
Vítor Santos Costa II
c4b12d5cbe - fix memory leaks 
- avoid unnecessary mallocs by having a first alloc to do th ework.
 2010-04-15 22:23:54 +01:00
Vítor Santos Costa II
e231aea1b4 Merge branch 'master' of gitosis@yap.dcc.fc.up.pt:yap-6 2010-04-15 11:37:51 +01:00
Vitor Santos Costa
28e006b484 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 2010-04-15 11:38:55 +01:00
Vitor Santos Costa
b737ce447f improve allocation through malloc: avoid allocating labels in the stack. 2010-04-15 11:37:39 +01:00
Vitor Santos Costa
78b3213d5a add debugging info to system_malloc 2010-04-15 11:37:15 +01:00
Ricardo Rocha
e122f2ca8d Global trie support: atomic terms (vars, integers and atoms) are now stored 
in the local tries (and not in the global trie). This required major changes
to the trie instructions in order to unify the use of the auxiliary stack
organization for the terms in the local tries and in the global trie.
 2010-04-15 01:09:59 +01:00
Vitor Santos Costa
ccca051c48 avoid using ftell: it can be very slow on NFS. 2010-04-14 23:47:01 +01:00
Vítor Santos Costa II
3666988f57 fixes for non-gmp case. 2010-04-14 19:49:22 +01:00
Vitor Santos Costa
5b1a2067f9 add support for with_output_to/2. 2010-04-14 10:57:00 +01:00
Vítor Santos Costa II
661b9c3b7d protect base choice-point from nasty cutting. 2010-04-13 00:31:25 +01:00
Vítor Santos Costa II
2b7c645300 no need for a cast here. 2010-04-12 17:21:50 +01:00
Vítor Santos Costa II
b10268def1 be careful about testing for attvars. 2010-04-12 17:21:19 +01:00
Vítor Santos Costa II
894666efb8 unnecessary access could result in core dump (patch from Keri Harris). 2010-04-10 21:52:53 +01:00
Vítor Santos Costa II
9b3b304624 try again to get correct statistics on memory usage :(w 2010-04-10 21:18:35 +01:00
Vítor Santos Costa II
2aff3b5071 clean reference to removed element. 2010-04-10 21:17:17 +01:00
Vítor Santos Costa II
469fab876d keep on working even after an overflow. 2010-04-09 18:08:08 +01:00
Vítor Santos Costa II
d524dd542d test could access unused memory. 2010-04-09 18:07:45 +01:00
Vítor Santos Costa II
b6f704fc7a fix possible memory leak. 2010-04-09 17:02:24 +01:00
Vítor Santos Costa II
8efec0b26e put ThOr back in shape. 2010-04-09 11:56:07 +01:00
Vitor Santos Costa
45473e939b fix previous patch for restoring PredHashTable. 2010-04-09 11:46:59 +01:00
Vitor Santos Costa
066603c79b fix global variables 2010-04-08 01:44:08 +01:00
Vítor Santos Costa II
3fd7da94ba more valgrind catches. 2010-04-08 00:53:38 +01:00
Vítor Santos Costa II
222aac067b fix bad limit test (caught by valgrind). 2010-04-08 00:52:59 +01:00
Vítor Santos Costa II
5aed596919 bad list keeping 2010-04-08 00:52:47 +01:00
Vitor Santos Costa
55b464dace export Yap_WinError 2010-04-07 01:35:44 +01:00
Vitor Santos Costa
471bf55c4c fix reading from pipes in WIN32. 2010-04-07 01:18:32 +01:00
Vitor Santos Costa
9110c4db71 if we use malloc, get memory out of malloc instead of using stacks. This is in order to avoid growing stacks that never contract again. 2010-03-31 15:51:18 +01:00
Vitor Santos Costa
d49e139360 fix missing return value. 2010-03-31 15:51:08 +01:00
Vitor Santos Costa
16a5e33267 fix queue_close (Anton Dries). 2010-03-30 13:02:46 +01:00
Vitor Santos Costa
3f5117d020 check overflow correctly. 2010-03-30 12:45:46 +01:00
Vitor Santos Costa
c4819d8ab2 better handle over overflow. 2010-03-30 12:45:32 +01:00
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