Commit Graph

7220 Commits

Author SHA1 Message Date
Vítor Santos Costa
2c24fb7a83 typo 2014-02-13 02:10:37 +00:00
Vítor Santos Costa
4e5a2e3a20 typo 2014-02-13 02:09:36 +00:00
Vítor Santos Costa
0953ecc5d7 typo 2014-02-13 02:08:16 +00:00
Vítor Santos Costa
d6f4707caf typo 2014-02-13 02:05:52 +00:00
Vítor Santos Costa
2cdeb3f1c1 typo 2014-02-13 02:02:51 +00:00
Vítor Santos Costa
1d27d22ef0 big makefile cleanup 2014-02-13 01:58:48 +00:00
Vítor Santos Costa
0420169bd0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-02-12 23:38:58 +00:00
Vítor Santos Costa
d28f065454 distclean should call clean 2014-02-12 23:38:46 +00:00
Vitor Santos Costa
0664e1f647 configuration issues 2014-02-12 23:35:00 +00:00
Vitor Santos Costa
984415b807 use abs path 2014-02-12 01:05:37 +00:00
Vítor Santos Costa
89789d6828 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
	configure
	packages/clib
	packages/real
2014-02-12 00:44:34 +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
Vítor Santos Costa
df0986eb45 clib 2014-02-12 00:33:50 +00:00
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Vitor Santos Costa
1d7407ba4d fix horus 2014-02-11 13:56:40 +00:00
Vitor Santos Costa
6110ecb95d update submodules 2014-02-11 13:44:17 +00:00
Vitor Santos Costa
88c2839b36 Merge /home/vsc/git/yap-6.3 2014-02-11 13:32:18 +00:00
Vitor Santos Costa
365dcd5bca fix missing packages 2014-02-11 13:31:53 +00:00
Vitor Santos Costa
9b00f3700c fix missing packages 2014-02-11 13:27:26 +00:00
Vítor Santos Costa
78596fe951 fix configure 2014-02-11 00:14:00 +00:00
Vítor Santos Costa
17d1f11b5c Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2014-02-10 23:57:30 +00:00
Vítor Santos Costa
ab40f20a2b Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
	configure
2014-02-10 23:57:18 +00:00
Vitor Santos Costa
8d624cda6b Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2014-02-10 23:56:09 +00:00
Vitor Santos Costa
bfc94cbbe5 fix matlab autoconf 2014-02-10 23:55:35 +00:00
Vitor Santos Costa
bcde1666fb package updates 2014-02-10 23:46:22 +00:00
Vitor Santos Costa
9a46cdac9b clean up makefile 2014-02-10 23:31:33 +00:00
Vitor Santos Costa
00f0d449ec clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
231290bad3 clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
89e2c86a0b clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
5bf0a5de61 clean up makefile 2014-02-10 23:30:21 +00:00
Vitor Santos Costa
2bb21e9e1b clean up makefile 2014-02-10 23:30:21 +00:00
Vítor Santos Costa
034878ab88 fix raptor trouble 2014-02-09 22:17:36 +00:00
Vitor Santos Costa
a012017635 don't crash strip_module 2014-02-09 18:07:17 +00:00
Vitor Santos Costa
e0642dbaa3 reexport again 2014-02-09 18:06:37 +00:00
Vitor Santos Costa
93859706e3 fix source file for predicates 2014-02-09 11:00:11 +00:00
Vitor Santos Costa
043c97157f fix source file for predicates 2014-02-09 11:00:01 +00:00
Vitor Santos Costa
ca0c43ba8d module expansion, again 2014-02-09 10:47:44 +00:00
Vitor Santos Costa
8d8a4104b9 strip_module should try to always return a valid module 2014-02-09 10:46:43 +00:00
Vitor Santos Costa
f26cb133b9 fix left-over slots 2014-02-09 10:44:43 +00:00
Vitor Santos Costa
2c12c7917b c-stuff 2014-02-06 21:57:51 +00:00
Vitor Santos Costa
72a8d49926 support 2014-02-06 21:57:32 +00:00
Vitor Santos Costa
d85dc3fd5c factorized answer 2014-02-06 21:56:43 +00:00
Vitor Santos Costa
f11b0518a8 string support 2014-02-06 21:55:35 +00:00
Vitor Santos Costa
b3aa3e37c6 fix small bugs and declare format_time to be a meta-predicate 2014-02-06 21:55:01 +00:00
Vitor Santos Costa
6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa
ce6bc98f30 fix extra return 2014-02-03 23:28:50 +00:00
Vitor Santos Costa
91989ad13a support utf-8 2014-02-03 23:27:06 +00:00
Vitor Santos Costa
9dacb84c99 fix string comparison 2014-02-03 23:26:36 +00:00
Vitor Santos Costa
819f7ab4a5 good sw practice 2014-02-03 17:03:23 +00:00