diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
8,805 Commits 2 Branches 6 Tags 146 MiB
21fa15bf10
Commit Graph

1774 Commits

Author SHA1 Message Date
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
495fdca699 4.4 2015-10-18 23:44:32 +01:00
Vítor Santos Costa
72c34cdb8f dropped packages 2015-10-13 09:27:43 +01:00
Vítor Santos Costa
c4aae66f3e submods work 2015-10-13 09:10:53 +01:00
Vítor Santos Costa
1a5ba98950 stop using submodule 2015-10-13 08:25:49 +01:00
Vítor Santos Costa
25c3010de6 stop using submodule 2015-10-13 08:24:56 +01:00
Vítor Santos Costa
9b33c9d8ba stop using submodule 2015-10-13 08:17:51 +01:00
Vítor Santos Costa
30be57ed71 remove session 2015-10-13 02:14:45 +01:00
Vítor Santos Costa
1ef7eeabdf fix files dragged in 2015-09-30 00:02:59 +01:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
4336b2ba88 Avoid complaining from strlen 
`
 2015-09-21 17:05:36 -05:00
Vítor Santos Costa
880a9989c3 small changes 2015-08-18 15:08:52 -05:00
Vítor Santos Costa
72776e3b14 swig handling 2015-08-18 15:05:07 -05:00
Vítor Santos Costa
4cd70e68ce imrove python support 
make syntax as Python-like as possible
get close to real.
 2015-08-18 15:03:21 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
3761252735 missing files 2015-07-24 21:52:03 -05:00
Vítor Santos Costa
3f55904bfe missing files 2015-07-24 21:35:02 -05:00
Vítor Santos Costa
d4f49a20ba missing files 2015-07-24 21:28:04 -05:00
Vítor Santos Costa
f3b84af062 bunch of fixes for YAP's own IO 2015-07-22 19:33:30 -05:00
Vítor Santos Costa
4eaf848e87 missing 2015-07-06 14:54:23 +01:00
Vítor Santos Costa
1d6f9981e1 mkdir and small stuff 2015-07-06 12:04:42 +01:00
Vítor Santos Costa
1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vítor Santos Costa
edbd2654e8 cmake & files 2015-06-19 01:25:12 +01:00
Vítor Santos Costa
5f71b15c03 cmake 2 2015-06-19 01:23:51 +01:00
Vítor Santos Costa
de3a6c5637 cmake 2015-06-19 01:22:23 +01:00
Vítor Santos Costa
9ad02e3f9a cmake 2015-06-19 01:22:12 +01:00
Vítor Santos Costa
1b8cd91618 cudd integration 2015-06-19 01:20:49 +01:00
Vítor Santos Costa
63c2fa3c6b warning, postgres 2015-06-19 01:19:48 +01:00
Vítor Santos Costa
e8e33e405a join cud packages 2015-06-19 01:00:18 +01:00
Vítor Santos Costa
e989419605 Use new YAP flags 2015-06-18 00:05:49 +01:00
Vítor Santos Costa
c26b5f3175 increase the ignore list 2015-06-17 23:49:02 +01:00
Vítor Santos Costa
0ed3ee4fc4 enable path expansion by default 2015-04-24 10:03:44 -06:00
Vítor Santos Costa
3b4226bda1 cmake work 2015-04-21 16:12:18 -06:00
Vítor Santos Costa
e043e7595e minor incompats 2015-04-21 16:12:01 -06:00
Vítor Santos Costa
e963c59649 fix ProbLog path issues 2015-04-21 09:25:12 -06:00
Vítor Santos Costa
76cd423784 cmake support for bdd package 2015-04-20 01:21:19 +01:00
Vítor Santos Costa
4489616b19 fix current_pred 2015-04-19 04:13:12 +01:00
Vitor Santos Costa
800289f7bb weird module stuff 2015-04-15 11:45:49 +01:00
Vítor Santos Costa
b97fa48cd2 typo 2015-04-15 11:24:24 +01:00
Vítor Santos Costa
bf8beba466 more Android fixes 
merge trueFileName so that we don;t redo code
support rand48 and srand48
drop support for odbc and prolite, too much work.
 2015-04-15 11:21:15 +01:00
Vítor Santos Costa
ef586e264e android debugging plus clean-ups 2015-04-13 13:28:17 +01:00
Vitor Santos Costa
756a79995b cpp 2015-03-28 21:55:29 +00:00
Vítor Santos Costa
5d27ad0243 small stuff 2015-03-23 16:17:24 +00:00
Vítor Santos Costa
4eeacd8b7b compile myddas interface to sqlite 2015-03-23 07:27:10 +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
Vitor Santos Costa
6a0b6fad8b C++ interface and ARM/Android 2015-03-11 22:18:00 +00:00
Vitor Santos Costa
252a2b7868 bdd stuff 2015-03-08 02:15:53 +00:00
Vítor Santos Costa
65c97e7072 postgres 2015-03-04 09:59:42 +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
a9acacd1c5 android stopped working. 2015-03-04 09:43:37 +00:00
Vítor Santos Costa
291ec26d65 configuratio fixes 2015-02-17 20:26:46 +00:00
Vítor Santos Costa
a24c90334f first cut at postgres support 2015-02-16 11:44:37 +00:00
Vitor Santos Costa
1e57a2e978 path setup 2015-02-15 02:33:54 +00:00
Vitor Santos Costa
ada2ad44de basic myddas with SQLITE3 2015-02-14 11:35:07 +00:00
Vitor Santos Costa
dd22039a59 myddas 2015-02-11 23:44:16 +00:00
Vitor Santos Costa
61625ca7ad Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-02-11 10:33:43 +00:00
Vitor Santos Costa
eef8bc8629 myddas fixes 2015-02-11 10:33:35 +00:00
Vítor Santos Costa
9743c81f05 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2015-02-10 09:20:12 +00:00
Vítor Santos Costa
081b2a464e USE_MYDDAS when we have a driver for the DBMS 2015-02-10 09:17:59 +00:00
Vitor Santos Costa
afd8c9b9c4 blanks and backslashed strings 2015-02-10 00:03:02 +00:00
Vitor Santos Costa
2ca29d208f sqlite3 2015-02-09 10:19:15 +00:00
Vitor Santos Costa
a7ae565a75 configuration fix 2015-02-09 10:16:35 +00:00
Vítor Santos Costa
88e3d637ec C++ & swig 2015-02-09 01:53:28 +00:00
Vítor Santos Costa
bdcd06cf04 enable swig 2015-02-07 01:11:52 +00:00
Vítor Santos Costa
c802669cf4 cleanups 2015-02-05 01:05:08 +00:00
Vítor Santos Costa
e29b7afa1b fix warnings 2015-02-04 12:32:38 +00:00
Vítor Santos Costa
cc1702d4b5 fix uuid and warnings 2015-02-04 12:32:12 +00:00
Vítor Santos Costa
1f3245243c add SQLITE3, first patch 2015-02-04 10:53:04 +00:00
Vítor Santos Costa
409a79d93a autoconf 2015-02-03 03:00:52 +00:00
Vítor Santos Costa
34eb3bd62b bool 2015-02-03 03:00:37 +00:00
Vítor Santos Costa
3f8074ede9 inlining 2015-02-03 03:00:00 +00:00
Vítor Santos Costa
2f621e5b47 make user functions return bool 2015-02-03 02:37:25 +00:00
Vitor Santos Costa
36e4cbf98b move handles to a separate handle stack. 2015-01-30 07:25:34 +00:00
Vítor Santos Costa
9f945c152d cmake 2015-01-27 03:42:24 +00:00
Vitor Santos Costa
4a5a3d833a fix tyes. 2015-01-27 03:25:56 +00:00
Vítor Santos Costa
bc1e70758e cmake and jit 2015-01-26 04:02:46 +00:00
Vítor Santos Costa
bece9d05d8 JIT 2015-01-20 03:00:42 +00:00
Vítor Santos Costa
7ede2cde5e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	JIT/JIT_Compiler.cpp
	JIT/configure.in
	JIT/jit_analysispreds.c
	JIT/jit_transformpreds.c
	configure
	packages/cplint/Makefile.in
 2015-01-18 02:54:53 +00:00
Vítor Santos Costa
5c261da4f6 small fixes 2015-01-18 02:46:33 +00:00
Vitor Santos Costa
ce84e60d08 cosmetic 2015-01-18 01:32:13 +00:00
Vítor Santos Costa
ac9070f120 fix typos 2015-01-07 10:17:19 +00:00
Vítor Santos Costa
797dd6452d fix typing 2015-01-06 22:33:24 +00:00
Vitor Santos Costa
b3754795a2 warnings 2015-01-06 17:49:35 +00:00
Vitor Santos Costa
f42f2ff57d warnings 2015-01-05 16:14:03 +00:00
Vitor Santos Costa
fcf0f41312 infinity, try to fix the ffsll mess, warnings 2015-01-05 16:06:32 +00:00
Vítor Santos Costa
326a4de147 doc fixes 2015-01-05 08:46:11 +00:00
Vítor Santos Costa
3164ed2d61 doc support 2015-01-04 23:58:23 +00:00
Vitor Santos Costa
247371c095 cmake 2014-12-15 23:05:05 +00:00
Vitor Santos Costa
1591bfd00d cmake 2014-12-15 12:24:02 +00:00
Vítor Santos Costa
bad29b415d use real only 2014-12-15 01:12:51 +00:00
Vítor Santos Costa
93c8dd75e2 update 2014-12-15 01:11:58 +00:00
Vítor Santos Costa
374eb86c8a update 2014-12-15 01:11:11 +00:00
Vitor Santos Costa
656e27f5e0 mpi support 2014-12-14 16:44:52 +00:00
Vítor Santos Costa
90feb7f9f8 cmake support 2014-12-14 12:05:43 +00:00
Vitor Santos Costa
ff977fbad8 cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
Vítor Santos Costa
9f28f7e836 fix test cases 2014-11-28 03:21:32 +00:00
Vítor Santos Costa
0cebf08bfe small fixes 2014-11-28 02:35:25 +00:00