Vitor Santos Costa
|
70b11ab8f9
|
trying to improve Python interface
|
2016-12-10 01:01:10 -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
|
43d3579c57
|
python
|
2016-09-30 17:11:13 -05:00 |
|
Vitor Santos Costa
|
97350da9bd
|
interface work
|
2016-09-27 12:28:54 -05:00 |
|
Vitor Santos Costa
|
f9655cccb6
|
error handling
|
2016-09-23 01:21:42 -05:00 |
|
Vitor Santos Costa
|
db2aa5b5f2
|
improve error handling
|
2016-09-21 14:41:23 -05:00 |
|
Vitor Santos Costa
|
460dfafcc8
|
improve C++ interface
|
2016-07-31 10:22:24 -05:00 |
|
Vitor Santos Costa
|
780f42210c
|
swig-java
|
2016-01-07 16:02:08 +00:00 |
|
Vítor Santos Costa
|
4e60e9b0f9
|
encoding
|
2015-10-08 02:13:20 +01:00 |
|
Vítor Santos Costa
|
705a6e9b7f
|
cleanups
|
2015-07-06 12:01:55 +01:00 |
|
Vítor Santos Costa
|
47c3f64eae
|
Inp/Out changes, blobs
|
2015-06-18 00:52:31 +01:00 |
|
Vítor Santos Costa
|
bf8beba466
|
more Android fixes
merge trueFileName so that we don;t redo code
support rand48 and srand48
drop support for odbc and prolite, too much work.
|
2015-04-15 11:21:15 +01:00 |
|
Vítor Santos Costa
|
ef586e264e
|
android debugging plus clean-ups
|
2015-04-13 13:28:17 +01:00 |
|
Vítor Santos Costa
|
a8a63a31ca
|
improv C++ interface.
|
2015-02-09 01:52:10 +00:00 |
|