5b5e954dbc
use FeatureSummary
2017-07-30 22:24:00 +01:00
63a1957d8e
documentation.
2017-07-24 18:20:00 +01:00
1a78144190
keys_to_list
2017-07-05 03:36:42 +01:00
97aad19cd0
python vs modules
2017-06-15 22:40:55 +01:00
0d96197ddf
X_API
2017-06-12 18:00:47 +01:00
6a2d74ac6e
Merge branch 'master' of xato:0517
2017-05-19 10:03:49 +01:00
0320d8b49b
docs
2017-05-02 04:08:03 +01:00
70232133cc
docs
2017-04-13 21:42:34 +01:00
7063641a5b
Merge /Users/vsc/yap-6.3
2017-04-08 11:53:14 +01:00
4b350ccecc
jmp
2017-04-08 11:29:29 +01:00
faf3c930c8
docs
2017-04-07 23:10:59 +01:00
f3b0e962a7
win...
2017-02-22 21:28:05 +00:00
477772e703
Merge branch 'master' of http://www.github.com/vscosta/yap-6.3
2017-02-22 11:32:28 +00:00
fa88de5951
windows
2017-02-22 11:32:16 +00:00
65ff3ed471
Smaller updates:
...
constant use of longjmp
conflict with python headers
win32 support
dll support
2017-02-20 15:28:46 +00:00
cd18a69561
allocation
2016-12-16 03:39:12 -06:00
d81e077cbe
try to avoid unneeded malloc
2016-12-10 01:04:37 -06:00
ea72cd09e3
rxamples were broken
2016-12-05 20:49:10 -06:00
6a4dbd91ec
merge text to term routines
2016-12-04 12:52:42 -06:00
d37e198c12
signals
...
doc support
2016-11-23 22:35:39 -06:00
8d1cc35a8a
docsc
2016-11-16 17:17:33 -06:00
56905d86ae
more Android adjusts
2016-11-16 17:15:12 -06:00
b03e0634c7
fixes + win64
2016-11-08 01:37:36 -06:00
02e0e50915
Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3
2016-11-02 00:16:36 -05:00
8f72db3b56
fixes
2016-10-19 22:38:17 -05:00
08dd1dcdb3
python
2016-10-16 17:18:51 -05:00
df0ee8eaeb
broken
2016-10-10 15:36:51 -05:00
94cde0bf18
Merge branch 'master' of https://github.com/vscosta/yap-6.3
2016-09-23 01:38:09 -05:00
bee39cb385
MALLOC
2016-09-23 01:37:36 -05:00
298b287859
op
2016-09-23 01:37:18 -05:00
df8b264751
meta stuff
2016-09-20 22:53:33 -05:00
04ff54917e
Android support
2016-08-30 08:29:40 -05:00
85a88feb6f
fix assert/2 given name chancge
2016-08-26 15:23:37 -05:00
f2c6c85c17
PATH
2016-08-23 17:40:35 -05:00
6148e8199f
linux_weird
2016-08-23 15:08:36 -05:00
9ed1546ee6
bad calls to text.c
2016-08-23 00:58:42 -05:00
a675f6f49e
chars
2016-08-22 17:01:31 -05:00
2a9a88c325
add a new split and filter
2016-08-16 09:49:43 -05:00
fab0075f9b
new text interface
2016-08-15 15:30:26 -05:00
ca2dfeb51e
cmake vs libraries
2016-08-02 18:30:02 -05:00
0c305e8ce3
android
2016-07-31 10:26:36 -05:00
9ad6bc3120
boot
2016-07-31 10:26:14 -05:00
5584eb1a55
Android support
2016-07-31 04:56:54 -05:00
30593e86d6
indenting
2016-04-22 18:25:10 +01:00
96f03e26e8
fix WIN stuff
2016-04-18 16:41:30 +01:00
37649b7d1a
windows support
2016-04-17 17:10:58 -07:00
1aa20e24b7
misc_bugs_when_compiling_problog
2016-04-14 12:00:09 +01:00
65f1cb9741
win64 support: encodings
2016-04-10 06:21:17 -07:00
fa650a6440
simplelog
2016-04-06 00:26:16 +01:00
7bf8a20f1b
android
2016-04-05 08:02:02 +01:00
f3e8b8b3da
indenting; warning; exceptions; small fixes
2016-03-29 02:02:43 +01:00
cec2e9638a
typo
2016-03-05 12:41:29 +00:00
0fc0e96306
error should not be needed,
2016-03-05 12:30:13 +00:00
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
56e9a8f8d9
add stub for SWI compat
2016-02-26 18:25:07 +00:00
1f29aea94b
clean-up
2016-02-26 17:53:20 +00:00
d8a7d05e01
typo
2016-02-26 17:52:34 +00:00
733a03beef
bootlist
2016-02-26 17:49:50 +00:00
e9712bc9ab
we own bootlist
2016-02-26 17:41:55 +00:00
0e7cc378af
shuffle list ops around
2016-02-26 17:29:54 +00:00
b7ee47ce46
facilitate peek processing when using system locale.
2016-02-20 21:50:06 +00:00
ef06ebe698
fix missing var warning
2016-02-20 20:40:23 +00:00
56024b2a2c
Eyal Dechter: The YAP version of assoc.pl has gen_assoc(Assoc, Key, Value). Both SWI and Sicstus use gen_assoc(Key, Assoc, Value). Could it be changed for compatibility with the other systems?
2016-02-18 19:41:11 +00:00
9860b6244f
small changes
2016-02-13 03:11:25 +00:00
485d20d908
related changes
2016-02-11 06:20:16 -08:00
c8305988ca
Merge branch 'master' of github.com:vscosta/yap-6.3
2016-02-03 10:17:01 +00:00
143684731e
foreign files
2016-02-03 09:22:23 +00:00
7aba41e7c2
cleanup
2016-01-31 19:41:10 +00:00
3966bf2ee1
windows dlls, meet thy mxmake
2016-01-20 22:25:25 +00:00
f7207f3c9d
Inconsistent error codes
2016-01-20 22:19:43 +00:00
a2f1ed92ea
syntax error
2016-01-20 22:18:52 +00:00
cfbbf6e97e
avoid depending on library/...
2016-01-05 03:32:51 +00:00
5fd4add82b
Hide and Seek
2016-01-04 17:18:43 +00:00
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
bd208fe63e
new files
2016-01-03 03:21:00 +00:00
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
15404b3835
small
...
- do not call goal expansion on meta-calls (that is done by undef).
- docs updates
- fix init code
2015-12-15 09:28:43 +00:00
ce8a19d381
Add documentation
2015-11-18 15:06:25 +00:00
4cea2839e4
add read_line_to_string
2015-11-13 13:23:49 +00:00
120d6ff19a
add missing directory_files/2
2015-11-13 13:21:21 +00:00
a91796e4c8
Follow actual syntax
2015-11-12 14:53:14 +00:00
e04dd14bed
md5 support
2015-11-05 19:22:40 +00:00
4cbeb6df39
oops....
2015-11-05 17:27:20 +00:00
e4bfb263a0
md5 is in
2015-11-05 16:58:31 +00:00
4a200c3601
take your own MD5, use version in Python/SWI
2015-11-05 16:14:45 +00:00
b0f3cda2d7
Import MD5 support, Macs are weird
2015-11-05 15:38:39 +00:00
bcdfdeb65d
fix pthread complaining
2015-10-22 00:33:38 +01:00
c4aae66f3e
submods work
2015-10-13 09:10:53 +01:00
b6130b0e7d
long range errors and other fixes
2015-10-13 02:21:10 +01:00
9595bb4e6e
warning
2015-10-09 19:06:07 +01:00
b3cc23ce64
IO patches
...
simplify error handling
use get and inject
use wide support in OS
be stricter in checkin streams and arguments
2015-10-08 02:23:45 +01:00
263fdf330d
fix bad substitute
2015-10-05 10:32:31 +01:00
c8ea14057c
cleanup
2015-09-30 00:09:42 +01:00
1ef7eeabdf
fix files dragged in
2015-09-30 00:02:59 +01:00
f81f31a5f7
fix bad global replacement
2015-09-29 23:51:09 +01:00
db2cf949b4
oops
...
Signed-off-by: Vítor Santos Costa <vsc@dcc.fc.up.pt>
2015-09-29 23:24:33 +01:00
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
880a9989c3
small changes
2015-08-18 15:08:52 -05:00
4cd70e68ce
imrove python support
...
make syntax as Python-like as possible
get close to real.
2015-08-18 15:03:21 -05:00
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
d4f49a20ba
missing files
2015-07-24 21:28:04 -05:00
1d6f9981e1
mkdir and small stuff
2015-07-06 12:04:42 +01:00
59de30d606
cmake & text support
2015-06-19 01:29:28 +01:00
84b5fcce77
cmake & text support
2015-06-19 01:29:16 +01:00
0552edce2c
SWI i/O lib
2015-06-19 01:13:46 +01:00
5746edafaf
new atoms, terms and slight functionality
2015-06-19 00:56:24 +01:00
c652f79f26
old swi library: replace by original yap code
2015-06-18 01:47:23 +01:00
14330244df
unicode
2015-06-18 01:15:50 +01:00
c26b5f3175
increase the ignore list
2015-06-17 23:49:02 +01:00
0ed3ee4fc4
enable path expansion by default
2015-04-24 10:03:44 -06:00
18fee4eee1
fix exec and wait;
...
support OpenSSL's md5.
2015-04-22 14:19:14 -06:00
db6074f839
cmake work
2015-04-21 16:12:39 -06:00
ef586e264e
android debugging plus clean-ups
2015-04-13 13:28:17 +01:00
206d6cebcf
autoloading is an import, like any other
2015-03-28 20:13:28 +00:00
5150dcae3d
file_select
2015-03-20 12:50:06 +00:00
272d28ae5f
android
2015-03-16 17:25:09 +00:00
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
7cceb655b3
protect against crashes in bad user code
2015-03-11 22:23:31 +00:00
82d4716339
better compat with bdds
2015-03-11 22:21:48 +00:00
252a2b7868
bdd stuff
2015-03-08 02:15:53 +00:00
a40c205d5f
New files
2015-03-04 10:02:25 +00:00
5b19e9546a
fix foreach
2015-03-04 09:59:05 +00:00
5ea3fcd08f
men at work
2015-03-04 09:52:34 +00:00
48c87bd775
support fpr conj etc
2015-03-04 09:52:06 +00:00
da83ad447c
make var names available as a global var
2015-03-04 09:44:26 +00:00
e4b0b8c0df
export
2015-02-17 20:27:31 +00:00
1e57a2e978
path setup
2015-02-15 02:33:54 +00:00
2d919a4a09
MPI fixes
2015-02-11 01:50:59 +00:00
41baec9f6e
c_interface still kicks
2015-02-09 10:31:50 +00:00
ba978d8275
just in time native code: now compiles by doing cmake; make.
...
no workie in this version, though :)
2015-02-06 18:11:52 +00:00
42d7b305c0
patch by Fab. Riguzzi to fix MPI interface
2015-02-06 18:11:44 +00:00
7b4cd0d256
patch by Fab. Riguzzi to fix MPI interface
2015-02-06 18:08:06 +00:00
30664a5344
cmake
2015-02-03 02:40:41 +00:00
4526350113
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
2015-01-30 07:26:01 +00:00
36e4cbf98b
move handles to a separate handle stack.
2015-01-30 07:25:34 +00:00
75985b8fff
Corrected a memory leak problem
2015-01-29 15:18:09 +00:00
d9357d3f49
fix mpi
2015-01-27 03:16:07 +00:00
d023e2e493
search lib64 before lib
2015-01-26 09:44:39 +00:00
61a47b2874
cmake
2015-01-26 04:18:00 +00:00
bc1e70758e
cmake and jit
2015-01-26 04:02:46 +00:00
bece9d05d8
JIT
2015-01-20 03:00:42 +00:00
a2cd68f1ca
minor dbtries bug
2015-01-16 14:33:53 +00:00
fcf0f41312
infinity, try to fix the ffsll mess, warnings
2015-01-05 16:06:32 +00:00
5053cfb571
fix recent typos
2015-01-05 12:21:58 +00:00
3164ed2d61
doc support
2015-01-04 23:58:23 +00:00
53877ad426
docs
2014-12-24 15:32:29 +00:00
ad2df06d2b
doc support
2014-12-19 23:47:50 +00:00
535135b21c
cmake
2014-12-15 13:37:53 +00:00
656e27f5e0
mpi support
2014-12-14 16:44:52 +00:00
Vitor Santos Costa
Theo