gf-core.git/src/runtime/c/pgf/evaluator.h, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2015-07-03T11:53:52+00:00 merge the states for reasoning and evaluation into a single structure 2015-07-03T11:53:52+00:00 krasimir krasimir@chalmers.se 2015-07-03T11:53:52+00:00 urn:sha1:b3680b60258372baa1d5e606026760ef223641b9 now (+) in the abstract syntax works, i.e. it knows how to deal with partial sums 2014-10-31T14:16:11+00:00 kr.angelov kr.angelov@gmail.com 2014-10-31T14:16:11+00:00 urn:sha1:b1e6a21c56c5aef62716c35546d4596e11bbbf94 finally proper stack unwind in the evaluator 2014-10-16T10:00:32+00:00 kr.angelov kr.angelov@gmail.com 2014-10-16T10:00:32+00:00 urn:sha1:26ad164cecc65afd9420e0ac34a15d49b02e6cbf now we statically allocate closures for all top-level functions and all nullary constructors. closures are dynamically allocated only for CAFs. this reduces memory use and time to allocate dynamic closures 2014-10-08T12:57:29+00:00 kr.angelov kr.angelov@gmail.com 2014-10-08T12:57:29+00:00 urn:sha1:9c2f71b07a5de7d6d4d13dc3c72d9b9ddc2f37dc partial implementation for the FAIL instruction 2014-10-06T09:04:25+00:00 kr.angelov kr.angelov@gmail.com 2014-10-06T09:04:25+00:00 urn:sha1:889c0f3df401e98a0d5839654f9d460cde49663e bugfix in the gate evaluate_value_lambda 2014-09-30T08:42:06+00:00 kr.angelov kr.angelov@gmail.com 2014-09-30T08:42:06+00:00 urn:sha1:70455b88a724309c2ce97634ae57c1c904808c08 now a complete JIT compiler and ByteCode compiler for the def rules in the abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported 2014-09-25T10:35:06+00:00 kr.angelov kr.angelov@gmail.com 2014-09-25T10:35:06+00:00 urn:sha1:14e6eec5ecdd9ca68a891dbf7173a3620f6e76c1 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-11T15:39:39+00:00 kr.angelov kr.angelov@gmail.com 2014-09-11T15:39:39+00:00 urn:sha1:621d748bac0914a93e3d399f81616c70fd083bb5 the code for def rules now uses proper graph update to preserve lazyness 2014-09-05T11:53:02+00:00 kr.angelov kr.angelov@gmail.com 2014-09-05T11:53:02+00:00 urn:sha1:4d28c7632e83aed413c22001ec0821971f58f14d added evaluator.h which I had forgoten 2014-08-29T08:36:53+00:00 kr.angelov kr.angelov@gmail.com 2014-08-29T08:36:53+00:00 urn:sha1:cee5f590cae53acc4a37396893c2464ef1db5df5