Vitor Santos Costa
|
2ec6d6588d
|
do not compile pldoc for now
|
2014-05-06 09:32:49 +01:00 |
|
Vitor Santos Costa
|
e981973d56
|
fix disappearing syntax error
|
2014-05-05 16:27:54 +01:00 |
|
Vítor Santos Costa
|
451a37d708
|
Merge branch 'master' of ssh://git@git.dcc.fc.up.pt/yap-6.3
|
2014-05-05 14:13:08 +01:00 |
|
Vítor Santos Costa
|
e9672e9820
|
android project
|
2014-05-05 14:12:52 +01:00 |
|
Vitor Santos Costa
|
549b4dd834
|
add header
|
2014-05-05 14:01:21 +01:00 |
|
Vitor Santos Costa
|
f1b88583e4
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
Conflicts:
library/listing.yap
|
2014-05-05 13:59:58 +01:00 |
|
Vitor Santos Costa
|
426d952894
|
add listing.yap
|
2014-05-05 13:53:39 +01:00 |
|
Vítor Santos Costa
|
bbad94e5dd
|
psckage compilation stuff.
|
2014-05-04 23:15:39 +01:00 |
|
Vítor Santos Costa
|
7393dd1405
|
:dummy library, for now.
|
2014-05-04 23:15:10 +01:00 |
|
Vítor Santos Costa
|
462bb216f7
|
patch from Denis Duchier: compilation issues.
|
2014-05-04 23:14:18 +01:00 |
|
Vítor Santos Costa
|
3c99f0b055
|
more progress
|
2014-05-04 23:02:28 +01:00 |
|
Vítor Santos Costa
|
bda0c4694a
|
swig stuff.
|
2014-05-04 22:33:13 +01:00 |
|
Vítor Santos Costa
|
bf357212af
|
fix typo.
|
2014-05-04 22:32:41 +01:00 |
|
Vítor Santos Costa
|
ba523a7910
|
eclipse stuff.
|
2014-05-04 22:32:18 +01:00 |
|
Vítor Santos Costa
|
a2e141482c
|
keep working on C++ interface.
|
2014-05-04 22:31:22 +01:00 |
|
Vítor Santos Costa
|
53bb9928eb
|
fix documenttion (small stuff).
|
2014-05-04 22:30:33 +01:00 |
|
Vítor Santos Costa
|
f8ab2d093e
|
work-around android bug.
|
2014-05-04 22:29:23 +01:00 |
|
Vítor Santos Costa
|
6738682c26
|
handle int64 in 32 bits no gmp as floats..
|
2014-05-04 22:26:53 +01:00 |
|
Vítor Santos Costa
|
cf39051162
|
fix gcc complaint.
|
2014-05-02 01:44:07 +01:00 |
|
Vitor Santos Costa
|
df7425922a
|
compile.
|
2014-04-29 18:43:17 +01:00 |
|
Vitor Santos Costa
|
156501d27d
|
cannot use setup.py. don't know why
|
2014-04-29 18:25:06 +01:00 |
|
Vitor Santos Costa
|
8c6aa05b17
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2014-04-29 18:19:07 +01:00 |
|
Vitor Santos Costa
|
fa31fb1468
|
make sure we use the defined C++.
|
2014-04-29 18:18:42 +01:00 |
|
Vitor Santos Costa
|
d58dcdc3e6
|
portability.
|
2014-04-29 18:17:23 +01:00 |
|
Vitor Santos Costa
|
4b3e9691ef
|
C++ for a nicer progrmming style.
|
2014-04-29 11:49:09 +01:00 |
|
Vitor Santos Costa
|
592ad902a0
|
improve interface
|
2014-04-29 11:45:19 +01:00 |
|
Vítor Santos Costa
|
23561d086b
|
support for SWIG.
|
2014-04-28 11:57:09 +01:00 |
|
Vítor Santos Costa
|
3efe5df28e
|
C++ compatibility.
|
2014-04-28 11:54:47 +01:00 |
|
Vítor Santos Costa
|
785e404de4
|
C++ compatibility.
|
2014-04-28 11:48:24 +01:00 |
|
Vítor Santos Costa
|
6bcda04a52
|
deadlock avoidance.
|
2014-04-28 11:47:53 +01:00 |
|
Vítor Santos Costa
|
2f852223ec
|
new C++ interface
|
2014-04-28 11:47:09 +01:00 |
|
Vitor Santos Costa
|
ed0910fe94
|
fix thread_local decls.
|
2014-04-24 14:25:21 +01:00 |
|
Vitor Santos Costa
|
58336add23
|
fix module export.
|
2014-04-24 14:24:50 +01:00 |
|
Vitor Santos Costa
|
4867563b09
|
fix multifile handling.
|
2014-04-24 14:24:27 +01:00 |
|
Vitor Santos Costa
|
05ac1dc920
|
small fixes:
- fix consult as reconsult
- declaring P twice as thread_local confused yap
- missing UNLOCK.
|
2014-04-24 12:54:08 +01:00 |
|
Vítor Santos Costa
|
1db83cc30d
|
make consult reconsult the original file, so that
[x]. [x].
is more like
[x]. [-x].
|
2014-04-24 11:40:35 +01:00 |
|
Vítor Santos Costa
|
d8f4a77f47
|
fix style_check to be called at parse-time and not cause eexcution overheads.
|
2014-04-24 08:26:31 +01:00 |
|
Vitor Santos Costa
|
6591b5429c
|
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
|
2014-04-23 22:42:03 +01:00 |
|
Vitor Santos Costa
|
aba5f3d88b
|
handle locking more carefully (especially protect gc and stack shifting).
|
2014-04-23 22:41:12 +01:00 |
|
Vítor Santos Costa
|
f1951777b7
|
fix checker to use read for singleton variables, instead of always computing
them.
|
2014-04-23 21:39:32 +01:00 |
|
Vítor Santos Costa
|
605e68c80d
|
fix prolog:messages
|
2014-04-21 11:29:05 +01:00 |
|
Vítor Santos Costa
|
0625f1d7ad
|
doc support
|
2014-04-21 11:20:00 +01:00 |
|
Vítor Santos Costa
|
137f69ed22
|
doc support
|
2014-04-21 11:14:18 +01:00 |
|
Vitor Santos Costa
|
83ec7d9072
|
fix indent
|
2014-04-11 02:27:10 +01:00 |
|
Vítor Santos Costa
|
295be2d5be
|
doc fixes
|
2014-04-10 11:59:30 +01:00 |
|
Vitor Santos Costa
|
d199c64de6
|
fix conversion to markdown
|
2014-04-09 14:00:54 +01:00 |
|
Vítor Santos Costa
|
ca0c646793
|
doc updates
|
2014-04-09 12:50:27 +01:00 |
|
Vítor Santos Costa
|
250099cfe8
|
doc updates
|
2014-04-09 12:49:23 +01:00 |
|
Vítor Santos Costa
|
3396c1ca18
|
doc updates
|
2014-04-09 12:44:26 +01:00 |
|
Vítor Santos Costa
|
c629ae9283
|
doc updates
|
2014-04-09 12:39:52 +01:00 |
|