 Krasimir Angelov
|
e6c4775ade
|
the JSON dump now supports the entire GF language
|
2025-03-26 14:56:08 +01:00 |
|
|
Krasimir Angelov
|
65e4ca309c
|
Merge branch 'majestic' of github.com:GrammaticalFramework/gf-core into majestic
|
2025-03-21 07:02:23 +01:00 |
|
|
Krasimir Angelov
|
4c24fc904d
|
another case for evaluation under a table
|
2025-03-21 07:00:58 +01:00 |
|
|
Inari Listenmaa
|
945cd65220
|
Merge pull request #176 from EkaterinaVoloshina/patch-1
excluded outdated info
|
2025-03-20 17:40:02 +01:00 |
|
|
Ekaterina Voloshina
|
3c5c8424e0
|
excluded outdated info
|
2025-03-20 17:38:14 +01:00 |
|
|
Krasimir Angelov
|
81d472235a
|
function application under tables
|
2025-03-20 16:06:33 +01:00 |
|
|
Krasimir Angelov
|
b0d363c311
|
added missing cases
|
2025-03-17 19:06:41 +01:00 |
|
|
Krasimir Angelov
|
a7c0be2fd5
|
fix typo
|
2025-03-14 07:38:33 +00:00 |
|
|
Krasimir Angelov
|
b008aa7de0
|
sketch an implementation for reset
|
2025-03-13 19:01:18 +00:00 |
|
|
Krasimir Angelov
|
271991ef10
|
added missing cases for VMarkup
|
2025-03-10 16:38:18 +00:00 |
|
|
Krasimir Angelov
|
e59ae98aa1
|
export bubble
|
2025-03-10 16:08:55 +00:00 |
|
|
Krasimir Angelov
|
88ae6bff71
|
added missing case for VCRecType
|
2025-03-10 14:42:36 +00:00 |
|
|
Krasimir Angelov
|
22a22aacbb
|
added evaluation for markup
|
2025-03-10 14:26:51 +00:00 |
|
|
Krasimir Angelov
|
854739eee4
|
support for non-flat forms
|
2025-03-10 15:22:59 +01:00 |
|
|
Krasimir Angelov
|
16f9f86248
|
start using the new typechecker and evaluator in the cc command
|
2025-03-10 15:22:31 +01:00 |
|
|
Krasimir Angelov
|
084ffa1ce9
|
fix quantification
|
2025-03-08 12:42:46 +00:00 |
|
|
Krasimir Angelov
|
344481634f
|
the pure evaluator
|
2025-03-07 23:27:05 +00:00 |
|
|
Krasimir Angelov
|
364c8c023c
|
switch to using pure functional evaluator
|
2025-03-07 20:50:28 +00:00 |
|
|
Krasimir Angelov
|
c9aadf7382
|
added missing case
|
2025-03-07 08:57:55 +01:00 |
|
|
Krasimir Angelov
|
d97292cfd4
|
AC_PROG_LIBTOOL not necessary anymore
|
2025-03-07 08:57:11 +01:00 |
|
|
Krasimir Angelov
|
84fa6522de
|
bump upper version of the network package
|
2025-02-26 12:06:29 +00:00 |
|
|
Krasimir Angelov
|
176dcdf2fa
|
import liftA2
|
2025-02-25 12:31:05 +00:00 |
|
|
Krasimir Angelov
|
a501784a32
|
Merge pull request #173 from phantamanta44/majestic
majestic: Type-checking improvements + unifying overload resolution + simple REPL
|
2025-02-25 13:05:00 +01:00 |
|
|
Eve
|
19c5b410f2
|
Predef combinators
|
2025-02-21 15:25:25 +01:00 |
|
|
Inari Listenmaa
|
981d6b9bdd
|
Specify that extending a grammar doesn't inherit the startcat
|
2025-02-20 20:52:21 +01:00 |
|
|
Hans Leiss
|
5776b567a2
|
Reactivate the gf-shell command 'pt -transfer'
|
2025-02-19 12:59:43 +01:00 |
|
|
Hans Leiss
|
643617ccc4
|
Bug fix for gf-shell command 'pt -compute' in Expr.hs by
tryMatch p (VConst _ _) env = match sig f eqs as0
|
2025-02-18 12:41:14 +01:00 |
|
|
Eve
|
815dfcc2fc
|
Unification for function types
|
2025-02-15 23:07:29 +01:00 |
|
|
Eve
|
265db698ac
|
Dereference metavariables in types before structural inspections
|
2025-02-15 22:27:06 +01:00 |
|
|
Eve
|
b4b9974d54
|
More comprehensive open term check for builtin eval
|
2025-02-09 16:53:03 +01:00 |
|
|
Eve
|
80de452e6d
|
Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp
|
2025-02-08 10:23:23 +01:00 |
|
|
Eve
|
4750ccfb7e
|
Nondeterministic overload resolution in new type checker
|
2025-02-04 14:14:16 +01:00 |
|
|
Eve
|
41cdf5e56a
|
Load prelude in repl
|
2025-02-03 09:54:13 +01:00 |
|
|
Eve
|
8290f79f52
|
Rudimentary resource REPL in gf-compiler
|
2025-01-26 09:13:24 +01:00 |
|
|
Eve
|
3b58ccbeef
|
Don't evaluate builtins with free variables as arguments
|
2025-01-26 01:14:25 +01:00 |
|
|
Eve
|
d9ed763ace
|
Fix tcApp on pi types, split check/infer into variants inside and outside EvalM
|
2025-01-26 01:13:58 +01:00 |
|
|
Eve
|
1747b46274
|
Add alex/happy as build tool dependencies, bump up unix version in gf-compiler
|
2025-01-26 01:12:29 +01:00 |
|
|
Inari Listenmaa
|
41f45e572b
|
Instruction to downgrade LLVM for macOS Sequoia
|
2025-01-18 07:27:46 +01:00 |
|
|
Inari Listenmaa
|
c7226cc11c
|
add GFSS2025 + remove IRC channel
|
2025-01-18 07:13:24 +01:00 |
|
|
aarneranta
|
bc56b54dd1
|
random generation of literals now has ten different values for each built in type; maybe a better solution for most cases than just one value
|
2025-01-07 11:20:23 +01:00 |
|
|
Krasimir Angelov
|
aa061aff0c
|
Update robots.txt
|
2024-11-26 12:15:41 +01:00 |
|
|
Inari Listenmaa
|
934afc9655
|
Merge pull request #169 from GrammaticalFramework/dependabot/github_actions/dot-github/workflows/actions/download-artifact-4.1.7
Bump actions/download-artifact from 2 to 4.1.7 in /.github/workflows
|
2024-11-01 10:29:45 +01:00 |
|
|
Andreas Källberg
|
33b0bab610
|
Use different artifact names as is required by upload-artifact@v4
|
2024-10-23 16:22:59 +02:00 |
|
|
Andreas Källberg
|
9492967fc6
|
add sudo to make install to fix CI failure
|
2024-10-23 16:08:09 +02:00 |
|
|
Andreas Källberg
|
5eab0a626d
|
add glibtoolize dependency for mac CI
|
2024-10-23 15:47:14 +02:00 |
|
|
Andreas Källberg
|
fc614cd48e
|
Bump more action versions
|
2024-10-23 15:40:29 +02:00 |
|
|
Andreas Källberg
|
eaec428a89
|
fix typo
|
2024-10-23 15:35:39 +02:00 |
|
|
Andreas Källberg
|
ed0a8ca0df
|
Update setup-python github action
Let's see if this fixes CI
|
2024-10-23 15:34:01 +02:00 |
|
|
Krasimir Angelov
|
ac427d63f2
|
fix compilation in -resource mode
|
2024-10-22 09:02:03 +02:00 |
|
|
Krasimir Angelov
|
3b36b381aa
|
save use of jments
|
2024-10-22 08:30:51 +02:00 |
|