summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Expand)Author
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ...ramona.enache
2010-10-28minibar.js: bug fix: when not using group translation, and a particular langu...hallgren
2010-10-28minibar.js: bug fix: the To: menu wasn't updated properly when switching gram...hallgren
2010-10-26minibar: restructured code and improved user interfacehallgren
2010-10-26support.js: some enhancements and new functionshallgren
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25when we print the bracketed string it is useful to print the attached metavar...krasimir
2010-10-21change the TcM monad to continuation passing style. The old monad caused stac...krasimir
2010-10-21support for proof search with high-order functionskrasimir
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 otherwi...krasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding comma...krasimir
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 gen...krasimir
2010-10-23minibar.html: add a <noscript> element with a note that the page doesn't work...hallgren
2010-10-18minibar.js: show the type error messages that can occur for grammars with dep...hallgren
2010-10-17minibar.js: add an option to enable/disable the Random buttonhallgren
2010-10-14now since the type checking monad TcM is nondeterministic we can use the same...krasimir
2010-10-13bugfix in PGF.VisualizeTree for handling trees with implicit argumentskrasimir
2010-10-13fix PGF.Generate.restart. The restart should be done only if there are some s...krasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-11now the generation from template with meta-variables respects the dependent t...krasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-29minibar: work on adding back support for typing multiple words without pressi...hallgren
2010-09-28minibar: update about.html with description of recent changeshallgren
2010-09-24minibar/about.html: fix typos and formattinghallgren
2010-09-24minibar.html: specify charset, move initializationhallgren
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-12bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be su...krasimir
2010-09-14minibar.js: server API code cleanuphallgren
2010-09-14minibar.js: bug fix: the current word should be accepted when you press enter...hallgren
2010-09-14minibar.js: add access keys to some of the buttonshallgren
2010-09-10support.js: create buttons with access keyshallgren
2010-09-10minibar: default input language is now the user's preferred language, if poss...hallgren
2010-09-10minibar: use AJAX instead of JSONP when possiblehallgren
2010-09-05Minibar: PGF server API: pass callback functions directly instead of passing ...hallgren
2010-09-05minibar: fix broken link to brushed-metal backgroundhallgren
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-08-27Adapt minibar.js to the current GF web service APIhallgren
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-07-31two new functions in the PGF API: mkAbs, unAbskrasimir
2010-07-31now the meta id of the meta variables is accessible via the PGF APIkrasimir
2010-07-31added function unType in PGFkrasimir
2010-07-15fix the algorithm for items cutting in the partial parserkrasimir
2010-07-13fix the loopchecking in PGF.Forest.bracketedToknkrasimir
2010-07-13Add missing <td> tags in the HTML constructed by functio show_groupedtranslat...hallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 14:41:09 +0000