Vitor Santos Costa
|
c60e1046a7
|
use int64 fr file_time
|
2013-06-07 18:00:27 +01:00 |
|
Vítor Santos Costa
|
fef0538157
|
Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3
|
2013-06-07 09:27:32 -05:00 |
|
Vítor Santos Costa
|
5b4f355ee0
|
avoid creating new index in retractall
|
2013-06-07 09:26:50 -05:00 |
|
Vítor Santos Costa
|
5303f2f479
|
simple check for all var arguments
|
2013-06-07 09:26:21 -05:00 |
|
Vítor Santos Costa
|
b6b44c655f
|
unnecessary lock-pred
|
2013-06-07 09:25:40 -05:00 |
|
Vitor Santos Costa
|
23a787bcb3
|
mlns in PFL
|
2013-06-06 19:22:22 -05:00 |
|
Vitor Santos Costa
|
6b31d08633
|
mlns in PFL
|
2013-06-06 19:18:46 -05:00 |
|
Vitor Santos Costa
|
e96750b476
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2013-06-05 23:01:10 +01:00 |
|
Vitor Santos Costa
|
4826d92709
|
exo updates
|
2013-06-05 23:00:57 +01:00 |
|
Vítor Santos Costa
|
dce491ef95
|
thread fixes
|
2013-06-03 22:03:59 -05:00 |
|
Vitor Santos Costa
|
889279cd81
|
fix prototype
|
2013-06-03 23:46:09 +01:00 |
|
Vitor Santos Costa
|
dd43ee5e27
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
|
2013-06-03 17:39:17 -05:00 |
|
Vitor Santos Costa
|
8245bae2e4
|
Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2013-06-03 17:36:02 -05:00 |
|
Vitor Santos Costa
|
b6b6b12c6f
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2013-06-03 16:40:12 -05:00 |
|
Vitor Santos Costa
|
933ee11985
|
add a second selectlist
|
2013-06-03 16:39:48 -05:00 |
|
Vitor Santos Costa
|
639247b4c3
|
sub_atom/5 in C.
|
2013-05-15 17:12:01 -05:00 |
|
Vitor Santos Costa
|
3b2b4b03c8
|
split atom stuff to its own file
|
2013-05-09 18:00:41 -05:00 |
|
Vitor Santos Costa
|
cb48d1c47e
|
fix paths
|
2013-05-02 14:07:44 +01:00 |
|
Vítor Santos Costa
|
6af394a35e
|
fix PASS_REGS
|
2013-05-01 19:27:09 -05:00 |
|
Vítor Santos Costa
|
17cd9ab3c1
|
add debugging code
|
2013-05-01 19:27:00 -05:00 |
|
Vitor Santos Costa
|
75d607aaec
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2013-05-01 11:54:51 -05:00 |
|
Vitor Santos Costa
|
34bf9bb311
|
more exo stuff.
|
2013-05-01 11:34:55 -05:00 |
|
Vitor Santos Costa
|
d644ea494d
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2013-05-01 11:34:01 -05:00 |
|
Vitor Santos Costa
|
923be33404
|
speedup between
more exo stuff.
|
2013-04-30 15:23:01 -05:00 |
|
Vitor Santos Costa
|
64a61e2479
|
make between/3 a C-builtin.
|
2013-04-29 18:22:53 -05:00 |
|
Vitor Santos Costa
|
c04f04d078
|
more exo fixes.
|
2013-04-29 16:19:43 -05:00 |
|
Vitor Santos Costa
|
72cc5bc317
|
generalise interval handling
|
2013-04-29 11:58:05 -05:00 |
|
Vitor Santos Costa
|
edbc21dcb0
|
fix typo
|
2013-04-26 18:23:17 -05:00 |
|
Vitor Santos Costa
|
6480f75b23
|
compile conditionally on HAVE_MPI_H.
|
2013-04-26 18:12:23 -05:00 |
|
Vitor Santos Costa
|
f0bc4fb458
|
cut point should be initialised when bootrapping a new goal
|
2013-04-26 16:38:54 -05:00 |
|
Vitor Santos Costa
|
743c9c69fb
|
get rid of PROTO
|
2013-04-25 17:15:04 -05:00 |
|
Vitor Santos Costa
|
24a75525c0
|
fix compilation
|
2013-04-25 14:21:41 -05:00 |
|
Vítor Santos Costa
|
2c49edb975
|
more exo stuff
|
2013-04-25 09:48:06 -05:00 |
|
Vitor Santos Costa
|
52253e3e9e
|
fix bugs in exo clause
|
2013-04-20 20:29:08 -05:00 |
|
Vitor Santos Costa
|
fba909cf46
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2013-04-19 16:40:30 -05:00 |
|
Vítor Santos Costa
|
210dacfe5a
|
exo-compilation fixes for threads.
|
2013-04-16 21:49:37 -05:00 |
|
Vítor Santos Costa
|
ea3f25c378
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2013-04-16 21:26:41 -05:00 |
|
Vitor Santos Costa
|
90abff4f2f
|
Exo compilation, the range example.
|
2013-04-16 20:04:53 -05:00 |
|
Vitor Santos Costa
|
bd9e840e8b
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
Conflicts:
packages/CLPBN/horus/LiftedWCNF.h
packages/CLPBN/horus/ParfactorList.cpp
|
2013-04-16 15:19:42 -05:00 |
|
Vitor Santos Costa
|
cb08a542e2
|
get rid of comments
|
2013-04-16 21:14:05 +01:00 |
|
Vitor Santos Costa
|
1c9cc469d5
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2013-04-16 21:11:51 +01:00 |
|
Vitor Santos Costa
|
9b4b33bb3c
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2013-04-16 21:09:58 +01:00 |
|
Tiago Gomes
|
9e57b32431
|
Fix compilation with older versions of GCC
|
2013-04-16 21:07:03 +01:00 |
|
Vitor Santos Costa
|
6d16dcf991
|
fix message
|
2013-04-16 14:38:01 -05:00 |
|
Vitor Santos Costa
|
8e33cebd4d
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2013-04-16 13:32:24 -05:00 |
|
Vitor Santos Costa
|
cf7e904e9e
|
version level patch
|
2013-04-16 09:44:29 -05:00 |
|
Vítor Santos Costa
|
e5d5352268
|
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
|
2013-04-16 07:53:01 -05:00 |
|
Vitor Santos Costa
|
78410ade1a
|
ensure evidence does not go away, make sure YAP compiles
|
2013-04-15 19:12:53 -05:00 |
|
Vitor Santos Costa
|
eeb53aef71
|
Merge branch 'master' of https://github.com/tacgomes/yap6.3
|
2013-04-16 00:18:07 +01:00 |
|
Vitor Santos Costa
|
a5095a921a
|
fix messages with single atom
|
2013-04-14 21:37:43 +01:00 |
|