Vítor Santos Costa
|
ec7ddf0dba
|
Merge branch 'master' of github.com:vscosta/yap-6.3
|
2015-04-13 13:28:42 +01:00 |
|
Vítor Santos Costa
|
ef586e264e
|
android debugging plus clean-ups
|
2015-04-13 13:28:17 +01:00 |
|
Vítor Santos Costa
|
d1a230eb56
|
Cosmetic changes
|
2015-04-13 13:15:30 +01:00 |
|
Vítor Santos Costa
|
00c58f5572
|
Cosmetic changes
|
2015-04-13 13:14:36 +01:00 |
Paulo Moura
|
b91c535ea3
|
Work in progress fixing evaluable type error terms
|
2015-04-09 01:51:36 +01:00 |
|
Vitor Santos Costa
|
756a79995b
|
cpp
|
2015-03-28 21:55:29 +00:00 |
|
Vitor Santos Costa
|
cd45c04514
|
improve mkandroid
|
2015-03-28 20:13:52 +00:00 |
|
Vitor Santos Costa
|
206d6cebcf
|
autoloading is an import, like any other
|
2015-03-28 20:13:28 +00:00 |
|
Vitor Santos Costa
|
a8b51d80ab
|
New files, Android stuff
|
2015-03-28 20:13:10 +00:00 |
|
Vitor Santos Costa
|
b3c0708240
|
new files
|
2015-03-28 20:08:33 +00:00 |
|
Vitor Santos Costa
|
bd829946ed
|
autoloading is an import, like any other
|
2015-03-28 19:42:10 +00:00 |
|
Vitor Santos Costa
|
d6e648a7ff
|
do not use SWI path handling code: YAP should not try to control cwd, that's the OS task
|
2015-03-28 19:41:12 +00:00 |
|
Vitor Santos Costa
|
9709c590bf
|
YAP should not try to control cwd, that's the OS task
|
2015-03-28 19:38:54 +00:00 |
|
Vitor Santos Costa
|
666b68c1fb
|
YAP should not try to control cwd, that's the OS task
|
2015-03-28 19:38:04 +00:00 |
|
Vitor Santos Costa
|
6c9c410283
|
get rid of findExecutable
|
2015-03-28 19:36:28 +00:00 |
|
Vítor Santos Costa
|
c7f700627d
|
disable BOM on ttys
|
2015-03-24 09:38:52 +00:00 |
|
Vítor Santos Costa
|
5f7101a9e3
|
fix parameters for open
|
2015-03-24 09:38:02 +00:00 |
|
Vítor Santos Costa
|
5d27ad0243
|
small stuff
|
2015-03-23 16:17:24 +00:00 |
|
Vítor Santos Costa
|
16c8d54f0e
|
more debugging fixes
|
2015-03-23 16:16:48 +00:00 |
|
Vítor Santos Costa
|
4eeacd8b7b
|
compile myddas interface to sqlite
|
2015-03-23 07:27:10 +00:00 |
|
Vítor Santos Costa
|
c9aa53350a
|
remove debugging method
|
2015-03-23 07:26:03 +00:00 |
|
Vítor Santos Costa
|
5150dcae3d
|
file_select
|
2015-03-20 12:50:06 +00:00 |
|
Vítor Santos Costa
|
2b2e21ae64
|
handle redirection in debugging
|
2015-03-17 23:09:33 +00:00 |
|
Vítor Santos Costa
|
272d28ae5f
|
android
|
2015-03-16 17:25:09 +00:00 |
|
Vítor Santos Costa
|
55bd75b8d8
|
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
Conflicts:
library/parameters.yap
packages/myddas/pl/myddas.ypp
|
2015-03-11 22:31:18 +00:00 |
|
Vítor Santos Costa
|
7cceb655b3
|
protect against crashes in bad user code
|
2015-03-11 22:23:31 +00:00 |
|
Vítor Santos Costa
|
04ff7f3f2d
|
fix warning
|
2015-03-11 22:22:27 +00:00 |
|
Vítor Santos Costa
|
82d4716339
|
better compat with bdds
|
2015-03-11 22:21:48 +00:00 |
|
Vitor Santos Costa
|
6a0b6fad8b
|
C++ interface and ARM/Android
|
2015-03-11 22:18:00 +00:00 |
|
Vitor Santos Costa
|
580bc9eb27
|
fix baacktrackable predicates.
|
2015-03-09 17:27:35 +00:00 |
|
Vitor Santos Costa
|
252a2b7868
|
bdd stuff
|
2015-03-08 02:15:53 +00:00 |
|
Vítor Santos Costa
|
26b3cb5bb7
|
use 4.4 for android
|
2015-03-04 10:03:25 +00:00 |
|
Vítor Santos Costa
|
a40c205d5f
|
New files
|
2015-03-04 10:02:25 +00:00 |
|
Vítor Santos Costa
|
0f2d1e8429
|
improve notion of standadard predicate
|
2015-03-04 10:01:33 +00:00 |
|
Vítor Santos Costa
|
65c97e7072
|
postgres
|
2015-03-04 09:59:42 +00:00 |
|
Vítor Santos Costa
|
5b19e9546a
|
fix foreach
|
2015-03-04 09:59:05 +00:00 |
|
Vítor Santos Costa
|
9b6bcdde16
|
improve notion of standadard predicate
|
2015-03-04 09:54:08 +00:00 |
|
Vítor Santos Costa
|
5ea3fcd08f
|
men at work
|
2015-03-04 09:52:34 +00:00 |
|
Vítor Santos Costa
|
48c87bd775
|
support fpr conj etc
|
2015-03-04 09:52:06 +00:00 |
|
Vítor Santos Costa
|
4386c42d02
|
improve cudd with bdd printing -> nodes, and true=1 false=0
|
2015-03-04 09:50:15 +00:00 |
|
Vítor Santos Costa
|
3d9006db32
|
make var names available as a global var
|
2015-03-04 09:47:50 +00:00 |
|
Vítor Santos Costa
|
8ea17007f0
|
make var names available as a global var
|
2015-03-04 09:46:55 +00:00 |
|
Vítor Santos Costa
|
dbfe42b360
|
clib and uuid support
|
2015-03-04 09:45:04 +00:00 |
|
Vítor Santos Costa
|
da83ad447c
|
make var names available as a global var
|
2015-03-04 09:44:26 +00:00 |
|
Vítor Santos Costa
|
a9acacd1c5
|
android stopped working.
|
2015-03-04 09:43:37 +00:00 |
|
Vítor Santos Costa
|
8a4257d80a
|
make var names available as a global var
|
2015-03-04 09:40:21 +00:00 |
|
Vítor Santos Costa
|
0839baf638
|
error handling should report the culprit .
|
2015-03-04 09:35:47 +00:00 |
|
Vítor Santos Costa
|
0b90870185
|
make var names available as a global var
|
2015-03-04 09:35:09 +00:00 |
|
Vítor Santos Costa
|
9d48f3c3c0
|
fix compilation of JIT (but still not working).
|
2015-02-18 10:03:57 +00:00 |
|
Vítor Santos Costa
|
2ebf6a5f0e
|
android's target
|
2015-02-17 20:28:05 +00:00 |