Vitor Santos Costa
e89bc55b9f
cmake
2018-11-16 14:02:56 +00:00
Vitor Santos Costa
76cfa609c2
listing
2018-11-04 10:55:58 +00:00
Vitor Santos Costa
cb1c73c973
small fixes
2018-10-10 12:33:05 +01:00
Vítor Santos Costa
03d8a64543
small fixes
2018-05-22 00:25:32 +01:00
Vitor Santos Costa
645b2c7d93
boot
2017-12-05 15:14:57 +00:00
Vitor Santos Costa
ed2c85a56b
saved states and anaconda
2017-11-15 12:18:19 +00: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
dce28a774e
fixes in simplecudd & lbdd
2016-06-02 10:54:08 +01:00
Vitor Santos Costa
29fba0238d
support cudd 3.0
2016-04-14 11:58:35 +01:00
Vítor Santos Costa
f3e8b8b3da
indenting; warning; exceptions; small fixes
2016-03-29 02:02:43 +01: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
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
352ea085b7
configuration issues
2015-10-22 00:47:47 +01:00
Vitor Santos Costa
438cd7dce5
fix config
2015-10-20 03:10:13 +01:00
Vítor Santos Costa
1ef7eeabdf
fix files dragged in
2015-09-30 00:02:59 +01:00
Vítor Santos Costa
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa
3761252735
missing files
2015-07-24 21:52:03 -05:00
Vítor Santos Costa
3f55904bfe
missing files
2015-07-24 21:35:02 -05:00
Vítor Santos Costa
d4f49a20ba
missing files
2015-07-24 21:28:04 -05:00
Vítor Santos Costa
4eaf848e87
missing
2015-07-06 14:54:23 +01:00
Vítor Santos Costa
c26b5f3175
increase the ignore list
2015-06-17 23:49:02 +01:00
