gf-core

GitHub/gf-core

Fork 1

mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-16 00:09:31 -06:00

Commit Graph

Select branches

Hide Pull Requests

build-python-win

build-timestamp

c-runtime

canonical

compact-pgf

concrete-new

gf-lsp-expose-all

js-bindings

lpgf

lpgf-memo

lpgf-string

majestic

majestic-ci

majestic-macos

master

pgf2-complete

remove-example-based

sense-disambiguation

tp_nix_flake

try-to-build-python-module-for-win

wasm

#10

#103

#103

#106

#107

#11

#110

#111

#113

#114

#116

#118

#119

#120

#121

#122

#124

#126

#128

#129

#13

#133

#134

#134

#135

#136

#138

#140

#141

#142

#142

#143

#143

#144

#144

#147

#148

#149

#156

#160

#161

#162

#162

#164

#165

#166

#167

#169

#171

#173

#174

#175

#176

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#19

#190

#191

#192

#193

#194

#195

#196

#199

#199

#2

#2

#200

#22

#23

#24

#25

#3

#34

#39

#41

#42

#45

#50

#54

#55

#57

#59

#60

#61

#62

#65

#69

#7

#70

#71

#73

#75

#77

#78

#79

#83

#84

#86

#87

#88

#9

#93

#97

#99

3.11

GF-3.10

RELEASE-3.8

RELEASE-3.9

introduced-parser-test

release-3.12

release3.12-rc-1

release3.12-rc-2

release3.12-rc-3

v3.11-test-release-8

v3.11-test-release-9

39a525ac11 converted Urdu to utf8 aarne 2010-04-02 16:17:29 +00:00
cdd9efa559 Urdu transliteration fixed (by Shafqat) aarne 2010-04-01 12:24:04 +00:00
9d6e3dae86 Urdu transliteration fixed (by Shafqat) aarne 2010-04-01 12:24:04 +00:00
5dfda62ad1 fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type aarne 2010-03-31 22:05:12 +00:00
5d75073313 fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type aarne 2010-03-31 22:05:12 +00:00
fb0f77b6f1 Olga's etc corrections in Phrasebook aarne 2010-03-31 14:58:32 +00:00
b959037cdb Olga's etc corrections in Phrasebook aarne 2010-03-31 14:58:32 +00:00
d83c2d01d8 export fullFormLexicon from PGF krasimir 2010-03-31 11:09:12 +00:00
3b7d0e4fcc export fullFormLexicon from PGF krasimir 2010-03-31 11:09:12 +00:00
5e2d2e61c3 moved phrases like 'I am hungry' from Greetings to Words to make them more general aarne 2010-03-30 21:48:24 +00:00
4867b91778 moved phrases like 'I am hungry' from Greetings to Words to make them more general aarne 2010-03-30 21:48:24 +00:00
61c82fa40e removed Roles; updated Phrasebook doc aarne 2010-03-30 20:10:36 +00:00
b4abd2ebba removed Roles; updated Phrasebook doc aarne 2010-03-30 20:10:36 +00:00
5cb147fa19 simplified the treatment of politeness in Phrasebook aarne 2010-03-30 18:48:59 +00:00
66cca22f38 simplified the treatment of politeness in Phrasebook aarne 2010-03-30 18:48:59 +00:00
de909a4e44 disambiguation in Phrasebook grammars, PGF server, and the GUI aarne 2010-03-30 15:39:11 +00:00
0e91a4d84d disambiguation in Phrasebook grammars, PGF server, and the GUI aarne 2010-03-30 15:39:11 +00:00
4bae49c634 information on missing words; fix in PhraseDut aarne 2010-03-29 21:19:50 +00:00
92d51c8ca3 information on missing words; fix in PhraseDut aarne 2010-03-29 21:19:50 +00:00
8052652c4e corrected some incorrect inflections in LexiconEng aarne 2010-03-29 16:00:04 +00:00
bec718d49d AttemptoUrd added aarne 2010-03-29 13:59:46 +00:00
f6f09b401e AttemptoUrd added aarne 2010-03-29 13:59:46 +00:00
c2f97ef506 the rest of Urdu files - now compiles with lib/src/Make aarne 2010-03-29 12:41:33 +00:00
1402b10138 urdu relatives aarne 2010-03-29 12:40:51 +00:00
04784b7c31 fine tuning phrasebook aarne 2010-03-28 21:13:29 +00:00
997ca76c1b fine tuning phrasebook aarne 2010-03-28 21:13:29 +00:00
ccac96eaa0 catching initial bind symbol in PGFServer aarne 2010-03-28 20:32:03 +00:00
1c088506b3 catching initial bind symbol in PGFServer aarne 2010-03-28 20:32:03 +00:00
55f8a80df7 version 0.2 of phrasebook aarne 2010-03-28 20:13:46 +00:00
e01f2ab1b2 version 0.2 of phrasebook aarne 2010-03-28 20:13:46 +00:00
a814066463 new Utt constructors for AP, Card aarne 2010-03-28 20:13:15 +00:00
93daaabf3d Action category, more doc in Phrasebook aarne 2010-03-28 19:29:06 +00:00
13a7954646 Action category, more doc in Phrasebook aarne 2010-03-28 19:29:06 +00:00
3903b6b852 short-phrase translation; added Swe; started doc in Phrasebook aarne 2010-03-28 15:28:02 +00:00
c99ecf2704 short-phrase translation; added Swe; started doc in Phrasebook aarne 2010-03-28 15:28:02 +00:00
2925edd088 text-like unlexer for phrasebook web service aarne 2010-03-26 22:08:48 +00:00
5c0fb2cb7e text-like unlexer for phrasebook web service aarne 2010-03-26 22:08:48 +00:00
691620346c change Food to Words in Phrasebook, since it's unpractical to have many small modules; added syntactic forms and words aarne 2010-03-26 22:07:17 +00:00
40763b5f61 change Food to Words in Phrasebook, since it's unpractical to have many small modules; added syntactic forms and words aarne 2010-03-26 22:07:17 +00:00
c42afc59eb how8much_IAdv in Structural; changed parameter name Place in Numerals aarne 2010-03-26 22:06:35 +00:00
c24440d134 fixes for webdemos, including bug in StructuralIta aarne 2010-03-26 17:38:20 +00:00
5e4548e4da fixes for webdemos, including bug in StructuralIta aarne 2010-03-26 17:38:20 +00:00
1d41c587ac FoodsRon in utf-8 aarne 2010-03-25 14:47:19 +00:00
7ce6c55ef7 FoodsRon in utf-8 aarne 2010-03-25 14:47:19 +00:00
887a552497 even simpler version of NQueens krasimir 2010-03-24 21:04:37 +00:00
69535e2b6b even simpler version of NQueens krasimir 2010-03-24 21:04:37 +00:00
9a1d0e8d11 bugfix in the lProlog generator krasimir 2010-03-24 20:54:20 +00:00
ab3127b5dd bugfix in the lProlog generator krasimir 2010-03-24 20:54:20 +00:00
fdd68f9040 the Plus predicate from NQueens is replaced with definition for function plus krasimir 2010-03-24 16:14:36 +00:00
925fb9dc85 the Plus predicate from NQueens is replaced with definition for function plus krasimir 2010-03-24 16:14:36 +00:00
14f19b9865 partial support for def-rules in the Lambda Prolog generation krasimir 2010-03-24 16:12:58 +00:00
17897bc286 partial support for def-rules in the Lambda Prolog generation krasimir 2010-03-24 16:12:58 +00:00
3ff870dcd6 politeness and disambiguation in Phrasebook (not visible yet) aarne 2010-03-24 08:18:54 +00:00
68482aa7e9 now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types. krasimir 2010-03-24 11:11:55 +00:00
eab9110f05 politeness and disambiguation in Phrasebook (not visible yet) aarne 2010-03-24 08:18:54 +00:00
ce99935812 now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types. krasimir 2010-03-24 11:11:55 +00:00
76d155af0e typo in CheckGrammar krasimir 2010-03-23 15:35:32 +00:00
297d40455e typo in CheckGrammar krasimir 2010-03-23 15:35:32 +00:00
c80c403da2 use the new more accurate location information for some error messages krasimir 2010-03-23 15:24:48 +00:00
858f6a1d4e use the new more accurate location information for some error messages krasimir 2010-03-23 15:24:48 +00:00
1e51690b71 added codepage for Turkish krasimir 2010-03-23 13:44:17 +00:00
1591253a55 added codepage for Turkish krasimir 2010-03-23 13:44:17 +00:00
850b897f08 added comment to every GF.Text.CPxxxx module about the purpose of the codepage krasimir 2010-03-23 12:19:34 +00:00
ef957a0307 added comment to every GF.Text.CPxxxx module about the purpose of the codepage krasimir 2010-03-23 12:19:34 +00:00
472c5e8ee7 add JavaScript API for completion. contributed by John J. Camilleri krasimir 2010-03-23 08:55:56 +00:00
e7f01aa5f0 fix checkInfoType in Parser.y krasimir 2010-03-22 23:49:15 +00:00
5f6f4cdea3 www api command translategroup, which uses groupResults aarne 2010-03-22 22:04:36 +00:00
bf74f50733 store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet krasimir 2010-03-22 21:15:29 +00:00
716a209f65 PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage aarne 2010-03-22 19:03:06 +00:00
2ac96a7643 transliteration for Urdu krasimir 2010-03-22 09:29:43 +00:00
0da54cdf64 produce optimized Lambda Prolog code krasimir 2010-03-22 08:56:42 +00:00
dec065a578 nounAdjVerbNumerals e1560697 2010-03-22 08:44:21 +00:00
9d98177e65 French phrasebook aarne 2010-03-21 19:57:53 +00:00
df0c6fb8d3 English version of Phrasebook aarne 2010-03-21 17:42:11 +00:00
f4574a4cfa the NQueens algorithm written in GF krasimir 2010-03-21 19:01:57 +00:00
68840a3d6a Diff interface for Phrasebook aarne 2010-03-21 03:37:02 +00:00
5584415807 started Phrasebook with Finnish and Romanian aarne 2010-03-20 21:21:50 +00:00
fba592ecf8 added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions. krasimir 2010-03-20 07:26:53 +00:00
973a0cacb7 pattern @ should be propagated to PGF krasimir 2010-03-18 20:21:57 +00:00
985bb550c0 fix the precedence for patterns ~, - and @ krasimir 2010-03-18 19:52:45 +00:00
f870c4d80f syntax for inaccessible patterns in GF krasimir 2010-03-18 19:34:30 +00:00
d91999dec0 incomplete code for adjoints and monads krasimir 2010-03-15 17:31:15 +00:00
381a7a2f07 identity functor krasimir 2010-03-15 16:35:00 +00:00
c6f3111e67 added natural transformations krasimir 2010-03-15 14:52:47 +00:00
aef1a1a5a3 incomplete code for composition of functors krasimir 2010-03-15 10:47:00 +00:00
9f45bb0df1 refactor Morphisms.gf and InitialAndTerminal.gf krasimir 2010-03-15 10:43:20 +00:00
d7c68cdf27 two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms krasimir 2010-03-15 10:41:39 +00:00
dfbc6ba9a3 added Equalizers in category-theory krasimir 2010-03-15 09:57:39 +00:00
828fc44029 bugfix in PGF.TypeCheck krasimir 2010-03-14 12:21:00 +00:00
db2d9a3238 cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope krasimir 2010-03-13 20:12:00 +00:00
efd1b5f252 fixes in FoodsUrd and DemoRon compilation aarne 2010-03-05 07:22:57 +00:00
8e344646f0 Quick fix to adapt to new version of the PGF library. hallgren 2010-03-04 18:46:18 +00:00
8422db66ca FoodsUrd added (by Shafqat) aarne 2010-03-04 16:56:36 +00:00
590cc6bb0b Macros and note in GFCC document. aarne 2010-03-02 21:22:53 +00:00
bbf564730b gfcc README aarne 2010-03-02 19:30:16 +00:00
dbe5a210b7 cleaned up gfcc ; added gfcc script aarne 2010-03-02 19:27:34 +00:00
e4748e9984 restored gfcc example (GF C compiler) aarne 2010-03-02 19:10:56 +00:00
21b10f91cb rule for pretty printing implicit arguments krasimir 2010-02-22 20:09:28 +00:00
d2988814a8 add pretty printing rule for implicit patterns krasimir 2010-02-22 20:02:53 +00:00
09da1013f9 refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store krasimir 2010-02-22 15:50:41 +00:00

... 115 116 117 118 119 ...