 krasimir
|
3b11f81c6b
|
initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch
|
2010-09-29 13:17:48 +00:00 |
|
|
krasimir
|
617ce3cce6
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
|
krasimir
|
1c9305e7a3
|
cleanup and export the Probabilistic API from PGF
|
2010-09-22 09:06:19 +00:00 |
|
|
krasimir
|
fb15e95a07
|
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
|
2010-09-21 18:42:39 +00:00 |
|
|
krasimir
|
ef1a4ebc6e
|
added GeographyEng
|
2010-09-21 18:40:11 +00:00 |
|
|
krasimir
|
70d8765418
|
fixes in Basic.gf to avoid loops in the reasoner
|
2010-09-21 18:38:06 +00:00 |
|
|
krasimir
|
197c377c6d
|
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
|
2010-09-20 15:21:13 +00:00 |
|
|
krasimir
|
ef3f1c3883
|
few more fixes in CountriesAndRegionsEng.gf
|
2010-09-18 17:29:02 +00:00 |
|
|
krasimir
|
21445f9fea
|
fix the linearization of GuineaBissau
|
2010-09-18 17:12:52 +00:00 |
|
|
krasimir
|
f2051c33e6
|
cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial
|
2010-09-18 08:57:50 +00:00 |
|
|
krasimir
|
905aeb9904
|
fix typo: the linearization of Iraq was Iran
|
2010-09-17 18:32:34 +00:00 |
|
|
krasimir
|
e30f2212b9
|
added MondialRon and CountriesAndRegionsRon with data imported from geonames.org
|
2010-09-17 16:22:10 +00:00 |
|
|
krasimir
|
e1ed8277a9
|
fix the compilation of CountriesAndRegionsEng.gf
|
2010-09-17 16:20:47 +00:00 |
|
|
krasimir
|
d2a17f02d7
|
some comments in Mondial.gf
|
2010-09-17 16:19:40 +00:00 |
|
|
krasimir
|
18e09d6483
|
remove Model and ProcessTask from MergeRon because they were already moved
|
2010-09-17 16:16:36 +00:00 |
|
|
krasimir
|
f1078b44b6
|
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
|
2010-09-17 15:53:58 +00:00 |
|
|
krasimir
|
d09f62b0b1
|
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
|
e099336afa
|
add QoSontologyEng and linearization for ProcessTask
|
2010-09-06 09:12:49 +00:00 |
|
|
krasimir
|
31ee0bc804
|
linearization for PrimaryColor in SUMO
|
2010-08-31 09:52:30 +00:00 |
|
|
krasimir
|
fad0512c94
|
added missing case for GF.Compile.GeneratePMCFG.evalTerm
|
2010-08-30 07:54:53 +00:00 |
|
|
krasimir
|
ab9d27f995
|
PGF.Expr.normalForm does variable renaming
|
2010-08-30 07:37:12 +00:00 |
|
|
krasimir
|
b0e110cf4f
|
native representation for HOAS in PMCFG and incremental type checking of the parse forest
|
2010-08-09 10:10:08 +00:00 |
|
|
krasimir
|
d3a6866277
|
more advanced complete function in the PGFService
|
2010-08-24 15:58:22 +00:00 |
|
|
krasimir
|
4df7b04935
|
revert the TranslateApp to its classical simple variant
|
2010-08-24 15:17:11 +00:00 |
|
|
krasimir
|
34c252d974
|
remove Editor.css as well
|
2010-08-24 15:04:34 +00:00 |
|
|
krasimir
|
bd3c833b14
|
remove the canParse flag from the GWT applications
|
2010-08-24 14:59:59 +00:00 |
|
|
krasimir
|
af137d65a5
|
remove the experimental GWT EditorApp
|
2010-08-24 14:41:37 +00:00 |
|
|
krasimir
|
545cd9396e
|
exclude two redundant modules from the cabal desciption of the compiler
|
2010-08-24 14:19:08 +00:00 |
|
|
krasimir
|
a4cf8b2a52
|
linearizations for few class names in SUMO
|
2010-08-08 10:38:31 +00:00 |
|
|
krasimir
|
94bd76df72
|
two new functions in the PGF API: mkAbs, unAbs
|
2010-07-31 16:40:16 +00:00 |
|
|
krasimir
|
98c22ef92b
|
bugfix in the PGF browser
|
2010-07-31 16:04:15 +00:00 |
|
|
krasimir
|
6a1dbd0a53
|
the PGF service now generates samples of the syntax in the browsing information
|
2010-07-31 15:54:03 +00:00 |
|
|
krasimir
|
f5fb69d3cd
|
add coding=utf8 to BasicRon.gf
|
2010-07-31 14:27:57 +00:00 |
|
|
krasimir
|
c033bbccff
|
fix: FastCGIUtils.outputHTML should do UTF8 encoding
|
2010-07-31 13:56:55 +00:00 |
|
|
krasimir
|
d78aaf18da
|
move class Apple from MidLevelOntology to Economy for French and Romanian
|
2010-07-31 13:54:01 +00:00 |
|
|
krasimir
|
067d908aa3
|
now the meta id of the meta variables is accessible via the PGF API
|
2010-07-31 12:52:20 +00:00 |
|
|
krasimir
|
b351c9d9dd
|
added function unType in PGF
|
2010-07-31 12:47:10 +00:00 |
|
|
krasimir
|
c8acc8fe11
|
fix: PGFService should type-check the trees that comes from the user
|
2010-07-31 10:45:59 +00:00 |
|
|
krasimir
|
b128872e2d
|
declare Provice as subclass of StateOrProvince in Mondial.gf
|
2010-07-21 11:58:51 +00:00 |
|
|
krasimir
|
712b113c9a
|
fix the algorithm for items cutting in the partial parser
|
2010-07-15 14:01:51 +00:00 |
|
|
krasimir
|
4fdd21f127
|
detailed information for the type errors from PGFService
|
2010-07-13 15:33:54 +00:00 |
|
|
krasimir
|
3ca0b6a976
|
fix the loopchecking in PGF.Forest.bracketedTokn
|
2010-07-13 12:04:06 +00:00 |
|
|
krasimir
|
8cdb33031d
|
solve the ambiguity for double negation in SUMO
|
2010-07-13 11:43:24 +00:00 |
|
|
krasimir
|
647b5ffff2
|
bugfix in the decoding of literals in PGF.Binary
|
2010-07-13 08:24:03 +00:00 |
|
|
krasimir
|
d7f76c6d62
|
for some reason the concrete syntax for MidLevelOntology was not in darcs
|
2010-07-13 08:04:53 +00:00 |
|
|
krasimir
|
3c10d0ce44
|
updates in the Eclipse project for GWT UI
|
2010-07-08 16:50:51 +00:00 |
|
|
krasimir
|
c671399014
|
update the shell scripts and some other configuration files for GWT 2.0.4
|
2010-07-08 12:03:36 +00:00 |
|
|
krasimir
|
c0cccb26cb
|
update the package name for the Android UI
|
2010-07-08 10:26:10 +00:00 |
|
|
krasimir
|
9953091888
|
add src/ui folder for both Android and GWT UIs
|
2010-07-08 10:06:26 +00:00 |
|
|
krasimir
|
be06bc8a09
|
change the package name of the GWT Apps to org.grammaticalframework.ui.gwt
|
2010-07-08 09:55:09 +00:00 |
|
|
krasimir
|
faf816dbac
|
upgrade to GWT 2.0.4
|
2010-07-08 09:32:17 +00:00 |
|
|
krasimir
|
027c14dcbb
|
FridgeApp and TranslateApp now show the type errors
|
2010-07-08 07:57:36 +00:00 |
|
|
krasimir
|
ef4b068902
|
fix PGFService after the change in the parser API
|
2010-07-07 14:46:24 +00:00 |
|
|
krasimir
|
95f1d40c56
|
report type errors in the shell from command "p"
|
2010-07-07 12:23:21 +00:00 |
|
|
krasimir
|
c066721dd1
|
fix in example/tutorial/smart/SmartFre.gf to make the dependent types work nicely
|
2010-07-07 10:12:08 +00:00 |
|
|
krasimir
|
2cd3523d04
|
simplify the monad TcM
|
2010-07-07 07:19:56 +00:00 |
|
|
krasimir
|
710b8f1bf7
|
the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs
|
2010-07-01 15:38:16 +00:00 |
|
|
krasimir
|
e0231cbf5b
|
reorganize the modules in GF.Compile.*
|
2010-07-01 14:19:32 +00:00 |
|
|
krasimir
|
1b9169960a
|
reorder the modules in gf.cabal
|
2010-07-01 14:03:35 +00:00 |
|
|
krasimir
|
5ae7be358d
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
|
krasimir
|
706b215fce
|
compilation of pattern matching using the algorithm of Lennart Augustsson. Not used yet
|
2010-06-30 16:00:47 +00:00 |
|
|
krasimir
|
eb0bd54e68
|
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
|
2010-06-30 07:40:22 +00:00 |
|
|
krasimir
|
4c576ebbc9
|
forgot to fix the import in GF.Speech.CFG to get the Token type
|
2010-06-29 12:58:35 +00:00 |
|
|
krasimir
|
1d33665c93
|
add PGF.Optimize in gf.cabal
|
2010-06-29 12:48:58 +00:00 |
|
|
krasimir
|
5428049d80
|
in PGF.Printer special output format for SymLit
|
2010-06-29 09:05:07 +00:00 |
|
|
krasimir
|
272dcf6917
|
introduce the type synonym Token=String in the PGF API
|
2010-06-29 09:00:41 +00:00 |
|
|
krasimir
|
88d7631b62
|
preliminary version of API for Open Literals
|
2010-06-22 12:31:04 +00:00 |
|
|
krasimir
|
a6b8c11905
|
fix the compilation of literal categories in GeneratePMCFG.hs
|
2010-06-22 11:29:20 +00:00 |
|
|
krasimir
|
e94a1c7408
|
GF.Grammar.Printer: print expressions with lincat and lin
|
2010-06-21 15:23:49 +00:00 |
|
|
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 |
|