 kr.angelov
|
780ba65c25
|
remove pgf/edsl.h from the C runtime
|
2013-09-26 11:59:35 +00:00 |
|
|
kr.angelov
|
216490f275
|
add gu_variant_close in libgu
|
2013-09-26 10:41:52 +00:00 |
|
|
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
|
82815c8262
|
fix a typo in src/runtime/javascript/translator.html
|
2013-09-25 07:13:50 +00:00 |
|
|
kr.angelov
|
4baae48178
|
a small fix in the python binding after the refactoring in the C runtime
|
2013-09-24 09:14:43 +00:00 |
|
|
kr.angelov
|
1402225a6e
|
GrammarToPGF now looks only at the top modules for the PGF flags
|
2013-09-23 09:30:45 +00:00 |
|
|
kr.angelov
|
54c3924a11
|
fix a warning in the compiler
|
2013-09-23 09:20:55 +00:00 |
|
|
kr.angelov
|
14061ef4df
|
GF.Grammar.Grammar.allExtends now returns a list of source modules instead of just the module names. This saves extra lookups later
|
2013-09-23 09:18:27 +00:00 |
|
|
kr.angelov
|
9e148280c5
|
work on the translation dictionaries and the statistical model
|
2013-09-20 12:09:54 +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
|
a42cbb84ff
|
add type signature for gu_string_length in the headers of libgu
|
2013-09-18 08:03:37 +00:00 |
|
|
kr.angelov
|
99985843d1
|
bugfix in the ordering of strings in libgu
|
2013-09-17 19:05:54 +00:00 |
|
|
kr.angelov
|
237c2af7fc
|
gu_buf_binsearch -> gu_seq_binsearch. Improved API
|
2013-09-17 19:04:46 +00:00 |
|
|
kr.angelov
|
d1e6a9c2ba
|
added order and equality for strings in libgu
|
2013-09-17 13:45:37 +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
|
8e1c6cca40
|
added BSD licenses to the Java binding and the android UI
|
2013-09-16 06:54:55 +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
|
9da5ca7f81
|
bugfix in utf8.c
|
2013-09-13 09:50:04 +00:00 |
|
|
kr.angelov
|
d10a3830b8
|
fix a warning in utf8.c
|
2013-09-13 08:30:57 +00:00 |
|
|
kr.angelov
|
2e8f055164
|
optimize the reading of strings in the grammar loader.
|
2013-09-13 08:28:20 +00:00 |
|
|
kr.angelov
|
4d8ed02f6d
|
more UTF8 cleanup
|
2013-09-13 08:12:19 +00:00 |
|
|
kr.angelov
|
c469ae9091
|
clean up the UTF8 API in libgu
|
2013-09-13 07:44:45 +00:00 |
|
|
kr.angelov
|
c684ab30a7
|
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
|
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
|
5a4454aa8f
|
added exhaustive generation in the Java binding
|
2013-09-06 07:21:38 +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
|
46f2460a92
|
move src/runtime/android to src/ui/android/jni
|
2013-09-05 12:19:59 +00:00 |
|
|
kr.angelov
|
f190e349c2
|
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
|
ebc3fc51d0
|
fix gu_in_bytes_ to use buffering
|
2013-09-05 12:10:55 +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
|
8f975239c6
|
bugfix for gu_buffered_in
|
2013-09-05 09:50:57 +00:00 |
|
|
kr.angelov
|
9b97346c07
|
add gu and pgf in the library path for building the Java binding
|
2013-09-04 20:30:43 +00:00 |
|
|
kr.angelov
|
bd2666eab4
|
added description file for building jpgf.jar
|
2013-09-04 18:48:51 +00:00 |
|
|
kr.angelov
|
1fdf0cbcfb
|
fix the warnings from the Java binding
|
2013-09-04 18:23:49 +00:00 |
|
|
kr.angelov
|
b129eedcfa
|
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
|
2f02340d0d
|
added Eclipse project for building the Java binding
|
2013-09-04 14:06:06 +00:00 |
|
|
kr.angelov
|
9f0f99bba4
|
fix a few warnings in the Java binding
|
2013-09-04 13:37:40 +00:00 |
|
|
kr.angelov
|
7c000467c9
|
updated files src/ui/android
|
2013-09-04 13:34:44 +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
|
c837f3927e
|
the code in the C runtime is now complete independent from config.h
|
2013-09-04 11:51:05 +00:00 |
|
|
kr.angelov
|
93cbfd31d1
|
remove the dependency on the CHAR_ASCII flag
|
2013-09-04 10:27:08 +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
|
ae87c3d272
|
avoid using nan() in libgu for portability with Android
|
2013-09-04 07:36:39 +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
|
027fd911b6
|
fix for linearization with 'pre'
|
2013-09-03 08:58:04 +00:00 |
|
|
kr.angelov
|
df26b134fc
|
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
|
eb013c0b06
|
almost functional version of the javascript runtime
|
2013-08-29 20:36:06 +00:00 |
|
|
kr.angelov
|
1da6b2a34a
|
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
|
bb007630d7
|
more carefull tracking of references in the Java binding
|
2013-08-29 05:35:45 +00:00 |
|
|
kr.angelov
|
430e9c1b49
|
now Concr.parseBest throws ParseError
|
2013-08-28 15:35:57 +00:00 |
|
|
kr.angelov
|
69007cc661
|
bugfix which caused the runtime to crash on Android
|
2013-08-28 15:19:39 +00:00 |
|
|
kr.angelov
|
e1362fdb83
|
fix the error handling in the Java binding
|
2013-08-28 08:51:53 +00:00 |
|
|
kr.angelov
|
1c7a64acee
|
make the Expr constructor private
|
2013-08-28 07:09:31 +00:00 |
|
|
kr.angelov
|
5a24be9735
|
fixes in the Java binding
|
2013-08-28 00:04:50 +00:00 |
|
|
kr.angelov
|
e3bd66cc78
|
added PGF.getStartCat()
|
2013-08-27 23:02:00 +00:00 |
|
|
kr.angelov
|
3494107994
|
added method for best first parsing in the Java binding
|
2013-08-27 22:54:10 +00:00 |
|
|
kr.angelov
|
e3c5882721
|
bugfix in the java binding
|
2013-08-27 22:53:38 +00:00 |
|
|
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 |
|
|
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
|
102994144b
|
add two more bullets about the Python and the Java bindings
|
2013-07-30 11:54:20 +00:00 |
|
|
kr.angelov
|
80dbbb88b8
|
added release notes for the C runtime
|
2013-07-30 11:51:49 +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 |
|