Vitor Santos Costa
|
bb4820a086
|
this is hard
|
2016-07-31 10:41:54 -05:00 |
|
Vitor Santos Costa
|
2fef5ffcea
|
multifile
|
2016-07-31 10:41:20 -05:00 |
|
Vitor Santos Costa
|
f7a2c479e7
|
throw handling
|
2016-07-31 10:40:47 -05:00 |
|
Vitor Santos Costa
|
275e2c0059
|
try to use nicer swi interface
|
2016-07-31 10:40:29 -05:00 |
|
Vitor Santos Costa
|
9686275b34
|
reorg
|
2016-07-31 10:39:55 -05:00 |
|
Vitor Santos Costa
|
1aa3c26af6
|
hidden stuff
|
2016-07-31 10:39:30 -05:00 |
|
Vitor Santos Costa
|
7cda920dbc
|
move undef_handler
|
2016-07-31 10:39:12 -05:00 |
|
Vitor Santos Costa
|
915316b712
|
move some stuff early
|
2016-07-31 10:38:36 -05:00 |
|
Vitor Santos Costa
|
a2ab31757f
|
undef
|
2016-07-31 10:38:03 -05:00 |
|
Vitor Santos Costa
|
e138472f87
|
dupl code
|
2016-07-31 10:37:27 -05:00 |
|
Vitor Santos Costa
|
83326f1657
|
from absf
|
2016-07-31 10:36:57 -05:00 |
|
Vitor Santos Costa
|
1c698f596c
|
fix
|
2016-07-31 10:36:45 -05:00 |
|
Vitor Santos Costa
|
71afcd0350
|
docs
|
2016-07-31 10:36:17 -05:00 |
|
Vitor Santos Costa
|
f6a90c0cac
|
skip early_print
|
2016-07-31 10:35:54 -05:00 |
|
Vitor Santos Costa
|
12664254e9
|
keep on trying to get this right
|
2016-07-31 10:35:18 -05:00 |
|
Vitor Santos Costa
|
a21547d9d4
|
more files to consult
|
2016-07-31 10:34:54 -05:00 |
|
Vitor Santos Costa
|
9ac1b3f2c6
|
discontiguous
|
2016-07-31 10:34:24 -05:00 |
|
Vitor Santos Costa
|
9db06bcfe1
|
-B and fixes
|
2016-07-31 10:34:00 -05:00 |
|
Vitor Santos Costa
|
5db8e25735
|
must be early for boot
|
2016-07-31 10:33:20 -05:00 |
|
Vitor Santos Costa
|
77335f2ea0
|
split docs and user pred
|
2016-07-31 10:32:50 -05:00 |
|
Vitor Santos Costa
|
4477350d08
|
small fixes
|
2016-07-31 10:31:22 -05:00 |
|
Vitor Santos Costa
|
43993f2b08
|
use current dir
|
2016-07-31 10:30:15 -05:00 |
|
Vitor Santos Costa
|
14d8b7904f
|
solid java testing
|
2016-07-31 10:29:56 -05:00 |
|
Vitor Santos Costa
|
19ec491d22
|
plit cidd testing
|
2016-07-31 10:29:36 -05:00 |
|
Vitor Santos Costa
|
7a7d36a3ef
|
fixes
|
2016-07-31 10:29:15 -05:00 |
|
Vitor Santos Costa
|
afc0f4386c
|
new config
|
2016-07-31 10:28:56 -05:00 |
|
Vitor Santos Costa
|
8d19f397d4
|
android and encoding
|
2016-07-31 10:28:05 -05:00 |
|
Vitor Santos Costa
|
91120de170
|
script fixes: external
|
2016-07-31 10:27:18 -05:00 |
|
Vitor Santos Costa
|
0c305e8ce3
|
android
|
2016-07-31 10:26:36 -05:00 |
|
Vitor Santos Costa
|
9ad6bc3120
|
boot
|
2016-07-31 10:26:14 -05:00 |
|
Vitor Santos Costa
|
a8f101cbcf
|
malloc and android
|
2016-07-31 10:25:46 -05:00 |
|
Vitor Santos Costa
|
d5ce45f09f
|
indenting
|
2016-07-31 10:24:10 -05:00 |
|
Vitor Santos Costa
|
2213bc6f36
|
new atoms and functors
|
2016-07-31 10:23:19 -05:00 |
|
Vitor Santos Costa
|
460dfafcc8
|
improve C++ interface
|
2016-07-31 10:22:24 -05:00 |
|
Vitor Santos Costa
|
be313a5b49
|
fixes
|
2016-07-31 10:21:45 -05:00 |
|
Vitor Santos Costa
|
468a2279c3
|
malloc
|
2016-07-31 10:21:09 -05:00 |
|
Vitor Santos Costa
|
4fa33de8a8
|
new make
|
2016-07-31 10:20:54 -05:00 |
|
Vitor Santos Costa
|
168d0b41ec
|
rely on current dir
|
2016-07-31 10:20:36 -05:00 |
|
Vitor Santos Costa
|
591d5a8653
|
new make configuration
|
2016-07-31 10:19:58 -05:00 |
|
Vitor Santos Costa
|
b6f1079503
|
fix warning
|
2016-07-31 10:19:11 -05:00 |
|
Vitor Santos Costa
|
04fd092e49
|
indenting
|
2016-07-31 10:18:50 -05:00 |
|
Vitor Santos Costa
|
133a4fc215
|
cx11 is needed
|
2016-07-31 10:18:21 -05:00 |
|
Vitor Santos Costa
|
d91a0130fa
|
fix missing cases
|
2016-07-31 10:17:54 -05:00 |
|
Vitor Santos Costa
|
2e6572bfe5
|
memory parsing here?
|
2016-07-31 10:17:10 -05:00 |
|
Vitor Santos Costa
|
57ae30c79c
|
fixes and ~T
|
2016-07-31 10:16:20 -05:00 |
|
Vitor Santos Costa
|
fa26588bbf
|
indenting
|
2016-07-31 10:15:55 -05:00 |
|
Vitor Santos Costa
|
9d3b46132b
|
fix prompting?
|
2016-07-31 10:14:47 -05:00 |
|
Vitor Santos Costa
|
d3599da6dc
|
new version of cuda interface
|
2016-07-31 10:14:02 -05:00 |
|
Vitor Santos Costa
|
c6d174841a
|
fixes
|
2016-07-31 10:11:36 -05:00 |
|
Vitor Santos Costa
|
ee03af37fb
|
new version of python interface
|
2016-07-31 10:09:21 -05:00 |
|