summaryrefslogtreecommitdiff
path: root/src/runtime/c
AgeCommit message (Expand)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 form...krasimir
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 and...krasimir
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 exp...krasimir
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
2016-02-09some progress on complex queries in libsgkrasimir
2016-01-26fix a rather intricate bug where coercions in the PMCFG grammar didn't intera...krasimir
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 findin...krasimir
2015-12-19a fix that should solve the segmentation fault on MacOS with the exhaustive g...krasimir
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 lite...krasimir
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 whi...krasimir
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
2015-07-04the reasoner's states are now closures just like the code for the def rules. ...krasimir
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 09:43:39 +0000