Commit Graph

94 Commits

Author SHA1 Message Date
Vitor Santos Costa
abdc8a35f9 cmmake 2017-09-06 01:09:46 +01:00
Vitor Santos Costa
f426d25bef Merge branch 'master' of https://github.com/vscosta/yap-6.3 2017-02-20 15:48:22 +00: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
4db2a1fe7f python 2017-01-09 14:58:57 +00: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
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