gf-core.git/src/runtime/c/pgf/evaluator.c, branch master Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=master 2017-04-19T09:34:23+00:00 explicitly classify all functions in libpgf as either internal or API functions 2017-04-19T09:34:23+00:00 krasimir krasimir@chalmers.se 2017-04-19T09:34:23+00:00 urn:sha1:7d72d99c2f7fc228d71df627a10a2ff776335b2b a patch from Bjørnar Luteberget for compatibility with MSVC 2017-04-12T10:24:56+00:00 krasimir krasimir@chalmers.se 2017-04-12T10:24:56+00:00 urn:sha1:a8eaa2f2e560547e63c7976960435e1ae23a22b1 fix in evaluator.c 2016-04-14T13:47:29+00:00 krasimir krasimir@chalmers.se 2016-04-14T13:47:29+00:00 urn:sha1:114e95f43b58a41ce0b5c6a6f4cfd67f8e00086f 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 replace the hash maps in the abstract syntax with binary search tables 2014-10-09T08:38:55+00:00 kr.angelov kr.angelov@gmail.com 2014-10-09T08:38:55+00:00 urn:sha1:6c86e7fa91602e4863c95622934d45e383890156 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 the indirection should be done in the evaluate_expr_thunk gate instead of in the pgf_evaluate_expr_thunk function. this ensures lazyness 2014-10-07T07:12:40+00:00 kr.angelov kr.angelov@gmail.com 2014-10-07T07:12:40+00:00 urn:sha1:de1b372ef7b412a4fdd35bff382d816403404cf3 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