1
0
forked from GitHub/gf-core
Commit Graph

440 Commits

Author SHA1 Message Date
krasimir
6cf80c0769 a version of sqlite3.c which is prunned to one third of the original size and now it contains only the database storage engine withough the SQL compiler and interpreter 2016-04-28 14:14:04 +00:00
krasimir
f626472527 more fixes for GNU Lightning for ARM 2016-04-14 13:47:56 +00:00
krasimir
3188e603db fix in evaluator.c 2016-04-14 13:47:29 +00:00
krasimir
75d808ab1f bugfix in GNU Lightning for ARM 2016-04-14 08:26:07 +00:00
krasimir
46d83b2132 bugfix in the JIT compiler for 64bit machines 2016-04-13 14:58:12 +00:00
krasimir
a1fe57d69b locale independent printing for doubles when they are part of an abstract expression 2016-04-13 14:30:40 +00:00
krasimir
e74a008296 fix for reading PgfExpr with a double literal 2016-04-13 14:08:49 +00:00
hallgren
9f7593734a src/runtime/c/INSTALL: add automake to the list of needed packages on Linux
The automake package contains aclocal, which is needed when running
autoreconf -i.

I never needed to install automake explicitly on Linux, presumably because it
got installed anyway because of some other dependency, but apparently you
can't take this for granted.
2016-03-30 11:43:16 +00:00
krasimir
453ad134b5 some progress on complex queries in libsg 2016-02-09 10:59:18 +00:00
krasimir
db523ff200 fix a rather intricate bug where coercions in the PMCFG grammar didn't interact properly with the lazy parser 2016-01-26 14:29:06 +00:00
krasimir
9483ad219b added API for reading a list of tuples in the SG module 2015-12-22 13:50:01 +00:00
krasimir
e584be964c pgf_read should close the input file. 2015-12-22 09:29:14 +00:00
krasimir
6bf691c3af added a primitive full-text search index in libsg. This can be use for finding an abstract tree whose linearization matches given keywords 2015-12-20 14:04:52 +00:00
krasimir
c6763c23e7 a fix that should solve the segmentation fault on MacOS with the exhaustive generator 2015-12-19 17:30:41 +00:00
krasimir
63261ad94a added readTriple in libsg and its Haskell binding 2015-11-25 10:37:13 +00:00
krasimir
4888b65881 added mkInt and mkFloat in the Haskell binding to make it easy to create literal expressions 2015-11-19 13:18:19 +00:00
krasimir
36f2e7dc9a bugfix for lookupMorpho in the C runtime 2015-10-14 07:36:46 +00:00
krasimir
21078c8bfe fix the debug mode in the tree generator in the C runtime 2015-09-11 09:26:17 +00:00
krasimir
1196b48b5e add readTriple in the Haskell binding 2015-09-08 13:04:31 +00:00
krasimir
af3c514e18 bugfix in the parser 2015-09-08 09:42:42 +00:00
krasimir
30dfd35e59 fix the metadata for sg databases 2015-09-04 16:34:40 +00:00
krasimir
ab086e7cb3 storage for literals in libsg 2015-09-04 14:45:18 +00:00
krasimir
05f7150759 the new triples API in libsg now always works with expressions 2015-09-04 10:01:19 +00:00
krasimir
2be83cae2d bugfixes in libsg 2015-09-03 13:24:13 +00:00
krasimir
442bb77b74 API for transactions in libsg 2015-09-02 13:01:23 +00:00
krasimir
e0c5b1d0b5 bugfix in libsg 2015-09-02 06:55:39 +00:00
krasimir
f5387c429b still partial implementation for complex queries in libsg, and added sg.h which I had forgotten to include in darcs 2015-08-31 07:15:20 +00:00
krasimir
68ff5ff371 query for triples and cleaner API 2015-08-27 15:18:51 +00:00
krasimir
4d39c2623b added libsg in the C runtime 2015-08-24 09:36:51 +00:00
krasimir
f9250c610c retrieval of a triple 2015-08-21 16:31:43 +00:00
krasimir
b66276fda5 API for storing triples in the semantic graph 2015-08-21 16:13:03 +00:00
krasimir
c7c47fbded add the initial sketches of the semantic graph storage 2015-08-20 13:31:43 +00:00
krasimir
e9a8e083a0 bugfix for the word prediction in the App 2015-08-06 12:51:42 +00:00
krasimir
a982a4d15f bugfix in lookup_morpho in the C runtime 2015-08-06 11:51:23 +00:00
krasimir
a976d7e44b make the virtual machine instructions more uniform 2015-07-16 15:43:18 +00:00
krasimir
806a33ef98 refine the GNU lightning patch to avoid generating unnecessary code 2015-07-16 15:29:14 +00:00
krasimir
2b52a1a2ea bugfixes in the JIT compiler for x86_64. One of the fixes is actually in GNU lightning 2015-07-16 15:21:09 +00:00
krasimir
99a0b5a1d8 the reasoner's states are now closures just like the code for the def rules. This means more compact JIT compiled code and uniformity with the code for def rules 2015-07-04 15:06:34 +00:00
krasimir
85e6e017af merge the states for reasoning and evaluation into a single structure 2015-07-03 11:53:52 +00:00
krasimir
974e152ac3 bugfix in the parser for lexical lookup 2015-06-30 12:54:19 +00:00
hallgren
4e9e7c2bdd Documentation updates for the release of GF 3.7 2015-06-25 12:10:47 +00:00
krasimir
51c13f7aac bugfix in the bottom-up prediction for the parser 2015-06-25 09:46:43 +00:00
hallgren
71c037b4df runtime/c/pf/jit.c: silence warning about alloca on MINGW32 2015-06-23 15:49:31 +00:00
krasimir
324cdffc26 the orthographic tokens were broken when they appear inside a dictionary entry. Now this is fixed by treating those as syntactic rules 2015-06-12 13:03:19 +00:00
krasimir
aa87b0d272 print error message for missing abstract categories in the C runtime 2015-06-05 07:41:59 +00:00
krasimir
121fe53968 added callback in C for unknown words 2015-05-19 09:15:48 +00:00
krasimir
4347ce727a the NERC in C is now fully up-to-date with the other NERCs. In addition the NERC in Haskell and Java now refuses to recognize names that match words in the lexicon. The latest is useful for German 2015-05-19 07:26:56 +00:00
krasimir
815d1f441f bugfix in the NERC in C 2015-05-18 15:02:44 +00:00
krasimir
3ebadcbc3b the callbacks in C now take the concrete syntax as a parameter 2015-05-18 14:41:33 +00:00
krasimir
8cfd46b9bb pgf_lookup_morpho and pgf_lookup_word_prefix are now also case insensitive if case_sensitive=off 2015-05-18 14:20:35 +00:00