Vitor Santos Costa
87c6971bb6
WIN32
2018-09-26 01:14:14 +01:00
Vítor Santos Costa
af610dc16d
locking
2018-03-18 00:44:08 +00:00
Vitor Santos Costa
cc6eca6903
jupyter
2018-03-17 10:38:56 +00:00
Vitor Santos Costa
9c862c21bc
jupyter
2018-01-05 16:57:38 +00:00
Vitor Santos Costa
06485f071a
iandroid
2017-11-21 15:44:43 +00:00
vsc
ebd6f0a0c2
windows trouble
2017-06-08 22:16:52 +01:00
Vitor Santos Costa
2ad3420fac
fixes
2017-06-05 13:06:12 +01:00
Vitor Santos Costa
3f4fe6815f
format was broken in old Linuxen
2016-09-28 09:08:22 -05:00
Vitor Santos Costa
a1ee3b30d3
fix mess with memory streams
2016-09-27 19:32:27 -05:00
Vitor Santos Costa
f6d434e314
avoid silly seek
2016-09-21 14:43:18 -05:00
Vitor Santos Costa
670eacc823
Merge branch 'master' of https://github.com/vscosta/yap-6.3
2016-08-18 01:36:17 -05:00
Vitor Santos Costa
a270349dae
release mem
2016-08-18 01:34:37 -05:00
Vitor Santos Costa
2d94bba498
fixleak
2016-08-16 17:10:36 -05:00
Vitor Santos Costa
2dbf860a58
linux does not like setbuf on mem stream
2016-08-02 18:23:42 -05:00
Vitor Santos Costa
6a076bc8ac
lots of fixes
2016-07-31 09:51:52 -05:00
Vitor Santos Costa
f966a5b912
Fixes for processing write to buffer: should b more robust, but we still may have memory leaks
2016-04-22 18:19:58 +01:00
vscosta
c1b8d140db
av
2016-04-17 17:09:10 -07:00
Vitor Santos Costa
1aa20e24b7
misc_bugs_when_compiling_problog
2016-04-14 12:00:09 +01:00
Vitor Santos Costa
e6c2503563
fixes + indenting
2016-04-12 16:04:33 +01:00
vscosta
2f5386bd6f
handle cases where mem streams do not have FILE*
2016-04-08 01:22:27 -07:00
vscosta
71f0076ed6
signed wchar
2016-04-05 02:53:39 +01: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
e4e59dedf7
win32 support, especially win does not allow file streaming in memory
2016-02-24 02:07:46 +00:00
Vítor Santos Costa
697f57ecef
memory streams
...
- work with blobs
- recover memory on close
- do not call Unix code on win32
2016-01-31 10:02:11 +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
b323d17369
small fix
2015-11-05 16:56:59 +00:00
Vítor Santos Costa
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
Vítor Santos Costa
b871f6676e
fix error handling
2015-09-25 10:57:26 +01:00
Vítor Santos Costa
b164f53191
fix regression tests
2015-08-07 16:57:53 -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
1c06bfdc05
cmake & text support
2015-06-19 01:30:13 +01:00
Vítor Santos Costa
f4e4220130
in-memory streams
2015-06-18 01:32:33 +01:00
