10 Commits

Author	SHA1	Message	Date
kr.angelov	a6d60f9c8d	fixes in the C runtime to avoid warnings when compiling on MacOS	2013-11-15 10:03:22 +00:00
kr.angelov	4a50440db9	bugfix in GNU lightning for ARM	2013-10-08 13:33:18 +00:00
kr.angelov	bfafdbfec3	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	8dc7d6c094	added untested port of GNU lightning to ARM	2013-08-01 12:07:06 +00:00
kr.angelov	d94b6146f2	compatibility issue for MacOS X	2013-06-26 07:03:32 +00:00
kr.angelov	3a22258109	fix for x86_64	2013-06-26 06:43:33 +00:00
kr.angelov	d553cb165a	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	fa7ac00838	add x86_64 support to GNU lightning	2013-06-20 08:27:04 +00:00
kr.angelov	e65bbb0713	fix for a couple of warnings that are generated when GNU lightning is used	2013-06-17 07:32:41 +00:00
kr.angelov	407f680bae	add the source code for GNU lightning in the source directory for the C runtime	2013-06-17 07:26:00 +00:00