diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,156 Commits 2 Branches 6 Tags 146 MiB
cb8c37ce56
Commit Graph

133 Commits

Author SHA1 Message Date
Vitor Santos Costa
daffefe28d cmake 2017-02-20 16:21:37 +00: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
92e2d94186 oops 2017-02-20 12:06:49 +00:00
Vitor Santos Costa
a5e74eddae fix sub_string 2017-01-22 22:29:27 +00:00
Vitor Santos Costa
c6a02d3fe4 bdd 2017-01-09 15:00:03 +00:00
Vitor Santos Costa
389a5a440d up version 2016-12-16 03:56:29 -06:00
Vitor Santos Costa
b0fdea6f34 derived file 2016-12-10 03:11:28 -06:00
Vitor Santos Costa
6e2d2628c6 cmake 2016-12-10 01:02:46 -06: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
490a07ade2 improve configure 2016-12-03 10: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
b03e0634c7 fixes + win64 2016-11-08 01:37:36 -06:00
Vitor Santos Costa
08dd1dcdb3 python 2016-10-16 17:18:51 -05:00
Vitor Santos Costa
43d3579c57 python 2016-09-30 17:11:13 -05:00
Vitor Santos Costa
2bbc3b9265 rrors 2016-09-22 21:53:42 -05:00
Vitor Santos Costa
cd53167d19 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2016-08-23 23:31:33 +01:00
Vitor Santos Costa
676582fe4f android and python updates 2016-08-23 17:28:23 -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
c4544f042d python 2016-08-22 19:18:33 -05:00
Vitor Santos Costa
9e59f755ff python 2016-08-22 04:05:15 +01:00
Vitor Santos Costa
56466a446a m & pthread? 2016-08-18 08:11:36 +01:00
Vitor Santos Costa
ca2dfeb51e cmake vs libraries 2016-08-02 18:30:02 -05:00
Vitor Santos Costa
8050747db7 allow earier jdk 2016-08-02 18:24:53 -05:00
Vitor Santos Costa
4628adc63e Merge branch 'master' of https://github.com/vscosta/yap-6.3 2016-08-01 21:45:42 -05:00
Vitor Santos Costa
81c00f9736 compilation support 2016-08-01 06:54:28 -05:00
Vitor Santos Costa
43993f2b08 use current dir 2016-07-31 10:30:15 -05:00
Vitor Santos Costa
14d8b7904f solid java testing 2016-07-31 10:29:56 -05:00
Vitor Santos Costa
19ec491d22 plit cidd testing 2016-07-31 10:29:36 -05:00
Vitor Santos Costa
7a7d36a3ef fixes 2016-07-31 10:29:15 -05:00
Vitor Santos Costa
afc0f4386c new config 2016-07-31 10:28:56 -05:00
Vitor Santos Costa
4fa33de8a8 new make 2016-07-31 10:20:54 -05:00
Vitor Santos Costa
168d0b41ec rely on current dir 2016-07-31 10:20:36 -05:00
Vitor Santos Costa
5584eb1a55 Android support 2016-07-31 04:56:54 -05:00
Vitor Santos Costa
0f50b2e49c support Android port 2016-07-31 04:49:09 -05:00
Vitor Santos Costa
eecc4ecf06 use Android toolchain 2016-06-17 15:43:41 +01:00
Vitor Santos Costa
ba78620e34 paths vs cuutil 2016-06-05 00:01:23 +01:00
Vitor Santos Costa
67aba666c6 rely on Android version. 2016-06-04 22:11:52 +01:00
Vitor Santos Costa
d38986fa07 android+gmp+new cud 2016-05-30 11:23:36 +01:00
Vitor Santos Costa
96f03e26e8 fix WIN stuff 2016-04-18 16:41:30 +01:00
Vitor Santos Costa
631eb4c265 simplify FindCudd 2016-04-15 11:32:22 +01:00
Vitor Santos Costa
97375d010b fix cmake for CUDD 2016-04-14 23:24:20 +01:00
Vitor Santos Costa
29fba0238d support cudd 3.0 2016-04-14 11:58:35 +01:00
Vitor Santos Costa
786cfb71ad python 2016-04-12 16:22:53 +01:00
Vitor Santos Costa
65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
vscosta
6b4cc7f8ff GMP/MPIR egg hunt 2016-04-08 01:14:08 -07:00
Vitor Santos Costa
867c9ea47c unify java 2016-04-05 07:49:17 +01:00
vscosta
4d3d9c408d adds 2016-04-05 02:52:50 +01:00
vscosta
d9bfcc0f78 cudd is now provided by brew 2016-04-05 02:22:49 +01:00
vscosta
7312765824 hard to find 2016-04-05 02:19:31 +01:00
Vítor Santos Costa
636992781c android 2016-03-30 17:38:11 +01:00
Vítor Santos Costa
145ad73255 small fixes 
indenting
 2016-03-30 17:35:03 +01:00
Vítor Santos Costa
59b1aa9129 axe cross-compiler 2016-03-05 12:40:10 +00:00
Vítor Santos Costa
2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
 2016-02-28 19:32:55 +00:00
Vítor Santos Costa
1c68deb663 dump stack on YAP bug (maybe extend to user foreign code). 2016-02-20 23:58:06 +00:00
V'itor Santos Costa
485d20d908 related changes 2016-02-11 06:20:16 -08:00
Vitor Santos Costa
c8305988ca Merge branch 'master' of github.com:vscosta/yap-6.3 2016-02-03 10:17:01 +00:00
Vitor Santos Costa
143684731e foreign files 2016-02-03 09:22:23 +00:00
Vítor Santos Costa
c6b7a186c1 android stuff 2016-02-01 10:06:09 +00:00
Vitor Santos Costa
247aa763b5 android experiment 2016-01-27 17:12:13 +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
44dc6f06d7 newer Find R module 2015-11-05 19:28:22 +00:00
Vitor Santos Costa
318b2e8df2 cmake: support older versions 2015-10-20 08:07:42 +01:00
Vítor Santos Costa
9075eb84d2 sys/syscalls and gettid 2015-10-05 10:31:13 +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
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
2370a39b09 libyap source files 2015-06-18 07:55:39 +01:00
Vítor Santos Costa
60861649a0 New Flags code 2015-06-18 07:55:07 +01:00
Vítor Santos Costa
8ec89c5bef more cmake functionality 2015-06-18 00:55:12 +01:00
Vítor Santos Costa
b2e102faa9 overlap 2015-06-18 00:54:17 +01:00
Vítor Santos Costa
cd41137cbc just tests (including a few new ones) 2015-06-18 00:53:58 +01:00
Vítor Santos Costa
db6074f839 cmake work 2015-04-21 16:12:39 -06:00
Vítor Santos Costa
bf8beba466 more Android fixes 
merge trueFileName so that we don;t redo code
support rand48 and srand48
drop support for odbc and prolite, too much work.
 2015-04-15 11:21:15 +01:00
Vitor Santos Costa
b3c0708240 new files 2015-03-28 20:08:33 +00:00
Vítor Santos Costa
291ec26d65 configuratio fixes 2015-02-17 20:26:46 +00:00
Vítor Santos Costa
30664a5344 cmake 2015-02-03 02:40:41 +00:00
Vítor Santos Costa
bece9d05d8 JIT 2015-01-20 03:00:42 +00:00
Vítor Santos Costa
90feb7f9f8 cmake support 2014-12-14 12:05:43 +00:00
Vitor Santos Costa
ff977fbad8 cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00