Fabrizio Riguzzi
|
3ee50baf11
|
lemur example
|
2014-10-16 17:22:57 +02:00 |
|
Fabrizio Riguzzi
|
7227bc62f4
|
Merge branch 'master' of git@git.dcc.fc.up.pt:yap-6.3
|
2014-10-16 10:20:34 +02:00 |
|
Fabrizio Riguzzi
|
3c07f66cac
|
repaired configure
|
2014-10-16 10:20:07 +02:00 |
|
Theo
|
44d38d3018
|
Theo corrected a bug in the dbtries implementation
|
2014-10-15 20:53:32 +01:00 |
|
Theo
|
b9236fa5fa
|
Theo corrected a bug in the dbtries implementation
|
2014-10-15 19:55:40 +01: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 |
|
Vitor Santos Costa
|
46e1ce96b4
|
Yap_cputime() needs thread local memory, so be careful about releasing
local memory.
|
2014-10-15 12:32:00 +01:00 |
|
Vitor Santos Costa
|
8014110080
|
fix debugging letfover.
|
2014-10-15 12:10:39 +01:00 |
|
Vítor Santos Costa
|
8576e67d84
|
generate exceptions on arithmetic errors
|
2014-10-15 11:06:07 +01:00 |
|
Vítor Santos Costa
|
a5d0b41f3b
|
fix file filter breakage
|
2014-10-15 01:51:09 +01:00 |
|
Vitor Santos Costa
|
49ccb545f8
|
fix bad call.
|
2014-10-14 19:39:20 +01:00 |
|
Vitor Santos Costa
|
aa80579684
|
recover the signals, like sigfpe.
|
2014-10-14 19:31:49 +01:00 |
|
Vitor Santos Costa
|
1983df00db
|
use LIBS, even if the -fPIC versions do not need them, the standard
one does.
|
2014-10-14 19:30:56 +01:00 |
|
Vítor Santos Costa
|
186adc2053
|
More thread fixes, including true anonymous mqueues, worker_id for sequential,
support for arithmetic exceptions on mac, fixes for with_mutex, fixes for dangling pointers
in thread termination. Uuufff...
|
2014-10-14 15:53:24 +01:00 |
|
Vítor Santos Costa
|
90289b7188
|
fix bad initialization.
|
2014-10-14 02:10:18 +01:00 |
|
Vítor Santos Costa
|
d76c2a0039
|
fix duplicates.
|
2014-10-14 02:09:52 +01:00 |
|
Vítor Santos Costa
|
c95045e14c
|
improve support for floating point exceptions.
|
2014-10-14 01:13:31 +01:00 |
|
Vítor Santos Costa
|
3c7779ec78
|
move message queues to C
|
2014-10-13 12:34:52 +01:00 |
|
Vítor Santos Costa
|
7cbcd17993
|
avoid warning
|
2014-10-13 12:33:24 +01:00 |
|
Vítor Santos Costa
|
ce390d987e
|
fix initialization on undefined.
|
2014-10-12 11:02:47 +01:00 |
|
Vítor Santos Costa
|
f2038e9e36
|
use meta-predicates.
|
2014-10-12 11:01:30 +01:00 |
|
Vítor Santos Costa
|
c0b723ca14
|
fix module transparent.
|
2014-10-12 11:00:45 +01:00 |
|
Vítor Santos Costa
|
d7bc8f80ce
|
back to life, ProbLog-I
|
2014-10-12 00:33:34 +01:00 |
|
Vítor Santos Costa
|
a64c6772fc
|
fix atomic_concat/3 to be backtrackable.
|
2014-10-12 00:32:17 +01:00 |
|
Vítor Santos Costa
|
1a56819658
|
fix typo
|
2014-10-11 21:56:55 +01:00 |
|
Vítor Santos Costa
|
0c461c538b
|
remove unneeded call
|
2014-10-11 14:10:35 +01:00 |
|
Vítor Santos Costa
|
b40a5a7837
|
fix change in undef.
|
2014-10-11 14:09:40 +01:00 |
|
Vítor Santos Costa
|
e3e1bcaca8
|
fix broken semantics.
|
2014-10-11 14:08:39 +01:00 |
|
Vítor Santos Costa
|
5312086b60
|
typo in expansion.
|
2014-10-11 14:07:34 +01:00 |
|
Vítor Santos Costa
|
cf7dccdcdf
|
fix handling of attributed vars.
|
2014-10-11 14:06:57 +01:00 |
|
Vítor Santos Costa
|
1461f44184
|
fix goal expansion problems
|
2014-10-11 12:45:54 +01:00 |
|
Vítor Santos Costa
|
b2cd81f79a
|
fix bb usage of DB.
|
2014-10-11 01:39:09 +01:00 |
|
Vítor Santos Costa
|
84527a8c77
|
fix bb usage of DB.
|
2014-10-11 01:38:32 +01:00 |
|
Vítor Santos Costa
|
5bf44d2378
|
fix signal handling in non-threaded (thanks to Paulo Moura).
|
2014-10-11 01:37:34 +01:00 |
|
Vitor Santos Costa
|
18aadaecd8
|
fix ways to call listing and improve documentation.
|
2014-10-10 15:52:14 +01:00 |
|
Vitor Santos Costa
|
4d3bb0143f
|
small fix to hook case.
|
2014-10-10 15:50:41 +01:00 |
|
Vitor Santos Costa
|
96149d991f
|
fix reloading of foreign files: don't allow it even if you are
reconsulting, it makes no sense.
|
2014-10-10 12:52:03 +01:00 |
|
Vitor Santos Costa
|
946f6cebf3
|
fix bad exit from undef code.
|
2014-10-10 12:39:54 +01:00 |
|
Vitor Santos Costa
|
f6bcb22b7c
|
fix undefined procedures to allow hooks as before.
|
2014-10-10 10:00:27 +01:00 |
|
Vitor Santos Costa
|
b108380cfc
|
utf8
|
2014-10-09 10:49:51 +01:00 |
|
Vitor Santos Costa
|
1896237ed3
|
remove unknows msg
|
2014-10-09 10:49:24 +01:00 |
|
Vitor Santos Costa
|
fcd959a2cb
|
cuda
|
2014-10-09 10:48:23 +01:00 |
|
Vitor Santos Costa
|
e18f083da6
|
fix warning.
|
2014-10-09 10:47:41 +01:00 |
|
Vitor Santos Costa
|
48053694c7
|
document abolish and make sure that assert(m:(H:-B)) treats m as source
module.
|
2014-10-09 10:46:09 +01:00 |
|
Vitor Santos Costa
|
ed6f7f8573
|
fix warning.
|
2014-10-09 10:45:38 +01:00 |
|
Vitor Santos Costa
|
716f80d4c8
|
ugh, did not allow loading more than a file.
|
2014-10-09 10:44:37 +01:00 |
|
Vitor Santos Costa
|
6ec4d99d86
|
allow users to load foreign code from cwd, as said in manual.
|
2014-10-09 10:43:44 +01:00 |
|
Vitor Santos Costa
|
cbc579310a
|
fix number_atom broken behaviour when atom was bound.
|
2014-10-09 10:42:15 +01:00 |
|