Commit Graph

319 Commits

Author SHA1 Message Date
Vítor Santos Costa 6d018bbf2c sync 2019-05-28 22:48:00 +01:00
Vítor Santos Costa 92181e534e Merge https://github.com/vscosta/yap-6.3 2019-05-28 22:42:17 +01:00
Vítor Santos Costa d76fa9ca3d fix bad merge 2019-05-28 19:30:04 +01:00
Vitor Santos Costa ef8e9a2ea3 Problog testing: modules :( 2019-05-27 15:32:39 +01:00
Vitor Santos Costa c91faf8bc3 fix tracing of functor/ arg
fix leaks in Malloc
handle overfows in globals.
2019-05-02 20:51:46 +01:00
Vitor Santos Costa b97338f84d reset excess change 2019-04-24 12:10:06 +01:00
Vitor Santos Costa 71fc7238ff exec 2019-04-22 12:18:22 +01:00
Vítor Santos Costa 1739529c8b recursuve_calling 2019-04-10 18:51:40 +01:00
Vitor Santos Costa 8d30742d8f warnings 2019-02-27 15:54:20 +00:00
Vitor Santos Costa 2d65d0463c jupyter 2019-02-27 04:23:21 +00:00
Vitor Santos Costa ac60bee30d loops 2019-02-11 09:28:46 +00:00
Vitor Santos Costa 4092003cd6 deb 2019-02-06 00:08:15 +00:00
Vitor Santos Costa 7045b6ef36 cyclic_term/1 2019-02-04 01:08:18 +00:00
Vitor Santos Costa 208438f0d0 debugging rts 2019-02-03 21:35:12 +00:00
Vítor Santos Costa 38610c0b0d rational trees 2019-02-02 22:33:18 +00:00
Vítor Santos Costa fa96ffa932 loops 2019-02-01 13:14:33 +00:00
Vitor Santos Costa 2a090f3484 term to term 2019-01-23 14:31:31 +00:00
Vitor Santos Costa a6d709dabf copy_term 2019-01-22 19:32:19 +00:00
Vitor Santos Costa 6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa cb8c37ce56 droid 2018-11-21 00:48:53 +00:00
Vitor Santos Costa 5b21bc118f errirs 2018-10-29 10:24:32 +00:00
Vitor Santos Costa ebd4dffed3 error 2018-10-28 10:10:40 +00:00
Vitor Santos Costa eed36e99a6 fix syntax error essages
WITH_PACKAGES
2018-10-23 10:09:17 +01:00
Vitor Santos Costa 5c8f8457fa debugger 2018-09-10 17:06:13 +01:00
Vitor Santos Costa 208ed54b45 rational trees. 2018-08-15 01:29:20 +01:00
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 1c293a9af4 docs 2018-04-27 13:01:08 +01:00
Vítor Santos Costa c1d81ea7c6 errors 2018-04-02 14:49:45 +01:00
Vitor Santos Costa fe496e840d android 2018-02-14 00:13:13 +00:00
Vitor Santos Costa 4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa 85f444cc94 android 2017-12-12 11:17:33 +00:00
Vitor Santos Costa 9a5681b2cb rpath 2017-12-10 11:42:51 +00:00
Vitor Santos Costa 3061844c95 Fixes, mostly to the biting o 2017-12-10 01:22:45 +00:00
Vitor Santos Costa 645b2c7d93 boot 2017-12-05 15:14:57 +00:00
Vitor Santos Costa 876e42d629 memory 2017-12-01 10:42:10 +00:00
Vitor Santos Costa 06485f071a iandroid 2017-11-21 15:44:43 +00:00
Vitor Santos Costa 54234c7e1d fix C major issues
- use delays to implement setup_call
- fix user_* flag
- error handling i CXX should b local
- fix mess on  how to call openQuert
- deter pt -> from a pointer to another one
- avoid text forms when you can use C: LOCLS to locals.h
- fux seto_call
- new gated call
- mem streams
2017-08-21 12:29:58 +01:00
Vitor Santos Costa dac6dc7c22 replace cut_c by trail entries 2017-07-30 21:53:07 +01:00
Vitor Santos Costa 2ad3420fac fixes 2017-06-05 13:06:12 +01:00
Vitor Santos Costa 0c46c894d3 python support 2017-05-27 22:54:00 +01: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 02e0e50915 Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3 2016-11-02 00:16:36 -05:00
Vitor Santos Costa 4477350d08 small fixes 2016-07-31 10:31:22 -05:00
Vitor Santos Costa 83a1269553 change bootstrap sequence to support -B and to allow booting from pl files 2016-05-10 08:33:44 +01:00
Vitor Santos Costa dbd4c979b1 erro handling, versioning, deterministic queries 2016-04-22 18:25:59 +01:00
Vitor Santos Costa cd41d373db hiatory 2016-04-19 23:30:02 +01:00
Vitor Santos Costa 65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
vscosta a5951daea9 indenting plus deoid 2016-04-05 02:28:56 +01:00
Vítor Santos Costa f3e8b8b3da indenting; warning; exceptions; small fixes 2016-03-29 02:02:43 +01:00