Vítor Santos Costa
f1f64bf25c
printwarning
2013-11-21 00:22:03 +00:00
Vitor Santos Costa
6d773a3189
use SWI opts for read
2013-11-20 22:30:49 +00:00
Vítor Santos Costa
b76be1b33f
support for quasi quotations, requires more integration with SWI code.
2013-11-18 12:57:09 +00:00
Vitor Santos Costa
2a5f6535ae
fix win64
2013-11-16 16:58:07 +00:00
Vítor Santos Costa
84bd55df0d
continue cleanup
2013-11-16 00:27:02 +00:00
U-w7\vsc
9c5d7af938
win32 patches
2013-11-15 18:25:33 +00:00
Vitor Santos Costa
9eb07a8c8a
more cleanups
2013-11-15 15:45:55 +00:00
Vítor Santos Costa
3c7656b619
clang fixes
2013-11-15 10:38:00 +00:00
Vitor Santos Costa
4e4f21e1dc
upgrade to latest swi
2013-11-15 01:10:25 +00:00
Vítor Santos Costa
5b46b6bd1a
latest swi flgs
2013-11-13 23:48:54 +00:00
Vítor Santos Costa
14747fd0bf
more fixes
2013-11-13 22:52:36 +00:00
Vitor Santos Costa
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
Vítor Santos Costa
2c224666aa
warning
2013-11-11 11:41:42 +00:00
U-vsc-PC\vsc
30995ce506
improve win32 support
2013-11-11 10:32:55 +00:00
Vítor Santos Costa
ad8b101233
fix warnings
2013-11-04 22:32:53 +00:00
U-w7\vsc
f2b90a1bb0
improve thread signal support, still far from good
2013-11-04 15:31:26 +00:00
Vitor Santos Costa
1d8f96fd74
use proper place for verbose flag.
2013-11-04 13:02:18 +00:00
Vítor Santos Costa
0f62de3744
fix source_location
2013-11-04 01:13:29 +00:00
U-w7\vsc
360e8a9269
WIN32 support
2013-10-30 13:56:35 +00:00
Vítor Santos Costa
990dfbecbf
fix flags upgrade
2013-10-30 09:41:45 +00:00
Vitor Santos Costa
1cbe82da1e
SWI flags compat
2013-10-29 12:43:31 +00:00
Vitor Santos Costa
ab9d2da775
improve LOCK init
2013-10-29 12:41:28 +00:00
Vítor Santos Costa
0726597812
error handling
2013-06-20 10:48:00 -05:00
Vítor Santos Costa
5a57611749
copyright changes
2013-06-20 10:47:44 -05:00
Vitor Santos Costa
c60e1046a7
use int64 fr file_time
2013-06-07 18:00:27 +01:00
Vítor Santos Costa
17709a9669
fix UN #280
2013-03-05 19:05:37 -06:00
Vítor Santos Costa
ab01bb0124
do not wake up constraints in write_term (UN)
2013-03-04 09:14:43 -06:00
Vitor Santos Costa
9fb63762dc
delete_file should be SICStus compatible
2013-02-12 16:21:26 -06:00
Vítor Santos Costa
b9f1885f0a
use version from swi
2013-01-21 09:36:50 +00:00
Vitor Santos Costa
5880420db9
swi stuff
2013-01-19 22:15:57 +00:00
Vítor Santos Costa
eea91f782f
more swi win fixes
2013-01-19 14:40:08 +00:00
Vítor Santos Costa
5023da7893
Windows SWI upgrades
2013-01-19 14:35:11 +00:00
Vítor Santos Costa
290e58e262
SWI update
2013-01-19 14:19:01 +00:00
Vítor Santos Costa
b7c230217a
update to recent SWI.
2013-01-19 14:15:48 +00:00
Vítor Santos Costa
a1e599ebe4
windows stuff
2013-01-19 11:48:36 +00:00
Vitor Santos Costa
05f9a935e1
windows stuff
2013-01-19 11:47:14 +00:00
Vitor Santos Costa
7407ecb60c
SWI extension including write variable_names
2013-01-17 00:17:02 +00:00
Vitor Santos Costa
4b5ef10caf
SWI portability
2013-01-16 12:33:06 +00:00
Vitor Santos Costa
7cf4e9442c
SWI portability
2013-01-16 12:28:37 +00:00
Vitor Santos Costa
298fb62f0c
Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3
2013-01-16 11:29:38 +00:00
Vítor Santos Costa
abe6621495
SWI update
2013-01-16 11:28:58 +00:00
Vítor Santos Costa
0eacb68907
SWI update
2013-01-16 00:19:07 +00:00
Vitor Santos Costa
5a6f6c09ce
iupdate buffer.
2013-01-15 17:13:41 +00:00
Vitor Santos Costa
e85e76cd57
update to newer pl-file.c and pl-write.c.
2013-01-15 16:51:55 +00:00
Vitor Santos Costa
ebb239b233
uninst error
2012-12-20 21:15:26 +00:00
Vitor Santos Costa
ac74c9e3de
remove debugging messages.
2012-12-10 14:28:04 +00:00
Vitor Santos Costa
9e63e83f1f
worker_id may not be initialised if we start from C-level.
2012-12-10 12:13:31 +00:00
Vitor Santos Costa
fcb59e5c74
fix buffer overflow
2012-10-16 08:41:15 +01:00
Vítor Santos Costa
05d3266671
fix lib64 issues
2012-08-22 10:07:33 -05:00
Vitor Santos Costa
5989af937b
MT support in mingw win32.
2012-06-29 15:38:49 -05:00
