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

7846 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vítor Santos Costa
1c3c0c6301 fix sub_atom, by Paulo Moura. 2014-10-22 16:22:38 +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
c13bf88377 error handling bugs in is/2 and =.., found by Paulo Moura. 2014-10-22 10:43:38 +01:00
Vitor Santos Costa
b2caf2da77 integrate autoconf for cplint with remaining code.t 2014-10-22 10:11:20 +01:00
Vitor Santos Costa
57f928c621 isolate undef and spy code. 2014-10-22 10:10:43 +01:00
Vitor Santos Costa
799b4c0346 fix a case where a comparison entered the enext member of the switch. 
This was introduced to get rid of eclipse warnings :(
 2014-10-21 19:23:44 +01:00
Vítor Santos Costa
ffb97269a0 ISO support (Paulo Moura). 2014-10-21 00:26:40 +01:00
Vitor Santos Costa
a4081673e5 fix indexing on dynamics (bug introduced when fixing MT code). 2014-10-20 23:47:33 +01:00
Vitor Santos Costa
98ee3fd078 newer version of configure, whatever.. 2014-10-20 23:46:30 +01:00
Vitor Santos Costa
75c1e87470 callable strikes again. 2014-10-20 15:44:13 +01:00
Vitor Santos Costa
67de7e422d Separate callable errors that refer to the predicate indicator. 2014-10-20 15:40:19 +01:00
Vitor Santos Costa
7f4b478572 make pthread locking default 2014-10-20 15:36:23 +01:00
Vítor Santos Costa
d40b9d1426 restore callable. 2014-10-20 09:20:56 +01:00
Vítor Santos Costa
bf0844a2a0 make sure to reset state after error. 2014-10-20 00:33:36 +01:00
Vítor Santos Costa
a837a303d4 fix warning. 2014-10-19 13:10:02 +01:00
Vítor Santos Costa
6a32efe51a fix \+((!,fail)). 2014-10-19 13:09:35 +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
4a2d6b9137 typo. 2014-10-19 02:02:46 +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
a351e1f38f use BGL lock for big operations. 2014-10-19 01:52:39 +01:00
Vítor Santos Costa
c7d2973c1e avoid confusing gc. 2014-10-19 01:51:50 +01:00
Vítor Santos Costa
69d8b57776 allow peeking in dbterm queues. 2014-10-19 01:51:02 +01:00
Vítor Santos Costa
e668908a6f beautifications. 2014-10-19 01:50:11 +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
Vítor Santos Costa
827be2f8d0 more debugging versions 2014-10-19 01:44:48 +01:00
Vítor Santos Costa
438c09b5d0 if THREADS on, please usse locking. 2014-10-19 01:44:11 +01:00
Vítor Santos Costa
71c587bec1 better safe than.. 2014-10-19 01:43:14 +01:00
Vítor Santos Costa
ba03f1da65 avoid fuzzy f errors 2014-10-16 23:56:12 +01:00
Vítor Santos Costa
168f0c6c0c improve error handling 2014-10-16 23:55:34 +01:00
Theo
f5b48e3f82 Removed a few inline definitions 2014-10-16 18:26:16 +01:00
Fabrizio Riguzzi
fa24b214af Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2014-10-16 17:23:22 +02:00
Fabrizio Riguzzi
3ee50baf11 lemur example 2014-10-16 17:22:57 +02:00
Fabrizio Riguzzi
089bd928cf fixed cplint compilation 2014-10-16 13:49:56 +02:00
Vitor Santos Costa
45e4384b6d Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-10-16 10:52:20 +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
Fabrizio Riguzzi
7227bc62f4 Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3 2014-10-16 10:20:34 +02:00
Fabrizio Riguzzi
3c07f66cac repaired configure 2014-10-16 10:20:07 +02:00
Theo
44d38d3018 Theo corrected a bug in the dbtries implementation 2014-10-15 20:53:32 +01:00
Theo
b9236fa5fa Theo corrected a bug in the dbtries implementation 2014-10-15 19:55:40 +01:00
Fabrizio Riguzzi
ce12c424f3 initial version of LEMUR 2014-10-15 15:56:49 +02:00
Fabrizio Riguzzi
b25c9e5b61 lemur 2014-10-15 15:15:46 +02:00
Fabrizio Riguzzi
1d98481ac3 fixed compilation problems 2014-10-15 15:15:24 +02:00
Vitor Santos Costa
46e1ce96b4 Yap_cputime() needs thread local memory, so be careful about releasing 
local memory.
 2014-10-15 12:32:00 +01:00
Vitor Santos Costa
8014110080 fix debugging letfover. 2014-10-15 12:10:39 +01:00
Vítor Santos Costa
8576e67d84 generate exceptions on arithmetic errors 2014-10-15 11:06:07 +01:00
Vítor Santos Costa
a5d0b41f3b fix file filter breakage 2014-10-15 01:51:09 +01:00
Vitor Santos Costa
49ccb545f8 fix bad call. 2014-10-14 19:39:20 +01:00
Vitor Santos Costa
aa80579684 recover the signals, like sigfpe. 2014-10-14 19:31:49 +01:00