476 Commits

Author	SHA1	Message	Date
kr.angelov	9134df05bb	almost functional version of the javascript runtime	2013-08-29 20:36:06 +00:00
kr.angelov	b37fed3d2d	the PGF class is now using the new Pool class to manage the life time of the memory allocated in C.	2013-08-29 05:38:07 +00:00
kr.angelov	48b6af710d	more carefull tracking of references in the Java binding	2013-08-29 05:35:45 +00:00
kr.angelov	93db90e99c	now Concr.parseBest throws ParseError	2013-08-28 15:35:57 +00:00
kr.angelov	39b82041ea	bugfix which caused the runtime to crash on Android	2013-08-28 15:19:39 +00:00
kr.angelov	de7fbd22e7	fix the error handling in the Java binding	2013-08-28 08:51:53 +00:00
kr.angelov	0efde1e2b0	make the Expr constructor private	2013-08-28 07:09:31 +00:00
kr.angelov	cb33a971f0	fixes in the Java binding	2013-08-28 00:04:50 +00:00
kr.angelov	109546b227	added PGF.getStartCat()	2013-08-27 23:02:00 +00:00
kr.angelov	416996b713	added method for best first parsing in the Java binding	2013-08-27 22:54:10 +00:00
kr.angelov	2995a16da3	bugfix in the java binding	2013-08-27 22:53:38 +00:00
kr.angelov	c9c599977f	linearization in the Java binding	2013-08-27 22:39:26 +00:00
kr.angelov	75c1100575	small refactoring in the Java binding	2013-08-27 22:37:31 +00:00
kr.angelov	8d82dc66bf	parsing from the Java binding	2013-08-27 21:53:13 +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	8df07fdeb5	change the locale in the test script for the Python binding	2013-08-21 13:17:39 +00:00
kr.angelov	68b6e97251	fix in the C parser	2013-08-21 13:09:21 +00:00
kr.angelov	3ff910a0e9	fix a crash in the python binding	2013-08-21 12:47:40 +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	216f4b1c40	a bit more on the Java to C binding. Now it is possible to load a grammar and query for the list of languages	2013-08-01 10:48:19 +00:00
kr.angelov	ef497531f8	the first approximation for a statistical model consistent with dependent types in the abstract syntax	2013-07-30 07:29:11 +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	51da6e1b2a	the hash function for pgf.Expr is now really added	2013-07-05 05:35:22 +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	5dc59f815c	typos in the documentation for the Python binding	2013-06-27 10:11:49 +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	6ff0b90a33	dummy compute function in the Python binding	2013-06-26 10:36:42 +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
kr.angelov	16584d4368	Now there is a just-in-time compiler which generates native code for proof 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-25 19:22:42 +00:00
kr.angelov	10eb9dedb6	bugfix for the linearizer in the C runtime	2013-06-24 07:56:42 +00:00