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

209 Commits

Author SHA1 Message Date
Vitor Santos Costa
a7fe5683a8 debugging 2018-10-25 18:03:54 +01:00
Vitor Santos Costa
d4eea0fbb4 :Merge /home/vsc/yap 2018-08-19 14:45:25 +01:00
Vitor Santos Costa
3344dcaf7d disable_inf_tree 2018-08-19 14:43:24 +01:00
Vitor Santos Costa
244ee465c4 python 2018-08-19 14:39:12 +01:00
Vitor Santos Costa
208ed54b45 rational trees. 2018-08-15 01:29:20 +01:00
Vitor Santos Costa
f329a715dd write rat trees 2018-08-10 03:40:56 +01:00
Vitor Santos Costa
ecab37f72c write infinite terms 2018-08-09 16:42:43 +01:00
Vitor Santos Costa
d5c1ca716e Write should not destroy the term 
.
 2018-08-09 15:38:47 +01:00
Vitor Santos Costa
562e9e5af3 jupyter 2018-07-21 01:56:48 +01:00
Vítor Santos Costa
4b474574d8 memstream 2018-07-13 12:27:58 +01:00
Vitor Santos Costa
2e8dd92d89 jupyter-related-fixes 2018-07-10 23:21:19 +01:00
Vitor Santos Costa
d2024c1aed state 2018-06-14 11:27:43 +01:00
Vitor Santos Costa
94a826efcc jupyter 2018-06-01 13:22:13 +01:00
Vítor Santos Costa
8cfeb53e77 fixes to C interface 2018-05-30 08:12:51 +01:00
Vitor Santos Costa
eeb8f7c6a1 write fix 2018-05-26 12:02:39 +01:00
Vitor Santos Costa
8a817a1dc4 simplify write 2018-05-15 12:36:18 +01:00
Vitor Santos Costa
65fa980773 error propagation 2018-05-14 16:03:02 +01:00
Vitor Santos Costa
abb328abf0 more exception handling. 2018-04-16 14:54:53 +01:00
Vítor Santos Costa
2d19db5fce debug exc 2018-04-09 02:00:51 +01:00
Vítor Santos Costa
d379034a96 exceptions 2018-04-04 01:37:15 +01:00
Vítor Santos Costa
c1d81ea7c6 errors 2018-04-02 14:49:45 +01:00
Vitor Santos Costa
34c6ace8be fixes 2018-02-07 21:48:37 +00:00
Vitor Santos Costa
4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa
876e42d629 memory 2017-12-01 10:42:10 +00:00
Vitor Santos Costa
538cb4eb2c dynamic loading 2017-11-08 10:29:01 +01:00
Vitor Santos Costa
46d997713f memory handling 2017-09-26 15:15:15 +01:00
Vitor Santos Costa
a40fbe420f memory mgmt 2017-09-23 02:17:55 +01:00
Vitor Santos Costa
98a5538f45 a question of size 2017-09-19 13:19:13 +01:00
Vitor Santos Costa
b24dc4893d text 2017-09-17 21:06:22 +01:00
Vitor Santos Costa
e3ab36f091 call cleanup 2017-09-06 01:13:00 +01:00
Vitor Santos Costa
dac6dc7c22 replace cut_c by trail entries 2017-07-30 21:53:07 +01:00
vsc
272ddc0228 bad merge :( 2017-02-21 14:34:34 -08:00
Vitor Santos Costa
f426d25bef Merge branch 'master' of https://github.com/vscosta/yap-6.3 2017-02-20 15:48:22 +00:00
Vitor Santos Costa
65ff3ed471 Smaller updates: 
constant use of longjmp
conflict with python headers
win32 support
dll support
 2017-02-20 15:28:46 +00:00
Vitor Santos Costa
6778ea2975 TEXT HANDLING BUGS 2017-01-09 14:58:01 +00: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
41ccbf7367 allocate space 2016-09-30 17:10:01 -05:00
Vitor Santos Costa
7d6082d39a slots 2016-07-31 04:46:51 -05:00
Vitor Santos Costa
f966a5b912 Fixes for processing write to buffer: should b more robust, but we still may have memory leaks 2016-04-22 18:19:58 +01:00
Vitor Santos Costa
3ac1a285a9 make syre we have a NUL pointer. 2016-04-18 16:38:29 +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
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ítor Santos Costa
484168b1ce Fix encoding 2016-02-18 12:10:58 +00:00
Vítor Santos Costa
661f33ac7e bug fices 2016-01-03 02:06: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
e51de5f83c remove support for confusing manipulation of $VAR 2015-12-15 08:48:53 +00:00
Vítor Santos Costa
edb6189512 allow the option to have priorities above 1200 2015-12-15 08:38:56 +00:00