 krasimir
|
7e9b1ebfa4
|
addFCoercion -> addCoercion in GeneratePMCFG
|
2010-06-20 08:53:25 +00:00 |
|
|
krasimir
|
9995a834ae
|
getFCats -> getFIds in GeneratePMCFG
|
2010-06-20 08:45:31 +00:00 |
|
|
krasimir
|
a77815e35a
|
removed debugging code in GeneratePMCFG.hs
|
2010-06-20 08:30:00 +00:00 |
|
|
krasimir
|
992a7ffb38
|
Yay!! Direct generation of PMCFG from GF grammar
|
2010-06-18 12:55:58 +00:00 |
|
|
krasimir
|
5dfc9bbc0b
|
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
|
2010-06-18 10:19:05 +00:00 |
|
|
krasimir
|
fd3cddcf5e
|
PGF.Printer now dumps the printnames as well
|
2010-06-18 10:04:10 +00:00 |
|
|
krasimir
|
ad814e12c5
|
add Dutch to the list of languages in Setup.hs
|
2010-06-17 15:34:41 +00:00 |
|
|
krasimir
|
d8b049fdf8
|
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
|
2010-06-17 15:08:12 +00:00 |
|
|
krasimir
|
183c878173
|
GF.Grammar.Lookup.allParamValues now works for table types as well
|
2010-06-17 09:51:10 +00:00 |
|
|
krasimir
|
c760c52223
|
grammar loader and unloader in C. Abstract Syntax only!
|
2010-06-16 15:14:34 +00:00 |
|
|
krasimir
|
b2a0adf969
|
added equality proof in the constructor for natural trasformations
|
2010-06-14 11:21:52 +00:00 |
|
|
krasimir
|
07da5a43c9
|
AndroidUI: implemented search in the bag of words
|
2010-06-10 13:38:15 +00:00 |
|
|
krasimir
|
d6f32b3bcd
|
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
|
2010-06-09 11:32:59 +00:00 |
|
|
krasimir
|
4e35f7e5ec
|
filter the duplications when doing 'l -table'
|
2010-06-09 10:21:13 +00:00 |
|
|
krasimir
|
31cd91e67e
|
fixed bug in the recompilation checker which caused the phrasebook to be recompiled each time
|
2010-06-08 18:57:50 +00:00 |
|
|
krasimir
|
002965336a
|
bugfix for flag -no-recomp
|
2010-06-08 15:40:47 +00:00 |
|
|
krasimir
|
e8428b3d67
|
revert change in GF.Grammar.Printer that was intended for debugging only
|
2010-06-08 09:53:13 +00:00 |
|
|
krasimir
|
7d71704b3c
|
fix typo in category theory
|
2010-06-07 12:56:05 +00:00 |
|
|
krasimir
|
218beec02c
|
definitions for some high-order predicates that were missing
|
2010-06-06 12:10:49 +00:00 |
|
|
krasimir
|
54f40a135f
|
SUMO: remove the uggly SubClassC and use KappaFn instead
|
2010-06-06 11:44:51 +00:00 |
|
|
krasimir
|
455d955841
|
changes in SUMO: formatting and fixes for lots of lots of small problems
|
2010-06-06 11:06:44 +00:00 |
|
|
krasimir
|
707608a25c
|
added word "to" in the fake Android Fridge
|
2010-06-02 08:21:42 +00:00 |
|
|
krasimir
|
b473284f81
|
brushed_metal background in the Android app
|
2010-06-02 08:20:30 +00:00 |
|
|
krasimir
|
094f75068e
|
forgot some files for android
|
2010-06-02 08:02:48 +00:00 |
|
|
krasimir
|
ad0d8cd288
|
fake Fridge like app for Android
|
2010-06-02 07:54:43 +00:00 |
|
|
krasimir
|
d73ed8ba2e
|
some comments in the code for category theory
|
2010-06-01 06:56:34 +00:00 |
|
|
krasimir
|
5e0d04d0f5
|
El -> Obj in category theory
|
2010-06-01 06:12:30 +00:00 |
|
|
krasimir
|
19851031e6
|
cleanup the code for category theory
|
2010-06-01 06:03:19 +00:00 |
|
|
krasimir
|
7f3cfb3e95
|
GCongratulations, GHappyBirthday and GGoodLuck in Bulgarian
|
2010-06-01 05:49:06 +00:00 |
|
|
krasimir
|
d3effb1c7d
|
I switched back to the old algorithm for generating dependency trees. This required an ugly hack but there is no easy and quick other way :-(
|
2010-05-29 12:49:54 +00:00 |
|
|
krasimir
|
c3f4c3eba7
|
refactoring in GF.Grammar.Grammar
|
2010-05-28 14:15:15 +00:00 |
|
|
krasimir
|
f9f2491fcc
|
composOp should iterate under ImplArg
|
2010-05-28 12:19:04 +00:00 |
|
|
krasimir
|
ee6fdbf68f
|
bugfix in GF.Grammar.Printer
|
2010-05-28 09:43:58 +00:00 |
|
|
krasimir
|
6eda1118fc
|
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
|
2010-05-26 09:37:32 +00:00 |
|
|
krasimir
|
49aa8d20fc
|
some fixes for graphvizDependencyTree
|
2010-05-25 13:01:59 +00:00 |
|
|
krasimir
|
cada06eab7
|
bugfix in the linearization algorithm
|
2010-05-25 10:27:48 +00:00 |
|
|
krasimir
|
94f7e17035
|
fix the paradigms for bar/pub in WordsBul
|
2010-05-21 13:07:45 +00:00 |
|
|
krasimir
|
4ddb3cade3
|
fix the translation of QWhatAge in WordsBul.gf
|
2010-05-21 06:46:39 +00:00 |
|
|
krasimir
|
c6afc7b740
|
use better word for Toilet in WordsBul
|
2010-05-21 06:43:44 +00:00 |
|
|
krasimir
|
be6d053997
|
fix: use with_Prep and in_Prep from RGL in WordsBul.gf
|
2010-05-21 06:38:23 +00:00 |
|
|
krasimir
|
956f177241
|
complete Bulgarian phrasebook
|
2010-05-20 16:54:50 +00:00 |
|
|
krasimir
|
854e468854
|
bugfix in ExtraBul.gf - youPol for feminine is the same as for masculine
|
2010-05-20 13:40:54 +00:00 |
|
|
krasimir
|
c08649adeb
|
days of the week - WordsBul
|
2010-05-20 13:23:49 +00:00 |
|
|
krasimir
|
af4cfd5b9d
|
family relations in PhrasebookBul
|
2010-05-20 13:11:02 +00:00 |
|
|
krasimir
|
bc7d8f75c3
|
transport in WordsBul.gf
|
2010-05-20 12:07:27 +00:00 |
|
|
krasimir
|
694b0a61ac
|
nationalities and languages in WordsBul and SentencesBul
|
2010-05-20 11:51:49 +00:00 |
|
|
krasimir
|
a3df8b9962
|
some more words in WordsBul.gf
|
2010-05-20 09:38:28 +00:00 |
|
|
krasimir
|
e0dc9c80a6
|
now every BracketedString also has reference to the source expression(s)
|
2010-05-19 13:32:39 +00:00 |
|
|
krasimir
|
1743e88192
|
added function lengthBracketedString
|
2010-05-19 12:40:07 +00:00 |
|
|
krasimir
|
31856ebb4c
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
|
krasimir
|
77fb23fdbc
|
simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of plain pair of FId and LIndex
|
2010-05-17 06:12:45 +00:00 |
|
|
krasimir
|
e8099d1f51
|
in PGF, when printing function and category definitions, add semicolon
|
2010-05-11 12:50:51 +00:00 |
|
|
krasimir
|
4e85f8ada3
|
refactor BracketedString
|
2010-05-01 21:02:32 +00:00 |
|
|
krasimir
|
029fbec8f3
|
test for bracketedLinearize
|
2010-05-01 20:54:31 +00:00 |
|
|
krasimir
|
c1406bdcdf
|
bug fix for bracketedLinearize with HOAS and meta variables
|
2010-05-01 20:51:07 +00:00 |
|
|
krasimir
|
0f1cce53c6
|
fixes in unStr,unInt,unDouble,isMeta
|
2010-05-01 07:29:41 +00:00 |
|
|
krasimir
|
9e7b914c3c
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|
|
krasimir
|
1c590e41f4
|
optimize/simplify the error reporting in the new API
|
2010-04-30 20:16:16 +00:00 |
|
|
krasimir
|
af5f12d672
|
upgrade the testsuite to work with GHC 6.12
|
2010-04-30 19:27:53 +00:00 |
|
|
krasimir
|
c757e914cd
|
fix PGFService after the change in the API
|
2010-04-30 15:09:21 +00:00 |
|
|
krasimir
|
8460598801
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
|
krasimir
|
68de1cead3
|
wf,vt,vp,vd,aw should store files in utf8
|
2010-04-28 17:37:53 +00:00 |
|
|
krasimir
|
c87bbcb8e4
|
fix the -view option for vt,vp,vd,aw to work on Windows
|
2010-04-27 20:01:54 +00:00 |
|
|
krasimir
|
2f62ab26e6
|
convert GF.Data.SortedList to UTF8
|
2010-04-24 09:13:26 +00:00 |
|
|
krasimir
|
9253ee6010
|
fix parsing of literals
|
2010-04-23 20:46:14 +00:00 |
|
|
krasimir
|
cc4d5d1d39
|
change the developers link directly in index.html
|
2010-04-23 18:58:46 +00:00 |
|
|
krasimir
|
acbc41ef97
|
added link to the bugtracker from gf.cabal
|
2010-04-23 14:40:20 +00:00 |
|
|
krasimir
|
4800cd7159
|
tweak gf.cabal to be more Hackage friendly
|
2010-04-23 14:13:36 +00:00 |
|
|
krasimir
|
c440199cd8
|
redirect the developers link to the GF wiki
|
2010-04-23 13:59:23 +00:00 |
|
|
krasimir
|
bafbd7a814
|
link to Hackage from download/index.txt
|
2010-04-23 13:56:32 +00:00 |
|
|
krasimir
|
16b1fb4959
|
update index.txt
|
2010-04-23 13:44:18 +00:00 |
|
|
krasimir
|
f204723fdb
|
more in the release notes for 3.1.6
|
2010-04-23 13:26:57 +00:00 |
|
|
krasimir
|
e3a279e457
|
now the PGF service communicates with Graphviz using UTF8 for the input and binary for the output
|
2010-04-22 14:01:08 +00:00 |
|
|
krasimir
|
9db279b24b
|
the pgf service now compiles with the latest CGI package
|
2010-04-22 12:37:36 +00:00 |
|
|
krasimir
|
007f501f05
|
bump GF version to 3.1.6
|
2010-04-22 08:41:51 +00:00 |
|
|
krasimir
|
50a7512c1b
|
fix command cc for Unicode
|
2010-04-19 15:41:23 +00:00 |
|
|
krasimir
|
7c67a90327
|
always use Haskeline. drop Readline & Editline
|
2010-04-19 15:12:52 +00:00 |
|
|
krasimir
|
6313244eac
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
|
krasimir
|
bc504835d2
|
add Bul to the list of languages in Setup.hs that have API
|
2010-04-19 09:43:58 +00:00 |
|
|
krasimir
|
f194326f62
|
add the easy words and phrases in PhrasebookBul
|
2010-04-16 16:32:45 +00:00 |
|
|
krasimir
|
24d2acf097
|
fix the molto-molto-molto problem
|
2010-04-12 13:55:40 +00:00 |
|
|
krasimir
|
d83c2d01d8
|
export fullFormLexicon from PGF
|
2010-03-31 11:09:12 +00:00 |
|
|
krasimir
|
887a552497
|
even simpler version of NQueens
|
2010-03-24 21:04:37 +00:00 |
|
|
krasimir
|
9a1d0e8d11
|
bugfix in the lProlog generator
|
2010-03-24 20:54:20 +00:00 |
|
|
krasimir
|
fdd68f9040
|
the Plus predicate from NQueens is replaced with definition for function plus
|
2010-03-24 16:14:36 +00:00 |
|
|
krasimir
|
14f19b9865
|
partial support for def-rules in the Lambda Prolog generation
|
2010-03-24 16:12:58 +00:00 |
|
|
krasimir
|
68482aa7e9
|
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
2010-03-24 11:11:55 +00:00 |
|
|
krasimir
|
76d155af0e
|
typo in CheckGrammar
|
2010-03-23 15:35:32 +00:00 |
|
|
krasimir
|
c80c403da2
|
use the new more accurate location information for some error messages
|
2010-03-23 15:24:48 +00:00 |
|
|
krasimir
|
1e51690b71
|
added codepage for Turkish
|
2010-03-23 13:44:17 +00:00 |
|
|
krasimir
|
850b897f08
|
added comment to every GF.Text.CPxxxx module about the purpose of the codepage
|
2010-03-23 12:19:34 +00:00 |
|
|
krasimir
|
472c5e8ee7
|
add JavaScript API for completion. contributed by John J. Camilleri
|
2010-03-23 08:55:56 +00:00 |
|
|
krasimir
|
e7f01aa5f0
|
fix checkInfoType in Parser.y
|
2010-03-22 23:49:15 +00:00 |
|
|
krasimir
|
bf74f50733
|
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
|
2010-03-22 21:15:29 +00:00 |
|
|
krasimir
|
2ac96a7643
|
transliteration for Urdu
|
2010-03-22 09:29:43 +00:00 |
|
|
krasimir
|
0da54cdf64
|
produce optimized Lambda Prolog code
|
2010-03-22 08:56:42 +00:00 |
|
|
krasimir
|
f4574a4cfa
|
the NQueens algorithm written in GF
|
2010-03-21 19:01:57 +00:00 |
|
|
krasimir
|
fba592ecf8
|
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
2010-03-20 07:26:53 +00:00 |
|
|
krasimir
|
973a0cacb7
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +00:00 |
|
|
krasimir
|
985bb550c0
|
fix the precedence for patterns ~, - and @
|
2010-03-18 19:52:45 +00:00 |
|