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

3026 Commits

Author SHA1 Message Date
Vitor Santos Costa
aba5f3d88b handle locking more carefully (especially protect gc and stack shifting). 2014-04-23 22:41:12 +01:00
Vítor Santos Costa
f1951777b7 fix checker to use read for singleton variables, instead of always computing 
them.
 2014-04-23 21:39:32 +01:00
Vítor Santos Costa
137f69ed22 doc support 2014-04-21 11:14:18 +01:00
Vítor Santos Costa
a8c77d2609 fix string_concat/2 2014-04-09 12:39:29 +01:00
Vitor Santos Costa
f39ed68fe8 check for mistypes 2014-04-06 17:06:19 +01:00
Vítor Santos Costa
a6c115b248 fix deadlock 2014-03-27 15:35:18 +00:00
Vítor Santos Costa
683b5989ae fix sub_string and friends 2014-03-27 15:31:03 +00:00
Vítor Santos Costa
3b2944511e improve debugger warnings 2014-03-27 15:30:17 +00:00
Vitor Santos Costa
506ac57509 enable debugging to start by default. 2014-03-20 13:33:47 +00:00
Vitor Santos Costa
8dd1ddbca3 ensure things get locked when enterng dynamic code. 2014-03-20 13:32:35 +00:00
Vitor Santos Costa
e337d6aba0 avoid using min 2014-03-20 12:19:38 +00:00
Vitor Santos Costa
5a83e7c7a6 fix text handling for wide strinbgs with max length. 2014-03-18 15:40:50 +00:00
Vitor Santos Costa
6462a09e59 win32: unicode and small fixes 2014-03-16 00:52:43 +00:00
Vitor Santos Costa
b932008946 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-03-16 00:15:34 +00:00
Vítor Santos Costa
79763e9ea1 fix signal handling 2014-03-15 23:47:29 +00:00
Vitor Santos Costa
5a73c525e9 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-03-15 22:48:12 +00:00
Vítor Santos Costa
e9eb030bb6 catch warnings 2014-03-15 22:21:54 +00:00
Vítor Santos Costa
4591e1baaf Eclipse stuff 2014-03-13 12:54:06 +00:00
Vítor Santos Costa
c3d0504a54 Avoid using repeated fiels names ( u -> ut ). 2014-03-12 15:47:53 +00:00
Vitor Santos Costa
d0adb0b910 fix slot handling 2014-03-11 15:33:38 +00:00
Vítor Santos Costa
8cf9e44a57 fix CHARESCAPE mess (Ulrich #292) 2014-03-11 10:24:44 +00:00
Vítor Santos Costa
9408c8a866 simplify absf 2014-03-09 12:26:03 +00:00
Vitor Santos Costa
3d0bb05ef0 João Silva patch for yapor copy+tabling 2014-03-08 11:50:20 +00:00
Vítor Santos Costa
233c4ee903 fix bad initialization in signals 2014-03-08 00:03:58 +00:00
Vítor Santos Costa
7e85bfd4a4 yapor support by João Silva 2014-03-07 23:07:46 +00:00
Vítor Santos Costa
06d99506cf osx patches 2014-03-06 15:39:56 +00:00
Vitor Santos Costa
f257efc2ef without threads 2014-03-06 14:07:33 +00:00
Vitor Santos Costa
0dc40370dc merge 2014-03-06 02:18:02 +00:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
U-vsc-PC\vsc
77f3de2fbe directory, new signal interface 2014-03-04 12:02:26 +00:00
U-vsc-PC\vsc
ec8f12d38b improve executable search. 2014-03-04 12:00:13 +00:00
Vitor Santos Costa
e9fce51e92 ndk support 2014-02-27 16:31:20 +00:00
Vitor Santos Costa
d9fce3935b Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-02-22 22:57:01 +00:00
Vitor Santos Costa
9464c9f85c win32 fixes 2014-02-22 22:56:41 +00:00
Vítor Santos Costa
f264859483 - versioning in macos 
- fixes to input/output to improve interaction with eclipse console.
-
 2014-02-20 10:38:18 +00:00
Vítor Santos Costa
d3b3a45dde improve handling of meta-call in setof and debugging 2014-02-19 00:04:26 +00:00
Vítor Santos Costa
6bde2d2cd7 avoid unions called u: they confuse eclipse. 2014-02-18 09:44:01 +00:00
Vitor Santos Costa
964b15d107 keep on simplifying configure. 2014-02-18 07:59:47 +00:00
Vítor Santos Costa
786d6abeda fix changes in variable names 2014-02-16 12:57:00 +00:00
Vítor Santos Costa
e81f473802 fix eclipse warnings 2014-02-16 12:56:22 +00:00
Vítor Santos Costa
e52d8f7d7e don't complain big int in arg/3 2014-02-14 22:47:16 +00:00
Vitor Santos Costa
d0efa26d8b Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3 
Conflicts:
	OPTYap/tab.insts.i
	OPTYap/tab.tries.c
	OPTYap/tab.tries.i
 2014-02-13 11:57:46 +00:00
Vítor Santos Costa
89789d6828 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	configure
	packages/clib
	packages/real
 2014-02-12 00:44:34 +00:00
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Vítor Santos Costa
034878ab88 fix raptor trouble 2014-02-09 22:17:36 +00:00
Vitor Santos Costa
a012017635 don't crash strip_module 2014-02-09 18:07:17 +00:00
Vitor Santos Costa
043c97157f fix source file for predicates 2014-02-09 11:00:01 +00:00
Vitor Santos Costa
8d8a4104b9 strip_module should try to always return a valid module 2014-02-09 10:46:43 +00:00
Vitor Santos Costa
f26cb133b9 fix left-over slots 2014-02-09 10:44:43 +00:00
Vitor Santos Costa
6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa
ce6bc98f30 fix extra return 2014-02-03 23:28:50 +00:00
Vítor Santos Costa
9e2a2b75b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	library/dialect/swi/fli/swi.c
	packages/real
 2014-02-02 21:52:14 +00:00
Vítor Santos Costa
9d2795b62a term_factorized/3 2014-02-02 21:45:47 +00:00
Vitor Santos Costa
598267ca23 fix encoding for strings: it's utf-8 2014-01-28 14:15:40 +00:00
Vitor Santos Costa
d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vítor Santos Costa
7adad485de more H->HR 2014-01-19 21:57:02 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa
e1201fc468 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2014-01-17 09:39:49 +00:00
Vítor Santos Costa
ccccf71ae1 support for tabling of bignums and strings 2014-01-17 09:39:29 +00:00
Vitor Santos Costa
bcc1757989 fixes to message handling 2014-01-07 01:10:48 +00:00
Vítor Santos Costa
f3e5639439 fix sign problems with arrays 2014-01-02 21:59:02 +00:00
Vítor Santos Costa
233829ec52 fix array expansion to use realloc and fix arrays to separate static/dynamic and malloced 2014-01-02 19:11:06 +00:00
Vítor Santos Costa
7589b57e4b Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-12-20 00:34:44 +00:00
Vítor Santos Costa
4612a7cc57 ISO 2013-12-20 00:34:15 +00:00
Theo
b4506cf793 CoInductive tabling 2013-12-19 16:56:55 +00:00
Vitor Santos Costa
493b591b66 slots again: make sure they're bound after resetting the stack and when calling InitForeign 2013-12-18 19:34:15 +00:00
Vitor Santos Costa
30828eba98 fix input sz: should only matter with NCHARS 2013-12-18 16:42:05 +00:00
Vitor Santos Costa
86a71e9232 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-12-18 15:23:06 +00:00
Theofrastos Mantadelis
b0fdf9263c Restored the [] as the default value for tabling_mode yap flag 2013-12-18 15:01:02 +00:00
João Santos
bc99b42228 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-12-17 15:57:41 +00:00
João Santos
2e3f99d89a fix YAPOR_THREADS (prof. Vitor Costa) 2013-12-17 15:57:24 +00:00
Vítor Santos Costa
993a9272d1 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-12-16 21:47:53 +00:00
Vítor Santos Costa
1aafb30360 instantiation error 2013-12-16 21:47:46 +00:00
Vitor Santos Costa
52b863eab4 compile without gmp 2013-12-16 15:35:34 +00:00
Vitor Santos Costa
83ae86dba3 fix SIG_FAIL and SIG_INT 2013-12-16 13:05:08 +00:00
Vitor Santos Costa
a4b130ff1b do wake up before \! 2013-12-16 12:34:41 +00:00
Vítor Santos Costa
7d6d369e63 avaoid local 2013-12-15 10:27:53 +00:00
Vítor Santos Costa
f204776107 simplify 2013-12-15 10:27:33 +00:00
Vítor Santos Costa
a8e1b91fd5 make length explicit in buffer conversion 2013-12-15 08:37:10 +00:00
Vítor Santos Costa
e089563ce2 improve interrupt debugging 2013-12-15 08:35:44 +00:00
Vítor Santos Costa
d73c88f307 handle running Prolog without top-level 2013-12-15 08:34:52 +00:00
Vítor Santos Costa
6402360691 fix S handling in new interrupt code 2013-12-14 12:35:18 +00:00
Vítor Santos Costa
b90685fe59 fix typo 2013-12-14 11:05:37 +00:00
Vitor Santos Costa
cc5b90aafc fix deallocate 2013-12-13 10:56:08 +00:00
Vitor Santos Costa
2410cd3862 fixes to new signal handling/debugging code 2013-12-13 08:42:57 +00:00
Vitor Santos Costa
44d28aa0c9 cleanup on exception handling 2013-12-12 14:24:40 +00:00
Vítor Santos Costa
fba3c34e50 trace fixes 2013-12-11 09:34:43 +00:00
Vítor Santos Costa
ba2c0ca2a0 support no trace predicates 2013-12-11 01:05:51 +00:00
Vítor Santos Costa
e768a7e7be small improvements to debugger, prolog mode and meta-call (*->) 2013-12-10 22:58:02 +00:00
Vítor Santos Costa
795f01d125 fix error handling 2013-12-10 18:55:58 +00:00
Vítor Santos Costa
05bfe8a15b fix number_codes/2 typo 2013-12-09 22:14:17 +00:00
Vítor Santos Costa
a430a1c349 fix source clauses 2013-12-09 18:43:32 +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
df6ddfb8b6 is [] an atom first or a list first? 2013-12-09 14:15:30 +00:00
Vítor Santos Costa
a654907fe1 fix empty lists 2013-12-08 22:56:20 +00:00
Vítor Santos Costa
adea3bdb24 more string fixes and get_code 2013-12-08 19:12:24 +00:00
Vitor Santos Costa
863b796370 new string_code/3 plus some fixes 2013-12-06 23:24:01 +00:00
Vítor Santos Costa
35f6ecad66 more atom and string 2013-12-06 15:08:35 +00:00
Vitor Santos Costa
7e58cf7755 more atom/string manipulation fixes and SWI compatibility 2013-12-05 21:26:46 +00:00
Vitor Santos Costa
5ada26eab3 improve printing of quoted objects 2013-12-05 21:26:05 +00:00
Vítor Santos Costa
b3608c6a83 improve char conversion 2013-12-05 11:20:57 +00:00
Vitor Santos Costa
2665f71112 keep trying to fix atoms 2013-12-04 23:01:30 +00:00
Vítor Santos Costa
0d749059a4 new text conversion and string code (big changes, take care please) 2013-12-02 14:50:02 +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
3edb01f5f7 more reflection updates 2013-11-26 10:40:00 +01:00
Vítor Santos Costa
0ea61e8f1a kdebugging stuff 2013-11-25 23:59:52 +01:00
Vítor Santos Costa
d0c7ef121b give source property based on dynamic declarations 2013-11-25 19:19:44 +01:00
Vítor Santos Costa
82f4d71567 debugging stuff 2013-11-25 18:32:51 +01:00
Vítor Santos Costa
fae3da8659 fix high arity and nth clause 2013-11-25 18:31:33 +01:00
Vítor Santos Costa
99a5fa55de Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-11-25 14:10:17 +01:00
Vítor Santos Costa
0b881c0569 fix compilation 2013-11-25 11:34:50 +01:00
Vítor Santos Costa
af4e9b4bbc for number free flag setting 2013-11-25 11:26:42 +01:00
Vítor Santos Costa
4e7e9b0273 use *m in Yap_strip_module, not CurrentModule 2013-11-25 11:25:56 +01:00
Vítor Santos Costa
5ecf7a79ff quasi quote 2013-11-25 11:24:13 +01:00
Vítor Santos Costa
75737f6d56 quasi quote 2013-11-25 11:23:28 +01:00
Vítor Santos Costa
3c16cd1627 fix missing YapHeap 2013-11-25 11:22:44 +01:00
Vítor Santos Costa
99469b9b1a use pl-shared and synch with SWI-Prolog.h 2013-11-25 11:22:07 +01:00
Paulo Moura
20b0d7050d Allow threads/0 to list zombie threads 2013-11-25 00:35:29 +01:00
Vítor Santos Costa
80dc774a5f fix blob output 2013-11-23 15:19:54 +00:00
Vítor Santos Costa
03879aa778 fix isfinite 2013-11-23 14:51:56 +00:00
Vítor Santos Costa
fd58cf10b2 fix output for floats 2013-11-23 14:51:33 +00:00
Vítor Santos Costa
d447d80fdb improve locale support in scanner and write: basically, just hide current locale 2013-11-23 12:34:49 +00:00
Vitor Santos Costa
f6f183c0f6 remove some more duplicated code 2013-11-22 15:18:03 +00:00
Vítor Santos Costa
02526db2d1 fix singletons _ 2013-11-21 22:48:27 +00:00
Vitor Santos Costa
23df104638 restore slots on exit 2013-11-21 21:54:40 +00:00
Vitor Santos Costa
9017f5131f get rid of debugging msgs 2013-11-21 21:53:59 +00:00
David Vaz
638ef10c84 Exo change to support external usage 2013-11-21 11:38:16 +00:00
Vitor Santos Costa
c2219d0343 remove debugging stuff 2013-11-21 11:27:06 +00:00
Vítor Santos Costa
90dd0229d7 -f from Nicos 2013-11-21 00:34:40 +00:00
Vitor Santos Costa
5f3ff4fc73 use SWI opts for read 2013-11-20 22:25:27 +00:00
Vitor Santos Costa
04f3fa4d9d bad LOCAL 2013-11-20 22:24:31 +00:00
Vitor Santos Costa
6ba13c7b88 yaam knows not about handles, and they do not know about the yaam 2013-11-20 22:23:29 +00:00
Vitor Santos Costa
ee179f316a fix broken, complicated code for slots 2013-11-20 22:22:33 +00:00
Vitor Santos Costa
94f1b223f7 yaam knows not about handles, and they do not know about the yaam 2013-11-20 22:21:59 +00:00
Vitor Santos Costa
48bec6b247 fix broken, complicated code for slots 2013-11-20 22:20:51 +00:00
Vítor Santos Costa
b76be1b33f support for quasi quotations, requires more integration with SWI code. 2013-11-18 12:57:09 +00:00
Vítor Santos Costa
1f91ea2d02 fix tracer 2013-11-16 23:52:04 +00:00
Vítor Santos Costa
5dbaeedf08 fix bad pruning in meta-call 2013-11-16 23:08:17 +00:00
Vitor Santos Costa
2a5f6535ae fix win64 2013-11-16 16:58:07 +00:00
Vítor Santos Costa
84bd55df0d continue cleanup 2013-11-16 00:27:02 +00:00
U-w7\vsc
9c5d7af938 win32 patches 2013-11-15 18:25:33 +00:00
Vitor Santos Costa
9eb07a8c8a more cleanups 2013-11-15 15:45:55 +00:00
Vítor Santos Costa
3c7656b619 clang fixes 2013-11-15 10:38:00 +00:00
Vitor Santos Costa
4e4f21e1dc upgrade to latest swi 2013-11-15 01:10:25 +00:00
Vítor Santos Costa
14747fd0bf more fixes 2013-11-13 22:52:36 +00:00
U-w7\vsc
7f8f80fdbe Windows Threaded Patches 2013-11-13 17:04:34 +00:00
Vitor Santos Costa
9a35d17861 fix DLL loading and C_SO suffix (remove an extra .) 2013-11-13 15:10:15 +00:00
Vitor Santos Costa
7930b4d648 fixes 2013-11-13 13:39:30 +00:00
Vitor Santos Costa
41c2d856a7 cleanup dead flags 2013-11-13 13:28:43 +00:00
Vitor Santos Costa
9d34ac34ff clean up unbounded 2013-11-13 13:01:11 +00:00