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

#203

#205

#205

#206

#206

#207

#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

• 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
• 168d459c49 bugfix in GrammarToPGF related to the compilation of def rules krasimir 2010-02-05 22:16:44 +00:00
• c2259adf5d bugfix in GrammarToPGF related to the compilation of def rules krasimir 2010-02-05 22:16:44 +00:00
• 8171538b12 some more things in tour aarne 2010-02-04 15:59:27 +00:00
• 064cfef331 command eh ; lib/doc/tour started aarne 2010-02-03 20:55:54 +00:00
• 745bee5d88 command eh ; lib/doc/tour started aarne 2010-02-03 20:55:54 +00:00
• b90e56a94e fix the tabular printing when there is a V constructor krasimir 2010-02-03 17:33:55 +00:00
• e33447aadd fix the tabular printing when there is a V constructor krasimir 2010-02-03 17:33:55 +00:00
• 49e620b535 gr for several metas fixed ; commented out one alternative in SammieGer to make it compile aarne 2010-02-02 07:12:52 +00:00
• 101ba3ec5e gr for several metas fixed ; commented out one alternative in SammieGer to make it compile aarne 2010-02-02 07:12:52 +00:00
• 7f4559335a fixed Sammie examples to compile (except Spa) aarne 2010-02-01 15:57:29 +00:00
• 88f4c1a5b2 fixed Sammie examples to compile (except Spa) aarne 2010-02-01 15:57:29 +00:00
• 510d511637 commands mq and tq can take a tree with metas to guide generation aarne 2010-02-01 09:56:58 +00:00
• 3dd8fb8dec commands mq and tq can take a tree with metas to guide generation aarne 2010-02-01 09:56:58 +00:00
• 563e65c309 test case for let expression in def rule krasimir 2010-02-01 09:18:42 +00:00
• 3d5864918b test case for let expression in def rule krasimir 2010-02-01 09:18:42 +00:00
• 1cd4a500f5 added tests for literals in the abstract syntax krasimir 2010-02-01 08:58:46 +00:00
• 884c55f7e6 added tests for literals in the abstract syntax krasimir 2010-02-01 08:58:46 +00:00
• 2d3de22b17 added test cases for polymorphic and record types in the abstract syntax krasimir 2010-01-31 22:16:35 +00:00
• b625b416ee added test cases for polymorphic and record types in the abstract syntax krasimir 2010-01-31 22:16:35 +00:00
• 3be9ce3240 add test case for abstract types with let bindings krasimir 2010-01-31 20:45:48 +00:00
• 5eeb41a67f add test case for abstract types with let bindings krasimir 2010-01-31 20:45:48 +00:00
• 26236652a6 command l -list ; fixed mq to work with the new tabularLinearizes aarne 2010-01-31 16:05:23 +00:00
• ab1d4deccf command l -list ; fixed mq to work with the new tabularLinearizes aarne 2010-01-31 16:05:23 +00:00
• be6465a2eb refactor GF.Infra.Modules for better error messages krasimir 2010-01-31 15:54:25 +00:00
• 4485e97181 refactor GF.Infra.Modules for better error messages krasimir 2010-01-31 15:54:25 +00:00
• acd927f87b add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt krasimir 2010-01-31 14:45:44 +00:00
• c93e406997 add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt krasimir 2010-01-31 14:45:44 +00:00
• e71545eab1 gt and gr can start from a tree with metavariables, just filling them aarne 2010-01-30 18:01:18 +00:00
• 5507133638 gt and gr can start from a tree with metavariables, just filling them aarne 2010-01-30 18:01:18 +00:00
• 8d03e48e46 code cleanup in PGF.TypeCheck krasimir 2010-01-30 10:10:51 +00:00
• 3926ea1a05 code cleanup in PGF.TypeCheck krasimir 2010-01-30 10:10:51 +00:00
• 3b7e39fa4a bugfix in the PGF typechecker and more test cases krasimir 2010-01-29 21:10:14 +00:00
• 9e547710f5 bugfix in the PGF typechecker and more test cases krasimir 2010-01-29 21:10:14 +00:00
• e5de8ea9fe update the testsuite krasimir 2010-01-29 11:13:31 +00:00
• ed446a4295 update the testsuite krasimir 2010-01-29 11:13:31 +00:00
• d333c0564b example_based returns the list of all unknown words aarne 2010-01-28 16:27:28 +00:00
• 53a081bf0b example_based returns the list of all unknown words aarne 2010-01-28 16:27:28 +00:00
• e056cc2bfd in example-based grammar conversion, warnings about unknown words aarne 2010-01-28 10:06:16 +00:00
• 8f0df0442a in example-based grammar conversion, warnings about unknown words aarne 2010-01-28 10:06:16 +00:00
• 750a2639b0 command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe aarne 2010-01-27 17:51:15 +00:00
• 47c7b09884 command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe aarne 2010-01-27 17:51:15 +00:00
• 890d455793 cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification krasimir 2010-01-27 09:39:14 +00:00
• 3685595ece cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification krasimir 2010-01-27 09:39:14 +00:00
• b206aa3464 bug fixes in biased generation ; example probs file in lib/src aarne 2010-01-26 21:49:00 +00:00
• a5a1d2bbe0 bug fixes in biased generation ; example probs file in lib/src aarne 2010-01-26 21:49:00 +00:00
• dd4c792e67 probability ranking (rt) and gr -probs=FILE aarne 2010-01-26 21:08:04 +00:00
• a463443cf5 probability ranking (rt) and gr -probs=FILE aarne 2010-01-26 21:08:04 +00:00
• e91c610e5a added probabilities to trees and random gen; not yet in shell aarne 2010-01-26 15:53:49 +00:00
• 9226dc6052 added probabilities to trees and random gen; not yet in shell aarne 2010-01-26 15:53:49 +00:00
• bc6323df4c fix the PGF generation when it is used from the shell krasimir 2010-01-26 14:15:37 +00:00