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

Age	Commit message (Collapse)	Author
2014-08-11	pattern matching in def rules is now supported	kr.angelov

2013-11-15	fixes in the C runtime to avoid warnings when compiling on MacOS	kr.angelov

2013-10-08	bugfix in GNU lightning for ARM	kr.angelov

2013-09-11	rewrite the ARM port of GNU lightning to a form compatible with the versions ↵	kr.angelov
	for the other CPUs
2013-08-01	added untested port of GNU lightning to ARM	kr.angelov

2013-06-26	compatibility issue for MacOS X	kr.angelov

2013-06-26	fix for x86_64	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-06-20	add x86_64 support to GNU lightning	kr.angelov

2013-06-17	fix for a couple of warnings that are generated when GNU lightning is used	kr.angelov

2013-06-17	add the source code for GNU lightning in the source directory for the C runtime	kr.angelov