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

416 Commits

Author SHA1 Message Date
Vitor Santos Costa
d86f0d1942 fix bad consult stack expansion 2016-05-14 11:27:53 +01:00
Vitor Santos Costa
e5891afe44 fix nil pointer in prolog profiler 2016-05-13 11:41:19 +01:00
Vitor Santos Costa
abe1168b1d recognise discontiguous flag 2016-05-12 11:48:39 +01:00
Vitor Santos Costa
efe827db6c allow static_claus on static clauses wo source 2016-05-10 15:22:25 +01:00
Vitor Santos Costa
18ed15a4ce do not complain on multi-file predicates being discontiguous 2016-05-10 09:25:14 +01:00
Vitor Santos Costa
70061308ff make modules remember which operators they ever defined. 
Make modules import operators from other modules
 2016-04-28 15:01:16 +01:00
Vítor Santos Costa
145ad73255 small fixes 
indenting
 2016-03-30 17:35:03 +01:00
Vítor Santos Costa
1be002558c call_cleanup in C plus indenting 2016-03-29 01:55:12 +01:00
Vítor Santos Costa
a32ac66167 Fix fileName 
Always return a legit atom
check for NULL
indenting
 2016-03-05 17:38:08 +00:00
Vítor Santos Costa
001b169d81 indenting 2016-03-05 12:21:58 +00:00
Vítor Santos Costa
d5862139c8 be more careful when to complain about redefining system press. 2016-02-21 19:07:14 +00:00
Vítor Santos Costa
26013e2fb9 fix regress in style_check caused by bad argument to add clause 2016-02-21 11:30:13 +00:00
V'itor Santos Costa
74b2b5561d - add debugging code to memory allocation 
= atom to number: cleanup function name as this is more than just supporting SWI
- SrcMask only applies to rules.
- add auxiliary type/error function
- fix typos
- fix enumeration mode in current_flag
- get rid of TrueName routines, use AbsoluteFileName instead.
- detail synatx error source
 2016-02-11 06:03:33 -08:00
Vítor Santos Costa
d90a0f72b0 protect entry to critical section 2016-01-31 10:13:51 +00:00
Vítor Santos Costa
6b60742700 system predicates should not belong to a file. 2016-01-12 17:03:57 +00:00
Vítor Santos Costa
1a23e47316 current_predicate 2016-01-08 03:18:36 +00:00
Vítor Santos Costa
5fd4add82b Hide and Seek 2016-01-04 17:18:43 +00:00
Vítor Santos Costa
50c8724322 linux backport 
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
 2016-01-04 14:11:09 +00:00
Vítor Santos Costa
d942b55dc4 varia 2016-01-03 01:27:36 +00:00
Vítor Santos Costa
ca7d66a791 remove old xomment 2016-01-03 01:26:09 +00:00
Vítor Santos Costa
15404b3835 small 
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
 2015-12-15 09:28:43 +00:00
Vítor Santos Costa
14459cce03 undefined with fast_fail support 2015-12-15 09:18:36 +00:00
Vítor Santos Costa
72252ed817 various 
init spelling
make style checker more like error handler.
ensure pointers are not null
 2015-11-05 15:11:57 +00:00
Vítor Santos Costa
17e216c01b indenting 2015-10-22 00:53:26 +01:00
Vítor Santos Costa
b3a262910f first cut at detecting error source 2015-09-29 23:08:10 +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
b7a1e464ef add warning of discontiguous and multiple file predicates 2015-08-18 14:32:24 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
1c6a138ce2 let the compiler say what was the actual error. 2015-07-22 19:02:41 -05:00
Vítor Santos Costa
94092be293 bootstrap and small cleanups 2015-07-06 11:59:50 +01:00
Vítor Santos Costa
1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vítor Santos Costa
660800af67 avoid using space on statistics 2015-04-21 16:09:43 -06:00
Vítor Santos Costa
4489616b19 fix current_pred 2015-04-19 04:13:12 +01:00
Vítor Santos Costa
ef586e264e android debugging plus clean-ups 2015-04-13 13:28:17 +01:00
Vítor Santos Costa
5a668febd9 new slot implementation 2015-02-03 02:36:51 +00:00
Vitor Santos Costa
ce84e60d08 cosmetic 2015-01-18 01:32:13 +00:00
Vitor Santos Costa
e40c248c16 Merge branch 'master' of /home/vsc/yap-6.3 
Conflicts:
	C/cdmgr.c
	pl/preds.yap
 2015-01-17 03:06:59 -08:00
Vitor Santos Costa
21be46b123 blanks 2015-01-17 02:58:14 -08:00
Vitor Santos Costa
3122d323b5 support 64 bit flags in 32 bit mode 2015-01-14 04:51:54 -08:00
Vitor Santos Costa
f22f337f67 32 bit support: 
use uint64_t for predflags
define a type for arity
 2015-01-06 17:47:58 +00:00
Vítor Santos Costa
bb8ea9a27d fix current and system predicate 2014-11-25 12:03:48 +00:00
Vítor Santos Costa
d40b9d1426 restore callable. 2014-10-20 09:20:56 +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
ad82a2619d compute mian functor correctly a(X), [Y] <-- b(X,Y). 2014-10-07 21:04:54 +01:00
Vítor Santos Costa
a54af395cf multifiles are discontiguus by def. 2014-10-07 01:37:42 +01:00
Vítor Santos Costa
17617e8d20 allow setting file ownership, and make sure preds created by aux 
programs have an owner file.
 2014-10-02 14:21:43 +01:00
Vítor Santos Costa
9254103f45 $pred_owner: file where source was. 2014-09-22 18:09:23 +01:00
Vítor Santos Costa
91946626b0 causes do not have cps for a while 2014-09-16 03:58:35 -05:00
Vítor Santos Costa
99713d81a6 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00