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

Age	Commit message (Collapse)	Author
2017-04-19	explicitly classify all functions in libpgf as either internal or API functions	krasimir

2015-07-03	merge the states for reasoning and evaluation into a single structure	krasimir

2015-06-12	the orthographic tokens were broken when they appear inside a dictionary ↵	krasimir
	entry. Now this is fixed by treating those as syntactic rules
2014-09-30	fix in reader.h for compiling jpgf.c	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-08-11	a partial support for def rules in the C runtime	kr.angelov
	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.
2013-12-10	loading and unloading of languages in the C runtime and in the Python bindings	kr.angelov

2013-06-25	Now there is a just-in-time compiler which generates native code for proof ↵	kr.angelov
	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-02-11	the grammar reader in the C runtime is completely rewritten and it doesn't ↵	kr.angelov
	use the generic programming API
2012-12-12	started an official API to the C runtime	kr.angelov