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

163 Commits

Author SHA1 Message Date
Vitor Santos Costa
7219992154 android 2018-02-15 00:02:44 +00:00
Vitor Santos Costa
e93c01f8e0 asserts 2018-02-14 14:17:57 +00:00
Vitor Santos Costa
fe496e840d android 2018-02-14 00:13:13 +00:00
Vitor Santos Costa
645b2c7d93 boot 2017-12-05 15:14:57 +00:00
Vitor Santos Costa
3688819ea2 iandroid 2017-11-29 13:47:57 +00:00
Vitor Santos Costa
06485f071a iandroid 2017-11-21 15:44:43 +00:00
Vitor Santos Costa
746a4b4ef8 Support sqlite3, basic ops 2017-11-18 00:04:42 +00:00
Vitor Santos Costa
8baaa70cec sqlite is always available 2017-10-18 17:02:27 +01:00
Vitor Santos Costa
6b0478db00 anaconda 2017-10-11 02:24:15 +01:00
Vitor Santos Costa
98a5538f45 a question of size 2017-09-19 13:19:13 +01:00
Vitor Santos Costa
abdc8a35f9 cmmake 2017-09-06 01:09:46 +01:00
Vitor Santos Costa
a115024aee Merge http://www.github.com/vscosta/yap-6.3 2017-09-03 10:49:16 +01:00
Vitor Santos Costa
b2c8b9a06e setup_call 2017-08-21 12:41:15 +01:00
Vitor Santos Costa
5b5e954dbc use FeatureSummary 2017-07-30 22:24:00 +01:00
Vitor Santos Costa
75befc69f7 Merge /home/vsc/github/yap-6.3 2017-07-25 01:11:16 +01:00
Vitor Santos Costa
963752fa9c Android support, 2017-07-25 01:10:44 +01:00
Vitor Santos Costa
63a1957d8e documentation. 2017-07-24 18:20:00 +01:00
Vitor Santos Costa
0c46c894d3 python support 2017-05-27 22:54:00 +01:00
Vitor Santos Costa
87851a68f4 documentation support 2017-05-19 09:54:35 +01:00
Vitor Santos Costa
6e7846e210 docs 2017-05-02 07:42:21 +01:00
Vitor Santos Costa
70232133cc docs 2017-04-13 21:42:34 +01:00
Vitor Santos Costa
4b350ccecc jmp 2017-04-08 11:29:29 +01:00
Vitor Santos Costa
65ff3ed471 Smaller updates: 
constant use of longjmp
conflict with python headers
win32 support
dll support
 2017-02-20 15:28:46 +00:00
Vitor Santos Costa
b07a35a993 Merge branch 'master' of https://github.com/vscosta/yap-6.3 2016-12-04 12:49:17 -06:00
Vitor Santos Costa
d37e198c12 signals 
doc support
 2016-11-23 22:35:39 -06:00
Vitor Santos Costa
f44ef18fed fix atom_to_term and increase sharing on CUDD stuff 2016-11-23 17:23:59 -06:00
Vitor Santos Costa
8d1cc35a8a docsc 2016-11-16 17:17:33 -06:00
Vitor Santos Costa
0be43c6525 fix scripts 2016-11-11 09:53:09 -06:00
Vitor Santos Costa
c49165a7af Android aupport 2016-11-11 01:23:34 -06:00
Vitor Santos Costa
b03e0634c7 fixes + win64 2016-11-08 01:37:36 -06:00
Vitor Santos Costa
04ff54917e Android support 2016-08-30 08:29:40 -05:00
Vitor Santos Costa
04b1d2bafb skip msg 2016-08-05 16:44:15 -05:00
Vitor Santos Costa
ca2dfeb51e cmake vs libraries 2016-08-02 18:30:02 -05:00
Vitor Santos Costa
3ff5ddf04a twice included 2016-08-02 18:29:57 -05:00
Vitor Santos Costa
69c3a54cb6 annoying msg 2016-08-02 18:29:35 -05:00
Vitor Santos Costa
a82a72fc14 myddas cleanups 2016-08-01 19:16:39 -05:00
Vitor Santos Costa
81c00f9736 compilation support 2016-08-01 06:54:28 -05:00
Vitor Santos Costa
bff0440b64 out-of-date 2016-07-31 12:46:53 -05:00
Vitor Santos Costa
ee03af37fb new version of python interface 2016-07-31 10:09:21 -05:00
Vitor Santos Costa
728edb6b0a new version of myddas 
fix modules
integrated myydas_driver.ypp for common stuff
test sqlite3
 2016-07-31 10:02:06 -05:00
Vitor Santos Costa
786cfb71ad python 2016-04-12 16:22:53 +01:00
Vitor Santos Costa
65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
Vitor Santos Costa
b7eb38fc44 shffle 2016-04-05 23:56:25 +01:00
Vitor Santos Costa
d680fa0755 missing 2016-04-05 08:18:09 +01:00
Vitor Santos Costa
93bba89d52 indenting + fix compilation 2016-04-05 08:09:39 +01:00
Vitor Santos Costa
2e238f6bc1 unify java 2016-04-05 07:48:01 +01:00
vscosta
396bd2f8c3 indenting, + don't use men streams in Android 2016-04-05 02:18:47 +01:00
Vítor Santos Costa
f20599478e consult Yap.h to get ocnfig.h 2016-03-03 23:21:45 +00:00
Vítor Santos Costa
0ccee1aa55 Merge /Users/vsc/tmp/yap-6.3w 2016-02-28 19:43:26 +00:00
Vítor Santos Costa
2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
 2016-02-28 19:32:55 +00:00
Vítor Santos Costa
675befae75 CRLF kind of magic 2016-02-28 19:29:30 +00:00
Edward J. Schwartz
693272ecdf Fix build when odbc is not available 2016-02-16 09:20:41 -05:00
Vítor Santos Costa
3966bf2ee1 windows dlls, meet thy mxmake 2016-01-20 22:25:25 +00:00
Vítor Santos Costa
50c8724322 linux backport 
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
 2016-01-04 14:11:09 +00:00
Vítor Santos Costa
c0f00e7a0f missing file 2016-01-04 02:21:05 +00:00
Vítor Santos Costa
99e0458e15 missing file 2016-01-04 02:14:05 +00:00
Vítor Santos Costa
661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vitor Santos Costa
3aeebed2cf postgres 2015-11-09 18:21:54 +00:00
Vítor Santos Costa
5db391b60a separate DB dependent from DB index. 2015-11-05 17:06:15 +00:00
Vítor Santos Costa
036876299f first step on separating drivers from library 2015-10-28 09:30:36 +00: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
63c2fa3c6b warning, postgres 2015-06-19 01:19:48 +01:00
Vítor Santos Costa
3b4226bda1 cmake work 2015-04-21 16:12:18 -06:00
Vítor Santos Costa
76cd423784 cmake support for bdd package 2015-04-20 01:21:19 +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
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
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
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
081b2a464e USE_MYDDAS when we have a driver for the DBMS 2015-02-10 09:17:59 +00:00
Vitor Santos Costa
2ca29d208f sqlite3 2015-02-09 10:19:15 +00:00
Vítor Santos Costa
e29b7afa1b fix warnings 2015-02-04 12:32:38 +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
2f621e5b47 make user functions return bool 2015-02-03 02:37:25 +00:00
Vítor Santos Costa
bc1e70758e cmake and jit 2015-01-26 04:02:46 +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
Vitor Santos Costa
2be225c17a small warnings. 2014-11-25 16:42:35 +00:00
Vítor Santos Costa
c440ab239b doc changes 2014-11-02 12:10:32 +00:00
Vítor Santos Costa
b5a43ae9ff improve autoconf 2014-10-25 16:46:13 +01:00
Vitor Santos Costa
b108380cfc utf8 2014-10-09 10:49:51 +01:00
Vitor Santos Costa
56a1e11656 Carlos: fix catalogues. 2014-10-02 23:24:04 +01:00
Vítor Santos Costa
8eec3113be improve docs 2014-09-15 03:13:50 -05:00
Vitor Santos Costa
b7ae9cb45e documentation improvemeents 2014-09-13 00:26:46 -05:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
19d0f56f2d fix arena initialization 2014-08-23 14:47:40 -05:00