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

Age	Commit message (Collapse)	Author
2014-10-17	ps -lines preserves line-by-line structure when preprocessing files for ↵	aarne
	parsing line by line
2014-10-17	one general case in dealing with backslash in latex lexing is enough	aarne

2014-10-17	the C runtime now supports reading and writing expressions with indexed meta ↵	kr.angelov
	variables. The type checker generates fresh indices
2014-10-17	unlexing latex code: no space between closing $ and punctuation	aarne

2014-10-17	lexer for latex code: don't separate backslash from the macro name that it marks	aarne

2014-10-16	Some work on the haddock documentation	hallgren

2014-10-16	Rename src/programs/gf.hs to gf-main.hs to avoid confusing GHC	hallgren
	It appears that GHC can't keep GF.hs and gf.hs apart on systems with case insensitive file names.
2014-10-16	Turn the GF compiler into a library. Main program is now in src/programs/gf.hs	hallgren
	The module src/compiler/GF.hs now serves as a prelimiary compiler API. It just exports a selection of functions and types from the compiler. Haddock documentation can be generated with cabal haddock --hyperlink-source Also bumbed the version number to 3.6.10.
2014-10-16	More haddock documentation improvements	hallgren

2014-10-16	bugfix in the parser for abstract expressions in the C runtime	kr.angelov

2014-10-16	finally proper stack unwind in the evaluator	kr.angelov

2014-10-15	Rename modules GFI, GFC & GFServer...	hallgren
	... to GF.Interactive, GF.Compiler & GF.Server, respectively.
2014-10-15	Fixes for the haddock documentation	hallgren

2014-10-14	the compiler now allows + to be used as a floating point addition in the ↵	kr.angelov
	abstract syntax
2014-10-14	yet another bugfix in the byte code	kr.angelov

2014-10-14	another bugfix in the byte code generation	kr.angelov

2014-10-14	bugfix in the bytecode generator	kr.angelov

2014-10-14	simplify jit_bare_ret	kr.angelov

2014-10-09	Prelude.CAPIT is now a built-in primitive. It still generates &\| in the ↵	kr.angelov
	Haskell runtime but will be intepreted in the C runtime
2014-10-09	throw away the long obsolete runtime type information in the C runtime	kr.angelov

2014-10-09	fix two warnings in mem.c	kr.angelov

2014-10-09	fix in gu_mmap_pool for Android	kr.angelov

2014-10-09	fix for lightning for ARM	kr.angelov

2014-10-09	remove the pgf-service util which is obsolete anyway	kr.angelov

2014-10-09	replace the hash maps in the abstract syntax with binary search tables	kr.angelov

2014-10-09	add the const modifier to the key in the two procedures for binary search in ↵	kr.angelov
	libgu
2014-10-08	use MAP_FIXED in gu_mmap_pool	kr.angelov

2014-10-08	an experimental memory mapped pool. still not in use	kr.angelov

2014-10-08	GF.Infra.Options: change from String to Int in the type of optJobs	hallgren

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-07	a missing case in instruction SET	kr.angelov

2014-10-07	bugfix in the byte code compiler	kr.angelov

2014-10-07	added a missing case for PUSH instruction with a global closure	kr.angelov

2014-10-07	the indirection should be done in the evaluate_expr_thunk gate instead of in ↵	kr.angelov
	the pgf_evaluate_expr_thunk function. this ensures lazyness
2014-10-06	using instruction RET was wrong; now use EVAL	kr.angelov

2014-10-06	fix the order in which arguments are stored in the mk_const gate	kr.angelov

2014-10-06	push a stack frame around recursive calls to guarantee that a nested call to ↵	kr.angelov
	a failing function will not crash
2014-10-06	partial implementation for the FAIL instruction	kr.angelov

2014-09-30	bugfix in pgf_evaluate_expr_thunk	kr.angelov

2014-09-30	fix pgf_value2expr for partial applications	kr.angelov

2014-09-30	enough fixes to get the JIT compiler compile for ARM. It is still broken if ↵	kr.angelov
	you try to use it
2014-09-30	add evaluator.c in Android.mk	kr.angelov

2014-09-30	fix in reader.h for compiling jpgf.c	kr.angelov

2014-09-30	fix in pgf_print_expr for lambda abstractions with more than one argument	kr.angelov

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

2014-09-29	minor stylistic change in GenerateBC	kr.angelov

2014-09-29	bugfix in the pattern matching compiler and a number of other fixes that I ↵	kr.angelov
	somehow did not push before
2014-09-29	bugfix in the RET instruction	kr.angelov

2014-09-29	enlarge the code window in pgf_jit_gates to ensure enough space on 64-bit ↵	kr.angelov
	machines
2014-09-27	checked that course of value tables (table P [...]) have the correct number ↵	aarne
	of values w.r.t the type P. This was previously not checked, and caused hard-to-find run-time errors.