GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-08-19 18:56:21 -06:00
Code Issues Packages Projects Releases Wiki Activity
9,042 Commits 21 Branches 11 Tags
8ba7d7ba48d3a770cf2a9c576c6d429dd909893e
Commit Graph

9042 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Krasimir Angelov 8ba7d7ba48 fix error for clang 2025-08-21 14:24:42 +02:00
Krasimir Angelov a0faa48537 progress on Finnish 2025-05-23 15:11:00 +02:00
Krasimir Angelov f82b8b6e11 missing cases in collectOp 2025-05-22 20:06:50 +02:00
Krasimir Angelov 9e6885c901 fix for VInts 2025-05-22 11:55:29 +02:00
Krasimir Angelov 9a3cb2369d added missing cases for VInts 2025-05-22 11:54:17 +02:00
Krasimir Angelov 9c038ceb7c more updates to get English compile 2025-05-22 11:48:21 +02:00
Krasimir Angelov c61315465d ditch the old typechecker completely 2025-05-21 14:55:13 +02:00
Krasimir Angelov 054ebf066a more precise subtype/supertype for nondependent functions 2025-05-21 14:35:55 +02:00
Krasimir Angelov 548e4c8549 more updates for typechecking the RGL 2025-05-21 14:32:53 +02:00
Krasimir Angelov 6f8654716e ignore the lock field when checking for subsumption 2025-05-21 13:56:45 +02:00
Krasimir Angelov 8b93f80c52 don't typecheck record fields that are going to be discarded 2025-05-21 13:56:19 +02:00
Krasimir Angelov fd27a2ebd3 minimal set of changes to make Bulgarian compile with the new typechecker 2025-05-21 13:39:03 +02:00
Krasimir Angelov 6f9f187c70 two hacks for backwards compatibility 2025-05-19 13:08:54 +02:00
Krasimir Angelov 68ae919afa avoid unnecessary variants 2025-05-18 07:46:56 +02:00
Krasimir Angelov 3a1990fd1d switch to using the new type checker by default 2025-05-18 07:20:12 +02:00
Krasimir Angelov e54f748efa serialization for Markup and Reset 2025-05-18 07:08:11 +02:00
Krasimir Angelov 03421f6bc7 fix in the typechecking of one and default 2025-05-09 19:15:28 +02:00
Krasimir Angelov d54fab0bbf fix typo 2025-05-09 19:10:51 +02:00
Krasimir Angelov 3d7c8ade17 a draft for the generalized control operators 2025-05-09 18:58:27 +02:00
Krasimir Angelov 544bbd9049 special handling for empty variants in the bubbling 2025-05-05 11:46:50 +02:00
Krasimir Angelov d5e3e8f649 whitespace 2025-05-03 07:32:06 +02:00
Krasimir Angelov 4c0644fd55 another bug in the typechecker 2025-05-03 07:31:44 +02:00
Krasimir Angelov 188b77b083 improvement on the typechecker 2025-05-02 13:52:17 +02:00
Krasimir Angelov dbfa9e4faf type inference for lambda abstractions 2025-04-16 12:29:50 +02:00
Krasimir Angelov a9d4fecd33 added export for EPatt 2025-04-15 08:40:30 +02:00
Krasimir Angelov cc4d07f168 Export a grammar in source format to JSON 2025-04-14 11:16:27 +02:00
Krasimir Angelov 3432e6f571 serialization for expressions in daison 2025-04-13 08:36:25 +02:00
Krasimir Angelov c2d64efe68 cannonical export now may contain some resource modules with parameters 2025-04-11 10:47:43 +02:00
Krasimir Angelov aa3a03e7af Merge pull request #179 from phantamanta44/majestic 
majestic: predef evaluation + option..of construct
 2025-04-06 17:25:16 +02:00
Krasimir Angelov f0b42f4783 Merge pull request #178 from EkaterinaVoloshina/majestic 
Create ServerInstructions.md
 2025-03-31 19:07:43 +02:00
Eve b29ec2a47a Option evaluation + basic repl support for option manipulation 2025-03-31 17:56:36 +02:00
Eve 8bd0d13dd6 Port builtin improvements to new evaluator + opt parsing 2025-03-31 17:54:06 +02:00
Eve 3de005f11c Replace open term check for predefs with canonical term check 2025-03-31 17:54:06 +02:00
Eve 223604526e Better predef evaluation semantics, avoid value2term 2025-03-31 17:54:06 +02:00
Ekaterina Voloshina 2361adad93 Create ServerInstructions.md 2025-03-31 13:35:15 +02:00
Krasimir Angelov c95a526ca9 missed to add the JSON file 2025-03-27 14:29:38 +01:00
Krasimir Angelov 5dcd1108c7 take into account the result type during overload reasolution 2025-03-27 14:28:42 +01:00
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