13 Commits

Author	SHA1	Message	Date
kr.angelov	3e3178abfa	dummy jit_base_tail_finishr for x86_64.	2014-09-16 12:29:35 +00:00
kr.angelov	621d748bac	a major revision of the bytecode generator and JIT compiler. the effect is that now we can compute with lambda functions and with true tail recursion	2014-09-11 15:39:39 +00:00
kr.angelov	c30e2df228	pattern matching in def rules is now supported	2014-08-11 15:53:41 +00:00
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