Vitor Santos Costa
ba78620e34
paths vs cuutil
2016-06-05 00:01:23 +01:00
Vitor Santos Costa
67aba666c6
rely on Android version.
2016-06-04 22:11:52 +01:00
Vitor Santos Costa
d38986fa07
android+gmp+new cud
2016-05-30 11:23:36 +01:00
Vitor Santos Costa
96f03e26e8
fix WIN stuff
2016-04-18 16:41:30 +01:00
Vitor Santos Costa
631eb4c265
simplify FindCudd
2016-04-15 11:32:22 +01:00
Vitor Santos Costa
97375d010b
fix cmake for CUDD
2016-04-14 23:24:20 +01:00
Vitor Santos Costa
29fba0238d
support cudd 3.0
2016-04-14 11:58:35 +01:00
Vitor Santos Costa
786cfb71ad
python
2016-04-12 16:22:53 +01:00
Vitor Santos Costa
65f1cb9741
win64 support: encodings
2016-04-10 06:21:17 -07:00
vscosta
6b4cc7f8ff
GMP/MPIR egg hunt
2016-04-08 01:14:08 -07:00
Vitor Santos Costa
867c9ea47c
unify java
2016-04-05 07:49:17 +01:00
vscosta
4d3d9c408d
adds
2016-04-05 02:52:50 +01:00
vscosta
d9bfcc0f78
cudd is now provided by brew
2016-04-05 02:22:49 +01:00
vscosta
7312765824
hard to find
2016-04-05 02:19:31 +01:00
Vítor Santos Costa
636992781c
android
2016-03-30 17:38:11 +01:00
Vítor Santos Costa
145ad73255
small fixes
...
indenting
2016-03-30 17:35:03 +01:00
Vítor Santos Costa
59b1aa9129
axe cross-compiler
2016-03-05 12:40:10 +00:00
Vítor Santos Costa
2192f73b11
make it compile under MSN vc. Unfortunately it has a weird crash at boot :(
...
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
2016-02-28 19:32:55 +00:00
Vítor Santos Costa
1c68deb663
dump stack on YAP bug (maybe extend to user foreign code).
2016-02-20 23:58:06 +00:00
V'itor Santos Costa
485d20d908
related changes
2016-02-11 06:20:16 -08:00
Vitor Santos Costa
c8305988ca
Merge branch 'master' of github.com:vscosta/yap-6.3
2016-02-03 10:17:01 +00:00
Vitor Santos Costa
143684731e
foreign files
2016-02-03 09:22:23 +00:00
Vítor Santos Costa
c6b7a186c1
android stuff
2016-02-01 10:06:09 +00:00
Vitor Santos Costa
247aa763b5
android experiment
2016-01-27 17:12:13 +00:00
Vítor Santos Costa
50c8724322
linux backport
...
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
Vítor Santos Costa
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
Vítor Santos Costa
d66db4cf70
make fixes
...
- options to use WITH
- FIX RPATH ON MAC
- newer Find
- bdd exports to cplint
2015-11-05 23:51:35 +00:00
Vítor Santos Costa
44dc6f06d7
newer Find R module
2015-11-05 19:28:22 +00:00
Vitor Santos Costa
318b2e8df2
cmake: support older versions
2015-10-20 08:07:42 +01:00
Vítor Santos Costa
9075eb84d2
sys/syscalls and gettid
2015-10-05 10:31:13 +01:00
Vítor Santos Costa
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
Vítor Santos Costa
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
Vítor Santos Costa
2370a39b09
libyap source files
2015-06-18 07:55:39 +01:00
Vítor Santos Costa
60861649a0
New Flags code
2015-06-18 07:55:07 +01:00
Vítor Santos Costa
8ec89c5bef
more cmake functionality
2015-06-18 00:55:12 +01:00
Vítor Santos Costa
b2e102faa9
overlap
2015-06-18 00:54:17 +01:00
Vítor Santos Costa
cd41137cbc
just tests (including a few new ones)
2015-06-18 00:53:58 +01:00
Vítor Santos Costa
db6074f839
cmake work
2015-04-21 16:12:39 -06: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
Vitor Santos Costa
b3c0708240
new files
2015-03-28 20:08:33 +00:00
Vítor Santos Costa
291ec26d65
configuratio fixes
2015-02-17 20:26:46 +00:00
Vítor Santos Costa
30664a5344
cmake
2015-02-03 02:40:41 +00:00
Vítor Santos Costa
bece9d05d8
JIT
2015-01-20 03:00:42 +00:00
Vítor Santos Costa
90feb7f9f8
cmake support
2014-12-14 12:05:43 +00:00
Vitor Santos Costa
ff977fbad8
cmake support: first cut from David Vaz work.i
2014-12-04 07:59:30 +00:00
