summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Expand)Author
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
2010-07-13Bug fix in minibar.js: no translations where shown when using option show_gro...hallgren
2010-07-13Make minibar.js work again after backwards incompatible changes to the data s...hallgren
2010-07-13bugfix in the decoding of literals in PGF.Binarykrasimir
2010-07-08FridgeApp and TranslateApp now show the type errorskrasimir
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-07simplify the monad TcMkrasimir
2010-07-06Access keys for input fields in minibar and feedback formhallgren
2010-07-01redesign the open-literals APIkrasimir
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int...krasimir
2010-06-29in PGF.Printer special output format for SymLitkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-18the automatically generated printnames were just junks. Now we store printnam...krasimir
2010-06-18PGF.Printer now dumps the printnames as wellkrasimir
2010-06-16grammar loader and unloader in C. Abstract Syntax only!krasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-06-09filter the duplications when doing 'l -table'krasimir
2010-06-05Changing rec to rec_ in PGFjordi.saludes
2010-06-02feedback list stylinghallgren
2010-06-02minibar feedback: save user_agent, simple feedback viewerhallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 04:03:17 +0000