Vítor Santos Costa
67208c8157
signals
2013-02-09 08:51:33 -06:00
Tiago Gomes
e178c1af04
Change namespace name to be in Pascal case
2013-02-08 21:12:46 +00:00
Tiago Gomes
6a1a209ee3
Revert "Improve namespace names"
...
This reverts commit 973df43fe0
2013-02-08 21:01:53 +00:00
Vitor Santos Costa
76f5696328
Merge branch 'master' into debugger
2013-02-08 20:39:00 +00:00
Vitor Santos Costa
19863f08f2
fix gprof undder a single running thread
2013-02-08 20:38:04 +00:00
Vítor Santos Costa
046cb5f8d6
debugging
2013-02-08 10:36:45 -06:00
Vítor Santos Costa
d18c67aa2a
try to reset stack
2013-02-08 10:35:40 -06:00
Tiago Gomes
264ef7a067
Clean a bit LiftedWCNF class
2013-02-08 12:12:45 +00:00
Tiago Gomes
bff56c75ca
Trivial
2013-02-08 01:11:18 +00:00
Tiago Gomes
98842dca74
Trivial
2013-02-08 00:56:42 +00:00
Tiago Gomes
c41b6d80b6
Trivial
2013-02-08 00:28:32 +00:00
Tiago Gomes
cd8a25162e
Trivial
2013-02-08 00:22:51 +00:00
Tiago Gomes
206cf0a9c7
Trivial
2013-02-08 00:20:01 +00:00
Tiago Gomes
973df43fe0
Improve namespace names
2013-02-08 00:15:41 +00:00
Tiago Gomes
6f83ceb6f5
Put the code inside a horus namespace
2013-02-07 23:53:13 +00:00
Tiago Gomes
4267465f53
Trivial
2013-02-07 22:41:04 +00:00
Tiago Gomes
3738d0b2c6
Move some things around. No functional changes
2013-02-07 22:37:45 +00:00
Tiago Gomes
2992f9e3cf
Trivial
2013-02-07 20:54:59 +00:00
Tiago Gomes
5c84a2f532
Improve includes
2013-02-07 20:09:10 +00:00
Tiago Gomes
544d0aa39e
Improve header guards (again)
2013-02-07 17:50:33 +00:00
Tiago Gomes
bb7a530da3
Avoid importing the std namespace
2013-02-07 13:37:15 +00:00
Tiago Gomes
7b60e88545
Improve Header guards
2013-02-06 22:58:42 +00:00
Tiago Gomes
80452bf75d
Small improvements
2013-02-06 00:29:29 +00:00
Tiago Gomes
42a5bc493a
Move methods with more than two lines to outside of class definition
2013-02-06 00:29:03 +00:00
Vitor Santos Costa
9f49512497
make SWI exec safer
2013-02-06 00:17:09 +00:00
Vitor Santos Costa
b34be4360b
do not reset cintext before cut
2013-02-06 00:16:30 +00:00
Vitor Santos Costa
f873074961
update.
2013-02-05 14:34:55 +00:00
Vitor Santos Costa
33da88be5b
fix SWI exec issues and try to clean up the code a bit
2013-02-05 14:22:17 +00:00
Vitor Santos Costa
cf3c62f4b4
names are now atoms, not sequences of codes
2013-02-04 22:55:34 +00:00
Vítor Santos Costa
2cb0f298a8
fix style_checking flags and especially variables.
2013-02-04 11:22:42 -06:00
Vitor Santos Costa
798038ad38
avoid PL_error
2013-01-31 10:18:07 +00:00
Vitor Santos Costa
0e9641fe20
sub_string hack
2013-01-31 10:17:48 +00:00
Vitor Santos Costa
9ce268915d
imprive error handling.
2013-01-29 10:50:04 +00:00
Vitor Santos Costa
14d4386e5a
inf depth limit
2013-01-28 23:21:54 +00:00
Vitor Santos Costa
deba351b87
UDI fixes
2013-01-28 11:18:38 +00:00
Vítor Santos Costa
02a9709431
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2013-01-28 09:32:22 +00:00
Vítor Santos Costa
5e243a6fbc
use SWI's version data
2013-01-28 09:31:58 +00:00
Vítor Santos Costa
56a22473ea
update swi.
2013-01-28 09:31:06 +00:00
Tiago Gomes
0d9d59f5fe
Trivial
2013-01-25 13:58:30 +00:00
Tiago Gomes
31bff4dc84
Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3
2013-01-25 13:50:09 +00:00
Tiago Gomes
bef65dac57
Fix a compilation error with older versions of GCC
2013-01-25 13:47:20 +00:00
Tiago Gomes
9dfedafe98
PFL manual: small improvements
2013-01-25 13:45:35 +00:00
Vitor Santos Costa
8e427074d8
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
2013-01-25 09:35:30 +00:00
Vítor Santos Costa
bbaf1f13d4
upstream
2013-01-25 09:32:48 +00:00
Vítor Santos Costa
c758d23ab4
upstream swi code
2013-01-25 09:32:17 +00:00
Vítor Santos Costa
ab302e985b
fix warning
2013-01-25 09:31:44 +00:00
Vitor Santos Costa
829c3ec8c4
update to latest swi.
2013-01-24 13:14:07 +00:00
Vitor Santos Costa
3d24a458fb
add field for statistics to exo_index
2013-01-23 10:43:32 +00:00
Vítor Santos Costa
3c021a41cf
statistics info
2013-01-23 09:58:02 +00:00
Vitor Santos Costa
2de1a678e4
fix atom_statistics
2013-01-23 09:55:11 +00:00
