kr.angelov
|
e274cce213
|
linearization in the Java binding
|
2013-08-27 22:39:26 +00:00 |
|
kr.angelov
|
e1df8e713c
|
small refactoring in the Java binding
|
2013-08-27 22:37:31 +00:00 |
|
kr.angelov
|
d3631d918d
|
parsing from the Java binding
|
2013-08-27 21:53:13 +00:00 |
|
kr.angelov
|
d4289a6654
|
comparison for strings in libgu
|
2013-08-27 08:07:18 +00:00 |
|
kr.angelov
|
297587fa38
|
quicksort and binary search for buffers in libgu
|
2013-08-27 08:06:34 +00:00 |
|
kr.angelov
|
a20cd77d25
|
nonExist now does the expected thing
|
2013-08-23 13:17:45 +00:00 |
|
john
|
7c98267193
|
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
|
8f58dcdf63
|
change the locale in the test script for the Python binding
|
2013-08-21 13:17:39 +00:00 |
|
kr.angelov
|
fa32a6290e
|
fix in the C parser
|
2013-08-21 13:09:21 +00:00 |
|
kr.angelov
|
1f4b55735e
|
fix a crash in the python binding
|
2013-08-21 12:47:40 +00:00 |
|
kr.angelov
|
d1368c3519
|
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
|
e9eeefa6f0
|
fullFormLexicon in C and Python
|
2013-08-19 12:16:30 +00:00 |
|
kr.angelov
|
308e1445ca
|
added GuEnum interface for iterating over maps in the C runtime
|
2013-08-19 12:13:47 +00:00 |
|
kr.angelov
|
87e34b11dc
|
implemented lookupMorpho for C and Python
|
2013-08-16 15:02:24 +00:00 |
|
kr.angelov
|
662a35bbb3
|
provide API to access the language code for the concrete language
|
2013-08-16 12:54:16 +00:00 |
|
kr.angelov
|
1e44fdb3d3
|
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
|
fc7e77bf50
|
added graphvizParseTree in the C and Python runtimes
|
2013-08-15 15:10:28 +00:00 |
|
kr.angelov
|
5337b4bef7
|
graphvizAbstractTree in the C and Python runtimes
|
2013-08-15 08:06:37 +00:00 |
|
kr.angelov
|
8dc7d6c094
|
added untested port of GNU lightning to ARM
|
2013-08-01 12:07:06 +00:00 |
|
kr.angelov
|
bf04d9fce7
|
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
|
383d829d5a
|
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
|
666def3789
|
bugfix for parsing floating point numbers in the C runtime
|
2013-07-18 14:29:58 +00:00 |
|
kr.angelov
|
d7e42f00c5
|
the hash function for pgf.Expr is now really added
|
2013-07-05 05:35:22 +00:00 |
|
kr.angelov
|
8f2032a07d
|
the parser in the C runtime now checks for duplicated results
|
2013-07-03 12:30:30 +00:00 |
|
kr.angelov
|
f0c703d42f
|
complete pgf_expr_eq in the C runtime
|
2013-07-02 20:12:57 +00:00 |
|
kr.angelov
|
2948231e0f
|
hash function for abstract syntax trees
|
2013-07-02 19:12:53 +00:00 |
|
kr.angelov
|
c0a0859566
|
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
|
478b46be87
|
typos in the documentation for the Python binding
|
2013-06-27 10:11:49 +00:00 |
|
kr.angelov
|
155afdf9b7
|
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
|
f4f76e4638
|
dummy compute function in the Python binding
|
2013-06-26 10:36:42 +00:00 |
|
kr.angelov
|
d1410aba22
|
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
|
fcd2a2b12a
|
forgot to add reasoner.h
|
2013-06-26 09:09:54 +00:00 |
|
kr.angelov
|
cf0bc127af
|
forgot to add jit.h
|
2013-06-26 09:08:47 +00:00 |
|
kr.angelov
|
a2af8e216f
|
an optimization in the jitter for generating more compact code
|
2013-06-26 09:03:51 +00:00 |
|
kr.angelov
|
3c2d1890d0
|
patch for adjustable heuristics from Python
|
2013-06-26 07:36:03 +00:00 |
|
kr.angelov
|
d94b6146f2
|
compatibility issue for MacOS X
|
2013-06-26 07:03:32 +00:00 |
|
kr.angelov
|
3a22258109
|
fix for x86_64
|
2013-06-26 06:43:33 +00:00 |
|
kr.angelov
|
d553cb165a
|
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
|
09a42bbab0
|
bugfix for the linearizer in the C runtime
|
2013-06-24 07:56:42 +00:00 |
|
kr.angelov
|
9058ccb3eb
|
bugfix for the word completion in the C runtime
|
2013-06-22 15:39:47 +00:00 |
|
kr.angelov
|
fa7ac00838
|
add x86_64 support to GNU lightning
|
2013-06-20 08:27:04 +00:00 |
|
kr.angelov
|
f8073ea1cd
|
fíx in the Python binding for compatibility with Python<2.7
|
2013-06-19 19:31:55 +00:00 |
|
kr.angelov
|
0ad4c9bf65
|
fix an issue in the Python binding related to the 32 vs 64 bit compatibility
|
2013-06-19 18:47:52 +00:00 |
|
kr.angelov
|
e65bbb0713
|
fix for a couple of warnings that are generated when GNU lightning is used
|
2013-06-17 07:32:41 +00:00 |
|
kr.angelov
|
407f680bae
|
add the source code for GNU lightning in the source directory for the C runtime
|
2013-06-17 07:26:00 +00:00 |
|
kr.angelov
|
b0b4f57775
|
bugfix in the python binding
|
2013-06-14 07:02:53 +00:00 |
|
kr.angelov
|
54a0642bee
|
now the call Expr.unpack("? e1 e2") in Python returns a pair with None as the first element and a the list [e1,e2] as the second. This makes it easier to decompose partial abstract trees
|
2013-05-31 09:24:15 +00:00 |
|
kr.angelov
|
1ce5fa3663
|
improved error message in the Python binding
|
2013-05-31 09:13:16 +00:00 |
|
kr.angelov
|
aa644169c2
|
bugfix for the grammar printer in the C runtime
|
2013-05-30 20:20:02 +00:00 |
|
kr.angelov
|
739b10f2a8
|
a simple refactoring in the Python runtime
|
2013-05-29 11:02:18 +00:00 |
|