gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2015-07-03	merge the states for reasoning and evaluation into a single structure	krasimir

2014-10-31	now (+) in the abstract syntax works, i.e. it knows how to deal with partial ↵	kr.angelov
	sums
2014-10-16	finally proper stack unwind in the evaluator	kr.angelov

2014-10-08	now we statically allocate closures for all top-level functions and all ↵	kr.angelov
	nullary constructors. closures are dynamically allocated only for CAFs. this reduces memory use and time to allocate dynamic closures
2014-10-06	partial implementation for the FAIL instruction	kr.angelov

2014-09-30	bugfix in the gate evaluate_value_lambda	kr.angelov

2014-09-25	now a complete JIT compiler and ByteCode compiler for the def rules in the ↵	kr.angelov
	abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
2014-09-11	a major revision of the bytecode generator and JIT compiler. the effect is ↵	kr.angelov
	that now we can compute with lambda functions and with true tail recursion
2014-09-05	the code for def rules now uses proper graph update to preserve lazyness	kr.angelov

2014-08-29	added evaluator.h which I had forgoten	kr.angelov