8 Commits

Author	SHA1	Message	Date
krasimir	a9218ff45c	simple refactoring in PGF.Macros and related	2010-12-06 14:19:51 +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	e92151caf8	redesign the open-literals API	2010-07-01 08:51:59 +00:00
krasimir	ce99935812	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	3685595ece	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	362f333ebd	now the linearization is completely based on PMCFG	2010-01-17 17:05:21 +00:00
krasimir	f841b1ada5	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00