summaryrefslogtreecommitdiff
path: root/src/runtime/c
AgeCommit message (Collapse)Author
2016-05-25fix the word completion in the C runtimekrasimir
2016-05-25fix the compilation when debugging is switched offkrasimir
2016-05-25pgf_generate_all now works with literals as wellkrasimir
2016-05-25when expressions with Float literals are printed, we should use the same ↵krasimir
format that is used by the linearizer
2016-05-25fix a warning in libsgkrasimir
2016-05-22bugfix in libsgkrasimir
2016-05-18fix the compilation of sqlite3 on MacOSkrasimir
2016-05-10an API for oracles in the GF parserkrasimir
2016-04-29a prototype for complex queries over expressions in libsgkrasimir
2016-04-29added methods for accessing the last element of a buffer in libgukrasimir
2016-04-28a version of sqlite3.c which is prunned to one third of the original size ↵krasimir
and now it contains only the database storage engine withough the SQL compiler and interpreter
2016-04-14more fixes for GNU Lightning for ARMkrasimir
2016-04-14fix in evaluator.ckrasimir
2016-04-14bugfix in GNU Lightning for ARMkrasimir
2016-04-13bugfix in the JIT compiler for 64bit machineskrasimir
2016-04-13locale independent printing for doubles when they are part of an abstract ↵krasimir
expression
2016-04-13fix for reading PgfExpr with a double literalkrasimir
2016-03-30src/runtime/c/INSTALL: add automake to the list of needed packages on Linuxhallgren
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-02-09some progress on complex queries in libsgkrasimir
2016-01-26fix a rather intricate bug where coercions in the PMCFG grammar didn't ↵krasimir
interact properly with the lazy parser
2015-12-22added API for reading a list of tuples in the SG modulekrasimir
2015-12-22pgf_read should close the input file.krasimir
2015-12-20added a primitive full-text search index in libsg. This can be use for ↵krasimir
finding an abstract tree whose linearization matches given keywords
2015-12-19a fix that should solve the segmentation fault on MacOS with the exhaustive ↵krasimir
generator
2015-11-25added readTriple in libsg and its Haskell bindingkrasimir
2015-11-19added mkInt and mkFloat in the Haskell binding to make it easy to create ↵krasimir
literal expressions
2015-10-14bugfix for lookupMorpho in the C runtimekrasimir
2015-09-11fix the debug mode in the tree generator in the C runtimekrasimir
2015-09-08add readTriple in the Haskell bindingkrasimir
2015-09-08bugfix in the parserkrasimir
2015-09-04fix the metadata for sg databaseskrasimir
2015-09-04storage for literals in libsgkrasimir
2015-09-04the new triples API in libsg now always works with expressionskrasimir
2015-09-03bugfixes in libsgkrasimir
2015-09-02API for transactions in libsgkrasimir
2015-09-02bugfix in libsgkrasimir
2015-08-31still partial implementation for complex queries in libsg, and added sg.h ↵krasimir
which I had forgotten to include in darcs
2015-08-27query for triples and cleaner APIkrasimir
2015-08-24added libsg in the C runtimekrasimir
2015-08-21retrieval of a triplekrasimir
2015-08-21API for storing triples in the semantic graphkrasimir
2015-08-20add the initial sketches of the semantic graph storage krasimir
2015-08-06bugfix for the word prediction in the Appkrasimir
2015-08-06bugfix in lookup_morpho in the C runtimekrasimir
2015-07-16make the virtual machine instructions more uniformkrasimir
2015-07-16refine the GNU lightning patch to avoid generating unnecessary codekrasimir
2015-07-16bugfixes in the JIT compiler for x86_64. One of the fixes is actually in GNU ↵krasimir
lightning
2015-07-04the reasoner's states are now closures just like the code for the def rules. ↵krasimir
This means more compact JIT compiled code and uniformity with the code for def rules
2015-07-03merge the states for reasoning and evaluation into a single structurekrasimir
2015-06-30bugfix in the parser for lexical lookupkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 10:24:12 +0000