GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 18:58:56 -06:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • ac54c8e6e5 lib/amharic by Markos Kassa Gobena aarne 2010-11-10 17:01:12 +00:00
  • 906b185d2f Some pgf-server API documentation hallgren 2010-11-09 21:02:07 +00:00
  • 98bd4f9ae5 pgf_online.js: if a grammar list is supplied, you don't have to call switch_grammar. hallgren 2010-11-09 16:29:04 +00:00
  • 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