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

210 Commits

Author SHA1 Message Date
Vítor Santos Costa
a66f5f0531 fix warning 2015-10-09 19:05:36 +01:00
Vítor Santos Costa
d1c4db3c4b be careful about error mode 2015-10-08 02:12:56 +01:00
Vítor Santos Costa
7885433ab5 mostly indenting 2015-10-05 10:29:07 +01:00
Vítor Santos Costa
cd7d654cca first cut at detecting error source 2015-09-29 23:09:12 +01:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
4336b2ba88 Avoid complaining from strlen 
`
 2015-09-21 17:05:36 -05:00
Vítor Santos Costa
338a4bb733 consistency changes 2015-08-18 14:56:54 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
69344f26d1 fixes to warning and complicated cases where warnings are called insidewarning 2015-07-22 19:04:22 -05:00
Vítor Santos Costa
3a00568489 warnings + some work on naming funnctions 2015-07-06 11:51:24 +01:00
Vítor Santos Costa
1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vítor Santos Costa
bc1e70758e cmake and jit 2015-01-26 04:02:46 +00:00
Vitor Santos Costa
ce84e60d08 cosmetic 2015-01-18 01:32:13 +00:00
Vitor Santos Costa
9623f70d3a fix types 2015-01-17 02:50:54 -08:00
Vítor Santos Costa
a83ff038f4 Mutex stuff movibg to C 2014-11-27 10:02:04 +00:00
Vitor Santos Costa
1bb12cbc35 second try to fix error handling in arithmetic expressions. THis time: 
- exit at predicate end;
- just return first on multiple erors.
- YapArithError takes care of inner errors, Yp_EvalError fixes externals.
- a few ISO stuff to make Paulo's unit tests go happier.
 2014-10-16 10:49:11 +01:00
Vítor Santos Costa
3168b2cfc8 fix int/Int in save; add debugging (obs from Gong Su 2014-09-16 04:00:31 -05:00
Vítor Santos Costa
87a0a7af74 define unnecessary lock 2014-09-08 17:11:26 -05:00
Vítor Santos Costa
99713d81a6 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00
Vítor Santos Costa
bc16bf83ec small fixes 2014-08-04 09:47:03 -05:00
Vitor Santos Costa
aba5f3d88b handle locking more carefully (especially protect gc and stack shifting). 2014-04-23 22:41:12 +01:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vitor Santos Costa
44d28aa0c9 cleanup on exception handling 2013-12-12 14:24:40 +00:00
Vítor Santos Costa
29c0d55ad4 nth_clause cleanup with support for mega and exo clauses 2013-12-09 14:16:30 +00:00
Vítor Santos Costa
adea3bdb24 more string fixes and get_code 2013-12-08 19:12:24 +00:00
Vitor Santos Costa
7e58cf7755 more atom/string manipulation fixes and SWI compatibility 2013-12-05 21:26:46 +00:00
Vítor Santos Costa
d7397b43af new text conversion and string code (big changes, take care please) 2013-12-02 14:49:41 +00:00
Vítor Santos Costa
797c063785 debug bad exit 2013-10-14 08:04:24 +01:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
6d16dcf991 fix message 2013-04-16 14:38:01 -05:00
Vitor Santos Costa
9ce268915d imprive error handling. 2013-01-29 10:50:04 +00:00
Vitor Santos Costa
8758b6de5a improve error handling for qload 2013-01-18 14:30:10 +00:00
Vítor Santos Costa
e1f6187395 make syntax error standard. 2012-05-03 00:16:11 +01:00
João Santos
21522ce151 CACHE_REGS 2012-02-07 15:18:43 +00:00
Vítor Santos Costa
123ef47171 fix longjmp RestartEnv to be performed by a single function. 2012-02-05 12:04:29 +00:00
Vítor Santos Costa
6c98e37e18 make sure to save absmi registers before longjmp. 2012-02-05 10:51:40 +00:00
Vítor Santos Costa
22a4dcf9bd fix tp warning. 2011-12-30 16:02:45 +00:00
Vitor Santos Costa
a2a554f17f improve debugger error reporting. 2011-10-12 23:50:49 +01:00
Vítor Santos Costa
43c07f5051 more speed stuff. 2011-10-02 21:01:14 -03:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa
2bc9f6093c type error for string 2011-06-13 01:42:32 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Joao
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
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vítor Santos Costa
f4b218b50d Yap_ErrorMessage should never point at an atom! 2011-04-27 10:04:26 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
a3f79cede9 WINDOWS compatibility 2011-03-08 00:03:50 +00:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vítor Santos Costa
b868d85ac8 make rl not deadlock under SIGINT 2011-03-01 12:31:19 +00:00
ubu32
53e8811077 fixes to use SWI version of readline. 2011-02-26 18:34:44 -08:00
ubu32
140318ff16 read works now. 2011-02-14 23:39:27 -08:00
Vítor Santos Costa
8db05c883b make sure we separate betwen async exceptions and synchroneous. 2010-12-04 19:05:13 +00:00
Vítor Santos Costa
c6f41e2970 YAP_FAIL_ERROR in case a fail has been requested, but not accepetd yet. 2010-12-04 18:45:09 +00:00
Vitor Santos Costa
9396252588 patches to provide initial support UTF32 encodings(from Paulo Moura) 2010-10-27 14:49:27 +01:00
Vítor Santos Costa
2d425fb7b4 don't go set jumping if in UserCCode. Just say there is an exception. 2010-08-04 11:34:04 +01:00
Vítor Santos Costa
e031026a62 instrument PE locking 
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
 2010-07-25 11:22:16 +01:00
Vitor Santos Costa
3e8dc5cd19 try to handle overflows in stack dumpers. 2010-04-29 10:29:06 +01:00
Vitor Santos Costa
066603c79b fix global variables 2010-04-08 01:44:08 +01:00
Vítor Santos Costa II
b068721c68 fix type warnings. 2010-03-22 15:01:54 +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
4355a94793 make syntax_error handling ISO compatible. 2010-02-26 13:08:38 +00:00
Vitor Santos Costa
038b74493c more ATOM changes. 2010-02-26 10:59:43 +00:00
Vitor Santos Costa
ff20a23e64 stop counters at counter underflow event 2009-06-26 08:42:40 -05:00
Vitor Santos Costa
e6265e9d84 only dump stack if user not handling the stack #47 2009-06-12 14:04:32 -05:00
Vitor Santos Costa
3c57286531 make sure we disable disabling interrupts on error handler. 2009-05-25 09:58:27 -05:00
Vitor Santos Costa
46dc2b1a49 should exit if interrupts *are* disabled. 2009-05-24 19:19:22 -05:00
Vitor Santos Costa
b9a7d24e8b avoid too long messages 
back to top level if Yap_Error is called in a critical region.
 2009-05-23 15:51:00 -05:00
Vitor Santos Costa
f79d79e926 replace TYPE_ERROR_VARIABLE for attributes #57 2009-05-22 21:51:48 -05:00
Costa Vitor
7304fbda13 fix lack of streams message (Ulrich Neumerkel #60) 2009-05-22 19:55:18 -05:00
Vitor Santos Costa
e1421f207e use DebugPlWrite for debugging writes 2009-05-22 13:23:51 -05: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
c2e6456c25 wait until sending out the abort message. 2009-05-04 22:30:47 -05:00
Vitor Santos Costa
91b3e4359d handle tabling errors where CP->AP==NULL 2009-05-01 12:09:22 -05:00
Vitor Santos Costa
4cdfbae62a allow garbage collection when we store error term. 2009-04-26 10:48:32 -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
f679f21a71 cleanup unnecessary MkFunctor 2008-12-23 02:20:22 +00:00
Vítor Santos Costa
a8ac9bfb43 generate known atoms and functors automatically 2008-12-23 01:53:52 +00:00
Vitor Santos Costa
20e8924bba fix type warning in EnvPreg/error.c 2008-09-18 17:48:31 +01:00
vsc
a25234a2da fix -(2<<100). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2236 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-05-13 10:37:27 +00:00
vsc
78d7105c16 protect signal handling with locks for threaded version. 
fix close/1 entry in manual (obs from Nicos).
fix -f option in chr Makefile.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2201 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-04-03 13:26:38 +00:00
vsc
1c6b91cb72 improve WIN32 support and installation 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2170 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-27 00:41:33 +00:00
pmoura
fa73e89807 Use "resource_error(threads)" instead of "resource_error(max_threads)" for compatibility with SWI-Prolog, XSB, and the latest ISO Prolog Threads DTR. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2162 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-25 01:04:27 +00:00
vsc
c20c0f7767 fix maximum number of threads open error 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2158 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-03-24 23:48:47 +00:00
vsc
e353d8811f garbage collector was not asking for space. 
avoid 0 sized calls to mmap.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2058 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2008-01-24 00:11:59 +00:00
vsc
3beda27d14 fixes to support threads and assert correctly, even if inefficiently. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2030 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2007-11-26 23:43:10 +00:00
vsc
98de08022b WIN32 fixes 
compiler bug fixes
extend interface


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1632 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2006-05-16 18:37:31 +00:00
vsc
b52c6d333e fix bad handling of undef warning 
fix exporting module in use_module([_|_],_).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1480 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-12-18 17:12:33 +00:00
vsc
681717eecb cleanups in OS interface predicates. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1469 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-11-23 13:24:00 +00:00
ricroc
34b2a0df4f TABLING NEW: support to limit the table space size 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1355 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-08-04 15:45:56 +00:00
vsc
6979a873cc improvements to compiler: merged instructions and fixes for -> 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1338 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-07-06 15:10:18 +00:00
vsc
b2dfcf33a1 fix compiler bug in 1 << X, found by Nuno Fonseca. 
compiler internal errors get their own message.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1291 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-05-25 21:43:33 +00:00
vsc
668a3dce2b try to improve error handling and warnings from within consults. 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1280 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-04-20 20:06:26 +00:00
vsc
59561e2688 fix excessive pruning in meta-calls 
fix Term->int breakage in compiler
improve JPL (at least it does something now for amd64).


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1264 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-03-13 06:26:13 +00:00
vsc
f11ab09a60 try to make initialisation process more robust 
try to make name more robust (in case Lookup new atom fails)


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1254 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-03-02 18:35:49 +00:00
vsc
14f9382666 fix pruning bug 
make DL_MALLOC less enthusiastic about walking through buckets.


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1253 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-03-01 22:25:09 +00:00
vsc
9807a22069 Improve error handling routine, trying to make it more robust. 
Improve hole handling in stack expansion
Clause interrpeter was supposed to prune _trust_me
Wrong messages for acos and atanh


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1249 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-02-24 21:46:40 +00:00
vsc
0139bfc33a amd64 fixes 
library fixes


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1247 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-02-21 16:50:21 +00:00
vsc
49c8efc0df library_directory may not be deterministic (usually it isn't). 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1240 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-02-08 18:05:21 +00:00
vsc
52a46e5c5d fix mess with add clause 
improves on sigsegv handling


git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1239 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
 2005-02-08 04:05:39 +00:00