gf-core.git/testsuite/runtime/linearize, branch optimize Unnamed repository; edit this file 'description' to name the repository. https://git.adelon.net/gf-core.git/atom?h=optimize 2021-06-11T04:14:49+00:00 Rectified gold files 2021-06-11T04:14:49+00:00 1Regina 46968488+1Regina@users.noreply.github.com 2021-06-11T04:14:49+00:00 urn:sha1:c4165714066eb4fa4ccea0debf2a736930c2a281 update the testsuite to the latest state of the compiler/interpreter 2010-10-25T11:50:41+00:00 krasimir krasimir@chalmers.se 2010-10-25T11:50:41+00:00 urn:sha1:2aea03a6144f71977fbea7c0c777d21e7f6572fb test for bracketedLinearize 2010-05-01T20:54:31+00:00 krasimir krasimir@chalmers.se 2010-05-01T20:54:31+00:00 urn:sha1:029fbec8f361d0978fd595707c393fb51d289ecb upgrade the testsuite to work with GHC 6.12 2010-04-30T19:27:53+00:00 krasimir krasimir@chalmers.se 2010-04-30T19:27:53+00:00 urn:sha1:af5f12d67261ce4bafcdec44adba8b60cc01c95c additional tests for linearizations 2010-01-12T13:18:37+00:00 krasimir krasimir@chalmers.se 2010-01-12T13:18:37+00:00 urn:sha1:f8af5122b5dd1e09288df59e5f6d77705f99b287 judgements lindef are now respected by both the parser and the linearizer 2009-12-11T17:39:18+00:00 krasimir krasimir@chalmers.se 2009-12-11T17:39:18+00:00 urn:sha1:5804db98167c118f910a3b76d42b2566ed347d51 more fixes in the testsuite 2009-09-16T12:49:04+00:00 krasimir krasimir@chalmers.se 2009-09-16T12:49:04+00:00 urn:sha1:6c7330131dab6ac9ba13bbb296c51c6427e06b2b added testcase for linearization with HOAS 2009-06-18T17:47:06+00:00 krasimir krasimir@chalmers.se 2009-06-18T17:47:06+00:00 urn:sha1:eeb08bbd4d6d6545dfdefd3a35877e0e0117c514