7 Commits

Author	SHA1	Message	Date
kr.angelov	13c7721bc5	using instruction RET was wrong; now use EVAL	2014-10-06 15:57:42 +00:00
kr.angelov	80acad4447	bugfix in the pattern matching compiler and a number of other fixes that I somehow did not push before	2014-09-29 15:00:04 +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	4d28c7632e	the code for def rules now uses proper graph update to preserve lazyness	2014-09-05 11:53:02 +00:00
kr.angelov	86b5f78c57	full support for recursive def rules in the C runtime	2014-09-05 10:09:43 +00:00
kr.angelov	bfd414554d	partial implementation for recursive def rules	2014-09-01 14:51:20 +00:00
kr.angelov	584d589041	a partial support for def rules in the C runtime ... The def rules are now compiled to byte code by the compiler and then to native code by the JIT compiler in the runtime. Not all constructions are implemented yet. The partial implementation is now in the repository but it is not activated by default since this requires changes in the PGF format. I will enable it only after it is complete.	2014-08-11 10:59:10 +00:00