 krangelov
|
befb61b0e3
|
first steps towards porting to Windows
|
2021-11-09 19:08:49 +01:00 |
|
|
krangelov
|
9eb88f9281
|
a number of new API functions for the concrete syntax.
|
2021-11-09 09:16:20 +01:00 |
|
|
krangelov
|
a4ad17a478
|
pgf_create_lin now has access to the abstract function
|
2021-11-09 08:50:54 +01:00 |
|
|
krangelov
|
02a84b12da
|
simplify types
|
2021-11-09 08:08:14 +01:00 |
|
|
krangelov
|
1aacc34deb
|
fix reference counting for concrete revisions
|
2021-11-09 08:02:20 +01:00 |
|
|
krangelov
|
73b52bf4b5
|
started on pgf_create_lin
|
2021-11-09 02:20:42 +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
|
b3ef14c39b
|
another fix for MacOS
|
2021-11-08 10:41:09 +01:00 |
|
|
krangelov
|
d6cf023258
|
reading & writing grammars in the new format
|
2021-11-08 10:39:05 +01:00 |
|
|
krangelov
|
02b9915d11
|
attempt to fix compilation on Mac
|
2021-11-07 20:22:41 +01:00 |
|
|
krangelov
|
06b59b1f10
|
fix
|
2021-11-07 19:48:35 +01:00 |
|
|
krangelov
|
aef9c668e5
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-11-07 19:46:04 +01:00 |
|
|
krangelov
|
3f261c2854
|
first draft of the data model for the concrete syntax
|
2021-11-07 19:45:11 +01:00 |
|
|
Krasimir Angelov
|
eaa0e55922
|
Update LambdaCalculus.md
|
2021-11-04 19:10:23 +01:00 |
|
|
Krasimir Angelov
|
5342844b33
|
Update LambdaCalculus.md
|
2021-11-04 17:26:47 +01:00 |
|
|
Krasimir Angelov
|
6fc3a2177c
|
Update LambdaCalculus.md
|
2021-11-04 16:42:23 +01:00 |
|
|
Krasimir Angelov
|
86dfebd925
|
Update LambdaCalculus.md
|
2021-11-04 12:40:46 +01:00 |
|
|
Krasimir Angelov
|
478287c12f
|
Update LambdaCalculus.md
|
2021-11-04 12:37:57 +01:00 |
|
|
Krasimir Angelov
|
3351cc224e
|
Update LambdaCalculus.md
|
2021-11-04 11:03:13 +01:00 |
|
|
Krasimir Angelov
|
82980eb935
|
Update LambdaCalculus.md
|
2021-11-04 10:31:20 +01:00 |
|
|
Krasimir Angelov
|
45a8f21df8
|
Update LambdaCalculus.md
|
2021-11-04 09:38:15 +01:00 |
|
|
krangelov
|
6fcec8f864
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-11-04 08:31:43 +01:00 |
|
|
krangelov
|
e806e94be9
|
fix typo
|
2021-11-04 08:31:31 +01:00 |
|
|
Krasimir Angelov
|
18083c09b1
|
Update LambdaCalculus.md
|
2021-11-03 16:33:25 +01:00 |
|
|
Krasimir Angelov
|
02e728ca1e
|
Update LambdaCalculus.md
|
2021-11-03 16:32:00 +01:00 |
|
|
Krasimir Angelov
|
d44ae435c7
|
Update LambdaCalculus.md
|
2021-11-03 16:31:28 +01:00 |
|
|
Krasimir Angelov
|
eb3baa5c43
|
Update LambdaCalculus.md
|
2021-11-03 16:29:10 +01:00 |
|
|
Krasimir Angelov
|
208998d1f9
|
Update LambdaCalculus.md
|
2021-11-03 15:08:53 +01:00 |
|
|
Krasimir Angelov
|
f96cb85341
|
Update LambdaCalculus.md
|
2021-11-03 14:57:29 +01:00 |
|
|
Krasimir Angelov
|
19c3935855
|
Update transactions.md
|
2021-11-03 14:16:28 +01:00 |
|
|
krangelov
|
547783e50e
|
PgfDB::ref_count must be size_t
|
2021-11-03 11:50:21 +01:00 |
|
|
krangelov
|
43f40e701a
|
test cases for the concrete syntax
|
2021-11-03 11:40:34 +01:00 |
|
|
krangelov
|
309a16d471
|
reference counting for concrete syntaxes
|
2021-11-03 10:48:20 +01:00 |
|
|
krangelov
|
2320c6b3b0
|
export alterConcrete too
|
2021-10-28 19:32:37 +02:00 |
|
|
krangelov
|
7e0fc159ce
|
use newForeignPtrEnv instead of Foreign.Concurrent.newForeignPtr
|
2021-10-26 20:24:35 +02:00 |
|
|
krangelov
|
611fe95322
|
fix typo
|
2021-10-26 10:28:33 +02:00 |
|
|
krangelov
|
a607799bb3
|
always unlock the mutex in case of failure
|
2021-10-26 10:22:29 +02:00 |
|
|
krangelov
|
fd40c204e2
|
more aggressive cleanup for dead processes
|
2021-10-26 10:14:16 +02:00 |
|
|
krangelov
|
00ba552026
|
ipc_release_file_rwlock should not assume that the file exists
|
2021-10-26 09:35:56 +02:00 |
|
|
krangelov
|
157574763f
|
now we use inter-process locking
|
2021-10-25 19:14:25 +02:00 |
|
|
krangelov
|
d061403ba2
|
fix typo in the comment
|
2021-10-25 18:21:20 +02:00 |
|
|
krangelov
|
204e645616
|
update ipc.h
|
2021-10-25 15:52:32 +02:00 |
|
|
krangelov
|
186b151a90
|
rewrite ipc.cxx to support dynamic allocation of rwlocks
|
2021-10-25 15:51:06 +02:00 |
|
|
krangelov
|
2acc4be306
|
better error control
|
2021-10-25 09:30:22 +02:00 |
|
|
krangelov
|
d1c25ce1c1
|
add INCREF in embed()
|
2021-10-22 09:52:36 +02:00 |
|
|
krangelov
|
bfc2ab27e6
|
fix reference counting
|
2021-10-22 09:42:01 +02:00 |
|
|
krangelov
|
3f742497e4
|
restore the embed function
|
2021-10-22 09:34:19 +02:00 |
|
|
krangelov
|
19338a8de1
|
fix typo
|
2021-10-22 09:20:38 +02:00 |
|
|
krangelov
|
2889581a45
|
writeToFile -> writePGF for consistancy with Haskell & C
|
2021-10-22 09:07:26 +02:00 |
|
|
krangelov
|
777adaedfc
|
fix the compilation
|
2021-10-22 09:04:28 +02:00 |
|
|
krangelov
|
1413c273cc
|
API for adding concrete syntaxes. Garbage collection to be fixed!
|
2021-10-21 19:18:14 +02:00 |
|
|
krangelov
|
259ed52a77
|
fix the compilation of pre
|
2021-10-21 10:10:04 +02:00 |
|
|
krangelov
|
38d189f8ef
|
bugfix for predefined operations
|
2021-10-21 08:55:22 +02:00 |
|
|
krangelov
|
64ccd82958
|
make record extension more compact after typechecking
|
2021-10-20 19:57:42 +02:00 |
|
|
krangelov
|
b6047463a9
|
we can finally compile the English RGL
|
2021-10-20 19:39:02 +02:00 |
|
|
krangelov
|
0e98c30973
|
fix space leak in PySequence_AsHypos. PyList_FromHypos->PyTuple_FromHypos
|
2021-10-16 21:12:16 +02:00 |
|
|
krangelov
|
0eb6e9f724
|
fix reference counting
|
2021-10-16 20:12:53 +02:00 |
|
|
krangelov
|
5e335a7df2
|
add unpack & __reduce_ex__ for backward compatibility
|
2021-10-16 19:57:47 +02:00 |
|
|
krangelov
|
768cd6ae71
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-16 19:50:52 +02:00 |
|
|
krangelov
|
382456415e
|
overload pgf.Type for backward compatibility and support for dependent and simple types
|
2021-10-16 19:50:01 +02:00 |
|
|
krangelov
|
5ee960ed7c
|
fix the evaluation for Prod
|
2021-10-14 10:24:20 +02:00 |
|
|
krangelov
|
45ee985fda
|
safe error reporting in case of mmap failure
|
2021-10-13 21:33:55 +02:00 |
|
|
krangelov
|
27f0ff14a3
|
VT should preserve its environment
|
2021-10-13 19:43:01 +02:00 |
|
|
krangelov
|
a909a85537
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-13 19:15:32 +02:00 |
|
|
krangelov
|
c3eb6973f4
|
working PMCFG generation
|
2021-10-13 19:14:56 +02:00 |
|
|
krangelov
|
2a5434df96
|
avoid using the wildcard constant
|
2021-10-12 19:07:21 +02:00 |
|
|
krangelov
|
a2e7d20b7a
|
avoid using EOF in the expression parser
|
2021-10-12 18:47:04 +02:00 |
|
|
krangelov
|
f9c6e94672
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-12 12:07:17 +02:00 |
|
|
krangelov
|
8c721e063c
|
partial support for runtime parameters
|
2021-10-12 12:06:59 +02:00 |
|
|
Krasimir Angelov
|
5e65db2e17
|
Update CompilationOverview.md
|
2021-10-11 09:47:44 +02:00 |
|
|
krangelov
|
0977e9073f
|
started the chapters about the compiler
|
2021-10-11 09:07:06 +02:00 |
|
|
krangelov
|
8d075b1d57
|
move the runtime documentation to the main doc folder
|
2021-10-11 08:59:28 +02:00 |
|
|
krangelov
|
95c81ec2b7
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-08 19:25:39 +02:00 |
|
|
krangelov
|
62d5ed5b42
|
small progress on PMCFG
|
2021-10-08 19:25:21 +02:00 |
|
|
krangelov
|
15e3ca9acd
|
use prependModule to make the current module available
|
2021-10-08 11:56:28 +02:00 |
|
|
krangelov
|
6a9254816d
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-08 11:53:42 +02:00 |
|
|
krangelov
|
98f42051b1
|
first steps towards PMCFG generation
|
2021-10-08 11:53:07 +02:00 |
|
|
krangelov
|
e33d881ce8
|
finished the partial evaluator
|
2021-10-07 11:47:51 +02:00 |
|
|
krangelov
|
fd6cd382c5
|
added VGlue to cover the case where we can't precompute the glue
|
2021-10-05 19:39:24 +02:00 |
|
|
krangelov
|
d9db0ef4a7
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-05 19:32:16 +02:00 |
|
|
krangelov
|
2a2d7269cf
|
remove the Term(Error) constructor. Better propagation of errors.
|
2021-10-05 19:31:12 +02:00 |
|
|
krangelov
|
dc59d9f3f9
|
trivial implementation for EPatt & EPattType
|
2021-10-05 15:45:16 +02:00 |
|
|
krangelov
|
3c4e7dd20c
|
partial evaluation for (+)
|
2021-10-05 15:37:42 +02:00 |
|
|
krangelov
|
93c2f47752
|
missed VStr -> string2value
|
2021-10-05 13:38:00 +02:00 |
|
|
krangelov
|
51954c60ea
|
fix the printer for strings with escape characters
|
2021-10-05 13:36:54 +02:00 |
|
|
krangelov
|
3c5741c846
|
fix in str_char
|
2021-10-05 13:36:21 +02:00 |
|
|
krangelov
|
94884ed59e
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-10-05 13:25:01 +02:00 |
|
|
krangelov
|
6d898fc325
|
fix the gold standard
|
2021-10-05 13:24:44 +02:00 |
|
|
krangelov
|
557cdb82a7
|
strings computed from a predefined operation should be tokenized
|
2021-10-05 11:50:59 +02:00 |
|
|
krangelov
|
26be741dea
|
most primitives in Predef.gf are now implemented
|
2021-10-05 11:31:39 +02:00 |
|
|
krangelov
|
e6960e30f6
|
fix the estimation of the character size in PgfExprParser::putc
|
2021-10-01 12:22:15 +02:00 |
|
|
krangelov
|
c21627950a
|
remove the accidentally added debug messages
|
2021-10-01 12:01:05 +02:00 |
|
|
krangelov
|
0708f6e0cc
|
when at EOF don't try to read further
|
2021-10-01 11:57:31 +02:00 |
|
|
krangelov
|
0fa739e6e3
|
one more test
|
2021-09-30 05:18:02 +02:00 |
|
|
krangelov
|
0229329d7c
|
implemented pattern macros
|
2021-09-29 17:38:53 +02:00 |
|
|
krangelov
|
6efb878c43
|
pattern matching for "x"*
|
2021-09-29 14:57:18 +02:00 |
|
|
krangelov
|
edd7081dea
|
implement measured patterns
|
2021-09-29 13:26:06 +02:00 |
|
|
krangelov
|
2137324f81
|
safe pattern matching in the presence of a variable
|
2021-09-29 09:32:09 +02:00 |
|
|
krangelov
|
86326d282f
|
pattern matching on strings
|
2021-09-29 09:18:52 +02:00 |
|