Vitor Santos Costa
518ce92bea
docs
2018-05-20 18:40:56 +01:00
Vitor Santos Costa
bdf7088665
docd
2018-05-20 00:47:27 +01:00
Vítor Santos Costa
05356df347
Merge 192.168.1.79:github/yap-6.3
2018-03-26 11:03:08 +01:00
Vitor Santos Costa
0b67a66533
fix dlls
2018-03-24 22:56:21 +00:00
Vitor Santos Costa
f798372fb1
simplify boot
...
rename boot vars for consistency
small fixes
2018-02-23 14:07:21 +00: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
06485f071a
iandroid
2017-11-21 15:44:43 +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
5b5e954dbc
use FeatureSummary
2017-07-30 22:24:00 +01:00
Vitor Santos Costa
d0b2924322
doc
2017-06-26 01:17:51 +01:00
Vitor Santos Costa
6a2d74ac6e
Merge branch 'master' of xato:0517
2017-05-19 10:03:49 +01:00
Vitor Santos Costa
70232133cc
docs
2017-04-13 21:42:34 +01:00
Vitor Santos Costa
4b350ccecc
jmp
2017-04-08 11:29:29 +01:00
Vitor Santos Costa
65ff3ed471
Smaller updates:
...
constant use of longjmp
conflict with python headers
win32 support
dll support
2017-02-20 15:28:46 +00:00
Vitor Santos Costa
b07a35a993
Merge branch 'master' of https://github.com/vscosta/yap-6.3
2016-12-04 12:49:17 -06:00
Vitor Santos Costa
d37e198c12
signals
...
doc support
2016-11-23 22:35:39 -06: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
8d1cc35a8a
docsc
2016-11-16 17:17:33 -06:00
Vitor Santos Costa
6148e8199f
linux_weird
2016-08-23 15:08:36 -05:00
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
