msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity
5,449 Commits 21 Branches 11 Tags
2dc037fc7204bd8f541df97b148640faf0f83eb9
Commit Graph

117 Commits

Author SHA1 Message Date
hallgren
1e1d91056d avoid warning from ghc-7.0 
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
 2011-04-06 13:57:19 +00:00
hallgren
7f830ec5df avoid warning from ghc-7.0 
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
 2011-04-06 13:43:29 +00:00
gdetrez
f2df9631fd Adding a missing file for the tokenizer... 2011-03-17 16:04:21 +00:00
gdetrez
5be1b5d493 Adding a basic lexicon-based tokenizer and the asociated command in gf shell 2011-02-10 15:00:06 +00:00
aarne
e4eccba450 a simple clitic analysis command 'ca' 2011-02-06 16:19:24 +00:00
krasimir
adbe9cd94d fix the computation of abstract expressions in the presence of implicit arguments 2011-01-08 20:55:58 +00:00
krasimir
e41df3c873 bugfix in the handling of implicit arguments in the typechecker 2011-01-08 12:55:50 +00:00
krasimir
e52f8dda61 bugfix: setProbabilities should be more robust when there are missing probabilities for some functions or categories 2010-12-17 09:09:07 +00:00
krasimir
f62d6a7ed4 now every parse state keeps reference only to the concrete and the abstract syntaxes but not to the whole PGF 2010-12-14 17:20:53 +00:00
aarne
22a3eb2f0a work-around in Tree.expr2tree to make Paraphrase work 2010-12-14 14:36:05 +00:00
krasimir
8a0b3b8ba8 optimization in the parser for large lexicons. Now, the parser is slightly slower for grammars with a small lexicon but 3-4 times faster for the English Resource Grammar used in combination with Oxford Advanced Learners Dictionary 2010-12-14 08:46:22 +00:00
gdetrez
99c38bf070 In the haskell code, we make the binary representation of the doubles compliant with IEEE 754. 
The default binary representation in haskell's Data.Binary package is
homemade and quite complicated. Making it compliant with IEEE 754 will
make it easyer for the java runtimes (and probably others) to load the
PGF.
 2010-10-19 18:34:29 +00:00
krasimir
92266359d3 fixed typos in the documentation for PGF.Parse 2010-12-08 10:32:18 +00:00
krasimir
a9218ff45c simple refactoring in PGF.Macros and related 2010-12-06 14:19:51 +00:00
aarne
1b24f4490c moved PGF.ToApi to GF.Compile.ToAPI 2010-12-07 18:05:13 +00:00
ra.monique
1e5a0c9d9e no more IO in the syntax to API translator 2010-12-06 10:15:14 +00:00
aarne
86bc73cb03 vt -api with conversion to resource API names 2010-12-06 09:53:04 +00:00
ra.monique
faaddfe54b added syntax to api translation module 2010-12-05 19:51:19 +00:00
krasimir
159b68f946 command ai in the shell now shows the probability of the tree 2010-11-24 12:51:54 +00:00
krasimir
fe1205059b operations in the abstract syntax 2010-11-12 19:37:19 +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
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
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
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
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
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
7d9bbea985 backtracking for random generation is not enough. we must restart the search after each solution 2010-10-02 13:34:58 +00:00
krasimir
be9ad26aea refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax 2010-10-02 13:03:57 +00:00
krasimir
4e715c3952 the first revision of exhaustive and random generation with dependent types. Still not quite stable. 2010-09-22 15:49:16 +00:00
krasimir
bc92927692 cleanup and export the Probabilistic API from PGF 2010-09-22 09:06:19 +00:00
krasimir
efbc9e9d6d bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF 2010-09-12 12:26:38 +00:00
krasimir
b0e78f33bc PGF.Expr.normalForm does variable renaming 2010-08-30 07:37:12 +00:00
krasimir
9aa7c88c5a native representation for HOAS in PMCFG and incremental type checking of the parse forest 2010-08-09 10:10:08 +00:00
krasimir
b20821dfc3 more advanced complete function in the PGFService 2010-08-24 15:58:22 +00:00
krasimir
71ea541765 two new functions in the PGF API: mkAbs, unAbs 2010-07-31 16:40:16 +00:00
krasimir
b227c8a586 now the meta id of the meta variables is accessible via the PGF API 2010-07-31 12:52:20 +00:00
krasimir
ebe5b87738 added function unType in PGF 2010-07-31 12:47:10 +00:00
krasimir
df555d54fb fix the algorithm for items cutting in the partial parser 2010-07-15 14:01:51 +00:00
krasimir
ef68e209c2 fix the loopchecking in PGF.Forest.bracketedTokn 2010-07-13 12:04:06 +00:00
krasimir
5ea08bd2e8 bugfix in the decoding of literals in PGF.Binary 2010-07-13 08:24:03 +00:00