Vítor Santos Costa
|
0fec4766e5
|
swap including and included.
|
2015-11-05 16:07:51 +00:00 |
|
Vítor Santos Costa
|
00245ff0fc
|
fix bad replace; protect against undef red.
|
2015-11-05 16:00:54 +00:00 |
|
Vítor Santos Costa
|
9db87d1da4
|
atom versus atomic
|
2015-11-05 15:59:49 +00:00 |
|
Vítor Santos Costa
|
7fd6167c50
|
simple trick to do code sharing
|
2015-11-05 15:59:26 +00:00 |
|
Vitor Santos Costa
|
1d10b9c709
|
fix typo
|
2015-10-20 03:08:37 +01:00 |
|
Vítor Santos Costa
|
c4aae66f3e
|
submods work
|
2015-10-13 09:10:53 +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
|
1c06bfdc05
|
cmake & text support
|
2015-06-19 01:30:13 +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 |
|
Vítor Santos Costa
|
0ed3ee4fc4
|
enable path expansion by default
|
2015-04-24 10:03:44 -06:00 |
|
Vítor Santos Costa
|
e043e7595e
|
minor incompats
|
2015-04-21 16:12:01 -06:00 |
|
Vítor Santos Costa
|
e963c59649
|
fix ProbLog path issues
|
2015-04-21 09:25:12 -06:00 |
|
Vítor Santos Costa
|
291ec26d65
|
configuratio fixes
|
2015-02-17 20:26:46 +00:00 |
|
Vitor Santos Costa
|
fcf0f41312
|
infinity, try to fix the ffsll mess, warnings
|
2015-01-05 16:06:32 +00:00 |
|
Vítor Santos Costa
|
3164ed2d61
|
doc support
|
2015-01-04 23:58:23 +00:00 |
|
Vítor Santos Costa
|
c9c2d7233c
|
fix warnings
|
2014-11-26 09:47:05 +00:00 |
|
Vitor Santos Costa
|
afc6c5d04e
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
C/threads.c
JIT/HPP/EnvironmentInit.h
packages/ProbLog/simplecudd_lfi/problogbdd_lfi.c
pl/preds.yap
|
2014-11-25 16:53:35 +00:00 |
|
Vitor Santos Costa
|
2be225c17a
|
small warnings.
|
2014-11-25 16:42:35 +00:00 |
|
Vítor Santos Costa
|
bb8ea9a27d
|
fix current and system predicate
|
2014-11-25 12:03:48 +00:00 |
|
Vítor Santos Costa
|
c440ab239b
|
doc changes
|
2014-11-02 12:10:32 +00:00 |
|
Vítor Santos Costa
|
2053c44054
|
try to clean-up makefiles and autoconfs
|
2014-10-26 17:39:52 +00:00 |
|
Vítor Santos Costa
|
47d1bd5ecc
|
allow setting up arithmetic exception handling.
|
2014-10-19 11:27:53 +01:00 |
|
Vítor Santos Costa
|
d7bc8f80ce
|
back to life, ProbLog-I
|
2014-10-12 00:33:34 +01:00 |
|
Vítor Santos Costa
|
8eec3113be
|
improve docs
|
2014-09-15 03:13:50 -05:00 |
|
Vítor Santos Costa
|
6efb3176f7
|
format_to_chars is not supported any longer.
|
2014-08-20 07:57:58 -05:00 |
|
Vítor Santos Costa
|
ef3a5754e6
|
syntax errors
|
2014-08-06 10:26:03 -05:00 |
|
Vítor Santos Costa
|
e9eb030bb6
|
catch warnings
|
2014-03-15 22:21:54 +00:00 |
|
Vítor Santos Costa
|
b815e64740
|
README -> add TXT file.
|
2014-03-11 11:24:10 +00:00 |
|
Vitor Santos Costa
|
47d436fc13
|
WIN32 with threads
|
2014-03-06 13:34:35 +00:00 |
|
Vítor Santos Costa
|
0953ecc5d7
|
typo
|
2014-02-13 02:08:16 +00:00 |
|
Vítor Santos Costa
|
1d27d22ef0
|
big makefile cleanup
|
2014-02-13 01:58:48 +00:00 |
|
Vítor Santos Costa
|
46179c4eca
|
Merge branch 'master' of /Users/vsc/Yap/yap-6.3
Conflicts:
configure
|
2014-02-12 00:36:03 +00:00 |
|
Vítor Santos Costa
|
e2bd922f8b
|
fix warning
|
2014-02-12 00:34:40 +00:00 |
|
Vitor Santos Costa
|
00f0d449ec
|
clean up makefile
|
2014-02-10 23:30:21 +00:00 |
|
Vitor Santos Costa
|
0391988788
|
support cross-compilation for windows
|
2014-01-23 01:46:16 +00:00 |
|
Vítor Santos Costa
|
09accc834c
|
remove problog atom initialization
|
2013-12-08 23:16:22 +00:00 |
|
Vitor Santos Costa
|
a69a2442c9
|
fix \%
|
2013-11-08 23:48:57 +00:00 |
|
Vitor Santos Costa
|
b49e9b908b
|
gradient is more complex to compute
|
2013-02-26 09:39:56 -06:00 |
|
Vitor Santos Costa
|
15bcaf97fc
|
speedup.
|
2012-08-08 03:59:06 +01:00 |
|
Costa Vitor
|
8ba1de7250
|
fixes for external CUDD compatibility.
|
2012-07-16 11:58:21 -05:00 |
|
Vitor Santos Costa
|
d78a55ca83
|
fix cudd support.
|
2012-07-08 07:45:16 -05:00 |
|
Vítor Santos Costa
|
8a22258fdf
|
use standard paths for installing examples.
|
2012-07-06 18:56:05 -05:00 |
|
Vítor Santos Costa
|
9b0b6ec649
|
fix stop_low_level_trace.
P Moura request for (?).
|
2012-05-02 10:09:26 +01:00 |
|
Vítor Santos Costa
|
067d6d3f4f
|
fix problog experiment.
|
2012-04-27 16:30:02 +01:00 |
|
Vítor Santos Costa
|
5ee39c6f08
|
back to original version.
|
2012-04-27 16:20:40 +01:00 |
|
Vítor Santos Costa
|
6bb4db125d
|
fix names.
|
2012-04-27 15:33:32 +01:00 |
|
Vítor Santos Costa
|
60184e230d
|
new lbdd stuff.
|
2012-04-27 15:32:57 +01:00 |
|
Vítor Santos Costa
|
ceb0c1f5ac
|
new support file.
|
2012-04-27 15:32:17 +01:00 |
|