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
Vitor Santos Costa
65f1cb9741
win64 support: encodings
2016-04-10 06:21:17 -07:00
vscosta
6ee452f0c5
handle null ptrs
2016-04-08 01:21:22 -07:00
Vítor Santos Costa
06e5371afd
exceptions
2016-03-29 01:57:55 +01:00
Vítor Santos Costa
b9eb327d86
fix fixes (lots of white space, somehow.
2016-02-29 03:13:23 +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'itor Santos Costa
ee0335124f
absolute_filename ^#%@%
2016-02-11 06:17:30 -08:00
Vítor Santos Costa
5073ff9b43
win32
2016-01-31 10:33:32 +00:00
Vítor Santos Costa
661f33ac7e
bug fices
2016-01-03 02:06:09 +00:00
Vítor Santos Costa
759ff81e39
absolute_file_name support.
2015-11-09 11:31:58 +00:00
Vítor Santos Costa
b2369175e5
mostly indenting
2015-10-22 00:41:52 +01:00
Vitor Santos Costa
885fc51225
move text stuff to YapText
2015-10-20 08:00:39 +01: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
4336b2ba88
Avoid complaining from strlen
...
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa
b164f53191
fix regression tests
2015-08-07 16:57:53 -05:00
Vítor Santos Costa
dbdae6a930
syntax error handling
2015-07-27 22:22:44 -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
33de6766a5
bootstrap
2015-07-06 12:03:16 +01:00
Vítor Santos Costa
c755a6d4e5
configuration for os interface layer
2015-06-18 01:48:44 +01:00
