5 Commits

Author	SHA1	Message	Date
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