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
90feb7f9f8
cmake support
2014-12-14 12:05:43 +00:00
ff977fbad8
cmake support: first cut from David Vaz work.i
2014-12-04 07:59:30 +00:00
197a943cd3
support search for predicates
2014-11-28 02:34:43 +00:00
d526545bc9
Merge branch 'master' of github.com:vscosta/yap-6.3
...
Conflicts:
C/sysbits.c
C/threads.c
2014-11-27 15:15:22 +00:00
624183b78e
more thread work to cean-up mutexes. Not finshed yet
2014-11-25 19:52:51 +00:00
1ca062f558
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
2014-11-25 12:04:05 +00:00
bb8ea9a27d
fix current and system predicate
2014-11-25 12:03:48 +00:00
cd4b9602ae
depth breadth trie corrections and more :-)
2014-11-19 16:41:10 +00:00
135e9127b1
warnings
2014-11-10 01:52:01 +00:00
24920a230f
Merge branch 'master' of https://www.github.com/vscosta/yap-6.3
2014-11-09 17:30:15 +00:00
d8c4ea4364
support intptr_t and uintptr_t in swi api
2014-11-09 11:18:03 +00:00
7e6ab7b0d2
Newest version of dbtries (several improvements and corrections of bugs) and the removal of a warning from flags
2014-11-04 18:04:54 +00:00
f993421ac8
fix longint < intptr_t warnings
...
Handle printf mess
2014-10-30 07:41:30 +00:00
75c1e87470
callable strikes again.
2014-10-20 15:44:13 +01:00
0cd0ece207
make error handling for callable more ISO like.
2014-10-19 12:48:14 +01:00
f5b48e3f82
Removed a few inline definitions
2014-10-16 18:26:16 +01:00
44d38d3018
Theo corrected a bug in the dbtries implementation
2014-10-15 20:53:32 +01:00
b9236fa5fa
Theo corrected a bug in the dbtries implementation
2014-10-15 19:55:40 +01:00
186adc2053
More thread fixes, including true anonymous mqueues, worker_id for sequential,
...
support for arithmetic exceptions on mac, fixes for with_mutex, fixes for dangling pointers
in thread termination. Uuufff...
2014-10-14 15:53:24 +01:00
427c3ecf54
fix operators.
2014-10-05 23:53:47 +01:00
74c136b986
reorganise code to avoid duplicate goal_expansion.
2014-10-02 14:31:14 +01:00
28c10dbefc
fix meta decl to agree with new name.
2014-10-02 14:20:28 +01:00
f415e16b79
typo
2014-09-25 09:48:00 +01:00
66a95e96c0
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
...
Conflicts:
library/matrix.yap
pl/qly.yap
2014-09-23 22:46:19 +01:00
ed3f0a8b74
use of as part of the phrase, not as main operatorSr
2014-09-23 22:39:20 +01:00
f29e017c63
documentation update.
2014-09-22 18:12:57 +01:00
8461026303
fixes for win64 compilation.
2014-09-16 19:15:56 +01:00
df0ec5bc96
more doxygen fixes
2014-09-15 14:57:46 -05:00
6453ca395c
more doc changes
2014-09-15 13:42:35 -05:00
8eec3113be
improve docs
2014-09-15 03:13:50 -05:00
b7ae9cb45e
documentation improvemeents
2014-09-13 00:26:46 -05:00
882eaca30c
updates to documentation
2014-09-12 18:50:04 -05:00
3009987985
update docs
2014-09-11 14:06:57 -05:00
9e7257978c
cleanup
2014-09-09 23:55:47 -05:00
99713d81a6
replace locks by critical sections in interrupt handling
2014-09-02 14:19:23 -05:00
19d0f56f2d
fix arena initialization
2014-08-23 14:47:40 -05:00
109597ab91
small cleaning.
2014-08-20 09:58:33 -05:00
b7d97bf4f6
needs maplist library.
2014-08-20 07:55:44 -05:00
55910b4610
stuff
2014-08-17 15:33:57 -05:00
ed608db282
make goal expansion more readable
2014-08-06 10:25:08 -05:00
a8e301c486
the old R ibrary has been removed from the system.
2014-08-04 21:29:41 -05:00
bc16bf83ec
small fixes
2014-08-04 09:47:03 -05:00
ce8a4b6958
module fixes plus add better docs
2014-07-17 12:19:38 -05:00
d4bffbaefd
fix warnings
2014-06-19 15:09:44 +01:00
e8f2c37000
fix syntax error in using time.
2014-06-16 17:00:09 +01:00
ef59cdc50c
swi is no longer a module, so needs no windows init code
2014-06-16 14:58:28 +01:00
f00a6d5a40
small bugfixes and leaks, patch by João Silva
2014-06-14 10:27:39 +01:00
059884bc03
Android
2014-06-11 19:36:50 +01:00
a76b6d23dc
Fix: eclipse >u. into >y_u.
2014-05-30 01:06:09 +01:00
e3674e1223
fix: warningss
2014-05-30 01:01:58 +01:00
0b2dff96d3
maplist: move docs to doxygen; add doxygen.
2014-05-27 22:44:03 +01:00
5f72d8c332
purge duplicated content.
2014-05-25 20:53:24 +01:00
dee3774bbc
fix small EClipse complaints
2014-05-25 20:50:07 +01:00
99ab3fb748
no need to use PROTO.
2014-05-25 20:48:44 +01:00
279a057d80
use mktemp instead of tmpname
2014-05-25 10:21:28 +01:00
b532fbd0b9
Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3
...
Conflicts:
C/write.c
2014-05-14 18:00:25 +01:00
e0d0543e52
fix removeSlots and more documnetation.
2014-05-14 17:59:08 +01:00
596768a56b
documenetation .
2014-05-14 10:01:11 +01:00
24b90ae6bd
doc changes
2014-05-12 17:49:11 +01:00
549b4dd834
add header
2014-05-05 14:01:21 +01:00
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
426d952894
add listing.yap
2014-05-05 13:53:39 +01:00
7393dd1405
:dummy library, for now.
2014-05-04 23:15:10 +01:00
6738682c26
handle int64 in 32 bits no gmp as floats..
2014-05-04 22:26:53 +01:00
d58dcdc3e6
portability.
2014-04-29 18:17:23 +01:00
aba5f3d88b
handle locking more carefully (especially protect gc and stack shifting).
2014-04-23 22:41:12 +01:00
c629ae9283
doc updates
2014-04-09 12:39:52 +01:00
41e1980f83
fix memory leaks
2014-03-20 13:33:17 +00:00
e6fbba4030
fix bad copy to S
2014-03-18 19:32:10 +00:00
f0d8ee91d0
fix foldl2
2014-03-18 17:27:56 +00:00
0e1b1dd4bc
remove debugging
2014-03-18 17:27:12 +00:00
5a73c525e9
Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3
2014-03-15 22:48:12 +00:00
228bc76a35
Eclipse Support
2014-03-13 16:57:21 +00:00
4591e1baaf
Eclipse stuff
2014-03-13 12:54:06 +00:00
242f585484
Eclipse stuff
2014-03-13 12:52:08 +00:00
0602031bd9
win64
2014-03-11 15:36:02 +00:00
2c89aadb11
WIN64 support (sill needs improvement)
2014-03-06 02:09:48 +00:00
b7fbd08f7a
signal handling
2014-03-04 12:03:14 +00:00
3da5cc5977
check libpthread in win32
2014-02-22 22:48:29 +00:00
f264859483
- versioning in macos
...
- fixes to input/output to improve interaction with eclipse console.
-
2014-02-20 10:38:18 +00:00
964b15d107
keep on simplifying configure.
2014-02-18 07:59:47 +00:00
6a1302221c
change to support autoheaders
2014-02-16 13:03:09 +00:00
1bd528198a
more configuration fixes
2014-02-15 01:24:07 +00:00
1d27d22ef0
big makefile cleanup
2014-02-13 01:58:48 +00:00
bfc94cbbe5
fix matlab autoconf
2014-02-10 23:55:35 +00:00
9a46cdac9b
clean up makefile
2014-02-10 23:31:33 +00:00
f11b0518a8
string support
2014-02-06 21:55:35 +00:00
1e88998375
realclean support
2014-02-03 16:34:13 +00:00
9e2a2b75b9
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
...
Conflicts:
library/dialect/swi/fli/swi.c
packages/real
2014-02-02 21:52:14 +00:00
ae0ab6fa86
improve SWI
2014-02-02 21:46:33 +00:00
327c1216e4
fixes to SWI interface
2014-01-28 13:01:27 +00:00
d648375412
make MYDDAS into its own module.
2014-01-24 19:59:42 +00:00
6b2e1973ab
Windows fixes, mainly H -> HB
2014-01-19 21:15:05 +00:00
a8e1b91fd5
make length explicit in buffer conversion
2013-12-15 08:37:10 +00:00
6402360691
fix S handling in new interrupt code
2013-12-14 12:35:18 +00:00
88e188bece
fix excessive trail trimming in SWI call emulation
2013-12-11 09:04:59 +00:00
ba2c0ca2a0
support no trace predicates
2013-12-11 01:05:51 +00:00
adea3bdb24
more string fixes and get_code
2013-12-08 19:12:24 +00:00
d7397b43af
new text conversion and string code (big changes, take care please)
2013-12-02 14:49:41 +00:00
3edb01f5f7
more reflection updates
2013-11-26 10:40:00 +01:00
acea59a82a
avoid \!
2013-11-25 12:16:36 +01:00
ed2ecb29e7
exten support and small fixes
2013-11-25 12:15:03 +01:00
de606255bb
extend blob interface
2013-11-22 15:16:54 +00:00
7c48eb8ff7
move call_structure where it cannot be messed up by stack shifter
2013-11-21 21:59:14 +00:00
f1f64bf25c
printwarning
2013-11-21 00:22:03 +00:00
d75e6b56e5
handles in SWI and changes in exports
2013-11-20 22:29:51 +00:00
b76be1b33f
support for quasi quotations, requires more integration with SWI code.
2013-11-18 12:57:09 +00:00
84bd55df0d
continue cleanup
2013-11-16 00:27:02 +00:00
9eb07a8c8a
more cleanups
2013-11-15 15:45:55 +00:00
4e4f21e1dc
upgrade to latest swi
2013-11-15 01:10:25 +00:00
4fa9021a7b
integration work:
...
- use SWI flags whenever possible
- support by module unknown, escapes, strings
- accesss thread info fom SWI
- allow strings to be input as strings.
- remove some unused flags.
2013-11-13 10:38:20 +00:00
153794e14b
support win32
2013-11-11 00:28:38 +00:00
0205a222d9
Attached is a small patch to respect any LDFLAGS when building
...
library/lammpi or packages/CLPBN/horus.
Keri Harris
2013-11-10 11:22:54 +00:00
6793a1f83b
fix thread-only compilation
2013-11-04 21:41:49 +00:00
f2b90a1bb0
improve thread signal support, still far from good
2013-11-04 15:31:26 +00:00
d2ed850643
separate cplint and mpi interface.
2013-11-04 13:16:14 +00:00
a2842ef9ce
missing new files
2013-11-04 08:16:52 +00:00
3977ceee60
fix excessive inlining
2013-11-04 01:07:44 +00:00
1ede2112c6
distributed configure
2013-11-03 23:55:09 +00:00
fe154e87a5
lam_mpi configuration (again).
2013-10-29 16:17:16 +00:00
96611027f3
SWI likes nth/4
2013-10-29 12:41:56 +00:00
691e977a68
cuda fixes by Carlos and other diverse (fact init, configure).
2013-10-12 12:46:01 +01:00
30b567ae66
fix reexport issues and duplicated definitions
2013-10-04 18:18:04 +01:00
43163a190f
Atom Translations and CUDA stub
2013-10-04 13:22:00 +01:00
1c9167a6c5
small fixes
2013-10-03 11:28:09 +01:00
937077d51b
booleans and more fixes
2013-09-30 00:20:00 +01:00
1ee58c5922
use attributed variables
2013-09-29 17:41:02 +01:00
7cf1b68c3a
documentation and small fixes; also call for foreach
2013-09-29 11:31:18 +01:00
e19b58cf53
use new matrix functionality
2013-09-28 11:11:42 +01:00
b64965f22c
new mapargs
2013-09-28 11:10:55 +01:00
8c9025cdb4
improve and document matrix package
2013-09-28 11:09:57 +01:00
3d863b1058
improve and document matrix package
2013-09-28 11:09:32 +01:00
dd17f5a3aa
include mapargs as separate support
2013-09-28 11:08:34 +01:00
efddaab558
sudoku and for
2013-09-21 23:23:42 +01:00
e7477d9888
foreach + fold (idea from BProlog)
2013-09-20 01:42:50 +01:00
0f45b3dc42
foreach on matrices (idea from BProlog)
2013-09-20 01:16:25 +01:00
28ff95f8de
progress with matrix package
2013-09-19 17:59:37 +01:00
285c61b87f
development commit
2013-09-19 14:35:31 +01:00
b2dcbe961c
development commit
2013-09-19 14:34:44 +01:00
5cd9720593
DFA and TupleSet
2013-09-12 10:17:59 +01:00
9d4c7a5c8c
include min and max of lists
2013-09-11 22:01:18 +01:00
23b860a977
scalar_product and a fix
2013-09-11 14:53:43 +01:00
b30f0eafdf
fixes to clpbn interface
2013-09-11 13:04:39 +01:00
12d1e17dd3
first cut at supporting TupleSets
2013-09-11 12:31:07 +01:00
99ab8e541b
improve CLP support
2013-09-11 12:30:31 +01:00
52c0d8a8de
first cut at supporting TupleSets
2013-09-11 12:29:49 +01:00
46c3c4546f
examples
2013-09-10 09:57:26 +01:00
77e1d9425b
improve clpfd emulation
2013-09-10 00:53:54 +01:00
eadfdbd646
clp like interface to gecode
2013-09-09 23:48:44 +01:00
cda2e3bffe
clp like interface to gecode
2013-09-09 23:48:02 +01:00
6966d23195
fix P details when creating execution environment: we should save the old one
2013-09-08 22:24:09 +01:00
4c148cc0d3
fix bad setup of goal (SWI emulatin for JPL, Sergio Castro)
2013-09-07 01:03:27 +01:00
a1b5764527
gecode: clone by default (oops)
2013-09-05 00:47:37 +01:00
9932aff5c4
gecode: clone by default
2013-09-05 00:46:00 +01:00
ef82f25594
control changes for gecode
2013-09-05 00:26:54 +01:00
90c70459be
fix FloatVar code
2013-09-04 17:11:22 +01:00
614e7ab856
initialize FloatVar
2013-09-04 17:01:37 +01:00
6ab396ee85
support for gecode 4, reification, initial floats
2013-09-04 04:50:32 -05:00
bc992f552f
use new notation
2013-07-16 07:59:38 -05:00
459ab89d7d
more ezo stuff
2013-06-28 21:15:03 -05:00
e50f62ba3f
accumulator first try
2013-06-22 00:26:43 -05:00
44dccc00bb
fix exception passing from SWI
2013-06-20 12:11:29 -05:00
4826d92709
exo updates
2013-06-05 23:00:57 +01:00
889279cd81
fix prototype
2013-06-03 23:46:09 +01:00
933ee11985
add a second selectlist
2013-06-03 16:39:48 -05:00
c04f04d078
more exo fixes.
2013-04-29 16:19:43 -05:00
72cc5bc317
generalise interval handling
2013-04-29 11:58:05 -05:00
edbc21dcb0
fix typo
2013-04-26 18:23:17 -05:00
6480f75b23
compile conditionally on HAVE_MPI_H.
2013-04-26 18:12:23 -05:00
2c49edb975
more exo stuff
2013-04-25 09:48:06 -05:00
66af6f7642
fix quotes
2013-04-08 17:51:55 -05:00
439b7e293f
use --showme in lammpi.
2013-04-08 17:20:13 -05:00
230debfb44
enable compiling, but needs fixing YAP_Write
2013-04-07 00:01:46 +01:00
a599699f0c
new dgraph path predicate
2013-03-24 09:12:55 -05:00
b88dcb86ab
fix tid lookup
2013-03-10 16:44:46 -05:00
7f758cf103
SWI expects thread IDs to be like addresses
2013-03-10 16:39:54 +00:00
d59afea65e
fix determinacy
2013-03-05 15:46:40 -06:00
e27ceac1aa
fix extra cp
2013-02-14 20:42:23 -06:00
9fb63762dc
delete_file should be SICStus compatible
2013-02-12 16:21:26 -06:00
9f49512497
make SWI exec safer
2013-02-06 00:17:09 +00:00
33da88be5b
fix SWI exec issues and try to clean up the code a bit
2013-02-05 14:22:17 +00:00
e87a4f4f56
handle exec flags
2013-01-18 14:26:24 +00:00
e7da973009
FreeBSD support by mei
2013-01-17 12:59:52 +00:00
33714b14b9
atom completion in readline
2013-01-17 12:43:01 +00:00
7407ecb60c
SWI extension including write variable_names
2013-01-17 00:17:02 +00:00
e85e76cd57
update to newer pl-file.c and pl-write.c.
2013-01-15 16:51:55 +00:00
84b0529060
improve prism compatibility (fix asia).
2012-12-14 08:26:56 +00:00
e41f821d67
improve multi-threading support from C-interface. Still not quite there.
2012-12-11 22:07:10 +00:00
7fe1f20200
indenting
2012-12-07 08:07:30 +00:00
2a737fe22b
small speedups
2012-11-05 13:49:49 +00:00
06051f05fb
fix swi interface.
2012-10-28 18:21:11 +00:00
139b06115e
range builtins
2012-10-23 14:55:17 +01:00
bb71204a11
small tests for MPI interface
2012-10-11 13:47:29 +01:00
3f6e56eb82
fix overflow in SWI interface code.
2012-10-09 16:30:18 +01:00
b0ddda1fde
fix PL_is_list
2012-10-08 18:26:40 +01:00
daf9f589b9
cleanup now in system
2012-10-08 18:26:05 +01:00
a3757ddbd7
more examples.
2012-10-02 15:16:30 +01:00
c8468f6391
add foldl4
2012-10-02 08:47:27 +01:00
55f28a75ab
be a bit more careful saving state.
2012-09-26 22:07:47 +01:00
419bd2b219
Fix WriteBuffer and add WriteDynamicBuffer
2012-09-18 23:07:32 +01:00
Vítor Santos Costa
Theo
U-vsc-PC\vsc
Vitor Santos Costa
U-w7\vsc