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

499 Commits

Author SHA1 Message Date
Costa Vitor
7304fbda13 fix lack of streams message (Ulrich Neumerkel #60) 2009-05-22 19:55:18 -05:00
Costa Vitor
ec595374a6 fix allocation of temporary stack so that unification can work even for 
very deep terms.
fix occur_unification_bug X = a(f(Y)).
 2009-05-22 18:35:24 -05:00
Costa Vitor
cfbd2f8886 use types in unification algorithm, makes the rest simpler. 2009-05-22 15:21:14 -05:00
Vitor Santos Costa
51e669dcfb support for passing priority as argument to write. (Ulrich's #45). 
fixes on making write handle infinite loops
 2009-05-22 13:24:27 -05:00
Vitor Santos Costa
9852f7781d - simplify error handling in arithmetic and handle infinite terms (#46) 2009-05-22 11:21:39 -05:00
Vitor Santos Costa
efcf162aa6 use interrupts_disabled instead of enabled. 2009-05-21 00:38:04 -05:00
Vitor Santos Costa
c7066b43ec first try of setup_call_cleanup/3 and setup_call_catcher_cleanup/4 2009-05-19 23:53:14 -07:00
Vitor Santos Costa
ae5bf4d6e7 support resource errors for out of memory conditions. 
improve stack dump message.
 2009-05-17 09:42:56 -07:00
Vitor Santos Costa
8e7695a42c make Yap_Eval only on entry. 2009-05-16 22:41:44 -07:00
Vitor Santos Costa
39ccbd345d make options -T -L -G work as SWI: they impose a maximum size limit 2009-05-10 13:36:55 -04:00
Vitor Santos Costa
bc39647627 fix gmp-less compilation (Tony Wilson). 2009-05-02 12:34:49 -05:00
Vitor Santos Costa
ecb54b0f63 fix syntax error (again!) 2009-04-27 18:28:43 -05:00
Vitor Santos Costa
9c4e4b12bb fix syntax error without GMP 2009-04-27 17:20:53 -05:00
Vitor Santos Costa
61ad7c6da8 fix non-gmp calls to arith2 2009-04-26 19:24:21 -05:00
Vitor Santos Costa
a89f9a35ba keep a reminder that maybe we want to be careful about stack expansion. 2009-04-26 11:16:56 -05:00
Vitor Santos Costa
c132e7e6ec fix gmp support to give out of resource error if the bignum is too big. 2009-04-25 11:01:33 -05:00
Vitor Santos Costa
2503805aff support 2^2 is 4 and not 4.0: complicated if we have to deal with bignums. 2009-04-24 19:03:00 -05:00
Vitor Santos Costa
b5dc71d080 is_list/1 is now a builtin. 2009-04-24 10:31:53 -05:00
Vitor Santos Costa
6acf7eeb0a fix bad ordering in tests 2009-04-23 10:36:11 -05:00
Vitor Santos Costa
35f38c93be declare nw function 2009-04-22 17:34:08 -05:00
Vitor Santos Costa
700ea83b17 array name should $array, not array 2009-04-22 11:34:23 -05:00
Vitor Santos Costa
9ef1b5cb4f shift vesion number. 2009-04-08 00:49:54 +01:00
Vitor Santos Costa
b92b026c90 more patches to support Anderson's JIT. 2009-04-08 00:32:36 +01:00
Vitor Santos Costa
b2ad3bd000 first cut at Anderson's JIT code. 2009-04-07 23:55:16 +01:00
Vitor Santos Costa
f97bc596b9 do not use int for modules, use Term. 2009-04-07 15:44:46 +01:00
Vitor Santos Costa
a2b6c0c529 allow YAP to compile without GMP. 2009-03-27 15:32:22 +00:00
Vitor Santos Costa
4044684dea prototype UDI initializer. 2009-03-27 15:28:50 +00:00
Vitor Santos Costa
2aa5aa3a26 add -A flag to ask for more attributed stack. 2009-03-27 15:15:54 +00:00
Vitor Santos Costa
901161a413 patches to remove ints and be able to allocate a lot of memory in 64 bit mode. 2009-03-27 14:45:40 +00:00
Vitor Santos Costa
0d64daa393 fix thread complaints. 2009-03-26 00:39:57 +00:00
Vitor Santos Costa
4b65b063ca fixes for threads to compile and boot. 2009-03-24 13:27:36 +00:00
Vitor Santos Costa
77eaff31b8 cleanup stack shifting when inserting holes (growglobal). 2009-03-16 17:30:13 +00:00
Vitor Santos Costa
4ab17198b7 fix eval (quick fix). 2009-03-14 09:42:35 +00:00
Vitor Santos Costa
add296ba37 fix handling of holds. 2009-03-13 21:57:15 +00:00
Vitor Santos Costa
a1b58f61e0 conditional compilation of thread inlines 2009-03-13 12:06:57 +00:00
Vitor Santos Costa
fc2e01f320 improve code for disjunctions by trying to avoid permanent variables. 2009-03-10 16:24:26 +00:00
Vitor Santos Costa
828964c3c1 remove optimised arithmetic instructions. They made the emulator even bigger than 
usual, and they were not performing.
 2009-03-09 11:52:01 +00:00
Vitor Santos Costa
afd979a246 improve substantially handling of soft disjunctions. 2009-03-05 16:12:21 +00:00
Vitor Santos Costa
15b86cded4 new merged instructions and small changes to the emulator. 2009-03-03 10:04:13 +00:00
Vitor Santos Costa
d4eb240c41 try to get some more wiggle room. 2009-02-27 12:57:08 +00:00
Vitor Santos Costa
48eaa975f2 if we have many embedded calls to nb_queue, make sure we don't allocate a lot of memory for each one. 2009-02-27 00:31:29 +00:00
Vitor Santos Costa
51875c627a avoid excessive overflows and too large overflows in delay stack. 2009-02-26 23:06:27 +00:00
Vitor Santos Costa
d7c2c74acc fix counting of C-pred: it should not be in caller. 2009-02-26 00:00:23 +00:00
Vitor Santos Costa
95fc66be25 more fixes to profiling code. 2009-02-25 22:15:18 +00:00
Vitor Santos Costa
083b7c9b92 improve compilation of arithmetic and other builtins, this should 
make it more aggressive (and still correct).
 2009-02-25 00:13:56 +00:00
Vitor Santos Costa
a000af113b OSX portability updates 
start of support for commons prolog initiative
 2009-02-16 12:25:03 +00:00
Vítor Santos Costa
8a6e0acedc compiler support for udi including user_index instruction 2009-02-12 21:35:31 +00:00
Vítor Santos Costa
4b826e76ae support for user defined indexing: step 1 basic routines. 2009-02-12 16:39:20 +00:00
Vitor Santos Costa
1191b039d5 include support for dynamically created clause lists. 2009-02-11 15:10:57 +00:00
Vitor Santos Costa
9a0d481528 avoid too many discontiguous warnings by keeping track of last clause predicate. 2009-02-10 23:42:26 +00:00