Commit Graph

8512 Commits

Author SHA1 Message Date
Vítor Santos Costa
4cb2e5c2fe Try to use USE for all options 2015-10-27 23:02:31 +00:00
Vítor Santos Costa
2047885bfa use flags to control and float 2015-10-27 22:58:06 +00:00
Vítor Santos Costa
ce828f52c9 more changes to ignore 2015-10-22 12:10:20 +01:00
Vítor Santos Costa
64e6fd981f Use YAP blob_type internally 2015-10-22 12:03:19 +01:00
Vítor Santos Costa
9e0ce35d29 use YAP_blob type internally. 2015-10-22 12:02:53 +01:00
Vítor Santos Costa
759ce13bbf fix $VAR handling. 2015-10-22 12:01:54 +01:00
Vítor Santos Costa
ad603a53ed add identical_member/2 2015-10-22 12:01:20 +01:00
Vítor Santos Costa
f8836ec1b2 move char types to os 2015-10-22 12:00:27 +01:00
Vítor Santos Costa
db8d44efdc recover deleted stuff 2015-10-22 11:58:59 +01:00
Vítor Santos Costa
a9fa343bad don't expand meta-vars and don't expand expanded variables... 2015-10-22 11:58:29 +01:00
Vítor Santos Costa
9dd4a4a807 keep init goals in stack, to avoid collisions with other threads. 2015-10-22 11:57:46 +01:00
Vítor Santos Costa
442221604f ensure locks are library provided by default 2015-10-22 11:55:42 +01:00
Vítor Santos Costa
b2b28a3dfe fix warnings 2015-10-22 11:55:09 +01:00
Vítor Santos Costa
37eae7b70a reset queue on close, so that it won;t be mistaken for an existing queue. 2015-10-22 11:53:21 +01:00
Vítor Santos Costa
f1c9952c77 fixes for upcast and lowercase 2015-10-22 11:51:07 +01:00
Vítor Santos Costa
aaa9aa2b7b more stuff to ignore 2015-10-22 11:50:15 +01:00
Vítor Santos Costa
2d1c11c42f fix Release and portability 2015-10-22 00:54:20 +01:00
Vítor Santos Costa
17e216c01b indenting 2015-10-22 00:53:26 +01:00
Vítor Santos Costa
d70def0012 warning and other cleanups 2015-10-22 00:52:49 +01:00
Vítor Santos Costa
03850291c0 compilation warnings 2015-10-22 00:48:30 +01:00
Vítor Santos Costa
352ea085b7 configuration issues 2015-10-22 00:47:47 +01:00
Vítor Santos Costa
8cd22a0c18 strlcat 2015-10-22 00:45:47 +01:00
Vítor Santos Costa
42e2543ab7 generic fixes, mostly indentin 2015-10-22 00:45:21 +01:00
Vítor Santos Costa
b2369175e5 mostly indenting 2015-10-22 00:41:52 +01:00
Vítor Santos Costa
3f2dbba042 avoid state in db 2015-10-22 00:40:13 +01:00
Vítor Santos Costa
f1be0f94d0 restore prefix 2015-10-22 00:39:39 +01:00
Vítor Santos Costa
098be4aba0 remove chtypes 2015-10-22 00:39:10 +01:00
Vítor Santos Costa
bcdfdeb65d fix pthread complaining 2015-10-22 00:33:38 +01:00
Vítor Santos Costa
d6148eb8ad indenting 2015-10-22 00:25:11 +01:00
Vítor Santos Costa
7f8ebe18d0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-10-20 08:14:31 +01:00
Vítor Santos Costa
cc6949681b indenting 2015-10-20 08:13:09 +01:00
Vítor Santos Costa
c26e5afaf0 fix bad arg order 2015-10-20 08:10:39 +01:00
Vitor Santos Costa
318b2e8df2 cmake: support older versions 2015-10-20 08:07:42 +01:00
Vitor Santos Costa
20c87f1ab6 gcc warnings 2015-10-20 08:06:46 +01:00
Vitor Santos Costa
cba4fdfe95 remove host-specific code 2015-10-20 08:05:00 +01:00
Vitor Santos Costa
e2363ca0d0 4.4 2015-10-20 08:03:42 +01:00
Vitor Santos Costa
b95efeff90 char type support 2015-10-20 08:03:16 +01:00
Vitor Santos Costa
7a70280940 unused vars and gcc warnings 2015-10-20 08:01:20 +01:00
Vitor Santos Costa
885fc51225 move text stuff to YapText 2015-10-20 08:00:39 +01:00
Vitor Santos Costa
6a068a6e94 unused vars 2015-10-20 07:59:05 +01:00
Vitor Santos Costa
b76be19b61 fix Darwin dep 2015-10-20 07:57:59 +01:00
Vitor Santos Costa
aedc686ede avoid judi depeendencies 2015-10-20 07:56:07 +01:00
Vitor Santos Costa
2b5bddb690 module for charsio 2015-10-20 07:52:33 +01:00
Vitor Santos Costa
d48772c24d move text stuff to YapText 2015-10-20 07:49:53 +01:00
Vitor Santos Costa
b7c3cf5484 char_type/2 2015-10-20 07:46:52 +01:00
Vitor Santos Costa
438cd7dce5 fix config 2015-10-20 03:10:13 +01:00
Vitor Santos Costa
1d10b9c709 fix typo 2015-10-20 03:08:37 +01:00
Vitor Santos Costa
390e9e0557 Merge ssh://git.dcc.fc.up.pt/yap-6.3 2015-10-18 23:44:50 +01:00
Vitor Santos Costa
495fdca699 4.4 2015-10-18 23:44:32 +01:00
Vítor Santos Costa
468913e38c fix arithmetic exceptions 2015-10-18 12:28:02 +01:00