John J. Camilleri
|
4611d831ff
|
Add helper function for checking and converting list of hypos
|
2021-09-22 15:37:33 +02:00 |
|
John J. Camilleri
|
21ee96da9b
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-22 15:14:49 +02:00 |
|
John J. Camilleri
|
b1fd1f1a5e
|
Fix segfaults with Python 3.8 in Transaction_createCategory. Tweaks to enter/exit functions.
|
2021-09-22 15:14:42 +02:00 |
|
krangelov
|
bcbf9efa5f
|
started a page about transactions
|
2021-09-22 14:44:56 +02:00 |
|
krangelov
|
2d74fc4d64
|
Merge branch 'master' into majestic
|
2021-09-22 14:15:35 +02:00 |
|
krangelov
|
e4b2f281d9
|
Merge branch 'master' of github.com:GrammaticalFramework/gf-core
|
2021-09-22 14:11:27 +02:00 |
|
krangelov
|
063c517f3c
|
more tests for variants
|
2021-09-22 14:11:11 +02:00 |
|
krangelov
|
dd65f9f365
|
a better way to handle double releases
|
2021-09-22 13:44:03 +02:00 |
|
krangelov
|
e11e775a96
|
merge pgf_free and pgf_free_revision since otherwise we cannot control the finalizers in Haskell
|
2021-09-22 13:21:07 +02:00 |
|
krangelov
|
74c63b196f
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-22 11:16:52 +02:00 |
|
krangelov
|
58b8c2771e
|
fix double release for stable pointers
|
2021-09-22 11:16:29 +02:00 |
|
krangelov
|
be43b0ba35
|
fix variable type
|
2021-09-22 11:03:16 +02:00 |
|
krangelov
|
1d1d1aad81
|
small optimization
|
2021-09-22 11:02:45 +02:00 |
|
John J. Camilleri
|
04fcaaaac2
|
Declare context differently in Transaction_createCategory
This is an attempt to try fix the segfaults in CI which I cannot reproduce locally
|
2021-09-22 08:34:18 +02:00 |
|
krangelov
|
70566fc6d6
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-22 07:35:30 +02:00 |
|
krangelov
|
432bc26b23
|
bugfix in PgfExprProbEstimator
|
2021-09-22 07:35:07 +02:00 |
|
John J. Camilleri
|
60c9ab4c53
|
Fix handlers for 'with' syntax in Transaction object
|
2021-09-21 23:54:55 +02:00 |
|
John J. Camilleri
|
4af807c982
|
Fix createCategory. Add functionProbability.
|
2021-09-21 23:34:03 +02:00 |
|
John J. Camilleri
|
b4b8572af3
|
Header and source file cleanup
|
2021-09-21 22:28:44 +02:00 |
|
John J. Camilleri
|
71dac482c8
|
Started adding support for 'with' construct, failing tests commented out
|
2021-09-21 17:23:38 +02:00 |
|
John J. Camilleri
|
6edf7e6405
|
Add Transaction type to Python bindings, get first tests working.
|
2021-09-21 14:55:20 +02:00 |
|
John J. Camilleri
|
7dba3465d0
|
Refactor modules in Python bindings. Start work on grammar-update functions, but without transactions.
|
2021-09-20 23:42:50 +02:00 |
|
krangelov
|
e41feae82a
|
database synchronization only on commit
|
2021-09-17 16:43:54 +02:00 |
|
John J. Camilleri
|
44b5d0f870
|
Add newNGF to Python bindings
|
2021-09-17 14:33:36 +02:00 |
|
John J. Camilleri
|
6359537894
|
Add last of tests from basic.hs to Python testsuite. Some tests with quoted identifiers skipped.
|
2021-09-17 13:53:53 +02:00 |
|
krangelov
|
348c348e14
|
the compiler can now boot and load an .ngf file
|
2021-09-17 13:15:58 +02:00 |
|
krangelov
|
b583faa042
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-17 12:01:28 +02:00 |
|
krangelov
|
2e30c7f6cb
|
bugfix
|
2021-09-17 12:01:14 +02:00 |
|
John J. Camilleri
|
a3203143ba
|
Add Type constructor, showType, mk[Dep]Hypo, bind type constants
|
2021-09-17 11:27:19 +02:00 |
|
krangelov
|
ddb01b41be
|
In case of exception, report the offending function
|
2021-09-17 11:22:18 +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 |
|
John J. Camilleri
|
a8bda009a4
|
Add and pass all the abstraction test cases. Some header cleanup.
|
2021-09-16 15:38:02 +02:00 |
|
John J. Camilleri
|
b393efff59
|
Fix richcompare functions: second argument could be of any type
|
2021-09-16 13:28:30 +02:00 |
|
krangelov
|
f456f09054
|
finally fix the test caused by the change in readNGF behaviour
|
2021-09-16 12:08:22 +02:00 |
|
krangelov
|
24a30b344e
|
another fix
|
2021-09-16 12:04:25 +02:00 |
|
krangelov
|
89e99d829c
|
fix the tests in richcompare
|
2021-09-16 11:50:50 +02:00 |
|
krangelov
|
56d47ad561
|
forgot to update the testsuite
|
2021-09-16 11:31:09 +02:00 |
|
krangelov
|
c4fee30baf
|
fix the compilation in Type_richcompare and simplify a bit
|
2021-09-16 11:26:40 +02:00 |
|
krangelov
|
b408650125
|
createFunction now takes arity as argument
|
2021-09-16 11:04:45 +02:00 |
|
krangelov
|
fc268a16df
|
We can now compile abstract grammars
|
2021-09-16 10:59:48 +02:00 |
|
krangelov
|
a79fff548d
|
readNGF now fails if the file doesn't exist. Instead there is newNGF
|
2021-09-16 10:34:51 +02:00 |
|
krangelov
|
3d0450cb2a
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-15 19:59:09 +02:00 |
|
krangelov
|
e00be98ac6
|
added writePGF
|
2021-09-15 19:58:42 +02:00 |
|
John J. Camilleri
|
238f01c9fc
|
Add remaining Expr subclasses, tests failing
|
2021-09-15 16:27:58 +02:00 |
|
krangelov
|
c6d6914688
|
switch to using FILE * in the reader
|
2021-09-15 08:06:18 +02:00 |
|
krangelov
|
9fe6ee3cce
|
bugfixes for showContext & showType
|
2021-09-14 19:54:38 +02:00 |
|
krangelov
|
a7bf47cb87
|
added showContext
|
2021-09-14 19:10:01 +02:00 |
|
krangelov
|
3675e5cfc6
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2021-09-14 17:33:43 +02:00 |
|
krangelov
|
e82fb7f32f
|
added exprProbability
|
2021-09-14 17:33:22 +02:00 |
|
John J. Camilleri
|
fd61a6c0d3
|
Add ExprApp to Python bindings
|
2021-09-14 15:28:39 +02:00 |
|