196 Commits

Author	SHA1	Message	Date
kr.angelov	40baee9068	fix the debug mode of the parser after the changes in the libgu API	2013-09-13 09:58:20 +00:00
kr.angelov	540de9c2d0	tiny optimization in pgf/reader	2013-09-13 09:50:44 +00:00
kr.angelov	d39003f872	bugfix in utf8.c	2013-09-13 09:50:04 +00:00
kr.angelov	d6323291cd	fix a warning in utf8.c	2013-09-13 08:30:57 +00:00
kr.angelov	fc038c5240	optimize the reading of strings in the grammar loader.	2013-09-13 08:28:20 +00:00
kr.angelov	1e17f768fc	more UTF8 cleanup	2013-09-13 08:12:19 +00:00
kr.angelov	30f37feb57	clean up the UTF8 API in libgu	2013-09-13 07:44:45 +00:00
kr.angelov	d51b976d29	remove the logging from libgu	2013-09-12 09:30:02 +00:00
kr.angelov	d88084a2d5	enable the PGF JIT compiler for Android	2013-09-12 09:05:43 +00:00
kr.angelov	b3a644300c	rewrite the ARM port of GNU lightning to a form compatible with the versions for the other CPUs	2013-09-11 20:17:50 +00:00
kr.angelov	fec8720f31	remove the string internalization since it slows down grammar loading with little benefit	2013-09-05 13:34:49 +00:00
kr.angelov	f8c8194303	fix gu_in_bytes_ to use buffering	2013-09-05 12:10:55 +00:00
kr.angelov	83ca6c4f9f	remove the read and write modules from libgu. this simplifies the i/o layer	2013-09-05 11:20:39 +00:00
kr.angelov	d0f527d0dd	remove dump and yaml from libgu	2013-09-05 10:01:47 +00:00
kr.angelov	bb36597050	bugfix for gu_buffered_in	2013-09-05 09:50:57 +00:00
kr.angelov	d62cf1363c	added make file for compiling the C runtime for Android. The JIT compiler for Android is temporary disabled	2013-09-04 11:56:47 +00:00
kr.angelov	a690fb7d6f	the code in the C runtime is now complete independent from config.h	2013-09-04 11:51:05 +00:00
kr.angelov	91bb633d1d	remove the dependency on the CHAR_ASCII flag	2013-09-04 10:27:08 +00:00
kr.angelov	49c7a029b6	remove the dependency on the HAVE_STATEMENT_EXPRESSIONS flag. This reduces the dependency on the ./configure script	2013-09-04 10:06:07 +00:00
kr.angelov	d2ea52e0ec	avoid using nan() in libgu for portability with Android	2013-09-04 07:36:39 +00:00
kr.angelov	d91762239b	slight optimization for the linearizer in the C runtime	2013-09-04 07:11:14 +00:00
kr.angelov	783b0a0773	bugfix in the robust linearizer	2013-09-04 07:05:27 +00:00
kr.angelov	39b82041ea	bugfix which caused the runtime to crash on Android	2013-08-28 15:19:39 +00:00
kr.angelov	a6a58ac767	comparison for strings in libgu	2013-08-27 08:07:18 +00:00
kr.angelov	a33f2399c2	quicksort and binary search for buffers in libgu	2013-08-27 08:06:34 +00:00
kr.angelov	288bcafb79	nonExist now does the expected thing	2013-08-23 13:17:45 +00:00
john	e769d5db29	Add INSTALL file for python bindings. Add note about libtool to INSTALL of c runtime	2013-08-23 13:06:58 +00:00
kr.angelov	68b6e97251	fix in the C parser	2013-08-21 13:09:21 +00:00
kr.angelov	2d4f17e30c	word completion in the C runtime now returns multi-word expressions and the category for every expression	2013-08-19 15:34:19 +00:00
kr.angelov	37b9ed9236	fullFormLexicon in C and Python	2013-08-19 12:16:30 +00:00
kr.angelov	e3c188c8a8	added GuEnum interface for iterating over maps in the C runtime	2013-08-19 12:13:47 +00:00
kr.angelov	a8ded63c95	implemented lookupMorpho for C and Python	2013-08-16 15:02:24 +00:00
kr.angelov	795df19bfe	provide API to access the language code for the concrete language	2013-08-16 12:54:16 +00:00
kr.angelov	b08925fd3d	fixes in the C and Python API to make them closer to the Haskell API	2013-08-16 12:44:37 +00:00
kr.angelov	2fc9294f6e	added graphvizParseTree in the C and Python runtimes	2013-08-15 15:10:28 +00:00
kr.angelov	0496dec923	graphvizAbstractTree in the C and Python runtimes	2013-08-15 08:06:37 +00:00
kr.angelov	f1d407de09	added untested port of GNU lightning to ARM	2013-08-01 12:07:06 +00:00
kr.angelov	52e2298240	bugfix for parsing floating point numbers in the C runtime	2013-07-18 14:29:58 +00:00
kr.angelov	4f7369f714	the parser in the C runtime now checks for duplicated results	2013-07-03 12:30:30 +00:00
kr.angelov	96ea257fa3	complete pgf_expr_eq in the C runtime	2013-07-02 20:12:57 +00:00
kr.angelov	6971642cc7	hash function for abstract syntax trees	2013-07-02 19:12:53 +00:00
kr.angelov	1b41792237	C runtime: fix the debug modes in the parser and in the reasoner after the changes in the printer	2013-06-27 11:00:26 +00:00
kr.angelov	0d68a20d94	a complete Python API for reading, printing and manipulation of abstract trees and types. This includes dependent types, high-order abstract syntax and implicit arguments	2013-06-27 09:39:15 +00:00
kr.angelov	03690ccc4b	we no longer maintain an explicit list of functions per category since now it is implicitly kept in the JIT compiled code	2013-06-26 09:35:50 +00:00
kr.angelov	b47dfd9dbb	forgot to add reasoner.h	2013-06-26 09:09:54 +00:00
kr.angelov	67872578c9	forgot to add jit.h	2013-06-26 09:08:47 +00:00
kr.angelov	c873531172	an optimization in the jitter for generating more compact code	2013-06-26 09:03:51 +00:00
kr.angelov	dba75911b0	patch for adjustable heuristics from Python	2013-06-26 07:36:03 +00:00
kr.angelov	966d3aee3f	compatibility issue for MacOS X	2013-06-26 07:03:32 +00:00
kr.angelov	38b3dfcad6	fix for x86_64	2013-06-26 06:43:33 +00:00