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

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

• d0efcc035c Make PGFService.hs compile again hallgren 2010-11-09 15:08:37 +00:00
• 92cf1bdb85 minibar.js: code simplification hallgren 2010-11-09 11:58:38 +00:00
• 48effe4922 support.js: two new functions: commonPrefix & insertFirst hallgren 2010-11-05 15:41:06 +00:00
• c1d91b7f50 fix the history management in the editor krasimir 2010-11-07 16:17:15 +00:00
• 0c8944781b Punjabi morphology from Humayoun aarne 2010-11-04 17:03:19 +00:00
• e745881e4a trying to find some inefficiencies in Finnish resource aarne 2010-10-25 19:56:47 +00:00
• cd0a9982bd preliminary UI for storage/retrieval/search of documents in the GF editor krasimir 2010-11-01 09:25:22 +00:00
• cd69929b4d added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments ramona.enache 2010-10-31 13:39:01 +00:00
• 5d24545163 fixed DemoSpa for the SMT workshop ramona.enache 2010-10-31 13:38:10 +00:00
• 592206e6a8 minibar.js: bug fix: when not using group translation, and a particular language is chosen in the To: menu, the translation would not be displayed hallgren 2010-10-28 12:39:56 +00:00
• c4f8fa82b7 minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars hallgren 2010-10-28 11:53:50 +00:00
• 559403eba5 update the testsuite. Now we can typecheck more programs than before krasimir 2010-10-27 17:58:40 +00:00
• 4f7255dae2 minibar: restructured code and improved user interface hallgren 2010-10-26 12:42:33 +00:00
• 41edd0a84f support.js: some enhancements and new functions hallgren 2010-10-26 11:52:04 +00:00
• 161dabcba1 new numerals/amharic.gf by Markos aarne 2010-10-26 09:56:48 +00:00
• 9802d534c0 when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well krasimir 2010-10-25 15:47:33 +00:00
• 75e8cba592 when we print the bracketed string it is useful to print the attached metavariables as well krasimir 2010-10-25 12:21:12 +00:00
• 2965777003 update the testsuite to the latest state of the compiler/interpreter krasimir 2010-10-25 11:50:41 +00:00
• 53306414b6 fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar krasimir 2010-10-25 11:48:17 +00:00
• 7666f8cc59 During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way. krasimir 2010-10-25 11:31:16 +00:00
• 8c751d404f change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces krasimir 2010-10-21 15:01:52 +00:00
• b3165b9eb6 added week day's names in SUMO for Bulgarian and Swedish krasimir 2010-10-21 14:48:04 +00:00
• 09dde495ce support for proof search with high-order functions krasimir 2010-10-21 12:47:26 +00:00
• cebc6881b0 functorized Query and added Swe aarne 2010-10-20 16:22:23 +00:00
• 8a29598f3c English and Swedish resource functions for Query aarne 2010-10-20 16:19:33 +00:00
• 43cbc6693d bugfix in the term generation krasimir 2010-10-20 13:36:39 +00:00
• 6e23da41a2 fixed typo which broke the parsing with -openclass krasimir 2010-10-20 09:04:48 +00:00
• 4ac1cf4970 in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict krasimir 2010-10-19 13:04:41 +00:00
• 5acec7be21 in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict krasimir 2010-10-19 13:04:41 +00:00
• e36cc73b0f in tutorial/smart remove the hack that forced the proof object to be resolved krasimir 2010-10-18 12:28:39 +00:00
• 775e59dabe added explicit depth parameter to the parsing API and the corresponding command in the shell krasimir 2010-10-18 16:51:25 +00:00
• 205ac48ac3 typo in PGF.TypeCheck which spoiled the previous patch krasimir 2010-10-18 16:50:55 +00:00
• 702b4aad3b now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser krasimir 2010-10-18 15:55:14 +00:00
• 9723055350 forgot Birds.gf krasimir 2010-10-18 13:03:43 +00:00
• e12d96451d in tutorial/smart remove the hack that forced the proof object to be resolved krasimir 2010-10-18 12:28:39 +00:00
• 51452d4ef0 added explicit depth parameter to the parsing API and the corresponding command in the shell krasimir 2010-10-18 16:51:25 +00:00
• afce46b386 typo in PGF.TypeCheck which spoiled the previous patch krasimir 2010-10-18 16:50:55 +00:00
• 7fb5fddbb8 now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser krasimir 2010-10-18 15:55:14 +00:00
• 2d426cfc7f forgot Birds.gf krasimir 2010-10-18 13:03:43 +00:00
• bb749d3b73 fixes in DictEng.gf krasimir 2010-10-18 12:14:05 +00:00
• 4e382e3306 translation to English of the Birds dictionary krasimir 2010-10-18 11:41:39 +00:00
• 57f0124f2a minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled hallgren 2010-10-23 14:56:10 +00:00
• d803d2a925 minibar.js: show the type error messages that can occur for grammars with dependent types hallgren 2010-10-18 12:15:30 +00:00
• ae7f8e4221 translation to English of the Birds dictionary krasimir 2010-10-18 11:41:39 +00:00
• 0d1c3dc62b minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled hallgren 2010-10-23 14:56:10 +00:00
• dd7cd640ea minibar.js: show the type error messages that can occur for grammars with dependent types hallgren 2010-10-18 12:15:30 +00:00
• 423103c86c typo in DictBul.gf krasimir 2010-10-18 09:08:53 +00:00
• fb24adb514 added one more overloaded version of compoundN in the Bulgarian library krasimir 2010-10-18 09:07:44 +00:00
• 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