9 Commits

Author	SHA1	Message	Date
Vitor Santos Costa	c4b78e161b	moredeb	2019-02-13 09:44:24 +00:00
Vitor Santos Costa	e89bc55b9f	cmake	2018-11-16 14:02:56 +00:00
Vitor Santos Costa	e5748f3c9f	error	2018-07-17 11:43:57 +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	56e9a8f8d9	add stub for SWI compat	2016-02-26 18:25:07 +00:00
Vítor Santos Costa	5fd4add82b	Hide and Seek	2016-01-04 17:18:43 +00:00
Vítor Santos Costa	bd208fe63e	new files	2016-01-03 03:21:00 +00:00
Vítor Santos Costa	661f33ac7e	bug fices	2016-01-03 02:06:09 +00:00
Vítor Santos Costa	15404b3835	small ... - do not call goal expansion on meta-calls (that is done by undef). - docs updates - fix init code	2015-12-15 09:28:43 +00:00