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

170 Commits

Author SHA1 Message Date
Vitor Santos Costa
2e8dd92d89 jupyter-related-fixes 2018-07-10 23:21:19 +01:00
Vitor Santos Costa
5f96c07131 debugg 2018-06-30 14:33:32 +01:00
Vitor Santos Costa
8feca162bf android 2017-11-27 13:36:19 +00:00
Vitor Santos Costa
bf78d70d66 fix skip/1 and debugging stuff 
formatting
 2017-11-18 00:18:42 +00:00
Vitor Santos Costa
29f0f88025 init 2017-10-28 03:19:39 +01:00
Vitor Santos Costa
7dab812d64 chaeacters mostly 2017-10-18 01:02:52 +01:00
Vitor Santos Costa
98a5538f45 a question of size 2017-09-19 13:19:13 +01:00
Vitor Santos Costa
53822922c8 fixes for UTF-8 2017-09-18 10:17:01 +01:00
Vitor Santos Costa
95dd4890cc cleanup 2017-09-17 07:58:20 +01:00
Vitor Santos Costa
f1ddb5822e fix predicate search 2017-06-06 12:47:59 +01:00
Vitor Santos Costa
0c46c894d3 python support 2017-05-27 22:54:00 +01:00
Vitor Santos Costa
18af47bdde Jupyter 2017-05-19 09:56:37 +01:00
Vitor Santos Costa
b03e0634c7 fixes + win64 2016-11-08 01:37:36 -06:00
Vitor Santos Costa
46a9d52d2d Memory management and UTF-8 for all fixes 2016-11-04 11:36:48 -05:00
Vitor Santos Costa
02e0e50915 Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3 2016-11-02 00:16:36 -05:00
Vitor Santos Costa
1219fb6b6a meta-pred support 2016-09-20 22:49:16 -05:00
Vitor Santos Costa
72fcd2befa IndicatorOfPred 2016-07-30 23:08:05 -05:00
Vitor Santos Costa
7d44e3188b error handling 2016-07-30 23:06:28 -05:00
Vitor Santos Costa
e5891afe44 fix nil pointer in prolog profiler 2016-05-13 11:41:19 +01:00
Vítor Santos Costa
b4742fb3cf fix trying to remove the same atom twice 2016-03-16 23:53:15 +00:00
Vítor Santos Costa
96bc776375 avoid direct dependencies on CurrentModule 2016-03-05 12:12:37 +00:00
Vítor Santos Costa
2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
 2016-02-28 19:32:55 +00:00
Vítor Santos Costa
c25d35356a Try to clarify operators 
prolog has priority and cannot be redefined by default.
user is global but may be redefined
others should just plug-in.
 2016-02-26 17:18:37 +00:00
V'itor Santos Costa
be835c73e6 protect from possible overflow 2016-02-11 05:55:53 -08:00
V'itor Santos Costa
b13dc6812c avoid overflow 2016-02-11 05:53:47 -08:00
Vítor Santos Costa
7a24d3015e debugging 2016-01-03 01:16:51 +00:00
Vítor Santos Costa
062293055b protect systemm 2016-01-03 01:16:38 +00:00
Vítor Santos Costa
344cdc69be owner file 2016-01-03 01:15:29 +00:00
Vítor Santos Costa
da66171f3d mod 0 protection 2016-01-03 01:15:11 +00:00
Vítor Santos Costa
3ee2a11529 thread support 2016-01-03 01:13:39 +00:00
Vítor Santos Costa
f0cf91548a change hash function to not be inline 2016-01-03 01:09:57 +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
d6148eb8ad indenting 2015-10-22 00:25:11 +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
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
98d7b2d7f8 avoi ugly unsigned char * 2015-07-22 18:59:07 -05:00
Vítor Santos Costa
60861649a0 New Flags code 2015-06-18 07:55:07 +01:00
Vítor Santos Costa
4e09c0faf1 more flag and simplification stuff 2015-06-18 00:11:02 +01:00
Vítor Santos Costa
e989419605 Use new YAP flags 2015-06-18 00:05:49 +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
88e3d637ec C++ & swig 2015-02-09 01:53:28 +00: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
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
fcc0c51ce7 avoid int 2014-09-23 22:35:01 +01:00
Vítor Santos Costa
3c0a65218b use stdbool 2014-09-09 23:50:43 -05:00
Vítor Santos Costa
99713d81a6 replace locks by critical sections in interrupt handling 2014-09-02 14:19:23 -05:00