10 Commits

Author	SHA1	Message	Date
kr.angelov	fb8de0e8ea	fixes in the C runtime to avoid warnings when compiling on MacOS	2013-11-15 10:03:22 +00:00
kr.angelov	527ea8fc5c	bugfix in GNU lightning for ARM	2013-10-08 13:33:18 +00:00
kr.angelov	b3a644300c	rewrite the ARM port of GNU lightning to a form compatible with the versions for the other CPUs	2013-09-11 20:17:50 +00:00
kr.angelov	f1d407de09	added untested port of GNU lightning to ARM	2013-08-01 12:07:06 +00:00
kr.angelov	966d3aee3f	compatibility issue for MacOS X	2013-06-26 07:03:32 +00:00
kr.angelov	38b3dfcad6	fix for x86_64	2013-06-26 06:43:33 +00:00
kr.angelov	16584d4368	Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.	2013-06-25 19:22:42 +00:00
kr.angelov	72cd14a5ae	add x86_64 support to GNU lightning	2013-06-20 08:27:04 +00:00
kr.angelov	ffa6cbd03c	fix for a couple of warnings that are generated when GNU lightning is used	2013-06-17 07:32:41 +00:00
kr.angelov	6c4f52faeb	add the source code for GNU lightning in the source directory for the C runtime	2013-06-17 07:26:00 +00:00