krangelov
bdd84f10f9
got started on inter-process communication
2021-09-24 11:25:58 +02:00
krangelov
e00be98ac6
added writePGF
2021-09-15 19:58:42 +02:00
krangelov
ae0a6aa6b6
clean up everything after revision is not needed anymore.
2021-09-11 16:33:22 +02:00
krangelov
31396e46e3
disable rtti
2021-09-07 13:19:02 +02:00
krangelov
275addfcbe
pretty printing for expressions and types
2021-08-26 15:46:16 +02:00
krangelov
a5008c2fe1
implemented functionType and marshalling for types and expressions
2021-08-10 15:07:41 +02:00
krangelov
91f183ca6a
move the C sources to the subfolder pgf again for backwards compatibility
2021-08-08 18:29:16 +02:00
krangelov
84789c9fbf
finished reading the abstract syntax
2021-08-05 12:37:12 +02:00
krangelov
17629e4821
strings are stored as length+text and NULL byte is not a terminator
2021-07-30 13:45:22 +02:00
krangelov
8f0a1b8fee
started a new database-backed runtime from scratch
2021-07-30 12:08:28 +02:00
krangelov
155657709a
Merge branch 'master' into c-runtime
2021-07-30 11:20:04 +02:00
krangelov
33818076ff
drop the SG library completely.
2020-07-08 21:12:01 +02:00
krangelov
4a71464ca7
Merge with master and drop the Haskell runtime completely
2019-09-19 22:01:57 +02:00
krangelov
9f0ea19a1c
API for scanning for cohorts in an arbitrary text
2019-05-28 12:26:00 +02:00
Krasimir Angelov
5a2b200948
manually copy the "c-runtime" branch from the old repository.
2018-11-02 14:38:44 +01:00
Krasimir Angelov
9d39648dfb
fixed typo which broke the compilation on Windows
2018-05-21 16:03:30 +02:00
Krasimir Angelov
3e55aa4424
added function pgf_write
2017-09-13 09:30:52 +02:00
Krasimir Angelov
16172be940
the C runtime should also install data.h in order to make it possible to access the internal structures
2017-09-07 21:34:39 +02:00
krasimir
d0269e8513
first steps for sentence lookup in the C runtime
2017-05-03 16:28:20 +00:00
krasimir
7455e7bff9
disable doxygen
2017-04-13 14:11:47 +00:00
krasimir
3467a54965
bring the Haskell binding a bit closer to the pure Haskell API
2017-01-26 12:48:22 +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
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
kr.angelov
3bd40dbab6
API for word alignment in the C runtime and in the Haskell binding
2014-12-29 10:59:20 +00:00
kr.angelov
f63e8faf00
remove pgf/parser.h
2014-11-27 11:12:14 +00:00
kr.angelov
70c70fa791
a skeletal module for higher-order pattern unification in the C runtime
2014-10-31 19:57:56 +00:00
kr.angelov
bb1f0f3368
get rid of gu/str.(c|h)
2014-10-20 07:50:42 +00:00
kr.angelov
86e9acc7a7
throw away the long obsolete runtime type information in the C runtime
2014-10-09 13:44:26 +00:00
kr.angelov
584d589041
a partial support for def rules in the C runtime
...
The def rules are now compiled to byte code by the compiler and then to
native code by the JIT compiler in the runtime. Not all constructions
are implemented yet. The partial implementation is now in the repository
but it is not activated by default since this requires changes in the
PGF format. I will enable it only after it is complete.
2014-08-11 10:59:10 +00:00
kr.angelov
0222d2440c
implemented computing with abstract syntax trees. It passes all test cases except those that require def rules. The design is consistent with the STG virtual machine
2014-07-08 19:45:49 +00:00
kr.angelov
2eaf51f15a
changes in Makefile.am to make it easier to compile the C runtime on Windows
2014-02-27 19:37:10 +00:00
kr.angelov
546c7ac859
A simple type checker in the C runtime. Dependent types are not supported yet but HOAS is implemented. The API is accessible from Python as well
2013-11-04 17:10:46 +00:00
kr.angelov
8cf03bc5b6
a major redesign in the C runtime. The parser and the linearizer now fully support BIND. The following things are still broken: parseval, word completion, handling 'pre', the robust mode
2013-10-09 12:08:51 +00:00
kr.angelov
780ba65c25
remove pgf/edsl.h from the C runtime
2013-09-26 11:59:35 +00:00
kr.angelov
2a49e4e1d6
a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified
2013-09-17 12:45:00 +00:00
kr.angelov
9c3dd1e1e1
remove the logging from libgu
2013-09-12 09:30:02 +00:00
kr.angelov
14f8b96b56
remove the string internalization since it slows down grammar loading with little benefit
2013-09-05 13:34:49 +00:00
kr.angelov
7c0bad5092
remove the read and write modules from libgu. this simplifies the i/o layer
2013-09-05 11:20:39 +00:00
kr.angelov
504341dfba
remove dump and yaml from libgu
2013-09-05 10:01:47 +00:00
kr.angelov
5337b4bef7
graphvizAbstractTree in the C and Python runtimes
2013-08-15 08:06:37 +00:00
kr.angelov
3c2d1890d0
patch for adjustable heuristics from Python
2013-06-26 07:36:03 +00:00
kr.angelov
d553cb165a
Now there is a just-in-time compiler which generates native code for proof search. This is already used by the exhaustive generator. The time to generate 10000 abstract trees with ParseEng went down from 4.43 sec to 0.29 sec.
2013-06-25 19:22:42 +00:00
kr.angelov
542dcaa0ec
the C runtime and the Python binding now have an API for parser evaluation. The API computes PARSEVAL and Exact Match for a given tree. As a side effect the abstract trees in Python are now compared for equality by value and not by reference
2013-04-19 10:57:46 +00:00
kr.angelov
90c3304147
remove the pgf2yaml tool which was both broken and redundant. The declarations for generic programming from data.c are removed as well
2013-02-11 13:51:12 +00:00
peter.ljunglof
599b51830f
New PGF utility: pgf-parse
2013-01-08 10:19:53 +00:00
kr.angelov
a28ccc965c
rename linearize.{h/c} to linearizer.{h/c} which follows the convention used in parser.c and reasoner.c
2012-12-19 09:17:24 +00:00
kr.angelov
20aaa4a989
The first prototype for exhaustive generation in the C runtime. The trees are always listed in decreasing probability order. There is also an API for generation from Python
2012-12-14 15:32:49 +00:00
kr.angelov
aa13090b66
started an official API to the C runtime
2012-12-12 11:25:58 +00:00
kr.angelov
e174f37940
added experimental script for chunking in the C runtime
2012-12-03 10:07:54 +00:00
