Vitor Santos Costa
|
30593e86d6
|
indenting
|
2016-04-22 18:25:10 +01:00 |
|
Vitor Santos Costa
|
f4111997e7
|
improve error handling in get_byte
|
2016-04-22 18:24:20 +01:00 |
|
Vitor Santos Costa
|
c06d07985e
|
macro conflict
|
2016-04-22 18:23:22 +01:00 |
|
Vitor Santos Costa
|
b0766abb5c
|
Bug in imported sw :(
|
2016-04-22 18:22:50 +01:00 |
|
Vitor Santos Costa
|
768b17751b
|
fix redline to send history at the very end
|
2016-04-22 18:22:17 +01:00 |
|
Vitor Santos Costa
|
445a7f33c1
|
ANDROID doesn't ;like signals..
|
2016-04-22 18:21:45 +01:00 |
|
Vitor Santos Costa
|
ea90785c6a
|
CUDA: the missing files
|
2016-04-22 18:21:05 +01: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
|
cd41d373db
|
hiatory
|
2016-04-19 23:30:02 +01:00 |
|
Vitor Santos Costa
|
3d68f0e06b
|
readline completion
|
2016-04-19 22:42:44 +01:00 |
|
Vitor Santos Costa
|
96f03e26e8
|
fix WIN stuff
|
2016-04-18 16:41:30 +01:00 |
|
Vitor Santos Costa
|
49699f52e9
|
headers & booting
|
2016-04-18 16:40:17 +01:00 |
|
Vitor Santos Costa
|
3ac1a285a9
|
make syre we have a NUL pointer.
|
2016-04-18 16:38:29 +01:00 |
|
Vitor Santos Costa
|
6880fc20a6
|
win32
|
2016-04-18 13:37:31 +01:00 |
|
vscosta
|
37649b7d1a
|
windows support
|
2016-04-17 17:10:58 -07:00 |
|
vscosta
|
c1b8d140db
|
av
|
2016-04-17 17:09:10 -07:00 |
|
vscosta
|
76f4868ff6
|
fix init to always be able to try booting from Prolog
|
2016-04-17 17:05:03 -07:00 |
|
Vitor Santos Costa
|
068b624fca
|
fic tell/1
|
2016-04-16 02:55:17 +01:00 |
|
Vitor Santos Costa
|
631eb4c265
|
simplify FindCudd
|
2016-04-15 11:32:22 +01:00 |
|
Vitor Santos Costa
|
ab1b8cea39
|
fix open/3 munging filenames in write mode
|
2016-04-15 11:30:33 +01:00 |
|
Vitor Santos Costa
|
6ff24e9a16
|
setup_call_catcher_cleanup
|
2016-04-15 11:28:07 +01:00 |
|
Vitor Santos Costa
|
97375d010b
|
fix cmake for CUDD
|
2016-04-14 23:24:20 +01:00 |
|
Vitor Santos Costa
|
a761bd752c
|
fix cmake for CUDD
|
2016-04-14 23:24:07 +01:00 |
|
Vitor Santos Costa
|
05a76a2b3f
|
Debugging meta-predicates
|
2016-04-14 18:06:52 +01:00 |
|
Vitor Santos Costa
|
1aa20e24b7
|
misc_bugs_when_compiling_problog
|
2016-04-14 12:00:09 +01:00 |
|
Vitor Santos Costa
|
29fba0238d
|
support cudd 3.0
|
2016-04-14 11:58:35 +01:00 |
|
Vitor Santos Costa
|
5a5829a583
|
encoding not needed
|
2016-04-14 11:32:44 +01:00 |
|
Vitor Santos Costa
|
786cfb71ad
|
python
|
2016-04-12 16:22:53 +01:00 |
|
Vitor Santos Costa
|
c0c002134b
|
Python support
|
2016-04-12 16:05:20 +01:00 |
|
Vitor Santos Costa
|
e6c2503563
|
fixes + indenting
|
2016-04-12 16:04:33 +01:00 |
|
Vitor Santos Costa
|
69bb5c4d08
|
Memory stream handling
|
2016-04-12 15:18:42 +01:00 |
|
Vitor Santos Costa
|
65f1cb9741
|
win64 support: encodings
|
2016-04-10 06:21:17 -07:00 |
|
vscosta
|
5830eacfec
|
ignore more stuff
|
2016-04-08 01:30:15 -07:00 |
|
vscosta
|
2a119fdf5e
|
handle DLLs needed for booting.
|
2016-04-08 01:29:10 -07:00 |
|
vscosta
|
2f5386bd6f
|
handle cases where mem streams do not have FILE*
|
2016-04-08 01:22:27 -07:00 |
|
vscosta
|
6ee452f0c5
|
handle null ptrs
|
2016-04-08 01:21:22 -07:00 |
|
vscosta
|
948c8e7cbb
|
handle null pointers and memory streams
|
2016-04-08 01:18:28 -07:00 |
|
vscosta
|
c3488eeaed
|
socklen_t should be supported in WIN32 :(
|
2016-04-08 01:17:05 -07:00 |
|
vscosta
|
6b4cc7f8ff
|
GMP/MPIR egg hunt
|
2016-04-08 01:14:08 -07:00 |
|
vscosta
|
1649366574
|
copy dlls to main binary directory
|
2016-04-08 01:13:45 -07:00 |
|
vscosta
|
429c8155c9
|
check for non-heap memory
|
2016-04-08 01:11:33 -07:00 |
|
Vitor Santos Costa
|
fa650a6440
|
simplelog
|
2016-04-06 00:26:16 +01:00 |
|
Vitor Santos Costa
|
b7eb38fc44
|
shffle
|
2016-04-05 23:56:25 +01:00 |
|
Vitor Santos Costa
|
da315b2688
|
missing
|
2016-04-05 08:18:50 +01:00 |
|
Vitor Santos Costa
|
d680fa0755
|
missing
|
2016-04-05 08:18:09 +01:00 |
|
Vitor Santos Costa
|
106e4bc13f
|
cross_compiler
|
2016-04-05 08:13:21 +01:00 |
|
Vitor Santos Costa
|
c7bc27cc3e
|
detail
|
2016-04-05 08:12:39 +01:00 |
|
Vitor Santos Costa
|
b89f6e55b4
|
indenting
|
2016-04-05 08:12:16 +01:00 |
|
Vitor Santos Costa
|
55a840e2d8
|
more fixes
|
2016-04-05 08:11:05 +01:00 |
|
Vitor Santos Costa
|
93bba89d52
|
indenting + fix compilation
|
2016-04-05 08:09:39 +01:00 |
|