krasimir
e56b56a57f
bugfix in libsg
2016-05-22 09:19:54 +00:00
krasimir
bea8c5796a
fix the compilation of sqlite3 on MacOS
2016-05-18 09:01:47 +00:00
krasimir
80a96b3a85
an API for oracles in the GF parser
2016-05-10 17:11:39 +00:00
krasimir
3f0fe438cd
a prototype for complex queries over expressions in libsg
2016-04-29 14:06:24 +00:00
krasimir
a6b4212264
added methods for accessing the last element of a buffer in libgu
2016-04-29 14:05:42 +00:00
krasimir
6fb17dc6fc
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
983da7adfc
more fixes for GNU Lightning for ARM
2016-04-14 13:47:56 +00:00
krasimir
114e95f43b
fix in evaluator.c
2016-04-14 13:47:29 +00:00
krasimir
6a0ed34b11
bugfix in GNU Lightning for ARM
2016-04-14 08:26:07 +00:00
krasimir
76a6cc1bb5
bugfix in the JIT compiler for 64bit machines
2016-04-13 14:58:12 +00:00
krasimir
e8e52de6b9
locale independent printing for doubles when they are part of an abstract expression
2016-04-13 14:30:40 +00:00
krasimir
c0344e936a
fix for reading PgfExpr with a double literal
2016-04-13 14:08:49 +00:00
hallgren
465a83cd02
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
55a7fdc4a5
some progress on complex queries in libsg
2016-02-09 10:59:18 +00:00
krasimir
4a38cc1e7b
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
8dda2dfbff
added API for reading a list of tuples in the SG module
2015-12-22 13:50:01 +00:00
krasimir
028de0468b
pgf_read should close the input file.
2015-12-22 09:29:14 +00:00
krasimir
bef9d8c5fc
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
0b9395fd70
a fix that should solve the segmentation fault on MacOS with the exhaustive generator
2015-12-19 17:30:41 +00:00
krasimir
79ea4af960
added readTriple in libsg and its Haskell binding
2015-11-25 10:37:13 +00:00
krasimir
9f9b23d0dd
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
46fc386cfb
bugfix for lookupMorpho in the C runtime
2015-10-14 07:36:46 +00:00
krasimir
ef888baec8
fix the debug mode in the tree generator in the C runtime
2015-09-11 09:26:17 +00:00
krasimir
d83316d7c6
add readTriple in the Haskell binding
2015-09-08 13:04:31 +00:00
krasimir
b5e7f08c82
bugfix in the parser
2015-09-08 09:42:42 +00:00
krasimir
ea83efa79c
fix the metadata for sg databases
2015-09-04 16:34:40 +00:00
krasimir
3d60ce06bb
storage for literals in libsg
2015-09-04 14:45:18 +00:00
krasimir
e9f7aa0e33
the new triples API in libsg now always works with expressions
2015-09-04 10:01:19 +00:00
krasimir
c322e686a0
bugfixes in libsg
2015-09-03 13:24:13 +00:00
krasimir
ef90fa4abe
API for transactions in libsg
2015-09-02 13:01:23 +00:00
krasimir
4a1da62d84
bugfix in libsg
2015-09-02 06:55:39 +00:00
krasimir
9a58afe121
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
f2952768d5
query for triples and cleaner API
2015-08-27 15:18:51 +00:00
krasimir
32d5d4b52f
added libsg in the C runtime
2015-08-24 09:36:51 +00:00
krasimir
e43608eca0
retrieval of a triple
2015-08-21 16:31:43 +00:00
krasimir
17a572dda6
API for storing triples in the semantic graph
2015-08-21 16:13:03 +00:00
krasimir
2f9704a624
add the initial sketches of the semantic graph storage
2015-08-20 13:31:43 +00:00
krasimir
9b0cb5adad
bugfix for the word prediction in the App
2015-08-06 12:51:42 +00:00
krasimir
f6796ced2d
bugfix in lookup_morpho in the C runtime
2015-08-06 11:51:23 +00:00
krasimir
880f0a63d0
make the virtual machine instructions more uniform
2015-07-16 15:43:18 +00:00
krasimir
d22c07dcfb
refine the GNU lightning patch to avoid generating unnecessary code
2015-07-16 15:29:14 +00:00
krasimir
fac48d43e8
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
192b1cc018
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
b3680b6025
merge the states for reasoning and evaluation into a single structure
2015-07-03 11:53:52 +00:00
krasimir
6f2afdd53e
bugfix in the parser for lexical lookup
2015-06-30 12:54:19 +00:00
hallgren
2643f3cee6
Documentation updates for the release of GF 3.7
2015-06-25 12:10:47 +00:00
krasimir
c7f1803410
bugfix in the bottom-up prediction for the parser
2015-06-25 09:46:43 +00:00
hallgren
c6cdb66cf2
runtime/c/pf/jit.c: silence warning about alloca on MINGW32
2015-06-23 15:49:31 +00:00
krasimir
e352742b8c
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
9b0edaacdb
print error message for missing abstract categories in the C runtime
2015-06-05 07:41:59 +00:00
