Commit Graph

66 Commits

Author SHA1 Message Date
Vitor Santos Costa
d91a0130fa fix missing cases 2016-07-31 10:17:54 -05:00
Vitor Santos Costa
8ce16f64d9 learn again 2016-06-03 16:23:28 +01:00
Vitor Santos Costa
dce28a774e fixes in simplecudd & lbdd 2016-06-02 10:54:08 +01:00
Vitor Santos Costa
96f03e26e8 fix WIN stuff 2016-04-18 16:41:30 +01:00
Vitor Santos Costa
a761bd752c fix cmake for CUDD 2016-04-14 23:24:07 +01:00
Vitor Santos Costa
29fba0238d support cudd 3.0 2016-04-14 11:58:35 +01:00
vscosta
4d3d9c408d adds 2016-04-05 02:52:50 +01:00
Vítor Santos Costa
f3e8b8b3da indenting; warning; exceptions; small fixes 2016-03-29 02:02:43 +01:00
Vítor Santos Costa
638f784f81 more oops 2016-02-29 03:36:10 +00:00
Vítor Santos Costa
b9eb327d86 fix fixes (lots of white space, somehow. 2016-02-29 03:13:23 +00:00
Vítor Santos Costa
9860b6244f small changes 2016-02-13 03:11:25 +00:00
Vítor Santos Costa
3074256cc1 more win32 support 2016-01-20 22:36:52 +00:00
Vítor Santos Costa
f6a6c9deb6 last 2016-01-08 20:43:14 +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
e9debf4d83 MYDDAS Support 2015-11-05 23:45:07 +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
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
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
1d6f9981e1 mkdir and small stuff 2015-07-06 12:04:42 +01:00
Vítor Santos Costa
1b8cd91618 cudd integration 2015-06-19 01:20:49 +01:00
Vítor Santos Costa
e8e33e405a join cud packages 2015-06-19 01:00:18 +01:00
Vítor Santos Costa
c26b5f3175 increase the ignore list 2015-06-17 23:49:02 +01:00
Vítor Santos Costa
0ed3ee4fc4 enable path expansion by default 2015-04-24 10:03:44 -06:00
Vítor Santos Costa
3b4226bda1 cmake work 2015-04-21 16:12:18 -06:00
Vítor Santos Costa
76cd423784 cmake support for bdd package 2015-04-20 01:21:19 +01:00
Vitor Santos Costa
252a2b7868 bdd stuff 2015-03-08 02:15:53 +00:00
Vítor Santos Costa
4386c42d02 improve cudd with bdd printing -> nodes, and true=1 false=0 2015-03-04 09:50:15 +00:00
Vitor Santos Costa
4a5a3d833a fix tyes. 2015-01-27 03:25:56 +00:00
Vítor Santos Costa
3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
vscosta
c7a3836b2c WIN32 support
Ugh
2014-11-03 00:13:34 +00:00
Vítor Santos Costa
2053c44054 try to clean-up makefiles and autoconfs 2014-10-26 17:39:52 +00:00
Vítor Santos Costa
882eaca30c updates to documentation 2014-09-12 18:50:04 -05:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
87e36bcfe2 cleanup 2014-09-09 23:55:13 -05:00
Vitor Santos Costa
47d436fc13 WIN32 with threads 2014-03-06 13:34:35 +00:00
Vítor Santos Costa
1d27d22ef0 big makefile cleanup 2014-02-13 01:58:48 +00:00
Vitor Santos Costa
2bb21e9e1b clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
0391988788 support cross-compilation for windows 2014-01-23 01:46:16 +00:00
Vítor Santos Costa
1ede2112c6 distributed configure 2013-11-03 23:55:09 +00:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vitor Santos Costa
448e2c88e1 document BDD package 2013-09-30 15:45:01 +01:00
Vitor Santos Costa
d0858c0d0c remove debugging 2013-03-10 17:24:47 +00:00