| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-10-25 | when we print the bracketed string it is useful to print the attached ↵ | krasimir | |
| metavariables as well | |||
| 2010-10-21 | change the TcM monad to continuation passing style. The old monad caused ↵ | krasimir | |
| stack overflow for large search spaces | |||
| 2010-10-21 | support for proof search with high-order functions | krasimir | |
| 2010-10-20 | bugfix in the term generation | krasimir | |
| 2010-10-20 | fixed typo which broke the parsing with -openclass | krasimir | |
| 2010-10-19 | in the type checker monad we should use lazy pattern matching because ↵ | krasimir | |
| otherwise we force the exhaustive tree generation to be strict | |||
| 2010-10-18 | added explicit depth parameter to the parsing API and the corresponding ↵ | krasimir | |
| command in the shell | |||
| 2010-10-18 | typo in PGF.TypeCheck which spoiled the previous patch | krasimir | |
| 2010-10-18 | now we use the GF reasoner to fillin meta variables in the abstract trees ↵ | krasimir | |
| generated from the parser | |||
| 2010-10-23 | minibar.html: add a <noscript> element with a note that the page doesn't ↵ | hallgren | |
| work unless JavaScript is enabled | |||
| 2010-10-18 | minibar.js: show the type error messages that can occur for grammars with ↵ | hallgren | |
| dependent types | |||
| 2010-10-17 | minibar.js: add an option to enable/disable the Random button | hallgren | |
| 2010-10-14 | now since the type checking monad TcM is nondeterministic we can use the ↵ | krasimir | |
| same monad in PGF.Forest.getAbsTrees | |||
| 2010-10-13 | bugfix in PGF.VisualizeTree for handling trees with implicit arguments | krasimir | |
| 2010-10-13 | fix PGF.Generate.restart. The restart should be done only if there are some ↵ | krasimir | |
| solutions found | |||
| 2010-10-11 | the exhaustive/random generator now knows how to handle computable functions ↵ | krasimir | |
| in the types | |||
| 2010-10-11 | now the generation from template with meta-variables respects the dependent ↵ | krasimir | |
| types | |||
| 2010-10-02 | backtracking for random generation is not enough. we must restart the search ↵ | krasimir | |
| after each solution | |||
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ↵ | krasimir | |
| in the abstract syntax | |||
| 2010-09-29 | minibar: 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. | |||
| 2010-09-28 | minibar: update about.html with description of recent changes | hallgren | |
| 2010-09-24 | minibar/about.html: fix typos and formatting | hallgren | |
| 2010-09-24 | minibar.html: specify charset, move initialization | hallgren | |
| Added a meta tag to specify that the file is in UTF-8. This makes the browser (at least Firefox) assume that the JavaScript files are also in UTF-8, it seems. Moved the call to start_minibar() from the <body onload="..."> to the end of the file. The onload action is not executed until all images in the document has been loaded, while javascipt at the end of the file is executed as soon as the HTML file has been loaded. (Calling start_minibar() from the head of the document would be too soon, since it refers to elements in the body, which hasn't been loaded yet.) | |||
| 2010-09-22 | the first revision of exhaustive and random generation with dependent types. ↵ | krasimir | |
| Still not quite stable. | |||
| 2010-09-22 | cleanup and export the Probabilistic API from PGF | krasimir | |
| 2010-09-12 | bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be ↵ | krasimir | |
| supported in GF | |||
| 2010-09-14 | minibar.js: server API code cleanup | hallgren | |
| 2010-09-14 | minibar.js: bug fix: the current word should be accepted when you press ↵ | hallgren | |
| enter if it matches one of the possible completions exactly The current word is also accepted if there is only one remaining possible completion. | |||
| 2010-09-14 | minibar.js: add access keys to some of the buttons | hallgren | |
| 2010-09-10 | support.js: create buttons with access keys | hallgren | |
| 2010-09-10 | minibar: default input language is now the user's preferred language, if ↵ | hallgren | |
| possible This is implemented using the userLanguage field in the grammar info output by pgf-server. | |||
| 2010-09-10 | minibar: use AJAX instead of JSONP when possible | hallgren | |
| Using AJAX instead of JSONP can give better caching in the browser, since the URL doesn't need to contain a (dynamically generated) callback function name. But because of the same origin policy in JavaScript, AJAX can only be used when the HTML file is served from the same server as the PGF. The new function http_get_json in support.js uses AJAX if this is the case, and falls back to JSONP otherwise. | |||
| 2010-09-05 | Minibar: PGF server API: pass callback functions directly instead of passing ↵ | hallgren | |
| function names as strings. | |||
| 2010-09-05 | minibar: fix broken link to brushed-metal background | hallgren | |
| Solution: include a local copy of brushed-metal.png | |||
| 2010-08-30 | PGF.Expr.normalForm does variable renaming | krasimir | |
| 2010-08-27 | Adapt minibar.js to the current GF web service API | hallgren | |
| Quick fix. More work needed for correct behaviour when multiple words are entered at once. | |||
| 2010-08-09 | native representation for HOAS in PMCFG and incremental type checking of the ↵ | krasimir | |
| parse forest | |||
| 2010-08-24 | more advanced complete function in the PGFService | krasimir | |
| 2010-07-31 | two new functions in the PGF API: mkAbs, unAbs | krasimir | |
| 2010-07-31 | now the meta id of the meta variables is accessible via the PGF API | krasimir | |
| 2010-07-31 | added function unType in PGF | krasimir | |
| 2010-07-15 | fix the algorithm for items cutting in the partial parser | krasimir | |
| 2010-07-13 | fix the loopchecking in PGF.Forest.bracketedTokn | krasimir | |
| 2010-07-13 | Add missing <td> tags in the HTML constructed by functio ↵ | hallgren | |
| show_groupedtranslations | |||
| 2010-07-13 | Bug fix in minibar.js: no translations where shown when using option ↵ | hallgren | |
| show_grouped_translations: false This affected minibar.html but not phrasebook.html and was caused by accidental shadowing of function tr in function show_translations. | |||
| 2010-07-13 | Make minibar.js work again after backwards incompatible changes to the data ↵ | hallgren | |
| structures output by pgf-server. The canParse field was removed without notice. | |||
| 2010-07-13 | bugfix in the decoding of literals in PGF.Binary | krasimir | |
| 2010-07-08 | FridgeApp and TranslateApp now show the type errors | krasimir | |
| 2010-07-07 | report type errors in the shell from command "p" | krasimir | |
| 2010-07-07 | simplify the monad TcM | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |