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
|
4c25aa21c5
|
boot
|
2018-01-18 14:47:27 +00: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
|
538cb4eb2c
|
dynamic loading
|
2017-11-08 10:29:01 +01: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
|
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 |
|