summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-10-25when we print the bracketed string it is useful to print the attached ↵krasimir
metavariables as well
2010-10-25update the testsuite to the latest state of the compiler/interpreterkrasimir
2010-10-25fixed typo in GeneratePMCFG.hs. fidFloat -> fidVarkrasimir
2010-10-25During the compilation, the final message "OK" should be displayed only if ↵krasimir
we are not in silent mode. This was changed incidentally on the way.
2010-10-21change the TcM monad to continuation passing style. The old monad caused ↵krasimir
stack overflow for large search spaces
2010-10-21added week day's names in SUMO for Bulgarian and Swedishkrasimir
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20functorized Query and added Sweaarne
2010-10-20bugfix in the term generationkrasimir
2010-10-20fixed typo which broke the parsing with -openclasskrasimir
2010-10-19in the type checker monad we should use lazy pattern matching because ↵krasimir
otherwise we force the exhaustive tree generation to be strict
2010-10-18in tutorial/smart remove the hack that forced the proof object to be resolvedkrasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding ↵krasimir
command in the shell
2010-10-18typo in PGF.TypeCheck which spoiled the previous patchkrasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees ↵krasimir
generated from the parser
2010-10-18forgot Birds.gfkrasimir
2010-10-18translation to English of the Birds dictionarykrasimir
2010-10-23minibar.html: add a <noscript> element with a note that the page doesn't ↵hallgren
work unless JavaScript is enabled
2010-10-18minibar.js: show the type error messages that can occur for grammars with ↵hallgren
dependent types
2010-10-18small Swedish/Bulgarian dictionary of birds in SUMOkrasimir
2010-10-17minibar.js: add an option to enable/disable the Random buttonhallgren
2010-10-16added .authorspellings file in the root directorykrasimir
2010-10-14now since the type checking monad TcM is nondeterministic we can use the ↵krasimir
same monad in PGF.Forest.getAbsTrees
2010-10-13generalize the nqueens function in NQueens.gfkrasimir
2010-10-13add start category S in NQueens. This helps the EditorApp to find the start ↵krasimir
category
2010-10-13use "-" and ";" instead of "_" and "\n" in NQueenskrasimir
2010-10-13bugfix in PGF.VisualizeTree for handling trees with implicit argumentskrasimir
2010-10-13WebUI: show error when depth/limit has invalid valuekrasimir
2010-10-13fix PGF.Generate.restart. The restart should be done only if there are some ↵krasimir
solutions found
2010-10-13the PGF service now can do both random and exhaustive generation. these ↵krasimir
functions now return both the generated tree and its linearization
2010-10-13improved Web UI for querieskrasimir
2010-10-12added option -depth to command grkrasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ↵krasimir
in the types
2010-10-11update NQueens to use: 1) lists i.e. [Nat]; 2) implicit argumentskrasimir
2010-10-11now the generation from template with meta-variables respects the dependent ↵krasimir
types
2010-10-10extended CountriesAndRegionsRon.gfkrasimir
2010-10-07added dummy search box for documentskrasimir
2010-10-07use TabBar for the links in the upper-left corner of the editorkrasimir
2010-10-07dummy UI for documents saving/loading in the editorkrasimir
2010-10-02forgot to remove a trace messagekrasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ↵krasimir
after each solution
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-09-30fixes in FridgeApp. now it is compatible with EditorAppkrasimir
2010-09-30update PGFService to work after the extensions in the random generation APIkrasimir
2010-09-29fix the compilation of FridgeAppkrasimir
2010-09-29restore the method BracketedString.render which was needed for TranslateAppkrasimir
2010-09-29add Magnet.getWord()krasimir
2010-09-29added compilation scripts for the editorkrasimir
2010-09-29initial import of the new GF editor. Note: the FridgeApp is temporary ↵krasimir
broken. It will be fixed with the next patch
2010-09-29minibar: work on adding back support for typing multiple words without ↵hallgren
pressing enter in between It mostly works now, but some minor issues still need to be fixed.
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 04:57:00 +0000