Krasimir Angelov
fdd33b63d9
remove redundancies in the .pgf format kept for lagacy reasons
2022-02-08 19:04:08 +01:00
Krasimir Angelov
4d240f7260
working fullFormLexicon. Slows down loading and compilation
2022-02-08 16:38:30 +01:00
Krasimir Angelov
00f857559d
restore the sharing of sequences. Shrinks the grammar by ~45%
2022-01-08 19:49:42 +01:00
krangelov
12b4958b99
make it possible to merge PGF files in the compiler
2021-12-22 10:47:22 +01:00
krangelov
e312a10882
fix a potential crash
2021-12-08 19:34:28 +01:00
krangelov
4a68ea93b3
generate and store the ranges for all linearization rules
2021-11-26 14:05:03 +01:00
krangelov
f845889702
fix potential crashes
2021-11-25 11:50:09 +01:00
krangelov
06980404a9
correctly distinguish between fun and data judgements
2021-11-18 13:50:09 +01:00
krangelov
a4ad17a478
pgf_create_lin now has access to the abstract function
2021-11-09 08:50:54 +01:00
krangelov
2bed0b708c
PgfVector -> Vector
2021-11-09 02:10:17 +01:00
krangelov
6552bcf909
Unify the data model between the C runtime and the Haskell binding
2021-11-09 02:04:36 +01:00
krangelov
d6cf023258
reading & writing grammars in the new format
2021-11-08 10:39:05 +01:00
krangelov
1413c273cc
API for adding concrete syntaxes. Garbage collection to be fixed!
2021-10-21 19:18:14 +02:00
krangelov
3f31d86d0d
errno is not set for FILE I/O so we do our best
2021-09-17 10:06:11 +02:00
krangelov
c6d6914688
switch to using FILE * in the reader
2021-09-15 08:06:18 +02:00
krangelov
a843ddba55
better error handling which always reports the right file name
2021-09-07 15:54:27 +02:00
krangelov
9cea2cc70e
change the API to allow different grammar revisions
2021-09-06 15:49:39 +02:00
krangelov
b4838649f5
linear time loading of namespaces
2021-09-03 21:10:26 +02:00
krangelov
b28e891a6b
a type annotated version of marshaller/unmarshaller
2021-08-26 17:27:34 +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
8f0a1b8fee
started a new database-backed runtime from scratch
2021-07-30 12:08:28 +02:00
krasimir
7d72d99c2f
explicitly classify all functions in libpgf as either internal or API functions
2017-04-19 09:34:23 +00:00
krasimir
b3680b6025
merge the states for reasoning and evaluation into a single structure
2015-07-03 11:53:52 +00:00
krasimir
e352742b8c
the orthographic tokens were broken when they appear inside a dictionary entry. Now this is fixed by treating those as syntactic rules
2015-06-12 13:03:19 +00:00
kr.angelov
f25b45e13d
fix in reader.h for compiling jpgf.c
2014-09-30 11:25:27 +00:00
kr.angelov
14e6eec5ec
now a complete JIT compiler and ByteCode compiler for the def rules in the abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
2014-09-25 10:35:06 +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
0ece8f19ab
loading and unloading of languages in the C runtime and in the Python bindings
2013-12-10 15:00:52 +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
10ef298fa0
the grammar reader in the C runtime is completely rewritten and it doesn't use the generic programming API
2013-02-11 10:16:58 +00:00
kr.angelov
aa13090b66
started an official API to the C runtime
2012-12-12 11:25:58 +00:00
