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
|
b03e0634c7
|
fixes + win64
|
2016-11-08 01:37:36 -06:00 |
|
Vitor Santos Costa
|
02e0e50915
|
Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3
|
2016-11-02 00:16:36 -05:00 |
|
Vitor Santos Costa
|
c58064bd0b
|
fix warnings
|
2016-09-21 14:50:47 -05:00 |
|
Vitor Santos Costa
|
6148e8199f
|
linux_weird
|
2016-08-23 15:08:36 -05:00 |
|
Vitor Santos Costa
|
1bea4230e4
|
cmake
|
2016-08-23 11:15:07 -05:00 |
|
Vitor Santos Costa
|
729b798a23
|
testing slipcover
|
2016-08-05 16:43:58 -05:00 |
|
Vitor Santos Costa
|
04fd092e49
|
indenting
|
2016-07-31 10:18:50 -05:00 |
|
Vitor Santos Costa
|
8ecb045cb5
|
win32
|
2016-07-31 04:58:08 -05:00 |
|
Vitor Santos Costa
|
eadfef6c3f
|
cudd.h
|
2016-05-14 11:29:15 +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
|
145ad73255
|
small fixes
indenting
|
2016-03-30 17:35:03 +01:00 |
|
Vítor Santos Costa
|
675befae75
|
CRLF kind of magic
|
2016-02-28 19:29:30 +00:00 |
|
Fabrizio Riguzzi
|
ec999c1126
|
compiled ver pdf
|
2016-02-03 08:06:32 +01:00 |
|
Fabrizio Riguzzi
|
504407eac3
|
manual for yap version
|
2016-02-03 07:52:52 +01:00 |
|
Vítor Santos Costa
|
3074256cc1
|
more win32 support
|
2016-01-20 22:36:52 +00:00 |
|
Vítor Santos Costa
|
661f33ac7e
|
bug fices
|
2016-01-03 02:06:09 +00:00 |
|
Vítor Santos Costa
|
ce8a19d381
|
Add documentation
|
2015-11-18 15:06:25 +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
|
4336b2ba88
|
Avoid complaining from strlen
`
|
2015-09-21 17:05:36 -05:00 |
|
Vítor Santos Costa
|
34eb3bd62b
|
bool
|
2015-02-03 03:00:37 +00:00 |
|
Vítor Santos Costa
|
2f621e5b47
|
make user functions return bool
|
2015-02-03 02:37:25 +00:00 |
|
Vítor Santos Costa
|
7ede2cde5e
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
JIT/JIT_Compiler.cpp
JIT/configure.in
JIT/jit_analysispreds.c
JIT/jit_transformpreds.c
configure
packages/cplint/Makefile.in
|
2015-01-18 02:54:53 +00:00 |
|
Vítor Santos Costa
|
5c261da4f6
|
small fixes
|
2015-01-18 02:46:33 +00:00 |
|
Vitor Santos Costa
|
ce84e60d08
|
cosmetic
|
2015-01-18 01:32:13 +00:00 |
|
Vítor Santos Costa
|
ac9070f120
|
fix typos
|
2015-01-07 10:17:19 +00:00 |
|
Vítor Santos Costa
|
7bca484b63
|
install fixes
|
2014-11-28 02:28:49 +00:00 |
|
Vítor Santos Costa
|
c9c2d7233c
|
fix warnings
|
2014-11-26 09:47:05 +00:00 |
|
vscosta
|
c7a3836b2c
|
WIN32 support
Ugh
|
2014-11-03 00:13:34 +00:00 |
|
vscosta
|
e0da1a2ae0
|
cplint path
give yap.dll path to cplint
|
2014-10-30 07:43:24 +00:00 |
|
Vítor Santos Costa
|
2053c44054
|
try to clean-up makefiles and autoconfs
|
2014-10-26 17:39:52 +00:00 |
|
Vitor Santos Costa
|
4844e43704
|
flags
|
2014-10-23 01:24:18 +01:00 |
|
Vitor Santos Costa
|
b2caf2da77
|
integrate autoconf for cplint with remaining code.t
|
2014-10-22 10:11:20 +01:00 |
|
Fabrizio Riguzzi
|
fa24b214af
|
Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3
|
2014-10-16 17:23:22 +02:00 |
|
Fabrizio Riguzzi
|
3ee50baf11
|
lemur example
|
2014-10-16 17:22:57 +02:00 |
|
Fabrizio Riguzzi
|
089bd928cf
|
fixed cplint compilation
|
2014-10-16 13:49:56 +02:00 |
|
Fabrizio Riguzzi
|
3c07f66cac
|
repaired configure
|
2014-10-16 10:20:07 +02:00 |
|
Fabrizio Riguzzi
|
ce12c424f3
|
initial version of LEMUR
|
2014-10-15 15:56:49 +02:00 |
|
Fabrizio Riguzzi
|
b25c9e5b61
|
lemur
|
2014-10-15 15:15:46 +02:00 |
|
Fabrizio Riguzzi
|
1d98481ac3
|
fixed compilation problems
|
2014-10-15 15:15:24 +02:00 |
|
Vítor Santos Costa
|
bbad94e5dd
|
psckage compilation stuff.
|
2014-05-04 23:15:39 +01:00 |
|
Vítor Santos Costa
|
1d27d22ef0
|
big makefile cleanup
|
2014-02-13 01:58:48 +00:00 |
|
Vítor Santos Costa
|
ab40f20a2b
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
configure
|
2014-02-10 23:57:18 +00:00 |
|
Vitor Santos Costa
|
89e2c86a0b
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
|
Vitor Santos Costa
|
d2ed850643
|
separate cplint and mpi interface.
|
2013-11-04 13:16:14 +00:00 |
|
Fabrizio Riguzzi
|
3659f9036c
|
testing output
|
2013-09-17 14:10:08 +02:00 |
|
Fabrizio Riguzzi
|
faf7726452
|
test program
|
2013-09-17 13:04:22 +02:00 |
|