456f0a5733
remove the teyjus and utils folders
2017-04-12 10:31:01 +00:00
a8eaa2f2e5
a patch from Bjørnar Luteberget for compatibility with MSVC
2017-04-12 10:24:56 +00:00
915747efa7
some work on libsg queries
2017-04-12 10:05:22 +00:00
f09507cb0f
fix the compilation of sqlite3Btree.c on Windows
2017-03-14 11:07:14 +00:00
3467a54965
bring the Haskell binding a bit closer to the pure Haskell API
2017-01-26 12:48:22 +00:00
6af632dd18
added mkMeta and unMeta in the Haskell binding
2017-01-26 10:17:02 +00:00
8b8812baa2
pgf_generate_all now emits __mock_string__ instead of FOO for String literals.
2016-06-16 08:08:45 +00:00
60e07c302e
now a working API for complex queries in libsg
2016-06-09 10:01:43 +00:00
28aa04739a
bugfix in libsg
2016-06-09 09:59:38 +00:00
3381ae1aa0
added getFunctionProb in the Java and C API
2016-05-30 11:25:59 +00:00
13f9a42ae5
fix the word completion in the C runtime
2016-05-25 12:19:26 +00:00
0894f55661
fix the compilation when debugging is switched off
2016-05-25 09:42:24 +00:00
faebebc8f4
pgf_generate_all now works with literals as well
2016-05-25 09:36:05 +00:00
41a3054e9b
when expressions with Float literals are printed, we should use the same format that is used by the linearizer
2016-05-25 09:34:40 +00:00
b34ee6f377
fix a warning in libsg
2016-05-25 07:18:01 +00:00
e56b56a57f
bugfix in libsg
2016-05-22 09:19:54 +00:00
bea8c5796a
fix the compilation of sqlite3 on MacOS
2016-05-18 09:01:47 +00:00
80a96b3a85
an API for oracles in the GF parser
2016-05-10 17:11:39 +00:00
3f0fe438cd
a prototype for complex queries over expressions in libsg
2016-04-29 14:06:24 +00:00
a6b4212264
added methods for accessing the last element of a buffer in libgu
2016-04-29 14:05:42 +00:00
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
983da7adfc
more fixes for GNU Lightning for ARM
2016-04-14 13:47:56 +00:00
114e95f43b
fix in evaluator.c
2016-04-14 13:47:29 +00:00
6a0ed34b11
bugfix in GNU Lightning for ARM
2016-04-14 08:26:07 +00:00
76a6cc1bb5
bugfix in the JIT compiler for 64bit machines
2016-04-13 14:58:12 +00:00
e8e52de6b9
locale independent printing for doubles when they are part of an abstract expression
2016-04-13 14:30:40 +00:00
c0344e936a
fix for reading PgfExpr with a double literal
2016-04-13 14:08:49 +00:00
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
55a7fdc4a5
some progress on complex queries in libsg
2016-02-09 10:59:18 +00:00
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
8dda2dfbff
added API for reading a list of tuples in the SG module
2015-12-22 13:50:01 +00:00
028de0468b
pgf_read should close the input file.
2015-12-22 09:29:14 +00:00
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
0b9395fd70
a fix that should solve the segmentation fault on MacOS with the exhaustive generator
2015-12-19 17:30:41 +00:00
79ea4af960
added readTriple in libsg and its Haskell binding
2015-11-25 10:37:13 +00:00
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
46fc386cfb
bugfix for lookupMorpho in the C runtime
2015-10-14 07:36:46 +00:00
ef888baec8
fix the debug mode in the tree generator in the C runtime
2015-09-11 09:26:17 +00:00
d83316d7c6
add readTriple in the Haskell binding
2015-09-08 13:04:31 +00:00
b5e7f08c82
bugfix in the parser
2015-09-08 09:42:42 +00:00
ea83efa79c
fix the metadata for sg databases
2015-09-04 16:34:40 +00:00
3d60ce06bb
storage for literals in libsg
2015-09-04 14:45:18 +00:00
e9f7aa0e33
the new triples API in libsg now always works with expressions
2015-09-04 10:01:19 +00:00
c322e686a0
bugfixes in libsg
2015-09-03 13:24:13 +00:00
ef90fa4abe
API for transactions in libsg
2015-09-02 13:01:23 +00:00
4a1da62d84
bugfix in libsg
2015-09-02 06:55:39 +00:00
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
f2952768d5
query for triples and cleaner API
2015-08-27 15:18:51 +00:00
32d5d4b52f
added libsg in the C runtime
2015-08-24 09:36:51 +00:00
e43608eca0
retrieval of a triple
2015-08-21 16:31:43 +00:00
krasimir