 kr.angelov
|
6080a625f7
|
fix in Android.mk to make sure that the Android build will always see the ARM headers of GNU lightning
|
2013-09-12 12:55:55 +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
|
4e328d1f33
|
added exhaustive generation in the Java binding
|
2013-09-06 07:21:38 +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
|
8e2de541b6
|
move src/runtime/android to src/ui/android/jni
|
2013-09-05 12:19:59 +00:00 |
|
|
kr.angelov
|
993522eb5a
|
added version readPGF in Java which takes as argument InputStream. This makes it easier to load grammars from the assets folder in Android
|
2013-09-05 12:12:01 +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
|
cbc2ac1326
|
add gu and pgf in the library path for building the Java binding
|
2013-09-04 20:30:43 +00:00 |
|
|
kr.angelov
|
6e60e12aee
|
added description file for building jpgf.jar
|
2013-09-04 18:48:51 +00:00 |
|
|
kr.angelov
|
4b9ae55925
|
fix the warnings from the Java binding
|
2013-09-04 18:23:49 +00:00 |
|
|
kr.angelov
|
76d1db7dc5
|
now it is possible to compile the C code for the Java binding from Eclipse. The old and broken Makefile is now removed
|
2013-09-04 18:09:06 +00:00 |
|
|
kr.angelov
|
643ca7987c
|
added Eclipse project for building the Java binding
|
2013-09-04 14:06:06 +00:00 |
|
|
kr.angelov
|
d3dad68c9b
|
fix a few warnings in the Java binding
|
2013-09-04 13:37:40 +00:00 |
|
|
kr.angelov
|
94e84a3a77
|
updated files src/ui/android
|
2013-09-04 13:34:44 +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
|
6fa330b49e
|
added for_sure_Adv in DictEng. renamed ourself -> ourselves & themself -> themselves
|
2013-09-04 07:11:56 +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
|
d3d4400c0e
|
added ExtAdvNP and ExtAdvVP in the resource grammar
|
2013-09-03 08:59:47 +00:00 |
|
|
kr.angelov
|
fd17023eeb
|
fix for linearization with 'pre'
|
2013-09-03 08:58:04 +00:00 |
|
|
kr.angelov
|
e53132fd44
|
more changes in DictEng/DictEngBul
|
2013-09-03 08:57:18 +00:00 |
|
|
kr.angelov
|
321732aad5
|
"that" in ComplVS and SlashV2S is now optional
|
2013-09-03 08:12:07 +00:00 |
|
|
kr.angelov
|
2d06fdfbe4
|
PredVPovs now puts comma before the verb
|
2013-09-03 08:11:01 +00:00 |
|
|
kr.angelov
|
1eadd9f275
|
exposed ComplSlashPartLast in the parse grammar
|
2013-09-03 08:08:57 +00:00 |
|
|
kr.angelov
|
69881dccac
|
a couple of changes in DictEng/DictEngBul. Added infVV in ParadigmsEng which allows the definition of VVs that take a bare infinitive
|
2013-09-03 08:06:44 +00:00 |
|
|
kr.angelov
|
b9192ccccf
|
RelNP and ApposNP should put a final comma after the inserted phrase.
|
2013-09-03 08:00:59 +00:00 |
|
|
kr.angelov
|
ee7307fbfb
|
fix in the GF compiler and runtime which let us to define pre construct detecting whether this is the last token.
|
2013-09-03 07:51:25 +00:00 |
|
|
kr.angelov
|
44db7d7c8b
|
fix the placement of AdV in PassVPSlash for English
|
2013-09-02 08:14:31 +00:00 |
|
|
kr.angelov
|
445c980a00
|
fix in the spelling of Hong Kong in DictEng
|
2013-09-02 08:13:52 +00:00 |
|
|
kr.angelov
|
07b0cc7926
|
fix the compilation of LangTur
|
2013-09-01 11:48:02 +00:00 |
|
|
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
|
59650c0bdb
|
PassVPSlash must add the preposition
|
2013-08-27 14:32:12 +00:00 |
|
|
kr.angelov
|
d866a09633
|
laugh_at_V2 in DictEng(Abs,Eng,Bul)
|
2013-08-27 14:31:12 +00:00 |
|
|
kr.angelov
|
02903a0743
|
added silly_A to DictEngBul
|
2013-08-27 14:03:00 +00:00 |
|
|
kr.angelov
|
35d4b6e846
|
fix PresPartRS for phrasal verbs
|
2013-08-27 12:02:57 +00:00 |
|
|
kr.angelov
|
e381990174
|
fix make_V2V
|
2013-08-27 12:02:29 +00:00 |
|
|
kr.angelov
|
4369ed9f3f
|
conjunction of AdV
|
2013-08-27 12:00:38 +00:00 |
|
|
kr.angelov
|
0ea4c754c0
|
fix in DictEng.gf
|
2013-08-27 08:08:41 +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
|
83bc4adb96
|
a few words in DictEngBul.gf
|
2013-08-26 07:00:39 +00:00 |
|
|
kr.angelov
|
9918fe37c1
|
bugfix in the Hindi parse grammar
|
2013-08-25 12:48:11 +00:00 |
|
|
kr.angelov
|
288bcafb79
|
nonExist now does the expected thing
|
2013-08-23 13:17:45 +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
|
828290fd17
|
a bunch of words in DictEngBul
|
2013-08-20 20:54:20 +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
|
9012f9c0b1
|
fixes in DictEngBul
|
2013-08-16 12:37:38 +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
|
f6a152a617
|
add two more bullets about the Python and the Java bindings
|
2013-07-30 11:54:20 +00:00 |
|
|
kr.angelov
|
891c15f8c0
|
added release notes for the C runtime
|
2013-07-30 11:51:49 +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 |
|