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

Mono Color

• 21ad608e2a functors krasimir 2010-02-22 14:40:28 +00:00
• bcf4bc7d23 the oposites of two equal arrows are equal arrows krasimir 2010-02-22 14:38:13 +00:00
• 59d640088e bugfix in PGF.TypeCheck krasimir 2010-02-20 18:48:06 +00:00
• 45d209baf8 two theorems every iso is mono and every iso is epi krasimir 2010-02-20 16:37:23 +00:00
• 3d8b7f9850 some more definitions in category theory krasimir 2010-02-20 16:33:40 +00:00
• d09b05ab3f one more test for cyclic def rules krasimir 2010-02-16 20:27:07 +00:00
• 376f985409 removed strange typo from summerschool FoodsGer aarne 2010-02-17 16:08:27 +00:00
• 57c2a4dcd2 fix the Haskell code generation krasimir 2010-02-17 13:09:23 +00:00
• bfdef2f60c replace SS with StmtS in SUMO krasimir 2010-02-17 12:38:11 +00:00
• d6627b5a5a added TPTP for SUMO krasimir 2010-02-17 12:21:41 +00:00
• 6690fbaf6c SUMO axioms krasimir 2010-02-17 11:12:43 +00:00
• f7f0112256 added examples/SUMO krasimir 2010-02-17 11:07:24 +00:00
• a4d41ef3e3 fix in PGF.Printer krasimir 2010-02-17 10:31:10 +00:00
• b5d9ae552d -output-format=pgf_pretty now prints the flags as well krasimir 2010-02-17 10:20:49 +00:00
• 32f9499f2e fix the PGF printer for abstract krasimir 2010-02-16 21:47:58 +00:00
• 19b17dceb6 no need to keep the list of constructors per category in .gfo krasimir 2010-02-16 09:34:02 +00:00
• 2a7fbf43e1 nounverbadjmorphoandsuffixmodule e1560697 2010-02-15 17:22:10 +00:00
• ba3b57bff9 add JavaScript API for completion. contributed by John J. Camilleri krasimir 2010-03-23 08:55:56 +00:00
• 20d25c23cd fix checkInfoType in Parser.y krasimir 2010-03-22 23:49:15 +00:00
• cd25764350 www api command translategroup, which uses groupResults aarne 2010-03-22 22:04:36 +00:00
• d3a84f994b 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
• d1615144b6 PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage aarne 2010-03-22 19:03:06 +00:00
• 63adb15eb9 transliteration for Urdu krasimir 2010-03-22 09:29:43 +00:00
• 8a0d72aeec update in Urdu krasimir 2010-03-22 09:01:27 +00:00
• 74448670f5 produce optimized Lambda Prolog code krasimir 2010-03-22 08:56:42 +00:00
• 2e78c2f774 Romanian numerals in utf8 aarne 2010-03-22 08:35:05 +00:00
• 534d553f3e switch to utf8 in Romanian aarne 2010-03-21 19:58:13 +00:00
• 8f148ee054 French phrasebook aarne 2010-03-21 19:57:53 +00:00
• d282a9e1a0 English version of Phrasebook aarne 2010-03-21 17:42:11 +00:00
• f4d3da0ccc the NQueens algorithm written in GF krasimir 2010-03-21 19:01:57 +00:00
• 5c9062f5ea Diff interface for Phrasebook aarne 2010-03-21 03:37:02 +00:00
• 99b5300795 MakeStructural in Cat and Spa aarne 2010-03-20 21:24:01 +00:00
• 7434b000b7 refer to MakeStructural in Spa and Cat; moved have_V2 to proper place in Ron aarne 2010-03-20 21:22:21 +00:00
• 49a016fd01 started Phrasebook with Finnish and Romanian aarne 2010-03-20 21:21:50 +00:00
• 57b8e42601 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
• a74a81b8a1 pattern @ should be propagated to PGF krasimir 2010-03-18 20:21:57 +00:00
• b2c785edfa fix the precedence for patterns ~, - and @ krasimir 2010-03-18 19:52:45 +00:00
• 0c2944fa7f syntax for inaccessible patterns in GF krasimir 2010-03-18 19:34:30 +00:00
• dc0a84951f incomplete code for adjoints and monads krasimir 2010-03-15 17:31:15 +00:00
• 8ac49f854f identity functor krasimir 2010-03-15 16:35:00 +00:00
• 1d97276a14 added natural transformations krasimir 2010-03-15 14:52:47 +00:00
• 347347d411 incomplete code for composition of functors krasimir 2010-03-15 10:47:00 +00:00
• 77be515422 refactor Morphisms.gf and InitialAndTerminal.gf krasimir 2010-03-15 10:43:20 +00:00
• 52d5967008 two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms krasimir 2010-03-15 10:41:39 +00:00
• 8985a9ea04 added Equalizers in category-theory krasimir 2010-03-15 09:57:39 +00:00
• 34f5b2a436 bugfix in PGF.TypeCheck krasimir 2010-03-14 12:21:00 +00:00
• 6a89647a6d cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope krasimir 2010-03-13 20:12:00 +00:00
• 662aff27fe tour extended up to sentences and questions aarne 2010-03-06 22:05:48 +00:00
• 1dfbc7a741 fixes in FoodsUrd and DemoRon compilation aarne 2010-03-05 07:22:57 +00:00
• e239e3331a Quick fix to adapt to new version of the PGF library. hallgren 2010-03-04 18:46:18 +00:00
• a2bd002917 FoodsUrd added (by Shafqat) aarne 2010-03-04 16:56:36 +00:00
• 01ba78238f more tours aarne 2010-03-04 16:55:51 +00:00
• 3f8ce136fc make DemoRon compile aarne 2010-03-04 16:54:25 +00:00
• 43d23fc412 Macros and note in GFCC document. aarne 2010-03-02 21:22:53 +00:00
• 948209889b gfcc README aarne 2010-03-02 19:30:16 +00:00
• 8dd2a5d23b cleaned up gfcc ; added gfcc script aarne 2010-03-02 19:27:34 +00:00
• 1be8903cce restored gfcc example (GF C compiler) aarne 2010-03-02 19:10:56 +00:00
• 46c04f4c91 rule for pretty printing implicit arguments krasimir 2010-02-22 20:09:28 +00:00
• e876fad3fa add pretty printing rule for implicit patterns krasimir 2010-02-22 20:02:53 +00:00
• 5d2b204246 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
• 415375f35c functors krasimir 2010-02-22 14:40:28 +00:00
• 34a8b768eb the oposites of two equal arrows are equal arrows krasimir 2010-02-22 14:38:13 +00:00
• f3c6acc6dc bugfix in PGF.TypeCheck krasimir 2010-02-20 18:48:06 +00:00
• 25adc81550 two theorems every iso is mono and every iso is epi krasimir 2010-02-20 16:37:23 +00:00
• 8ca24fcad6 some more definitions in category theory krasimir 2010-02-20 16:33:40 +00:00
• ff30de63ce one more test for cyclic def rules krasimir 2010-02-16 20:27:07 +00:00
• e6dbcc2dc0 make demo in lib/src works (without Ron) aarne 2010-02-17 16:14:30 +00:00
• 0c1f931725 removed strange typo from summerschool FoodsGer aarne 2010-02-17 16:08:27 +00:00
• 3aa7aa84bb fix the Haskell code generation krasimir 2010-02-17 13:09:23 +00:00
• 897682d952 replace SS with StmtS in SUMO krasimir 2010-02-17 12:38:11 +00:00
• 07fa5c575d added TPTP for SUMO krasimir 2010-02-17 12:21:41 +00:00
• 6b8fa0eaa1 SUMO axioms krasimir 2010-02-17 11:12:43 +00:00
• 06654cbb5e added examples/SUMO krasimir 2010-02-17 11:07:24 +00:00
• e54ac49769 fix in PGF.Printer krasimir 2010-02-17 10:31:10 +00:00
• d91ffecfa4 -output-format=pgf_pretty now prints the flags as well krasimir 2010-02-17 10:20:49 +00:00
• e1ac90f543 fix the PGF printer for abstract krasimir 2010-02-16 21:47:58 +00:00
• 899ed163a1 no need to keep the list of constructors per category in .gfo krasimir 2010-02-16 09:34:02 +00:00
• 61287f3925 more category theory -> morphisms, initial and terminal objects krasimir 2010-02-15 10:35:24 +00:00
• 62781ca519 more category theory -> morphisms, initial and terminal objects krasimir 2010-02-15 10:35:24 +00:00
• af48998ef6 basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon krasimir 2010-02-14 10:20:08 +00:00
• 2702b64722 basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon krasimir 2010-02-14 10:20:08 +00:00
• b2ce65bbe6 white space instead of tab in GF.cabal krasimir 2010-02-12 21:31:30 +00:00
• 731d46643d white space instead of tab in GF.cabal krasimir 2010-02-12 21:31:30 +00:00
• 9c23a98fc0 add PGF.Probabilistic in GF.cabal krasimir 2010-02-12 16:12:17 +00:00
• 991e51373a add PGF.Probabilistic in GF.cabal krasimir 2010-02-12 16:12:17 +00:00
• ea85cd1078 one more test for cyclic operations krasimir 2010-02-09 18:38:11 +00:00
• 96b1041763 one more test for cyclic operations krasimir 2010-02-09 18:38:11 +00:00
• 64da1c2021 allow negative integers in the grammar syntax krasimir 2010-02-08 12:59:22 +00:00
• 8c4fd9de9b allow negative integers in the grammar syntax krasimir 2010-02-08 12:59:22 +00:00
• a1c70841c1 test case for lazy evaluation in the abstract syntax krasimir 2010-02-07 22:22:30 +00:00
• f0f9c0acfa generalized tour to a variable language by the script MkTour aarne 2010-02-08 10:52:08 +00:00
• 1e7cb24e70 test case for lazy evaluation in the abstract syntax krasimir 2010-02-07 22:22:30 +00:00
• f3f661b525 generalized tour to a variable language by the script MkTour aarne 2010-02-08 10:52:08 +00:00
• 9564d85fa5 command cc now works even without loaded grammar. useful for testing closed expressions krasimir 2010-02-07 19:23:26 +00:00
• 1c2a240b2c command cc now works even without loaded grammar. useful for testing closed expressions krasimir 2010-02-07 19:23:26 +00:00
• c019609e23 some changes in Urdu by Shafqat krasimir 2010-02-07 09:10:08 +00:00
• c1d2ed1a7b test case for invalid parameter definition krasimir 2010-02-06 20:15:46 +00:00
• 7588807c1b test case for invalid parameter definition krasimir 2010-02-06 20:15:46 +00:00
• 2544ea8c8a in verbose mode print the rule names when compiling PMCFG krasimir 2010-02-06 18:24:15 +00:00
• 625c8e0e03 in verbose mode print the rule names when compiling PMCFG krasimir 2010-02-06 18:24:15 +00:00