kr.angelov
|
2e2f74741a
|
fix the debug mode of the parser after the refactoring in libgu
|
2013-09-25 10:21:35 +00:00 |
|
kr.angelov
|
4f05852b22
|
added assertion in the JIT compiler which checks that we are not going outside of the compilation window
|
2013-09-25 07:53:10 +00:00 |
|
kr.angelov
|
c08f42ce9f
|
the PGF reader now releases strings that are not used after the loading
|
2013-09-18 08:26:11 +00:00 |
|
kr.angelov
|
2a49e4e1d6
|
a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified
|
2013-09-17 12:45:00 +00:00 |
|
kr.angelov
|
470eb46e96
|
remove leftcorner_cat_idx which is now redundant
|
2013-09-13 13:49:17 +00:00 |
|
kr.angelov
|
c721c5548e
|
minor optimization/refactoring in the grammar reader
|
2013-09-13 11:02:17 +00:00 |
|
kr.angelov
|
df91908e63
|
the leftcorner indexing is now completely removed since it slowed down the loading without speeding up parsing a lot
|
2013-09-13 10:26:33 +00:00 |
|
kr.angelov
|
4eb9aa3911
|
fix the debug mode of the parser after the changes in the libgu API
|
2013-09-13 09:58:20 +00:00 |
|
kr.angelov
|
ba60e6f0e4
|
tiny optimization in pgf/reader
|
2013-09-13 09:50:44 +00:00 |
|
kr.angelov
|
2e8f055164
|
optimize the reading of strings in the grammar loader.
|
2013-09-13 08:28:20 +00:00 |
|
kr.angelov
|
9c3dd1e1e1
|
remove the logging from libgu
|
2013-09-12 09:30:02 +00:00 |
|
kr.angelov
|
2105188bd0
|
enable the PGF JIT compiler for Android
|
2013-09-12 09:05:43 +00:00 |
|
kr.angelov
|
bfafdbfec3
|
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
|
14f8b96b56
|
remove the string internalization since it slows down grammar loading with little benefit
|
2013-09-05 13:34:49 +00:00 |
|
kr.angelov
|
7c0bad5092
|
remove the read and write modules from libgu. this simplifies the i/o layer
|
2013-09-05 11:20:39 +00:00 |
|
kr.angelov
|
504341dfba
|
remove dump and yaml from libgu
|
2013-09-05 10:01:47 +00:00 |
|
kr.angelov
|
35a98594be
|
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
|
805f95eac6
|
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
|
0aef8d1c72
|
slight optimization for the linearizer in the C runtime
|
2013-09-04 07:11:14 +00:00 |
|
kr.angelov
|
69e71b6a4e
|
bugfix in the robust linearizer
|
2013-09-04 07:05:27 +00:00 |
|
kr.angelov
|
69007cc661
|
bugfix which caused the runtime to crash on Android
|
2013-08-28 15:19:39 +00:00 |
|
kr.angelov
|
a20cd77d25
|
nonExist now does the expected thing
|
2013-08-23 13:17:45 +00:00 |
|
kr.angelov
|
fa32a6290e
|
fix in the C parser
|
2013-08-21 13:09:21 +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
|
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
|
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
|
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
|
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
|
fa7ac00838
|
add x86_64 support to GNU lightning
|
2013-06-20 08:27:04 +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
|
aa644169c2
|
bugfix for the grammar printer in the C runtime
|
2013-05-30 20:20:02 +00:00 |
|
kr.angelov
|
b7cbee7940
|
fix the encoding problem with unicode literals in the Python binding
|
2013-05-21 10:53:20 +00:00 |
|