100 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
krasimir	f870c4d80f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	d91999dec0	incomplete code for adjoints and monads	2010-03-15 17:31:15 +00:00
krasimir	381a7a2f07	identity functor	2010-03-15 16:35:00 +00:00
krasimir	c6f3111e67	added natural transformations	2010-03-15 14:52:47 +00:00
krasimir	aef1a1a5a3	incomplete code for composition of functors	2010-03-15 10:47:00 +00:00
krasimir	9f45bb0df1	refactor Morphisms.gf and InitialAndTerminal.gf	2010-03-15 10:43:20 +00:00
krasimir	d7c68cdf27	two theorems without proofs: every equalizer is monomorphism; every coequalizer is epimorphisms	2010-03-15 10:41:39 +00:00
krasimir	dfbc6ba9a3	added Equalizers in category-theory	2010-03-15 09:57:39 +00:00
krasimir	828fc44029	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00
krasimir	db2d9a3238	cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope	2010-03-13 20:12:00 +00:00
krasimir	21b10f91cb	rule for pretty printing implicit arguments	2010-02-22 20:09:28 +00:00
krasimir	d2988814a8	add pretty printing rule for implicit patterns	2010-02-22 20:02:53 +00:00
krasimir	09da1013f9	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	21ad608e2a	functors	2010-02-22 14:40:28 +00:00
krasimir	bcf4bc7d23	the oposites of two equal arrows are equal arrows	2010-02-22 14:38:13 +00:00
krasimir	59d640088e	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +00:00
krasimir	45d209baf8	two theorems every iso is mono and every iso is epi	2010-02-20 16:37:23 +00:00
krasimir	3d8b7f9850	some more definitions in category theory	2010-02-20 16:33:40 +00:00
krasimir	d09b05ab3f	one more test for cyclic def rules	2010-02-16 20:27:07 +00:00
krasimir	57c2a4dcd2	fix the Haskell code generation	2010-02-17 13:09:23 +00:00
krasimir	bfdef2f60c	replace SS with StmtS in SUMO	2010-02-17 12:38:11 +00:00
krasimir	d6627b5a5a	added TPTP for SUMO	2010-02-17 12:21:41 +00:00
krasimir	6690fbaf6c	SUMO axioms	2010-02-17 11:12:43 +00:00
krasimir	f7f0112256	added examples/SUMO	2010-02-17 11:07:24 +00:00
krasimir	a4d41ef3e3	fix in PGF.Printer	2010-02-17 10:31:10 +00:00
krasimir	b5d9ae552d	-output-format=pgf_pretty now prints the flags as well	2010-02-17 10:20:49 +00:00
krasimir	32f9499f2e	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00
krasimir	19b17dceb6	no need to keep the list of constructors per category in .gfo	2010-02-16 09:34:02 +00:00
krasimir	61287f3925	more category theory -> morphisms, initial and terminal objects	2010-02-15 10:35:24 +00:00
krasimir	af48998ef6	basic category theory expressed in GF. Note: works only with my development version of GF. It will be pushed in darcs soon	2010-02-14 10:20:08 +00:00
krasimir	b2ce65bbe6	white space instead of tab in GF.cabal	2010-02-12 21:31:30 +00:00
krasimir	9c23a98fc0	add PGF.Probabilistic in GF.cabal	2010-02-12 16:12:17 +00:00
krasimir	ea85cd1078	one more test for cyclic operations	2010-02-09 18:38:11 +00:00
krasimir	64da1c2021	allow negative integers in the grammar syntax	2010-02-08 12:59:22 +00:00
krasimir	a1c70841c1	test case for lazy evaluation in the abstract syntax	2010-02-07 22:22:30 +00:00
krasimir	9564d85fa5	command cc now works even without loaded grammar. useful for testing closed expressions	2010-02-07 19:23:26 +00:00
krasimir	c1d2ed1a7b	test case for invalid parameter definition	2010-02-06 20:15:46 +00:00
krasimir	2544ea8c8a	in verbose mode print the rule names when compiling PMCFG	2010-02-06 18:24:15 +00:00
krasimir	168d459c49	bugfix in GrammarToPGF related to the compilation of def rules	2010-02-05 22:16:44 +00:00
krasimir	b90e56a94e	fix the tabular printing when there is a V constructor	2010-02-03 17:33:55 +00:00
krasimir	563e65c309	test case for let expression in def rule	2010-02-01 09:18:42 +00:00
krasimir	1cd4a500f5	added tests for literals in the abstract syntax	2010-02-01 08:58:46 +00:00
krasimir	2d3de22b17	added test cases for polymorphic and record types in the abstract syntax	2010-01-31 22:16:35 +00:00
krasimir	3be9ce3240	add test case for abstract types with let bindings	2010-01-31 20:45:48 +00:00
krasimir	be6465a2eb	refactor GF.Infra.Modules for better error messages	2010-01-31 15:54:25 +00:00
krasimir	acd927f87b	add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt	2010-01-31 14:45:44 +00:00
krasimir	8d03e48e46	code cleanup in PGF.TypeCheck	2010-01-30 10:10:51 +00:00
krasimir	3b7e39fa4a	bugfix in the PGF typechecker and more test cases	2010-01-29 21:10:14 +00:00
krasimir	e5de8ea9fe	update the testsuite	2010-01-29 11:13:31 +00:00
krasimir	890d455793	cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification	2010-01-27 09:39:14 +00:00
krasimir	bc6323df4c	fix the PGF generation when it is used from the shell	2010-01-26 14:15:37 +00:00
krasimir	9b362ff231	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	af13bae2df	now the linearization is completely based on PMCFG	2010-01-17 17:05:21 +00:00
krasimir	9e3d4c74dc	prettier parameter names in PGF	2010-01-17 00:41:46 +00:00
krasimir	389b55103c	small code cleanup in GeneratePMCFG.hs	2010-01-16 22:10:45 +00:00
krasimir	cf22bd094f	move the definitions of _B and _V to PGF.Macros	2010-01-12 14:36:41 +00:00
krasimir	ee3ce9694c	store the label names in PMCFG	2010-01-05 08:35:33 +00:00
krasimir	3ed19a482e	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00
krasimir	354269e17c	allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax parser in PGF	2010-01-15 21:23:37 +00:00
krasimir	869621db66	now the abstract syntax in PGF allows the same syntax for integers, floats and strings as in Haskell. This includes negative integers and exponents in the floats	2010-01-15 21:13:46 +00:00
krasimir	f8af5122b5	additional tests for linearizations	2010-01-12 13:18:37 +00:00
krasimir	712d079e7c	inplace editing/parsing in the syntax editor	2010-01-07 10:38:43 +00:00
krasimir	5be5ee1ccd	better tokenizer in the JavaScript runtime	2010-01-07 10:36:16 +00:00
krasimir	5276ddab7d	added test grammar for literals in the testsuite	2010-01-04 13:51:36 +00:00
krasimir	f0e6b15ec4	some dead code is removed in the JavaScript interpreter	2010-01-04 13:47:58 +00:00
krasimir	a73a64534e	literal categories in the JavaScript interpreter	2010-01-04 13:44:21 +00:00
krasimir	93fd2333cc	fix the editor grammar	2010-01-04 12:36:49 +00:00
krasimir	2e0d9f43b4	in gflib.js declare all variables with 'var' because otherwise they are global by default	2010-01-04 12:26:11 +00:00
krasimir	819e6e6757	in the javascript version of extractTrees filter out the duplicated parse trees	2010-01-04 12:20:53 +00:00
krasimir	36de4d8c54	bugfix in the javascript parser	2010-01-04 11:16:17 +00:00
krasimir	b92c34bafd	js-runtime: redundant loop removed	2009-12-27 12:12:51 +00:00
krasimir	0a0c7ac4fc	use object references instead of FunId and SeqId in the javascript parser	2009-12-27 11:03:39 +00:00
krasimir	4e6f6b2de2	bugfix in the javascript parser	2009-12-27 10:46:29 +00:00
krasimir	eb373d74ab	javascript editor with PMCFG parser. (not stable yet)	2009-12-21 13:41:51 +00:00
krasimir	e7dcbcc825	reverse engineered version of the Editor grammar	2009-12-14 20:01:41 +00:00
krasimir	4d4b618c93	fix the directories in gf-server.cabal	2009-12-14 15:21:09 +00:00
krasimir	1296211fd0	use forward slash instead of back slash in GF.cabal	2009-12-14 14:32:55 +00:00
krasimir	02f5b44783	remove some more dead code	2009-12-14 13:11:58 +00:00
krasimir	c036459214	remove the old parsing code and the -erasing=on flag	2009-12-14 10:54:22 +00:00
krasimir	faa638d6fc	rename some modules that had GFCC in the name to PGF+something	2009-12-14 10:10:58 +00:00
krasimir	a7811d1199	now the PGF to JavaScript convertor uses PMCFG	2009-12-14 09:53:53 +00:00