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

1414 Commits

Author SHA1 Message Date
Vítor Santos Costa
70060bf627 move to eval.h 2014-11-27 15:11:26 +00:00
Vítor Santos Costa
a83ff038f4 Mutex stuff movibg to C 2014-11-27 10:02:04 +00:00
Vitor Santos Costa
624183b78e more thread work to cean-up mutexes. Not finshed yet 2014-11-25 19:52:51 +00:00
Vitor Santos Costa
afc6c5d04e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	C/threads.c
	JIT/HPP/EnvironmentInit.h
	packages/ProbLog/simplecudd_lfi/problogbdd_lfi.c
	pl/preds.yap
 2014-11-25 16:53:35 +00:00
Vitor Santos Costa
50659967ed begin of support for named mutexes. 2014-11-25 16:41:53 +00:00
Vítor Santos Costa
bb8ea9a27d fix current and system predicate 2014-11-25 12:03:48 +00:00
Vitor Santos Costa
addb8cbce3 ORP support 2014-11-14 16:51:42 +00:00
vscosta
c633eac236 avoid using registry, clean-up 2014-11-05 07:45:36 +00:00
vscosta
c7a3836b2c WIN32 support 
Ugh
 2014-11-03 00:13:34 +00:00
vscosta
091f9dda33 MSYS32 2014-10-30 07:46:17 +00:00
Vítor Santos Costa
546af97345 win32 patches 2014-10-28 12:56:26 +00:00
Vitor Santos Costa
f7fe32a03c fix win32 warnings: unsigned long != CELL, IOSTREAM with sace restore, _ffsll and _isatty, fp patches 2014-10-24 15:18:32 +01:00
Vitor Santos Costa
130d28ceb3 recover space after portray 2014-10-23 02:10:55 +01:00
Vitor Santos Costa
d2984b6548 reimplement portray 2014-10-23 01:21:22 +01:00
Vitor Santos Costa
126e498c35 fix signals > 64, 2014-10-23 01:17:45 +01:00
Vitor Santos Costa
dab3a4a4f6 fix msicalculaation in recovering cells. 2014-10-23 01:16:30 +01:00
Vítor Santos Costa
61f5baf7a4 cuda links in osx; nullptr patch from mozilla 2014-10-22 14:54:54 +01:00
Vitor Santos Costa
a4081673e5 fix indexing on dynamics (bug introduced when fixing MT code). 2014-10-20 23:47:33 +01:00
Vítor Santos Costa
0cd0ece207 make error handling for callable more ISO like. 2014-10-19 12:48:14 +01:00
Vítor Santos Costa
47d1bd5ecc allow setting up arithmetic exception handling. 2014-10-19 11:27:53 +01:00
Vitor Santos Costa
13421d0cd7 fix minor locking problems and disable localization for now 2014-10-19 03:51:56 +01:00
Vítor Santos Costa
53a8a8f7c9 try to make MT more robust by: 
- tracking memory overflows (still worried about blobs)
- moving core components to C-code, namely the mailboxes.
- reducing locking: too many locks == deadlock.
thanks to Paulo Moura for the test suite!
 2014-10-19 01:54:57 +01:00
Vítor Santos Costa
18506025c3 use PP with care: 
- clean after interrupt;
  - use it only for indexing code.
 2014-10-19 01:48:38 +01: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
8576e67d84 generate exceptions on arithmetic errors 2014-10-15 11:06:07 +01:00
Vítor Santos Costa
186adc2053 More thread fixes, including true anonymous mqueues, worker_id for sequential, 
support for arithmetic exceptions on mac, fixes for with_mutex, fixes for dangling pointers
 in thread termination. Uuufff...
 2014-10-14 15:53:24 +01:00
Vítor Santos Costa
c95045e14c improve support for floating point exceptions. 2014-10-14 01:13:31 +01:00
Vítor Santos Costa
3c7779ec78 move message queues to C 2014-10-13 12:34:52 +01:00
Vítor Santos Costa
a64c6772fc fix atomic_concat/3 to be backtrackable. 2014-10-12 00:32:17 +01:00
Vitor Santos Costa
f6bcb22b7c fix undefined procedures to allow hooks as before. 2014-10-10 10:00:27 +01:00
Vítor Santos Costa
2d5f8f136d SWI functors is now dynamic 2014-10-02 14:25:11 +01:00
Vítor Santos Costa
81440607f1 support outputting strings for debugging. 2014-10-02 14:17:26 +01:00
Vítor Santos Costa
37a49f2135 synchronize compiler oops with their descriptions 
computils; allocate N instruction blocks.
 2014-10-02 14:15:17 +01:00
Vitor Santos Costa
66a95e96c0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	library/matrix.yap
	pl/qly.yap
 2014-09-23 22:46:19 +01:00
Vitor Santos Costa
fcc0c51ce7 avoid int 2014-09-23 22:35:01 +01:00
Vítor Santos Costa
3e255ec4a1 qload 2014-09-22 18:13:35 +01:00
Vitor Santos Costa
0ad92137a9 WIN32 compilation 2014-09-16 19:13:09 +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
8eec3113be improve docs 2014-09-15 03:13:50 -05:00
Vitor Santos Costa
b7ae9cb45e documentation improvemeents 2014-09-13 00:26:46 -05:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
1dd3ff800e use stdbool 2014-09-09 23:51:44 -05:00
Vítor Santos Costa
f9438806ee creep should be the last signal to be processed? 2014-09-08 17:14:58 -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
45c0671fa2 support open as script option, to avoid spurious warning message 2014-08-05 09:06:35 -05:00
Vítor Santos Costa
325c819f79 intermediate steo in improving doc system to doxygeb 2014-07-26 19:14:15 -05:00
Vítor Santos Costa
5b19ccf6a8 swig fixes for Android compatibility 2014-06-22 17:35:05 +01:00
Vítor Santos Costa
fea65ba68d clean-up: use No Spy and No Trace predicate flags. 2014-06-17 16:24:40 +01:00
Vítor Santos Costa
07c9aa5bca fix typo 2014-06-16 14:57:12 +01:00
Vítor Santos Costa
0b569a374e fix call of android_log_print to make sure it plays well with the remaining code. 
Signed-off-by: Vítor Santos Costa <vsc@dcc.fc.up.pt>
 2014-06-16 14:43:18 +01:00
Vítor Santos Costa
8da6fb70e1 handle_t type name causes conflict with WIN32, replace by yhandle_t 2014-06-16 14:41:54 +01:00
Vítor Santos Costa
f00a6d5a40 small bugfixes and leaks, patch by João Silva 2014-06-14 10:27:39 +01:00
Vítor Santos Costa
daae1df152 g++ coplaints (llvm) 2014-06-12 01:25:50 +01:00
Vitor Santos Costa
489bb27a7e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-06-11 19:45:21 +01:00
Vitor Santos Costa
ec881b8e13 improve functor locking. 2014-06-11 19:44:01 +01:00
Vítor Santos Costa
059884bc03 Android 2014-06-11 19:36:50 +01:00
Vítor Santos Costa
71b40e0438 changes to support eclipse compat 
support of Android assets as /assets files.
 2014-06-04 22:08:37 +01:00
Vítor Santos Costa
a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Andreas Becker
dc37d76e8b Merge branch 'github.com/master' 
Conflicts:
	Makefile.in
 2014-05-29 12:19:45 +02:00
Andreas Becker
72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vitor Santos Costa
3a21922e37 fix 32 bit operations 2014-05-25 23:49:01 +01:00
Vítor Santos Costa
dee3774bbc fix small EClipse complaints 2014-05-25 20:50:07 +01:00
Vítor Santos Costa
4172f4efd5 use const wherever possible 2014-05-25 20:46:04 +01:00
Vítor Santos Costa
b7c05b49e2 support debugging of compiler-level instructions. 2014-05-22 21:57:54 +01:00
Vitor Santos Costa
0aa91d7c00 fix bad handle recovery properly. 2014-05-15 01:11:26 +01:00
Vitor Santos Costa
b532fbd0b9 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 
Conflicts:
	C/write.c
 2014-05-14 18:00:25 +01:00
Vitor Santos Costa
e0d0543e52 fix removeSlots and more documnetation. 2014-05-14 17:59:08 +01:00
Vitor Santos Costa
a35521b52c bad merge 2014-05-12 16:52:40 +01:00
Vitor Santos Costa
da48f3a877 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 
Conflicts:
	H/eval.h
 2014-05-12 16:41:13 +01:00
Vitor Santos Costa
ee2d1f1332 add documentation. 2014-05-12 16:36:41 +01:00
Vítor Santos Costa
4f1a0d985c more docs 2014-05-07 09:38:56 +01:00
Vítor Santos Costa
410efd577c fix comment mess 
add some more documentation (slowly).
 2014-05-06 23:01:04 +01:00
Vítor Santos Costa
f2ee773f55 fix broken comment. 2014-05-06 22:32:18 +01:00
Vítor Santos Costa
f0d17d0210 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 
Conflicts:
	docs/doxygen.rc
 2014-05-06 13:59:28 +01:00
Vítor Santos Costa
2dc4d66bb9 doc 2014-05-06 13:58:08 +01:00
Vítor Santos Costa
cf39051162 fix gcc complaint. 2014-05-02 01:44:07 +01:00
Vítor Santos Costa
785e404de4 C++ compatibility. 2014-04-28 11:48:24 +01:00
Vítor Santos Costa
d8f4a77f47 fix style_check to be called at parse-time and not cause eexcution overheads. 2014-04-24 08:26:31 +01:00
Vitor Santos Costa
6591b5429c Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-04-23 22:42:03 +01:00
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
Vitor Santos Costa
f39ed68fe8 check for mistypes 2014-04-06 17:06:19 +01:00
Vitor Santos Costa
ce0715e75a fix IOSTREAM 2014-03-20 16:23:07 +00:00
Vitor Santos Costa
37c018d4b5 add proto for WriteAtom 2014-03-20 15:40:56 +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
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
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
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
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
Vitor Santos Costa
e9fce51e92 ndk support 2014-02-27 16:31:20 +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
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
6a1302221c change to support autoheaders 2014-02-16 13:03:09 +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
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Vitor Santos Costa
9a46cdac9b clean up makefile 2014-02-10 23:31:33 +00:00
Vitor Santos Costa
93859706e3 fix source file for predicates 2014-02-09 11:00:11 +00:00
Vitor Santos Costa
6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa
9dacb84c99 fix string comparison 2014-02-03 23:26:36 +00:00
Vitor Santos Costa
d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vitor Santos Costa
0391988788 support cross-compilation for windows 2014-01-23 01:46:16 +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
233829ec52 fix array expansion to use realloc and fix arrays to separate static/dynamic and malloced 2014-01-02 19:11:06 +00:00
Theo
b4506cf793 CoInductive tabling 2013-12-19 16:56:55 +00:00
Vitor Santos Costa
30828eba98 fix input sz: should only matter with NCHARS 2013-12-18 16:42:05 +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
6402360691 fix S handling in new interrupt code 2013-12-14 12:35:18 +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
ba2c0ca2a0 support no trace predicates 2013-12-11 01:05:51 +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
61d624e416 fix comment handling 2013-12-08 22:56:48 +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
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
cbd0fa14e8 small fixes and code moving around 2013-11-25 12:15:25 +01:00
Vitor Santos Costa
5013880fc5 get rid of locale for now 2013-11-22 17:19:26 +00:00
Vitor Santos Costa
f6f183c0f6 remove some more duplicated code 2013-11-22 15:18:03 +00:00
Vítor Santos Costa
f1f64bf25c printwarning 2013-11-21 00:22:03 +00:00
Vitor Santos Costa
61e78d9963 more handles and fix exit from a backtrackable user c-pred 2013-11-20 22:27:46 +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
U-w7\vsc
3aa994313b fix threads 2013-11-16 18:51:32 +00:00
Vitor Santos Costa
1b5aa1a969 enable dlls 2013-11-16 17:26:31 +00:00
Vitor Santos Costa
1c51b61253 fix win64 2013-11-16 16:58:36 +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
6de15433aa upgrade to latest swi 2013-11-15 01:10:47 +00:00
Vitor Santos Costa
4e4f21e1dc upgrade to latest swi 2013-11-15 01:10:25 +00:00
Vítor Santos Costa
5b46b6bd1a latest swi flgs 2013-11-13 23:48:54 +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
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
Vitor Santos Costa
220970db6d more integration and cleanup work: allow irect access from YAP to swi global and local, to 
check flags quickly.
 2013-11-13 12:57:52 +00:00
Vitor Santos Costa
4fa9021a7b integration work: 
- use SWI flags whenever possible
  - support by module unknown, escapes, strings
  - accesss thread info fom SWI
  - allow strings to be input as strings.
  - remove some unused flags.
 2013-11-13 10:38:20 +00:00
Vítor Santos Costa
e813c75814 enable thread debugging 2013-11-12 08:34:26 +00:00
U-vsc-PC\vsc
30995ce506 improve win32 support 2013-11-11 10:32:55 +00:00
Vítor Santos Costa
08e5dcfbd1 fix functors for staticclause 2013-11-07 23:51:22 +00:00
Vítor Santos Costa
917d5ad75b line numbers for clauses and clause properties 2013-11-05 17:59:19 +00:00
Vitor Santos Costa
72bc04e63d fix compilation without GMP 2013-11-05 17:12:05 +00:00
U-w7\vsc
f2b90a1bb0 improve thread signal support, still far from good 2013-11-04 15:31:26 +00:00
Vitor Santos Costa
101a54e6ff ifix debug option 2013-11-04 13:04:19 +00:00
Vitor Santos Costa
1d8f96fd74 use proper place for verbose flag. 2013-11-04 13:02:18 +00:00
Vítor Santos Costa
d945f01f53 A not a for Atom (unused anyway) 2013-11-04 01:12:04 +00:00
Vítor Santos Costa
0d038e4528 fix llvm variable size warning 2013-11-04 01:04:52 +00:00
Vítor Santos Costa
c6b471d725 fix YAP_RunGoalOnce warning 2013-11-04 01:03:57 +00:00
Vítor Santos Costa
6f9b8bfca8 fix bad instruction format 2013-11-01 08:26:06 +00:00
U-w7\vsc
360e8a9269 WIN32 support 2013-10-30 13:56:35 +00:00
Vitor Santos Costa
4dd7afa07d Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 2013-10-29 12:43:53 +00:00
Vitor Santos Costa
35b7f040d5 fix compilation without P 2013-10-29 12:42:55 +00:00
Vítor Santos Costa
8623131b31 support -m32 osx 2013-10-15 13:09:36 +01:00
Vítor Santos Costa
70d864b13d fix limit on atoms to ints 2013-10-08 13:04:30 +01:00
Vitor Santos Costa
43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa
609f6fc440 allow yser code error handling 2013-10-03 11:24:59 +01:00
Vitor Santos Costa
2cfa0081ad make syntax extensions SWI compatible 2013-09-13 11:44:26 +01:00
Vítor Santos Costa
6966d23195 fix P details when creating execution environment: we should save the old one 2013-09-08 22:24:09 +01:00
vsc
c21b5bef3c fix PRISM xompiltaion in 32 bits 2013-09-04 05:05:01 -05:00
Vitor Santos Costa
5f741122fa more user udi fixes 2013-08-05 15:07:51 -05:00
Vitor Santos Costa
38a804db1e fix indexing of long instructions 2013-07-22 10:43:38 -05:00
Vítor Santos Costa
493161f6d8 ciao style arrays, (...) 2013-07-07 16:15:25 -05:00
Vitor Santos Costa
ec5f7ebb28 Chaange semantics for min and max 2013-06-25 22:53:23 -05:00
Vitor Santos Costa
a1632ff3e7 fix 32 bit offsets 2013-06-22 20:09:20 -05:00
Vitor Santos Costa
b2fda6c653 more exo fixes 2013-06-22 00:25:37 -05:00
Vitor Santos Costa
4f8fad43df make sure BITS32 and 16 are what they say they are 2013-06-22 00:24:53 -05:00
Vitor Santos Costa
b6b6b12c6f Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2013-06-03 16:40:12 -05:00
Vitor Santos Costa
639247b4c3 sub_atom/5 in C. 2013-05-15 17:12:01 -05:00
Vítor Santos Costa
6af394a35e fix PASS_REGS 2013-05-01 19:27:09 -05:00
Vitor Santos Costa
923be33404 speedup between 
more exo stuff.
 2013-04-30 15:23:01 -05:00
Vitor Santos Costa
64a61e2479 make between/3 a C-builtin. 2013-04-29 18:22:53 -05:00
Vitor Santos Costa
c04f04d078 more exo fixes. 2013-04-29 16:19:43 -05:00
Vitor Santos Costa
72cc5bc317 generalise interval handling 2013-04-29 11:58:05 -05:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
24a75525c0 fix compilation 2013-04-25 14:21:41 -05:00
Vitor Santos Costa
52253e3e9e fix bugs in exo clause 2013-04-20 20:29:08 -05:00
Vítor Santos Costa
210dacfe5a exo-compilation fixes for threads. 2013-04-16 21:49:37 -05:00
Vitor Santos Costa
90abff4f2f Exo compilation, the range example. 2013-04-16 20:04:53 -05:00
Vitor Santos Costa
f7980f941b avoid unnecessary CACHE_REGS in inlines. 2013-03-26 16:10:03 -05:00
Vitor Santos Costa
d163cadda1 pass regs when constructing long ints and floats. 
fix small gcc complaints.
 2013-03-26 15:01:52 -05:00
Vitor Santos Costa
4dac867fb8 new more compact/better hashing version of exo.c 2013-03-15 14:56:18 -05:00
Vítor Santos Costa
f431142ef4 Merge branch 'master' into debugger 
Conflicts:
	pl/boot.yap
 2013-02-13 09:08:58 -06:00
Vítor Santos Costa
ec7158eb99 debugger progress 2013-02-13 09:06:06 -06:00
Vitor Santos Costa
9fb63762dc delete_file should be SICStus compatible 2013-02-12 16:21:26 -06:00
Vitor Santos Costa
76f5696328 Merge branch 'master' into debugger 2013-02-08 20:39:00 +00:00
Vitor Santos Costa
19863f08f2 fix gprof undder a single running thread 2013-02-08 20:38:04 +00:00
Vítor Santos Costa
046cb5f8d6 debugging 2013-02-08 10:36:45 -06:00
Vitor Santos Costa
33da88be5b fix SWI exec issues and try to clean up the code a bit 2013-02-05 14:22:17 +00:00
Vitor Santos Costa
9ce268915d imprive error handling. 2013-01-29 10:50:04 +00:00
Vitor Santos Costa
deba351b87 UDI fixes 2013-01-28 11:18:38 +00:00
Vitor Santos Costa
3d24a458fb add field for statistics to exo_index 2013-01-23 10:43:32 +00:00
Vitor Santos Costa
504c2f3000 fix loop in restore 2013-01-22 16:01:37 +00:00
Vítor Santos Costa
b9f1885f0a use version from swi 2013-01-21 09:36:50 +00:00
Vítor Santos Costa
8971f37232 start 6.3.4. 2013-01-20 19:28:33 +00:00
Vítor Santos Costa
4c34528e90 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-20 17:16:49 +00:00
Vítor Santos Costa
1bd2224377 update version 2013-01-20 17:16:34 +00:00
Vitor Santos Costa
0865235c48 swi stuff 2013-01-19 23:06:38 +00:00
Vitor Santos Costa
7e3db0f75c improve error handling for qload 2013-01-18 14:29:41 +00:00
Vitor Santos Costa
33714b14b9 atom completion in readline 2013-01-17 12:43:01 +00:00
Vitor Santos Costa
7407ecb60c SWI extension including write variable_names 2013-01-17 00:17:02 +00:00
Vitor Santos Costa
7cf4e9442c SWI portability 2013-01-16 12:28:37 +00:00
Vítor Santos Costa
abe6621495 SWI update 2013-01-16 11:28:58 +00:00
Vítor Santos Costa
0eacb68907 SWI update 2013-01-16 00:19:07 +00:00
Vitor Santos Costa
e85e76cd57 update to newer pl-file.c and pl-write.c. 2013-01-15 16:51:55 +00:00
Vitor Santos Costa
be5208f281 fix search for free variables in bagof. 2013-01-14 22:46:06 +00:00
Vítor Santos Costa
798afc81c4 fix argv[0] discovery. 2013-01-13 17:55:13 +00:00
Vítor Santos Costa
8f2766cbf3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-11 19:26:11 +00:00
Vitor Santos Costa
e9d04ef9f5 save/restore exo 2013-01-11 18:36:34 +00:00
Vitor Santos Costa
f83379648c fix use of exo preds. 2013-01-11 16:45:14 +00:00
Vítor Santos Costa
d078a2b2c4 thread support 2013-01-10 23:22:11 +00:00
Vitor Santos Costa
649fae4294 more fixes to exo compilation. 2013-01-09 16:38:39 +00:00
Vitor Santos Costa
6cd778f70b exo stuff 2013-01-09 09:21:07 +00:00
Vitor Santos Costa
1043d037e9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-08 22:06:26 +00:00
Vitor Santos Costa
8ce30976ce count collisions 2013-01-08 22:06:22 +00:00
David Vaz
c9a01455b5 Merge branch 'udi_new' into yap 2013-01-08 18:45:39 +00:00
Vitor Santos Costa
2a44a0205b support backtracking with uninst args 2013-01-08 12:35:18 +00:00
David Vaz
38fcc19d55 Merge branch 'udi_new' of github.com:davidvaz/yap-udi into udi_new 2013-01-07 16:33:21 +00:00
Vítor Santos Costa
f063a2bd52 exo first step. 2013-01-07 09:47:14 +00:00
David Vaz
cdc15e8cd8 merge with yap-6.3 2013-01-06 20:09:48 +00:00
David Vaz
a9cacc7b33 Changes to autoconfigure libjudy in udi 2013-01-02 12:10:11 +00:00
David Vaz
58962f2595 UDI: some code refactor, simple code when no index intersection is needed 2013-01-02 11:23:54 +00:00
David Vaz
bae26c618b UDI: Added Judy1 with support for integer set intersection 2012-12-28 17:46:11 +00:00
David Vaz
e6c2fa30ee Added uthash to store indexed predicates info 2012-12-27 12:11:14 +00:00
Vitor Santos Costa
a309f47794 MT support in win32 2012-12-20 21:13:20 +00:00
David Vaz
bd25c61fbf New work on UDI 2012-12-17 20:23:03 +00:00
Vitor Santos Costa
f47a7bb999 add debugging hooks to gc 2012-12-17 16:25:27 +00:00
Vítor Santos Costa
7c0c795518 fix compilation of prism+odbc. 2012-12-14 23:29:07 +00:00
Vitor Santos Costa
2e6360738c itry to use size_t 
fix overflow handling bugs.
 2012-12-14 19:35:26 +00:00
Vitor Santos Costa
524edecdd3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-12-13 23:08:00 +00:00
Vitor Santos Costa
9107af2e3d improve thread startup 2012-12-13 18:12:50 +00:00
Vitor Santos Costa
547ba48f9f fix CUT_C=1 not being exported to sub-makefiles. 2012-12-11 23:02:05 +00:00
Vitor Santos Costa
e41f821d67 improve multi-threading support from C-interface. Still not quite there. 2012-12-11 22:07:10 +00:00
Vitor Santos Costa
b34c8b1b2c try to improve slot allocation. 2012-12-10 12:14:24 +00:00