Commit Graph

18 Commits

Author SHA1 Message Date
Vitor Santos Costa
8e5352bc03 fix EOF 2016-06-07 10:28:42 +01:00
Vítor Santos Costa
9f722319ec fix utf-8 reading 2016-03-29 01:56:38 +01:00
Vítor Santos Costa
bc914e9e91 fix lines that terminate on EOF 2016-03-05 23:43:11 +00:00
Vítor Santos Costa
5f9752baff use utf-8 internally: problem, still seems to core dump 2016-03-03 23:18:04 +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ítor Santos Costa
77123269e7 fix batched job :( 2016-02-26 17:47:40 +00:00
Vítor Santos Costa
f7d23f9deb Simplify Input/Output
get rid of string I/O, did not add much
getc is never actually used by Prolog
try to use system I/O, even if it may be slower, at least for now.
extend IO C-interface to allow reading clauses
2016-02-21 19:06:25 +00:00
Vítor Santos Costa
c104fb946d use slots 2016-01-06 12:36:59 +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
661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vítor Santos Costa
ce8a19d381 Add documentation 2015-11-18 15:06:25 +00:00
Vítor Santos Costa
f17fae43e3 add read_line_to_string/2 2015-11-13 13:19:42 +00:00
Vitor Santos Costa
7a70280940 unused vars and gcc warnings 2015-10-20 08:01:20 +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
b871f6676e fix error handling 2015-09-25 10:57:26 +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
3d6a8ddc77 read lines and files 2015-06-18 01:21:20 +01:00