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 |
|
Vitor Santos Costa
|
4cdbabfa69
|
oops
|
2016-04-05 08:08:11 +01:00 |
|
Vitor Santos Costa
|
eb5d90d85f
|
boot from pl
|
2016-04-05 08:07:28 +01:00 |
|
Vitor Santos Costa
|
e485dbc59b
|
new experiments
|
2016-04-05 08:06:46 +01:00 |
|
Vitor Santos Costa
|
dfbdce4240
|
android
|
2016-04-05 08:04:09 +01:00 |
|
Vitor Santos Costa
|
5dbe54dadc
|
android
|
2016-04-05 08:03:19 +01:00 |
|
Vitor Santos Costa
|
7bf8a20f1b
|
android
|
2016-04-05 08:02:02 +01:00 |
|
Vitor Santos Costa
|
867c9ea47c
|
unify java
|
2016-04-05 07:49:17 +01:00 |
|
Vitor Santos Costa
|
2e238f6bc1
|
unify java
|
2016-04-05 07:48:01 +01:00 |
|
vscosta
|
71f0076ed6
|
signed wchar
|
2016-04-05 02:53:39 +01:00 |
|
vscosta
|
4d3d9c408d
|
adds
|
2016-04-05 02:52:50 +01:00 |
|
vscosta
|
a5951daea9
|
indenting plus deoid
|
2016-04-05 02:28:56 +01:00 |
|
vscosta
|
562ac0251d
|
indenting
|
2016-04-05 02:27:33 +01:00 |
|
vscosta
|
ac71ba72b5
|
cosmetics
|
2016-04-05 02:26:33 +01:00 |
|
vscosta
|
24e6924769
|
indenting & Android support (one big lib)
|
2016-04-05 02:25:05 +01:00 |
|
vscosta
|
abe5953da7
|
boot from prolog
|
2016-04-05 02:24:09 +01:00 |
|
vscosta
|
079ed60248
|
Android support (just build a big app)
|
2016-04-05 02:23:41 +01:00 |
|
vscosta
|
d9bfcc0f78
|
cudd is now provided by brew
|
2016-04-05 02:22:49 +01:00 |
|