gf-core.git/src/runtime/c/pgf/data.c, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2017-04-19T09:34:23+00:00 explicitly classify all functions in libpgf as either internal or API functions 2017-04-19T09:34:23+00:00 krasimir krasimir@chalmers.se 2017-04-19T09:34:23+00:00 urn:sha1:7d72d99c2f7fc228d71df627a10a2ff776335b2b throw away the long obsolete runtime type information in the C runtime 2014-10-09T13:44:26+00:00 kr.angelov kr.angelov@gmail.com 2014-10-09T13:44:26+00:00 urn:sha1:86e9acc7a7b714307e08ab25117ca03cecb00936 replace the hash maps in the abstract syntax with binary search tables 2014-10-09T08:38:55+00:00 kr.angelov kr.angelov@gmail.com 2014-10-09T08:38:55+00:00 urn:sha1:6c86e7fa91602e4863c95622934d45e383890156 GuString is now an ordinary C string - it makes live easier. In addition PgfSymbolKS, PgfExprFun and PgfLiteralStr now keep their strings as embedded flexible arrays. The latest change gives us the same compactness as the old representation but it is a lot easier to use. 2013-10-04T12:04:39+00:00 kr.angelov kr.angelov@gmail.com 2013-10-04T12:04:39+00:00 urn:sha1:e8335806afc45e31157937b880ff39b75c14a2cd a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified 2013-09-17T12:45:00+00:00 kr.angelov kr.angelov@gmail.com 2013-09-17T12:45:00+00:00 urn:sha1:2a49e4e1d64ef2df0bb2a8a3822f7fa1048e687f bugfix which caused the runtime to crash on Android 2013-08-28T15:19:39+00:00 kr.angelov kr.angelov@gmail.com 2013-08-28T15:19:39+00:00 urn:sha1:69007cc66117de39e8835453f93281fe87c85a37 remove the pgf2yaml tool which was both broken and redundant. The declarations for generic programming from data.c are removed as well 2013-02-11T13:51:12+00:00 kr.angelov kr.angelov@gmail.com 2013-02-11T13:51:12+00:00 urn:sha1:90c3304147e3829b9ea7f73085e54d9d0811ca8b a new reasoner in the C runtime. It supports tabling which makes it decideable for propositional logic. dependent types and high-order types are not supported yet. The generation is still in decreasing probability order 2013-01-07T12:50:32+00:00 kr.angelov kr.angelov@gmail.com 2013-01-07T12:50:32+00:00 urn:sha1:2c169406fcfa7a38cd89f8a6acbd0bb138d7c330 a top-level API for parsing in the C runtime 2012-12-13T14:44:33+00:00 kr.angelov kr.angelov@gmail.com 2012-12-13T14:44:33+00:00 urn:sha1:14e721dda9a38762695ac5435c24818265629b02 started an official API to the C runtime 2012-12-12T11:25:58+00:00 kr.angelov kr.angelov@gmail.com 2012-12-12T11:25:58+00:00 urn:sha1:aa13090b66d7ee1ffc68ad242c6419a83cf364d9