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
|
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
|
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
|
f6a6c9deb6
|
last
|
2016-01-08 20:43:14 +00:00 |
|
Vítor Santos Costa
|
661f33ac7e
|
bug fices
|
2016-01-03 02:06:09 +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
|
4eaf848e87
|
missing
|
2015-07-06 14:54:23 +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 |
|