Commit Graph

22 Commits

Author SHA1 Message Date
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