Krasimir Angelov
|
603bca8afd
|
fix memory leaks
|
2025-11-17 21:44:29 +01:00 |
|
Krasimir Angelov
|
a8ba57d822
|
remove trace message
|
2025-11-17 17:01:08 +01:00 |
|
Krasimir Angelov
|
e34edd414f
|
fix item completion
|
2025-11-17 16:51:29 +01:00 |
|
Krasimir Angelov
|
9263d1eb17
|
avoid using value2termM
|
2025-11-15 12:18:22 +01:00 |
|
Krasimir Angelov
|
d02eeb7568
|
fix string matching in case of metavariables
|
2025-11-15 11:53:24 +01:00 |
|
Krasimir Angelov
|
970c989fb6
|
pretty printing for record value
|
2025-11-15 10:06:00 +01:00 |
|
Krasimir Angelov
|
80786ad770
|
remove redundant import
|
2025-11-15 09:39:08 +01:00 |
|
Krasimir Angelov
|
761b89d690
|
yet another variation of the overloading error
|
2025-11-14 15:04:30 +01:00 |
|
Krasimir Angelov
|
6c9a197b37
|
more helpful error when lin X is missing
|
2025-11-14 12:05:11 +01:00 |
|
Krasimir Angelov
|
08bd669200
|
more user friendly error for overload resolution failure
|
2025-11-14 11:27:18 +01:00 |
|
Krasimir Angelov
|
8282b3e4ce
|
fixing the lock fields
|
2025-11-14 11:04:11 +01:00 |
|
Krasimir Angelov
|
a0c810530e
|
remove the old evaluator
|
2025-11-13 18:54:40 +01:00 |
|
Krasimir Angelov
|
cb6bace896
|
Diophantine grammars in the runtime
|
2025-11-13 11:17:16 +01:00 |
|
Krasimir Angelov
|
cb1e67dffa
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-11-13 11:16:48 +01:00 |
|
Krasimir Angelov
|
54839a9796
|
first draft for Diophantine grammars
|
2025-11-13 11:02:40 +01:00 |
|
Krasimir Angelov
|
3ee4f6ce9c
|
added MonadFix and fix how return is defined
|
2025-11-13 10:58:16 +01:00 |
|
Krasimir Angelov
|
bd26b24aed
|
retain source location for the children of a Markup
|
2025-10-19 14:41:29 +00:00 |
|
Krasimir Angelov
|
6e529e74d9
|
added the const control
|
2025-10-16 09:20:21 +00:00 |
|
Krasimir Angelov
|
6f3182d0cf
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-10-16 08:59:05 +00:00 |
|
Krasimir Angelov
|
b480ead393
|
pretty printing for VPatt
|
2025-10-14 08:43:29 +02:00 |
|
Krasimir Angelov
|
72028c7ae7
|
merge
|
2025-09-17 10:17:37 +02:00 |
|
Krasimir Angelov
|
7571b9c1df
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-09-16 20:45:07 +02:00 |
|
Krasimir Angelov
|
cd5ef68b4d
|
Variants is a functor
|
2025-09-16 19:52:04 +02:00 |
|
Krasimir Angelov
|
ae9ac01e00
|
remove deprecated module
|
2025-09-16 19:47:34 +02:00 |
|
Krasimir Angelov
|
f04a0aee28
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-09-12 07:19:06 +00:00 |
|
Krasimir Angelov
|
0f54675a91
|
added the filter construction
|
2025-09-12 07:18:38 +00:00 |
|
Krasimir Angelov
|
570d223302
|
space leak in _collect_cats
|
2025-09-09 19:48:38 +02:00 |
|
Krasimir Angelov
|
cc0a56cc48
|
fix space leak in functions and functionsByCat
|
2025-09-09 19:35:32 +02:00 |
|
Krasimir Angelov
|
d42e351fde
|
fix space leak in functionsByCat
|
2025-09-09 19:34:20 +02:00 |
|
Krasimir Angelov
|
ccf3b5c898
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-09-07 20:46:41 +02:00 |
|
Krasimir Angelov
|
8467e2eb24
|
added tabularLinearize
|
2025-09-07 20:46:08 +02:00 |
|
Krasimir Angelov
|
0c21b85dbb
|
added tabularLinearize
|
2025-09-07 20:44:15 +02:00 |
|
Krasimir Angelov
|
5ce60c745b
|
added minimal implementation for XML parsing
|
2025-09-04 14:12:59 +00:00 |
|
Krasimir Angelov
|
adf042f283
|
identification: String=Str, Int=Predef.Int, Float=Predef.Float
|
2025-09-03 12:47:05 +00:00 |
|
Krasimir Angelov
|
4eb8ae2f85
|
refactoring bugfixing related to options
|
2025-09-02 12:21:18 +00:00 |
|
Krasimir Angelov
|
25b3d8026c
|
added value2expr
|
2025-09-01 08:43:58 +00:00 |
|
Krasimir Angelov
|
85806752c3
|
remove AdHocOverload
|
2025-08-30 21:20:52 +02:00 |
|
Krasimir Angelov
|
171b5fd334
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-08-30 20:09:43 +02:00 |
|
Krasimir Angelov
|
e5a531da61
|
testing repl not needed anymore
|
2025-08-30 20:09:13 +02:00 |
|
Krasimir Angelov
|
b79a53adc5
|
fix parsing NLG operations
|
2025-08-30 14:54:07 +00:00 |
|
Krasimir Angelov
|
d8df0a0171
|
fix evaluation of options
|
2025-08-30 14:01:06 +00:00 |
|
Krasimir Angelov
|
b62a5ebabe
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-08-26 19:46:25 +02:00 |
|
Krasimir Angelov
|
c02a0c4159
|
fix the case PType => PType
|
2025-08-26 19:45:31 +02:00 |
|
Krasimir Angelov
|
272fc4bac1
|
Merge branch 'majestic' of github.com:krangelov/gf-core into majestic
|
2025-08-21 14:25:28 +02:00 |
|
Krasimir Angelov
|
8ba7d7ba48
|
fix error for clang
|
2025-08-21 14:24:42 +02:00 |
|
Krasimir Angelov
|
cbac8b4fd2
|
improve the syntax for options
|
2025-08-19 18:01:37 +02:00 |
|
Krasimir Angelov
|
1a512473cd
|
composOp of options
|
2025-08-17 22:50:10 +02:00 |
|
Krasimir Angelov
|
bcaa0477d2
|
pretty printing for options
|
2025-08-17 08:35:43 +02:00 |
|
Krasimir Angelov
|
78751395b4
|
added mapVariantsC
|
2025-08-16 22:59:30 +02:00 |
|
Krasimir Angelov
|
5bf8faa47a
|
Merge branch 'my-temporary-work' into majestic
|
2025-08-15 14:31:31 +00:00 |
|