msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
10,010 Commits 21 Branches 11 Tags
9cdd5d3538d62a9782e7fe7e9c9426673eae2e83
Commit Graph

4307 Commits

Author SHA1 Message Date
hallgren
9532a34a2a pgf-server: more useful JSON output from lineraizeAll 
Example:

Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearizeAll&tree=Run+YouPl

Response: [{"to":"QuizEng","texts":["you run"]},
           {"to":"QuizSwe","texts":["ni l??per","ni springer"]}]

Compared to the old command linearize:

Request: http://www.grammaticalframework.org:41296/grammars/Quiz.pgf?command=linearize&tree=Run+YouPl'

Response: [{"to":"QuizEng","text":"you run"},
           {"to":"QuizSwe","text":"ni l??per"}]
 2010-11-25 18:30:30 +00:00
aarne
0460ed2d8b DiffUrd and Hin; updated Transliteration.hs 2010-11-25 12:22:58 +00:00
aarne
62cfeef03e linearizeAll in PGFService 2010-11-24 21:17:29 +00:00
aarne
e37e6df775 lang flag in align_words sets the list of languages 2010-11-22 22:41:29 +00:00
krasimir
159b68f946 command ai in the shell now shows the probability of the tree 2010-11-24 12:51:54 +00:00
hallgren
ab3327dab8 minibar/about.html: document recent development 2010-11-23 12:26:32 +00:00
aarne
8ab5ec00c6 tools/Multi, a script for generating multilingual lexicon grammars with the minimum of effort 2010-11-19 16:50:32 +00:00
aarne
e9679e57af fixed some bugs in translation quiz 2010-11-17 08:30:02 +00:00
krasimir
4a8d0598d1 forgot to add ContentService.java in the GF Editor 2010-11-17 10:46:00 +00:00
krasimir
60a401057f bugfix for the abstract operations 2010-11-15 09:38:31 +00:00
krasimir
fe1205059b operations in the abstract syntax 2010-11-12 19:37:19 +00:00
hallgren
906b185d2f Some pgf-server API documentation 2010-11-09 21:02:07 +00:00
hallgren
98bd4f9ae5 pgf_online.js: if a grammar list is supplied, you don't have to call switch_grammar. 2010-11-09 16:29:04 +00:00
hallgren
d0efcc035c Make PGFService.hs compile again 
+ PGFService.hs: add Nothing arguments in calls to PGF.parse_ and
  PGF.getPArseOutput
+ gf-server.cabal: mark content-server as not buildable, since required source
  files are missing.
 2010-11-09 15:08:37 +00:00
hallgren
92cf1bdb85 minibar.js: code simplification 2010-11-09 11:58:38 +00:00
hallgren
48effe4922 support.js: two new functions: commonPrefix & insertFirst 2010-11-05 15:41:06 +00:00
krasimir
c1d91b7f50 fix the history management in the editor 2010-11-07 16:17:15 +00:00
aarne
e745881e4a trying to find some inefficiencies in Finnish resource 2010-10-25 19:56:47 +00:00
krasimir
cd0a9982bd preliminary UI for storage/retrieval/search of documents in the GF editor 2010-11-01 09:25:22 +00:00
ramona.enache
cd69929b4d added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments 2010-10-31 13:39:01 +00:00
hallgren
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 2010-10-28 12:39:56 +00:00
hallgren
c4f8fa82b7 minibar.js: bug fix: the To: menu wasn't updated properly when switching grammars 2010-10-28 11:53:50 +00:00
hallgren
4f7255dae2 minibar: restructured code and improved user interface 
* Keyboard input and completion should now work much more smoothly:
  + When you press space, the current word will be completed (if incomplete)
    and a new magnet will be created. If there is more than one possible
    completion, no magnet is created, but the common prefix of the possible
    completions is added to the text box.
  + Instead of asking the server for possible completions every time a new
    letter is added to the curent word, minibar only ask for completions for
    whole words and then filters the list locally when more letters are entered,
    speeding things up when server responses are slow.

* Code restructuring:
  + The PGF server API has been moved to its own file: pgf_online.js. This
    allows it to be reused in other applicaitons without importing the entire
    minibar. It also allows minibar to be used with different server interfaces.
  + The minibar code has been rewritten to avoid storing state information
    in the document tree and accessing it by referring to named document
    elements. The code now also avoids using string literals contaning
    the names of top-level functions to specify event handlers for buttons
    and menus. (The code is no longer introspective, so alpha conversion will
    not change its meaning.)
 2010-10-26 12:42:33 +00:00
hallgren
41edd0a84f support.js: some enhancements and new functions 
+ ajax_http_get(url,callback) now checks the HTTP response status and shows an
  error message if the status is not OK (is not 200)
+ New function node(tag,attrs,children) to create document nodes with arbitraty
  attributes and children. The functions node() and text() should now be enough
  to construct arbitrary document trees in an easy, functional way, and many of
  the more specialized functions could be removed.
+ When calling the function button(label,action,key), the action can be a
  function instead of a string, so you can use local/anonymous functions.
+ New function debug(str) adds text to the element with id=debug, if it
  exists.
 2010-10-26 11:52:04 +00:00
krasimir
9802d534c0 when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well 2010-10-25 15:47:33 +00:00
krasimir
75e8cba592 when we print the bracketed string it is useful to print the attached metavariables as well 2010-10-25 12:21:12 +00:00
krasimir
53306414b6 fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar 2010-10-25 11:48:17 +00:00
krasimir
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. 2010-10-25 11:31:16 +00:00
krasimir
8c751d404f change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces 2010-10-21 15:01:52 +00:00
krasimir
09dde495ce support for proof search with high-order functions 2010-10-21 12:47:26 +00:00
krasimir
43cbc6693d bugfix in the term generation 2010-10-20 13:36:39 +00:00
krasimir
6e23da41a2 fixed typo which broke the parsing with -openclass 2010-10-20 09:04:48 +00:00
krasimir
5acec7be21 in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict 2010-10-19 13:04:41 +00:00
krasimir
51452d4ef0 added explicit depth parameter to the parsing API and the corresponding command in the shell 2010-10-18 16:51:25 +00:00
krasimir
afce46b386 typo in PGF.TypeCheck which spoiled the previous patch 2010-10-18 16:50:55 +00:00
krasimir
7fb5fddbb8 now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser 2010-10-18 15:55:14 +00:00
hallgren
0d1c3dc62b minibar.html: add a <noscript> element with a note that the page doesn't work unless JavaScript is enabled 2010-10-23 14:56:10 +00:00
hallgren
dd7cd640ea minibar.js: show the type error messages that can occur for grammars with dependent types 2010-10-18 12:15:30 +00:00
hallgren
5400728ef7 minibar.js: add an option to enable/disable the Random button 2010-10-17 16:48:21 +00:00
krasimir
9fdc7134e8 now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees 2010-10-14 14:28:40 +00:00
krasimir
cc2232e289 bugfix in PGF.VisualizeTree for handling trees with implicit arguments 2010-10-13 13:32:48 +00:00
krasimir
aa6fd7b13f WebUI: show error when depth/limit has invalid value 2010-10-13 12:53:42 +00:00
krasimir
f4603cf9d4 fix PGF.Generate.restart. The restart should be done only if there are some solutions found 2010-10-13 12:38:51 +00:00
krasimir
042790fdf6 the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization 2010-10-13 12:32:49 +00:00
krasimir
44336bf6d6 improved Web UI for queries 2010-10-13 12:31:38 +00:00
krasimir
1ce14c9120 added option -depth to command gr 2010-10-12 13:36:37 +00:00
krasimir
95733f0b1b the exhaustive/random generator now knows how to handle computable functions in the types 2010-10-11 17:18:28 +00:00
krasimir
e7f6239bc6 now the generation from template with meta-variables respects the dependent types 2010-10-11 09:59:57 +00:00
krasimir
adda4b8492 added dummy search box for documents 2010-10-07 16:18:45 +00:00
krasimir
d0a5b7a1ae use TabBar for the links in the upper-left corner of the editor 2010-10-07 15:09:59 +00:00