69fcc9494c
jupyter
2019-03-26 09:40:54 +00:00
facf7ae8cd
small patches
2019-02-27 11:04:32 +00:00
562e9e5af3
jupyter
2018-07-21 01:56:48 +01:00
abc11dcfaa
:fixes
2018-07-18 17:36:01 +01:00
2e8dd92d89
jupyter-related-fixes
2018-07-10 23:21:19 +01:00
5f96c07131
debugg
2018-06-30 14:33:32 +01:00
8feca162bf
android
2017-11-27 13:36:19 +00:00
bf78d70d66
fix skip/1 and debugging stuff
...
formatting
2017-11-18 00:18:42 +00:00
29f0f88025
init
2017-10-28 03:19:39 +01:00
7dab812d64
chaeacters mostly
2017-10-18 01:02:52 +01:00
98a5538f45
a question of size
2017-09-19 13:19:13 +01:00
53822922c8
fixes for UTF-8
2017-09-18 10:17:01 +01:00
95dd4890cc
cleanup
2017-09-17 07:58:20 +01:00
f1ddb5822e
fix predicate search
2017-06-06 12:47:59 +01:00
0c46c894d3
python support
2017-05-27 22:54:00 +01:00
18af47bdde
Jupyter
2017-05-19 09:56:37 +01:00
b03e0634c7
fixes + win64
2016-11-08 01:37:36 -06:00
46a9d52d2d
Memory management and UTF-8 for all fixes
2016-11-04 11:36:48 -05:00
02e0e50915
Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3
2016-11-02 00:16:36 -05:00
1219fb6b6a
meta-pred support
2016-09-20 22:49:16 -05:00
72fcd2befa
IndicatorOfPred
2016-07-30 23:08:05 -05:00
7d44e3188b
error handling
2016-07-30 23:06:28 -05:00
e5891afe44
fix nil pointer in prolog profiler
2016-05-13 11:41:19 +01:00
b4742fb3cf
fix trying to remove the same atom twice
2016-03-16 23:53:15 +00:00
96bc776375
avoid direct dependencies on CurrentModule
2016-03-05 12:12:37 +00:00
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
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
be835c73e6
protect from possible overflow
2016-02-11 05:55:53 -08:00
b13dc6812c
avoid overflow
2016-02-11 05:53:47 -08:00
7a24d3015e
debugging
2016-01-03 01:16:51 +00:00
062293055b
protect systemm
2016-01-03 01:16:38 +00:00
344cdc69be
owner file
2016-01-03 01:15:29 +00:00
da66171f3d
mod 0 protection
2016-01-03 01:15:11 +00:00
3ee2a11529
thread support
2016-01-03 01:13:39 +00:00
f0cf91548a
change hash function to not be inline
2016-01-03 01:09:57 +00:00
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
d6148eb8ad
indenting
2015-10-22 00:25:11 +01:00
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
98d7b2d7f8
avoi ugly unsigned char *
2015-07-22 18:59:07 -05:00
60861649a0
New Flags code
2015-06-18 07:55:07 +01:00
4e09c0faf1
more flag and simplification stuff
2015-06-18 00:11:02 +01:00
e989419605
Use new YAP flags
2015-06-18 00:05:49 +01:00
660800af67
avoid using space on statistics
2015-04-21 16:09:43 -06:00
4489616b19
fix current_pred
2015-04-19 04:13:12 +01:00
88e3d637ec
C++ & swig
2015-02-09 01:53:28 +00:00
f22f337f67
32 bit support:
...
use uint64_t for predflags
define a type for arity
2015-01-06 17:47:58 +00:00
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
50659967ed
begin of support for named mutexes.
2014-11-25 16:41:53 +00:00
Vitor Santos Costa