diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
132 Commits 2 Branches 6 Tags 146 MiB
7d73127461
Commit Graph

132 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
vsc
7d73127461 make Yap run under Emacs/WIN32 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@135 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-09 14:00:51 +00:00
vsc
6f9edf13a4 do not spy hidden predicates 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@134 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-09 14:00:13 +00:00
vsc
8fd1bc92f3 support trace 
fix for ^c in readline


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@133 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-08-08 21:17:27 +00:00
stasinos
5d57058e8e makeinfo warnings fixed 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@132 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-20 09:35:33 +00:00
stasinos
32a0e2c3c7 typoes 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@131 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-18 14:51:10 +00:00
vsc
695a872254 update to Yap-4.3.20 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@130 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-17 18:58:17 +00:00
vsc
95e5c0c670 Fix spec file 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@129 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-17 18:52:34 +00:00
vsc
1fa2287f31 avoid adding junk to tar files 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@128 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-17 18:51:50 +00:00
vsc
82dadfcf8e fix install_info 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@127 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-17 18:51:08 +00:00
vsc
eade18026c fix fflush 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@125 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-16 15:26:14 +00:00
vsc
3e6060a84f use ~d to write time spent consulting 
replace write/2 and write/1 by direct accesses to low-level routines


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@124 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-12 12:50:58 +00:00
vsc
0995041a7e deheisenberg statistics/0 (that is, statistics/0 should not spend space). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@123 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-12 12:47:57 +00:00
stasinos
e1e54337b3 add test for defective fflush(NULL) 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@122 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-11 07:10:17 +00:00
vsc
f814149df1 fix entry for exec/3. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@121 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-10 20:04:42 +00:00
vsc
db588d7b15 had forgotten getrand/3. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@120 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-10 20:04:10 +00:00
stasinos
3a752aca82 a CELL is not printable as %d in 64bit machines 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@119 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-06 13:15:16 +00:00
vsc
6e241c6c8b new statistics. 
better precision when writing floats.
use_module should check file modificiation time.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@118 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-05 20:23:21 +00:00
vsc
27526bcb0d improve support for cross-compilation with simplesimscalar 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@117 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-05 16:14:15 +00:00
uid49918
1578e68ec3 fix bugs in tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@116 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-04 16:48:54 +00:00
uid49918
de8cbd046c fix coroutining and goal expansion 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@115 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-04 16:45:42 +00:00
stasinos
45aacf6ad6 BSD install installs only one file per invokation 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@114 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-07-03 11:19:15 +00:00
vsc
3de3c1b7d2 improve system library. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@113 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-29 19:30:25 +00:00
vsc
54185708f9 fix documentation for system library 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@112 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-29 12:45:54 +00:00
vsc
78129e932f fix bug in instruction compression->glist_val <> get_list+unify_local 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@111 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-29 12:45:18 +00:00
vsc
a18e3790d0 make sure I restore H and TR before I do SetDBForThrow 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@110 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 17:24:27 +00:00
vsc
1d5e4c4956 save H for alpha. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@109 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 17:12:44 +00:00
vsc
22211cb453 fix abort in Alpha 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@108 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 15:46:26 +00:00
vsc
fa40e9e92f in Abort: don't check args for empty string 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@107 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 15:36:38 +00:00
vsc
a781bf6557 Fix MAX_ABS_INT 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@106 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 15:14:02 +00:00
vsc
b076d42858 Fix IntInBnd and MAX_ABS_INT for 64 bit machines 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@105 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 15:00:10 +00:00
vsc
efd998524f More interrupt handling cleanups! 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@104 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 13:22:30 +00:00
vsc
362bf807a4 order .c files 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@103 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 12:46:56 +00:00
vsc
42204357ec Fix c-stack overflow for very deep nested terms. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@102 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-27 12:46:35 +00:00
stasinos
4bffd2262a fixes the HP cc MkIntegerTerm bug and brings the code inline with the C-Interface documentation 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@101 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-26 09:40:34 +00:00
vsc
4c75fbc022 don't need to throw catch. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@100 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 20:26:55 +00:00
vsc
bf661fcdd6 get rid of has_tabling 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@99 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 19:50:26 +00:00
vsc
b4a30d2cd4 extra improvements in configure scripts 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@98 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 19:44:26 +00:00
vsc
04fc8d24b4 get the libraries right for mingw32/cygwin. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@97 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 18:11:45 +00:00
vsc
f22f7434c7 fixes to?\012handle interrupts ^C in Windows. 
Improvements to configure scripts for WIN32 configurations.
--with-readline= option for configure


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@96 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-22 17:53:36 +00:00
vsc
c3e7f600d5 Yap would get order of variables in terms wrong. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@95 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-19 17:51:07 +00:00
vsc
157bce4a13 fix duplicated title (Paulo Moura) 
fix info on term ordering to respect ISO standard.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@94 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-19 17:47:45 +00:00
vsc
5a39daa400 In ISO term order, floats are always less than integers. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@93 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-19 17:34:27 +00:00
vsc
7d50fd267d parser should parse +inf,-inf,+nan,-nan as floating point numbers 
write should write inf as +inf and nan as +nan


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@92 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-19 16:31:59 +00:00
vsc
54e9dc271d fix == at top-level 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@91 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-18 18:33:20 +00:00
vsc
792d836ee6 cleanup error messages in functor/3 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@90 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-18 18:31:19 +00:00
vsc
d9edb0d992 fix HBREG mess 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@89 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-18 18:24:00 +00:00
vsc
e56a11ce3c fix debugging messages and bad comparison 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@88 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-18 18:23:14 +00:00
stasinos
c6e0d82d0b fixed inconsistency between between the two declarations of TracePutchar() 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@87 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-13 17:52:33 +00:00
stasinos
93f9f77df8 fix a declaration-definition inconsistency in YapCloseAllOpenStreams() and an unreachable code bug in YapOpenStream() 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@86 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-13 17:18:38 +00:00
vsc
c9c8aeb3cc Improve readline code: 
don't flush if we change output stream;
   use readline from interrupt handler.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@85 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2001-06-12 17:25:28 +00:00