Krasimir Angelov
00f857559d
restore the sharing of sequences. Shrinks the grammar by ~45%
2022-01-08 19:49:42 +01:00
krangelov
3d1123eed4
restore graphvizParseTree
2021-12-04 14:12:23 +01:00
krangelov
ae08d42d6e
started the linearizer
2021-11-26 18:44:17 +01:00
krangelov
fa1d7cf859
started on the typechecker
2021-11-19 10:39:06 +01:00
krangelov
c1690ffa77
the r/w lock is now in the database itself
2021-11-15 13:13:00 +01:00
krangelov
397d22b49b
define macro to control dllexport on WINDOWS
2021-11-10 17:41:59 +01:00
John J. Camilleri
3bdfe1a336
Minor cleanup
2021-10-12 23:27:49 +02:00
John J. Camilleri
ead1160a75
More changes to compile on macOS (incomplete)
2021-10-12 15:29:29 +02:00
John J. Camilleri
1401a6d209
Fix (most) macOS compilation problems
2021-10-12 10:46:39 +02:00
krangelov
a9a8ed8bf3
fix the dependency on librt
2021-09-24 13:57:11 +02:00
krangelov
d72017409a
added -lrt
2021-09-24 13:35:51 +02:00
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
