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

• ca0214d6a1 small Swedish/Bulgarian dictionary of birds in SUMO krasimir 2010-10-18 08:55:51 +00:00
• 8b8cb03ccf small Swedish/Bulgarian dictionary of birds in SUMO krasimir 2010-10-18 08:55:51 +00:00
• 26da60d0a9 minibar.js: add an option to enable/disable the Random button hallgren 2010-10-17 16:48:21 +00:00
• 5400728ef7 minibar.js: add an option to enable/disable the Random button hallgren 2010-10-17 16:48:21 +00:00
• 9acd33f878 added .authorspellings file in the root directory krasimir 2010-10-16 13:10:06 +00:00
• ab19a670a3 added .authorspellings file in the root directory krasimir 2010-10-16 13:10:06 +00:00
• 05a52d6937 now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees krasimir 2010-10-14 14:28:40 +00:00
• 9fdc7134e8 now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees krasimir 2010-10-14 14:28:40 +00:00
• 82214f0be5 generalize the nqueens function in NQueens.gf krasimir 2010-10-13 17:53:44 +00:00
• 1c36f1fa8d generalize the nqueens function in NQueens.gf krasimir 2010-10-13 17:53:44 +00:00
• 95713b9489 add start category S in NQueens. This helps the EditorApp to find the start category krasimir 2010-10-13 13:53:29 +00:00
• 2ab3081c07 add start category S in NQueens. This helps the EditorApp to find the start category krasimir 2010-10-13 13:53:29 +00:00
• 354838807f use "-" and ";" instead of "_" and "\n" in NQueens krasimir 2010-10-13 13:47:22 +00:00
• edf46e3a4d use "-" and ";" instead of "_" and "\n" in NQueens krasimir 2010-10-13 13:47:22 +00:00
• 7fc638e030 bugfix in PGF.VisualizeTree for handling trees with implicit arguments krasimir 2010-10-13 13:32:48 +00:00
• cc2232e289 bugfix in PGF.VisualizeTree for handling trees with implicit arguments krasimir 2010-10-13 13:32:48 +00:00
• 5ff6489013 WebUI: show error when depth/limit has invalid value krasimir 2010-10-13 12:53:42 +00:00
• aa6fd7b13f WebUI: show error when depth/limit has invalid value krasimir 2010-10-13 12:53:42 +00:00
• 09ce38742c fix PGF.Generate.restart. The restart should be done only if there are some solutions found krasimir 2010-10-13 12:38:51 +00:00
• f4603cf9d4 fix PGF.Generate.restart. The restart should be done only if there are some solutions found krasimir 2010-10-13 12:38:51 +00:00
• cecf94d729 the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization krasimir 2010-10-13 12:32:49 +00:00
• 042790fdf6 the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization krasimir 2010-10-13 12:32:49 +00:00
• 63ac5f5db6 improved Web UI for queries krasimir 2010-10-13 12:31:38 +00:00
• 44336bf6d6 improved Web UI for queries krasimir 2010-10-13 12:31:38 +00:00
• 8970184578 added option -depth to command gr krasimir 2010-10-12 13:36:37 +00:00
• 1ce14c9120 added option -depth to command gr krasimir 2010-10-12 13:36:37 +00:00
• de0354f991 the exhaustive/random generator now knows how to handle computable functions in the types krasimir 2010-10-11 17:18:28 +00:00
• 95733f0b1b the exhaustive/random generator now knows how to handle computable functions in the types krasimir 2010-10-11 17:18:28 +00:00
• 3ac637ddcb update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments krasimir 2010-10-11 17:17:04 +00:00
• c145f18a19 update NQueens to use: 1) lists i.e. [Nat]; 2) implicit arguments krasimir 2010-10-11 17:17:04 +00:00
• f305587a62 now the generation from template with meta-variables respects the dependent types krasimir 2010-10-11 09:59:57 +00:00
• e7f6239bc6 now the generation from template with meta-variables respects the dependent types krasimir 2010-10-11 09:59:57 +00:00
• d8aa316588 extended CountriesAndRegionsRon.gf krasimir 2010-10-10 13:10:21 +00:00
• 9e484c7e8f extended CountriesAndRegionsRon.gf krasimir 2010-10-10 13:10:21 +00:00
• 52cd3d5cbd added dummy search box for documents krasimir 2010-10-07 16:18:45 +00:00
• adda4b8492 added dummy search box for documents krasimir 2010-10-07 16:18:45 +00:00
• 339de4c281 use TabBar for the links in the upper-left corner of the editor krasimir 2010-10-07 15:09:59 +00:00
• d0a5b7a1ae use TabBar for the links in the upper-left corner of the editor krasimir 2010-10-07 15:09:59 +00:00
• 5f84c53681 dummy UI for documents saving/loading in the editor krasimir 2010-10-07 14:09:08 +00:00
• f52b157b34 dummy UI for documents saving/loading in the editor krasimir 2010-10-07 14:09:08 +00:00
• 89ae7a3ac4 forgot to remove a trace message krasimir 2010-10-02 13:38:00 +00:00
• b10731fd97 forgot to remove a trace message krasimir 2010-10-02 13:38:00 +00:00
• 7200244605 backtracking for random generation is not enough. we must restart the search after each solution krasimir 2010-10-02 13:34:58 +00:00
• 7d9bbea985 backtracking for random generation is not enough. we must restart the search after each solution krasimir 2010-10-02 13:34:58 +00:00
• cb8795c222 refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax krasimir 2010-10-02 13:03:57 +00:00
• be9ad26aea refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax krasimir 2010-10-02 13:03:57 +00:00
• 72cc4ddb59 fixes in FridgeApp. now it is compatible with EditorApp krasimir 2010-09-30 08:08:57 +00:00
• c0251e76c5 fixes in FridgeApp. now it is compatible with EditorApp krasimir 2010-09-30 08:08:57 +00:00
• c200232bfd update PGFService to work after the extensions in the random generation API krasimir 2010-09-30 07:35:54 +00:00
• 72f505d7df update PGFService to work after the extensions in the random generation API krasimir 2010-09-30 07:35:54 +00:00
• 3c3082f8ee fix the compilation of FridgeApp krasimir 2010-09-29 14:15:36 +00:00
• 10a0d370dc fix the compilation of FridgeApp krasimir 2010-09-29 14:15:36 +00:00
• 35b14d26f3 restore the method BracketedString.render which was needed for TranslateApp krasimir 2010-09-29 13:53:13 +00:00
• f94725ba4a restore the method BracketedString.render which was needed for TranslateApp krasimir 2010-09-29 13:53:13 +00:00
• fdcec4273c add Magnet.getWord() krasimir 2010-09-29 13:47:51 +00:00
• 7c43855ddf add Magnet.getWord() krasimir 2010-09-29 13:47:51 +00:00
• 8d37ed015e added compilation scripts for the editor krasimir 2010-09-29 13:32:23 +00:00
• eb7679763e added compilation scripts for the editor krasimir 2010-09-29 13:32:23 +00:00
• 3b11f81c6b initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch krasimir 2010-09-29 13:17:48 +00:00
• f1713c3634 initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch krasimir 2010-09-29 13:17:48 +00:00
• 8b7d27fe4c minibar: work on adding back support for typing multiple words without pressing enter in between hallgren 2010-09-29 13:03:40 +00:00
• 518a27a009 minibar: work on adding back support for typing multiple words without pressing enter in between hallgren 2010-09-29 13:03:40 +00:00
• fe15579b31 extended Attempto with some constructs aarne 2010-09-29 07:16:33 +00:00
• 9e53a4652d extended Attempto with some constructs aarne 2010-09-29 07:16:33 +00:00
• 303b3f4700 restricted Cat import in Numeral (for some languages; to do more) aarne 2010-09-29 07:07:07 +00:00
• 8fa5a50728 fixes in French morpho quiz grammar aarne 2010-09-28 16:52:48 +00:00
• d85c491451 fixes in French morpho quiz grammar aarne 2010-09-28 16:52:48 +00:00
• 66672d8af1 minibar: update about.html with description of recent changes hallgren 2010-09-28 11:46:32 +00:00
• 31d0e84617 minibar: update about.html with description of recent changes hallgren 2010-09-28 11:46:32 +00:00
• 1ac7a8bd7c minibar/about.html: fix typos and formatting hallgren 2010-09-24 12:57:16 +00:00
• 6f2a3849f3 minibar/about.html: fix typos and formatting hallgren 2010-09-24 12:57:16 +00:00
• 72fe93a8c4 minibar.html: specify charset, move initialization hallgren 2010-09-24 12:47:18 +00:00
• 3d2bf753d4 minibar.html: specify charset, move initialization hallgren 2010-09-24 12:47:18 +00:00
• 8ce7ef3bdd pgf-server HTTP mode: omit charset from ContentType for static files hallgren 2010-09-24 12:34:38 +00:00
• 709b0518fa restored the .ebnf grammar format aarne 2010-09-24 12:39:49 +00:00
• 5e1f2c069f pgf-server HTTP mode: omit charset from ContentType for static files hallgren 2010-09-24 12:34:38 +00:00
• 11bfee735d restored the .ebnf grammar format aarne 2010-09-24 12:39:49 +00:00
• 617ce3cce6 the first revision of exhaustive and random generation with dependent types. Still not quite stable. krasimir 2010-09-22 15:49:16 +00:00
• 4e715c3952 the first revision of exhaustive and random generation with dependent types. Still not quite stable. krasimir 2010-09-22 15:49:16 +00:00
• 1c9305e7a3 cleanup and export the Probabilistic API from PGF krasimir 2010-09-22 09:06:19 +00:00
• bc92927692 cleanup and export the Probabilistic API from PGF krasimir 2010-09-22 09:06:19 +00:00
• fb15e95a07 rename BucharestIndia to BucharestRomania. Agreed with Adam Pease krasimir 2010-09-21 18:42:39 +00:00
• ec5052f899 rename BucharestIndia to BucharestRomania. Agreed with Adam Pease krasimir 2010-09-21 18:42:39 +00:00
• ef1a4ebc6e added GeographyEng krasimir 2010-09-21 18:40:11 +00:00
• 2654d1e5aa added GeographyEng krasimir 2010-09-21 18:40:11 +00:00
• 70d8765418 fixes in Basic.gf to avoid loops in the reasoner krasimir 2010-09-21 18:38:06 +00:00
• cce52f3646 fixes in Basic.gf to avoid loops in the reasoner krasimir 2010-09-21 18:38:06 +00:00
• 197c377c6d since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class krasimir 2010-09-20 15:21:13 +00:00
• 6170d8ca35 since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class krasimir 2010-09-20 15:21:13 +00:00
• ef3f1c3883 few more fixes in CountriesAndRegionsEng.gf krasimir 2010-09-18 17:29:02 +00:00
• d75be87c3d few more fixes in CountriesAndRegionsEng.gf krasimir 2010-09-18 17:29:02 +00:00
• 21445f9fea fix the linearization of GuineaBissau krasimir 2010-09-18 17:12:52 +00:00
• 144d0188fe fix the linearization of GuineaBissau krasimir 2010-09-18 17:12:52 +00:00
• f2051c33e6 cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial krasimir 2010-09-18 08:57:50 +00:00
• 696c4e89de cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial krasimir 2010-09-18 08:57:50 +00:00
• 905aeb9904 fix typo: the linearization of Iraq was Iran krasimir 2010-09-17 18:32:34 +00:00
• 5b089655bd fix typo: the linearization of Iraq was Iran krasimir 2010-09-17 18:32:34 +00:00
• e30f2212b9 added MondialRon and CountriesAndRegionsRon with data imported from geonames.org krasimir 2010-09-17 16:22:10 +00:00
• 86f4b782a4 added MondialRon and CountriesAndRegionsRon with data imported from geonames.org krasimir 2010-09-17 16:22:10 +00:00
• e1ed8277a9 fix the compilation of CountriesAndRegionsEng.gf krasimir 2010-09-17 16:20:47 +00:00