Vitor Santos Costa
cc6eca6903
jupyter
2018-03-17 10:38:56 +00:00
Vitor Santos Costa
c33a0d72db
booting
2018-03-14 00:41:05 +00:00
Vitor Santos Costa
31fd3eb344
extensions
2018-03-02 21:18:24 +00:00
Vitor Santos Costa
530246688c
jupyter
2018-02-25 00:29:08 +00:00
Vitor Santos Costa
921b5d497d
Merge ../YAPDroid/yap
2018-02-23 14:16:20 +00:00
Vitor Santos Costa
d6aaa8a03e
blobs
2018-02-23 14:09:58 +00:00
Vitor Santos Costa
1066ded7d9
blobs
2018-02-23 14:09:09 +00:00
Vitor Santos Costa
f798372fb1
simplify boot
...
rename boot vars for consistency
small fixes
2018-02-23 14:07:21 +00:00
Vitor Santos Costa
13f36c1f67
Merge vcosta-laptop:github/yap-6.3
2018-02-21 17:41:20 +00:00
Vitor Santos Costa
1289899918
ExportMemory
2018-02-21 17:41:00 +00:00
Vitor Santos Costa
bdc9e7005d
scanner fixes
...
-> vs !
error handling
2018-02-21 13:02:20 +00:00
Vitor Santos Costa
e93c01f8e0
asserts
2018-02-14 14:17:57 +00:00
Vitor Santos Costa
fe496e840d
android
2018-02-14 00:13:13 +00:00
Vitor Santos Costa
34c6ace8be
fixes
2018-02-07 21:48:37 +00:00
Vitor Santos Costa
66db3d53f8
boot
2018-02-02 11:50:07 +00:00
Vitor Santos Costa
9fce1e9ba2
bootstrapping
2018-01-22 13:53:17 +00:00
Vitor Santos Costa
fdf7bb516f
fix
2018-01-19 14:38:26 +00:00
Vitor Santos Costa
4c25aa21c5
boot
2018-01-18 14:47:27 +00:00
Vitor Santos Costa
9c862c21bc
jupyter
2018-01-05 16:57:38 +00:00
Vitor Santos Costa
9a5681b2cb
rpath
2017-12-10 11:42:51 +00:00
Vitor Santos Costa
645b2c7d93
boot
2017-12-05 15:14:57 +00:00
Vitor Santos Costa
3688819ea2
iandroid
2017-11-29 13:47:57 +00:00
Vitor Santos Costa
8feca162bf
android
2017-11-27 13:36:19 +00:00
Vitor Santos Costa
06485f071a
iandroid
2017-11-21 15:44:43 +00:00
Vitor Santos Costa
bf78d70d66
fix skip/1 and debugging stuff
...
formatting
2017-11-18 00:18:42 +00:00
Vitor Santos Costa
e4fd6a153a
error handling
2017-10-28 03:21:34 +01:00
Vitor Santos Costa
dd48ba6f91
swig
2017-10-04 09:18:17 +01:00
Vitor Santos Costa
70f4f7adcf
text handling/UNICODE
2017-09-21 09:47:21 +01:00
Vitor Santos Costa
98a5538f45
a question of size
2017-09-19 13:19:13 +01:00
Vitor Santos Costa
ea51f06783
small API changes
2017-09-06 16:13:34 +01:00
Vitor Santos Costa
e3ab36f091
call cleanup
2017-09-06 01:13:00 +01:00
Vitor Santos Costa
a115024aee
Merge http://www.github.com/vscosta/yap-6.3
2017-09-03 10:49:16 +01: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
f99d048cc2
trail extension support
2017-07-30 22:20:12 +01:00
Vitor Santos Costa
963752fa9c
Android support,
2017-07-25 01:10:44 +01:00
Vitor Santos Costa
0d96197ddf
X_API
2017-06-12 18:00:47 +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
386c88e372
update to latest ipykernel
2017-05-14 11:27:44 +01:00
Vitor Santos Costa
c2435673cd
swig python support
2017-05-08 18:51:29 +01:00
Vitor Santos Costa
6e7846e210
docs
2017-05-02 07:42:21 +01:00
Vitor Santos Costa
70232133cc
docs
2017-04-13 21:42:34 +01:00
Vitor Santos Costa
faf3c930c8
docs
2017-04-07 23:10:59 +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
b07a35a993
Merge branch 'master' of https://github.com/vscosta/yap-6.3
2016-12-04 12:49:17 -06:00
Vitor Santos Costa
d37e198c12
signals
...
doc support
2016-11-23 22:35:39 -06:00
Vitor Santos Costa
f44ef18fed
fix atom_to_term and increase sharing on CUDD stuff
2016-11-23 17:23:59 -06: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
