pristine:256af8a78f71ea3b3ec2c4a9e8687ff53484903174ddd2ff5d062c2edd6f8eb6 [getting started Ganesh Sittampalam **20081119070145] hash: 0000002309-b401a8de904c50847e240f1f1603ecb11f32d3dfffdeb9cbf164179a59037ed8 [hunk-hunk commute Ganesh Sittampalam **20081119074202] hash: 0000002013-aac7cdbe88cfefe8b4304eb971265d172571ae4948370396b5b38da298d688ab [pretty lib Ganesh Sittampalam **20081119183929] hash: 0000001200-4121e895a513ec72b59153a60f8d823925e4860f478fd77a525c06a309358842 [pretty printing Ganesh Sittampalam **20081119183936] hash: 0000001486-4829bbd8a749cdae18e793b408e403396ded60582f529623f49530aa42b3f435 [qualify names Ganesh Sittampalam **20081119184252] hash: 0000000578-341b4ce8ca460cfcf424a7e514c630ca8c45d99c0ff427377651375361ce0988 [pretty printing tweaks Ganesh Sittampalam **20081119184530] hash: 0000000390-b7b0008dbe9248c9300beebe32762169767a5a1d22e5d6c5288a8510e33a2e44 [any RS is an Expr Ganesh Sittampalam **20081119185717] hash: 0000000922-531a112406031828ebabf23c68eb75608da14c335a33993ae1b74a8d8a52b951 [change qualifier Ganesh Sittampalam **20081119185753] hash: 0000000339-6a25b5386de11875f361278fdb971370d69685bb9ede2b7f4be3d3a0f6cb0f8b [commuteConditions Ganesh Sittampalam **20081119185757] hash: 0000000760-ac750e13c8a85d94455d69fd7692b510f77f00b7febe9e0116e2d1796cfb1a4e [clean up names Ganesh Sittampalam **20081119190220] hash: 0000000993-dba40101965c9ee4d902ab28bc53cfbab44db4398f87c4ad68ced95ff38f9560 [improve env/name handling a bit Ganesh Sittampalam **20081119191138] hash: 0000001896-2aa29778b11e5a1bd4f47271859c0b37fd97f936d52d272f946e23c873a985e4 [placeholder for simplifying the hunk-hunk commute conditions Ganesh Sittampalam **20081120065556] hash: 0000000554-882da23f82cffa78208437ad91c989f1fcb9ed817cd2478f9fe3cd69f33c6a14 [a few enhancements Ganesh Sittampalam **20081120072157] hash: 0000001371-09386eaa84c20e999118770202324a45f0531b78d3c087809ce3c935260fc55c [uniqueness of application Ganesh Sittampalam **20081120072642] hash: 0000002358-dfe3d2f3c6eb441c4a456026f7396c767c4c9d6e4202b3307837d57cd42e7ce2 [Vars Ganesh Sittampalam **20081120190523] hash: 0000006163-b961a94d1487038c14ec6679463c0c2bd0e222b06160850e1907e7b1551176cb [quantifiers Ganesh Sittampalam **20081120224815] hash: 0000003135-79c297b005f1acb012e735b6254bbdabd56040a158289c6fcd9bec61faf63be9 [fold RepoState into Expr Ganesh Sittampalam **20081120225813] hash: 0000002880-2b0b944055cbc2fafbb11f50a71ab0176483ee9ff02217b2ab1471f7afb99276 [abstract over contents of lines Ganesh Sittampalam **20081121154533] hash: 0000001695-9c34424ef4b48a322a558c65388ba632fa2f2c4171de601a7143e576e6b567da [infixr for VCons Ganesh Sittampalam **20081121155120] hash: 0000002210-c486d1ed7479fb68c4d7044d393d4c5ad20e16cf5c90f505cb4af73cb78fd2b8 [precParens Ganesh Sittampalam **20081121161929] hash: 0000000208-366c299d44e2b5c51c14601399181fb69bc61322ff6a787e53c8d3d182ed6f16 [ESeq Ganesh Sittampalam **20081121161934] hash: 0000001180-5ddba72b4fb8397b95ddbec3a084a53b5f4cbc1e4aafc00e6e2f472d720e3714 [reorder existentials a bit Ganesh Sittampalam **20081121163158] hash: 0000000219-be209a54d3dfa98af9289a7063b95c0079d6a2a311fbb4d349f9d6d91aaa1580 [quantifiers only make sense for boolean expressions Ganesh Sittampalam **20081121213220] hash: 0000000349-2c6d6016127257a0357c4fda1703b791fb65c159b80c3f10369850b29d72ea64 [actually use Expr as HOAS parameter Ganesh Sittampalam **20081121221101] hash: 0000007941-99b0ca9a933bb8a3c499559777199f5dd1c00e5c662769eca4e3b50e47c63231 [solve existentials Ganesh Sittampalam **20081121233802] hash: 0000003949-58565abb2187d393895993fc701e99215806be7f8b7ee30c8c1011f28a7a06d5 [trivialEquality Ganesh Sittampalam **20081121235757] hash: 0000002965-bcd15aec38a3aefa0c672d45572e5f917efa3d2452f6720e62e6c05bc8d9f1a8 [sequence equality Ganesh Sittampalam **20081122000208] hash: 0000000783-49978350cc177600ee554a0b7eeccacb224375eec0a2b36a549e13106af4e596 [more simplifications Ganesh Sittampalam **20081122002821] hash: 0000001003-435c2e26115ce83445094fd7346f1d5f1ac777850a6cc9412634ece91f51e512 [>=0 conditions Ganesh Sittampalam **20081201070107] hash: 0000000980-63ac8e72b908c06c45bbb1f1695158e38e0320da84bd957d0e1790ac8a9f44ec [separate out constraints on params Ganesh Sittampalam **20081201072741] hash: 0000004885-df4312c6de495f6e29a22289f8f89b99b3da66876f7452f9fca37432aeb1b272 [more simplifications Ganesh Sittampalam **20081201182829] hash: 0000003015-3ae4b80deb35ea4a8c2d86bd8b575144160b6c5779fac0f83e93856e6f59be99 [refactor to abstract out ops Ganesh Sittampalam **20081201185620] hash: 0000010432-22788c1c38ca696a1d8c592535a438323e09f8a31d513ce3726c31cdb5acd87e [arith rearrangement Ganesh Sittampalam **20081201191242] hash: 0000001668-59f6009e0a1b414bb9300046680629f204f2423df5c0c823a8574b8db6816b0f [equality tests Ganesh Sittampalam **20081202065656] hash: 0000003372-85de81c61522a22c38ddda8ca76025558aea05cce2e43a8985a2a7892daf8a3c [update base precedence Ganesh Sittampalam **20081202065719] hash: 0000000252-5ffc05245025d876f7e02f622061137ab8a69e142003be43c2e1ca5fd2a73ea5 [hunkHunkCommute2 Ganesh Sittampalam **20081202071114] hash: 0000001941-f0a75a8d474d37902400d4bd9e4d27f4bedb92bd974c3585d0bc761ab9f9588e [use patch preconditions better Ganesh Sittampalam **20081202072324] hash: 0000002500-18788d0ebce52605758211e36b3e53cb6c50f901ae63e37be6368aa07aca5e31 [commute results Ganesh Sittampalam **20081202232156] hash: 0000005352-33520c35e59218f3e21447c43f73e2f9859989d5abc8d872e346ceed8d80291a [pretty for tuples Ganesh Sittampalam **20081202232211] hash: 0000000211-1a3c24a0c0ad6428f2570f4cd0a8e4463a5be3e093561abf3b9f7e52fa34dd48 [ELam Ganesh Sittampalam **20081204180000] hash: 0000001008-4d34999ca10aa602086ac2df9228ddf981b53225ec5d3bd7457a9843600a52e6 [appease GHC 6.10 Ganesh Sittampalam **20081204185040] hash: 0000003575-56d4a804ed7e92f5b7e9e10a96197fe8d91aa97331ea818107876f237e010055 [eLams Ganesh Sittampalam **20081204185933] hash: 0000000492-d28f933b87c70606e1549dfa49e0bf215b9eaba063b2efb3f725d76e5b8d41cd [:~> Ganesh Sittampalam **20081204190914] hash: 0000000593-8e64ffe9a50fa57755dbe0e927f71c3f9a5a042cc670e4545d3f9a0c90d71306 [putPretty Ganesh Sittampalam **20081204215158] hash: 0000000163-10cde85614da0d9fcd72a88d9dc2f5f98d9573f1fd4591510732ce954bbeae8d [eLams etc Ganesh Sittampalam **20081205070829] hash: 0000003541-ebb1a753e307650eb30cb44d4c66626835654ebe8e7d1805736a89fefe8cfe96 [simpleHunkHunkCommuteConds Ganesh Sittampalam **20081205180444] hash: 0000000838-ff7f05ba9f79ad89a94b860badf1d5d3d2c789c2cc61b97fc1e97c468f57e4f3 [redo exists/forall and fill in a few missing ELam cases Ganesh Sittampalam **20081205182024] hash: 0000005097-e93df5354bc9f02719baa972192d1f7ed58a57604eedaedea03b4d37c4f06317 [type sigs Ganesh Sittampalam **20081205183514] hash: 0000000245-dfbd72f17a19eeb9480b7362492b79f2f7df4e645f8f35c43fea7768349a818f [missing cases Ganesh Sittampalam **20081205183527] hash: 0000000212-7025616d6e8555088c248e9692e66cefdd3dd69b6180479c32df588121cbf110 [embed optimisation function in commute Ganesh Sittampalam **20081205230008] hash: 0000007991-d9c28f137954aec4a2e5a02e22aa429784464a8dd1b593f7c85cb0e94356c060 [fix Ganesh Sittampalam **20081205223705 Ignore-this: 47e5dae3a2d61ad3e58f8ebd34cae9c3 ] hash: 0000000283-a16ff2530e7b2eadae695c72b52a31d6770584e7f5a527e5ff9108b2a85ed8bc [abstract over Exprs/Vars Ganesh Sittampalam **20081206145236 Ignore-this: f7af908efb81be52c3b00745d6629b40 ] hash: 0000004941-72272376545ac56cc1a82e06b36476f4c9620a71cf9c0b3e446387aeee40c114 [basicCommuteConds Ganesh Sittampalam **20081207145556 Ignore-this: 73d3b33c139db177da4879c0c1348859 ] hash: 0000002940-dffdde8a8ce1220cb4b9a0e647f89d9a9b657f679a8aa622553046bc50c573ab [rework with type families Ganesh Sittampalam **20081208185817] hash: 0000024435-adad6f5d19562726faa08a8150d6b11aafa1018bdd0e2e97ec8bc2ad5b43cefe [unambCommuteConds Ganesh Sittampalam **20081208191112] hash: 0000001467-7530eff3592adbf89a619fda95fc6f174f5b1546cd1eb135d380818be1f0ffb6 [inverse patches Ganesh Sittampalam **20081208191250] hash: 0000000466-b4129e1f4aed5906d5f6eeb13920a37844a4e1f660743b69bede431f6f1f540c [reverse commutation results to make them less confusing Ganesh Sittampalam **20081208191411] hash: 0000001330-d396e7f31c9ef0b4e3ead5d072e90a71fc512b36266e6378323e34c4ec0e1fce [reverseCommuteConds Ganesh Sittampalam **20081208193653] hash: 0000001394-242c3e65811995dd41e743a817644eb983405a997d27937f202c002882b4d2c2 [more laws Ganesh Sittampalam **20081209071651] hash: 0000003177-8273adf32cf146c7929d74c7d8f20271fcf5c1f3bfbc8ab9ca7003ed6ec3e14a [arithmetic simplification Ganesh Sittampalam **20081209074544] hash: 0000002657-b109a7525c950f58a0fbb7e2e54578db9560e4d6e4f6f0c5a3db3ed3d2332a68 [a bit more smart stuff Ganesh Sittampalam **20081209184856] hash: 0000000752-cacd800384c5b3997a1c66408b7349f99345f553f55cab2e63c749e0b66e45c6 [make combineLinear stable Ganesh Sittampalam **20081209184917] hash: 0000000210-f8e4d7fba44e3aeca55887903f9da5c371c5881dba6f9eeccb603ce41096a22c [simplifyImplication Ganesh Sittampalam **20081209184926] hash: 0000000264-dc10c79ed753fd10f8b143692c8ea5163cae4d7047cc48d6bc1e43af2f814564 [transformer for hunk hunk commute conditions Ganesh Sittampalam **20081209184932] hash: 0000001216-e7b603482896fc9a7ec94e32cfeea1044a8e92b2d5e21681a246039bb241371e [dump ESeq Ganesh Sittampalam **20081210065036] hash: 0000003512-7c08397356c4648c25753cd526988dac4535bbf205754da96d57d3bd6e7ec473 [add Ord instances and use to improve Linear Ganesh Sittampalam **20081210070758] hash: 0000004701-4b772b6dfa9d1907a45f002b1900bc454937bdf25de385cbbbb2a8558e05a34d [fix simplifyImplication Ganesh Sittampalam **20081210071102] hash: 0000000315-8b4b7aa1bcf68471786abbb25ad109514ff0ee7c0225907893dd5f1a5a2c1f7c [getting started on cut patches Ganesh Sittampalam **20081210190542] hash: 0000006361-1678d9f8e015601069c4521da887e79b36773ce89990871ea9cd39556c8d765e [bug fix Ganesh Sittampalam **20081211071045] hash: 0000000717-b0d80771975254d08e5a8d3f08d1d084fc1a95f323318f6933a222a0868054c2 [clean up simplifyComparison Ganesh Sittampalam **20081211071048] hash: 0000002806-5200c8785fac1dcfc965d9ee943612df599fb4f8d85329e4f8159a2f04f626aa [better simplification Ganesh Sittampalam **20081211180300] hash: 0000006423-a1ac68c59904a2c956b66bcb0d721dcd0076b7472b91f75734b47d559bd5ca79 [make patch condition names into free variables Ganesh Sittampalam **20081211183857] hash: 0000005114-819936731c1dcc6765bad05df7fb4231ab1646acc6c33e8c05124d3ce7962c8c [drop vectors from commute cond stuff Ganesh Sittampalam **20081211185333] hash: 0000002664-74036b13d452687b1c9ebc3ec7b0328fd62681ba37b946eca2fbdf01ebf07912 [Commutable Ganesh Sittampalam **20081211185955] hash: 0000001872-a07ecfbd1699e4611fa7e0d40a8b63017083949d272494a149d02ab30c5a8b0b [drop p ~ q requirement for lawCommuteConds Ganesh Sittampalam **20081211190140] hash: 0000000255-26157a8736925b24b20b9e9d82ac469fc668bb38e2e3dfe39f3bf2e889598572 [update simplify Ganesh Sittampalam **20081211190207] hash: 0000000738-fb7c48a868ec86368dd28c642b303ea031165b77b6a666ffc99a1c850f07231b [validCommuteResult Ganesh Sittampalam **20081212074608] hash: 0000000623-57db30b924e5dbaeb560985df787013d99c21c76f35af9837608f9e665a57453 [add the basic commute conds Ganesh Sittampalam **20081212074622] hash: 0000001858-5790ca2c97a4fc1c8b21324139c6f1e1740f60069c668b6dd0c5c91b029b0dc5 [hunk cut result Ganesh Sittampalam **20081212074637] hash: 0000000547-5246a8ac8299560da1cec2f74a47448dbc98b36dbddac894e2f50f3c24a5ddbb [hunkCutCommute3 Ganesh Sittampalam **20081212180030] hash: 0000001734-dc7e370da105f989de0157869d32f2cf6f15e191db12146fbdb3e3f626071cb8 [remove unnecessary sigs Ganesh Sittampalam **20081212180151] hash: 0000000869-454590d34b52255f7aded7cf6f671f073288f2e4a9de0a90b1f4403fa3a1728a [inverse patch types Ganesh Sittampalam **20081212180623] hash: 0000001555-2ee9a6d6032dcd55a5b9a41b75e408566c6280ef48bcdef29e91857bcdfed401 [add commute result types Ganesh Sittampalam **20081212220415] hash: 0000007728-7fcfeaddb298bafb0e729f410b060294844964ad952a1e88ed0ea02f8e6432bb [fiddling with lawCommuteConds Ganesh Sittampalam **20081213210610 Ignore-this: 7b7832ca2dc015c87b7613c0c51d8404 ] hash: 0000004683-b4b2e328f98cedda36ccc8d4785cee6df9e39b98d80fe107e82b51f9b8370f11 [rename PatchInverse Ganesh Sittampalam **20081213210708 Ignore-this: 79635080aea1e97ebc4749e18ca9300a ] hash: 0000000171-61dfcf77c3f9f13386cf4beb68cf6a4a3098dd59d5636cb14c033312c1f00724 [factor simplify a bit Ganesh Sittampalam **20081215072212] hash: 0000000872-231f30e443810dcd9bec5e9a37735fd2f861b3ecb3b15a76f426655f88022383 [start on clipboard stuff Ganesh Sittampalam **20081215072227] hash: 0000002616-354f16f3cbd5c0bbff4102b93fba0333ea7d6803f2401acb3c35c7fc85dd3191 [more clipboard stuff Ganesh Sittampalam **20081215074900] hash: 0000002060-3da84cdd7279358e8e25e9054a223fa136ab0f3f646d8a72bf07b693dbd5423d [more clipboard stuff Ganesh Sittampalam **20081215183432] hash: 0000005731-29ddc718d9f5af4624f716e8184233a5ff912c97345b5f76403eee4c7c516780 [whitespace Ganesh Sittampalam **20081216182225] hash: 0000000379-809e15f2a896c9ea149c20cf8053970747e0af48cc5552bda61fd7fc94a657de [InvertedCommutation Ganesh Sittampalam **20081216182448] hash: 0000002229-7f5ac0e63bbdd59c20aaa713701be833e747efa4937b2a0a17e5d2b462632c36 [utility function Ganesh Sittampalam **20081216182500] hash: 0000000690-e9971ad706a35a14a659107f4638a8f40d5581bc47e88bd86ada39bc89202ef8 [should use patch constraints more Ganesh Sittampalam **20081216202948] hash: 0000000838-56d353c55d875f2535f593a2f37c97aba9d704de777814b07227683b0319e8ec [start on slack variables Ganesh Sittampalam **20081216203010] hash: 0000001859-055e1a12d21e98c1abdcdf610a75713ac999eb1e39c91a6a40a102aa641068ba [simpl Ganesh Sittampalam **20081216203024] hash: 0000000200-55aab7f043425bc753114cddece50aae28bea7762e7608c9ac78ad65aa5bad05 [tweaking Ganesh Sittampalam **20081216212952 Ignore-this: c3196c859b422ab3e55ef6d47297124f ] hash: 0000000542-d524b1e98550b27384b238b4812817bc12c2c1cc733b1755b040a430845f3608 [equality facts Ganesh Sittampalam **20081216214021 Ignore-this: 333195cfedd984233670a188f627a735 ] hash: 0000000724-c051ee5ef3625a505b68bc488b71784a7f255f861105c0e769a8da82ebdb2c51 [WIP: fact usage Ganesh Sittampalam **20081218061852 Ignore-this: 8310776370fc4b3551003845151d1684 ] hash: 0000002149-09df61f0814924b031741d2cbaed0ddff1249c86fab76e61498cf4c05000e138 [remove traces Ganesh Sittampalam **20081218072003] hash: 0000000413-aa23261c5d4fa489c7a65803baf68af40825b06714a16654f2da01ace633e54e [avoid loop from self-referential equalities Ganesh Sittampalam **20081218072037] hash: 0000000334-8425a6f20c5f8b819ffc8eedd01d0e51ddec36ca35bdbe714c5295ec05bfc8fc [simplifyArithmetic Ganesh Sittampalam **20081218072208] hash: 0000000835-dfac1460bc552c141083b9d9ffbfd2708b54592c6ca5036b0fc4c7c4f575ec11 [solveZero Ganesh Sittampalam **20081218072215] hash: 0000000812-e948b0c99f7fe778062d878d201e42a14062cc8e75857a782f9eaf7c2f54aa0e [more simpl Ganesh Sittampalam **20081218073519] hash: 0000001699-534131f5e06e81f675b47ba3cadada1f0467001474d24694fe780da2f47aec3e [propagate facts left Ganesh Sittampalam **20081218073951] hash: 0000000270-3076c08cbbbb3e842fe3c1b3897af78c33396aa098d649759f495790e1371f96 [one more applyFacts Ganesh Sittampalam **20081218074000] hash: 0000000143-70bbae1e7b19c836c147b7b4deeae6d2b5e9007353162d9561613d771c0729c7 [lowerForAlls Ganesh Sittampalam **20081218180801] hash: 0000000927-fa8e10fd6c1a4fda3d37cbdfc7553922c48dd010e7c8c1569af7d2d20a8710b6 [change choice of variable in orientEquality Ganesh Sittampalam **20081218180807] hash: 0000000451-b2f7de0dc7e8f5a49e64c144311d22b9fcab996048bfe6187459f659d4975627 [simplify not Ganesh Sittampalam **20081218184111] hash: 0000000117-a05bbe6d586d4cdb97fd98692a1e34fc2da8ee38007efb99675768b5d6f537e0 [update hunk constraints Ganesh Sittampalam **20081218184115] hash: 0000000313-8c50c04b0959888b6093967c1fbc5c5c1f3e336baa3d951c8cee391cfc5fe82e [FunEqual Ganesh Sittampalam **20081218184234] hash: 0000000698-97ec924fc9f511d94a313062c76c393712ea54f1d755b38f7cfc3f7b31fdf0ea [handle negated facts a bit Ganesh Sittampalam **20081218184244] hash: 0000000181-e19774ebd24f5f1d036e30836d5cac43e870b375e2f4848abf75c322f4c619ed [lower through not Ganesh Sittampalam **20081218184252] hash: 0000000174-d84c09f975f49a62f7b4cdd93af013825d55db8ca5c7fe81b9e3cd57862010f1 [add conditions in more places Ganesh Sittampalam **20081218225603] hash: 0000001032-daf6de17f002f6996ac130b6160ca045ed71e160c8461befe4216f9c5ee14cc6 [more lifting etc Ganesh Sittampalam **20081218225613] hash: 0000000980-10d9cda7b3e2d06e8c26c0d2035321d5c9228296aca7e2a362815a5cf92fff73 [fix law commute stuff Ganesh Sittampalam **20081219013031 Ignore-this: 919cd1f7fc64f3d038197138f7068132 ] hash: 0000003919-49591681864bebd651ee1753099af390a102ca25536e77605575a4c78d58e12c [Gt Ganesh Sittampalam **20081219020808 Ignore-this: a88a993767bb10d0b17fa06fa85fe009 ] hash: 0000001036-55dc745e3884ed5abe0ac5e16f17464d324aa4c798ef0d4a47c6cbfd73d6f079 [put in what I think are the right hunk-hunk commute conds Ganesh Sittampalam **20081219020823 Ignore-this: ac81d519d4dee0ff4ce33d4a16d4c6da ] hash: 0000001028-3a9746df500844b2982ff9e763165102c4ba2a18329d7f2d73f2429daaa1ffee [more simpl Ganesh Sittampalam **20081219021212 Ignore-this: b3d769dd15868af49101536889f521c1 ] hash: 0000000722-7abdad4512604fbeb7af82c1c7427e0fa6f89a94b6a2dc38e9b517e663c64062 [remove unused foralls Ganesh Sittampalam **20081220124026 Ignore-this: 6ce6101e07c957d7c2882622353f8284 ] hash: 0000001364-2c5c498e052d3b22a51137fe8ce413e5299d2f3855d3ce6aa1d8a2a6346bfd8f [rename ps_constraint Ganesh Sittampalam **20081220124549 Ignore-this: 35edd599cc436b113aa38f8268b1918f ] hash: 0000000181-b8489d81d276638de8168fa436cbcf11198d5b0ca8a93cc25465bfac01bfe4c5 [remove unused type var Ganesh Sittampalam **20081220175133 Ignore-this: 34861c94157f1ce662a4cac67a9c8b02 ] hash: 0000000281-333c743f996045aab483f1fbf87195873b2b77b709e99036405590f79941e23a [tweak pretty-printing of lam/quantifiers Ganesh Sittampalam **20081220192646 Ignore-this: 5ae8e7c3f8c8616d58f71caea327ed73 ] hash: 0000000823-3cb20c5c252669a139720e53e32e2aaf616dfbf14a23215e00814ebdbd180a3e [gather all commutations from the same source pair Ganesh Sittampalam **20081220192702 Ignore-this: d4e2805febe61f1acc100156dafe25dc ] hash: 0000006166-c6302217f79924b4e72b25caec90de7e7808f09412626a6adae0474847fcc165 [fix name clash bug Ganesh Sittampalam **20081220192820 Ignore-this: 1733056d58d8ec8daffe719948d9e9 ] hash: 0000001769-afc802c8a8fbbb29a3c2ddb898d482bd6e97e983b71f8cc67099a40928bec0ff [allow vertical layout Ganesh Sittampalam **20081220192835 Ignore-this: e66a2c539901ca92ae938ab1b2067462 ] hash: 0000000565-f40c14fbbae93deeac8057bd52fd0a113344aaaf5be3c3bfcd13a1f81a265def [update default prec Ganesh Sittampalam **20081220192843 Ignore-this: adc23211f051c3ab11fa24629f4577e7 ] hash: 0000000298-3d9d9fd222ee78cacae9140983cca5978fd7339a474d0b8041b85e89f63f9644 [cut patches with count=0 make no sense Ganesh Sittampalam **20081220204120 Ignore-this: 35ecc7c65f94a9aa1bd360a41744dda4 ] hash: 0000000353-a2f8c44e026e7746fbeffcdbb6b29c9572130443f84681085a2fb50efbbf0b3d [eGt is infix Ganesh Sittampalam **20081220205056 Ignore-this: c0d7611aa50dd0a5e1962cf82009177e ] hash: 0000000150-df4cefed5d8f5f62db1bbd23928aee3adb89c002dd02d747b49a9e333cedd92b [update basicCommuteConds for CommutablePair Ganesh Sittampalam **20081220205101 Ignore-this: 6a8c27c5f2427e33d6ab6cb3ccdc4185 ] hash: 0000000863-b0ad2ed40a796af732fc77e76c24c89a5621a5b89f6096bdc4d901e7be6d4b3c [tighten up the unknown bits of the condition for HunkCutCommute{1,3} Ganesh Sittampalam **20081220205440 Ignore-this: 32370869fad87b7c51ae5a368126e2c4 ] hash: 0000000869-acc4772e3f6499f5c01c53d361d79cab94c35ef2aec9aed8fb504f9d0c471195 [tighten up the unknown bits of the condition for HunkCutCommute2 Ganesh Sittampalam **20081220212007 Ignore-this: 4f3c8a16101801e9672d17cec7310526 ] hash: 0000000712-5fe78bae37ffd036ffc771f8901fce642e923a1a3c23d1bcd936f64b94c5e1c3 [more opt Ganesh Sittampalam **20081220212030 Ignore-this: 156a2c83ae2f71bdb3387e63f929881b ] hash: 0000000277-8b2242d08572374521fe76635a0f05bfb02925aa69ae6f98b8677169729b35d7 [more opt Ganesh Sittampalam **20081220220142 Ignore-this: f03f40a4ad68c722e1dd288f36b92b21 ] hash: 0000000758-0624ed9dc81db7154e201a6b543127077a6514790a4849e72980461f0822780b [add some camp-theory law names Ganesh Sittampalam **20081221211550 Ignore-this: 575e45b1f82731d129727ea4e5876fcc ] hash: 0000000375-5b6a0028970648ec324a7d4268f88cbbca920d46ebda4daaeff870aac1f17108 [working on trying to solve for results Ganesh Sittampalam **20081222230605] hash: 0000017218-3377b59fa9c3a8fee0e722db238d1a1ebe15bff7caad4320cd8406a0d370f3ed [tweak pretty-printing Ganesh Sittampalam **20081223021029 Ignore-this: b3becef9abed234194d0bff46106b489 ] hash: 0000000294-e09336081b36c6b4e141c5f026bf8b64a5314db4d2d3f9ec32605a81b416d5d1 [allow equality search to go through top-level implications Ganesh Sittampalam **20081223022535 Ignore-this: 4289322a5a45c143eb3f69a1045c18a2 ] hash: 0000000840-541bdd43f18390a6ef151507e8170b9e9a0bf66c404d391d506aa6f85c383583 [rework simplification order Ganesh Sittampalam **20081223022557 Ignore-this: 9774395b6ba85cf6fdc0a3842c77fc4 ] hash: 0000001478-257f7728a7ef0a1de56deded0ed4f907bd2caaaf02c7f378deec96da8fc9a939 [enable conditions in result solver Ganesh Sittampalam **20081223213535 Ignore-this: 661fa75182ad8adc9096c5a2d69cfd31 ] hash: 0000000649-ce5a238794960fb6283ea9c4975bb4f5107c717aa73d97e3e2110e65943301dd [alternate subst case for tracking down name clash bugs Ganesh Sittampalam **20081223213601 Ignore-this: c0d1e59e798be855f38cd9997bfaa110 ] hash: 0000000233-e0b66cdeffa766a988cdb74e83722e7d795e89fa70a507aa7ecaca3f77ba4075 [>0 solving Ganesh Sittampalam **20081223213614 Ignore-this: 2ab039a142269f4a3ca875ce00c7dab7 ] hash: 0000002844-3c9660b143efe1186cb10d949a429566cd72470862c293991224f0c67b0acf03 [dump patch free variables from c_intermediate Ganesh Sittampalam **20081224071341] hash: 0000007411-39bbeb754d488f479f2ba7448c0e1f6b6dcfda2e8862ac65bbf21afa682b765a [compute repo states Ganesh Sittampalam **20081224073825] hash: 0000006738-aeaf6a57caa66d8487b4ef3facf61ccd98ea5feb977dd1f62c583b0ef0e8fcc4 [relax condition on cut patches for now Ganesh Sittampalam **20081224073837] hash: 0000000305-ddffd556a3a2a6223d3c52940e14ba957278524b8ba7b7662726b2a773393d39 [c_implicit_constraint and c_end Ganesh Sittampalam **20081224074756] hash: 0000003923-399a94588080137172eb2e4ecd6e826098de1a5df7e4bed4cf43cb88c4ebdb85 [make subst handle name clashes Ganesh Sittampalam **20081224154949] hash: 0000000381-4530f97464cc617f362685559910357001d7dba39f30a8c2b3c0f3d6d1ea3f2a [cfree_constraint Ganesh Sittampalam **20081224155007] hash: 0000002589-3e109e57694a9d23b4ddd213d8bdb6e2d72c6daf07998d9bb0bf986d104e6779 [use computed c_result Ganesh Sittampalam **20081224173945] hash: 0000002841-508d3f3bd4af91ff172d574aee20ee8c9f208f52a47f0d07e75cf928844cf669 [more trivialComparison cases Ganesh Sittampalam **20081224220405 Ignore-this: 7c2a1c9039e874192281c222752a881b ] hash: 0000000360-419a9dd4be26df642e58a6c21da5029bd97baea6d5b84b3a72fad241a07c627a [use an unsafePerformIO-based name supply to fix hygiene problems Ganesh Sittampalam **20081225021830 Ignore-this: d8c1613af10aec11f5e476abfe207b2d ] hash: 0000006480-1be06f1996db973c367ba95d7c60a090d0f305eaf0090a8900a0f672d98fd030 [move new c_result into class so the simplify of c_result' can be a CAF Ganesh Sittampalam **20081225021933 Ignore-this: d6f3af3720fc7581402bae79b4bca6d6 ] hash: 0000001080-88b6960ebb96cc6da5814d6b08804c34114b24bbbae54dfff9c2015bd3022cc6 [show for Var Ganesh Sittampalam **20081225153016 Ignore-this: 46a3cfdb56e1fcd9e96bfe8774e8391a ] hash: 0000000202-0048e0d2f98995a18ab8f8e66486df2036a25cdb99082ab80a6e743d2b1e5229 [c_inverse_condition Ganesh Sittampalam **20081225153021 Ignore-this: d49c87d0f924da7c8facc6c1cda81231 ] hash: 0000001181-3dfb45bbf60729ef2978a7c0ce16abe1dcc1715ce48312e1932a2e632171ad0a [add some more cached class members Ganesh Sittampalam **20081225170314 Ignore-this: fe48cebd6a03d453798cf6efc8b66092 ] hash: 0000001892-b4d3d81027153c8773d24fa3cdc93a3a8e06fbb7a26c97a07dd4bdcaf7742199 [add a comment Ganesh Sittampalam **20081225170327 Ignore-this: 7459a4efdd7f532922d7ff8e1db84b2 ] hash: 0000000279-ae1d42937c897bc9af286d14daea32e8a3d1fc5f7d86858dc41e8ecd7fb25cd5 [c_reverse_result Ganesh Sittampalam **20081225195349 Ignore-this: ccc40ef7c402f2b5c4a2580f470d6ea9 ] hash: 0000002808-f672bca7c463075ae5781f8f3ed560246bb0efa19f1ce663f14498376a9c54bc [notes Ganesh Sittampalam **20081225195355 Ignore-this: ff33d315b3bc0966cbe5eb633bebcd34 ] hash: 0000000282-0a68a7a1b2d02108a66b16be7b9f8d92ec5cff54bf90029177000420d264cca3 [ReversedCommutation Ganesh Sittampalam **20081225202352 Ignore-this: 8c4b3ba1c0f18887f17c1d19f8da4b88 ] hash: 0000000904-0691c0bfc6a39317c4ecd72ef69426ffc32af8f9ebdc9aa19c5d9db9eda0ebc7 [inverted and reversed commutations Ganesh Sittampalam **20081225214858 Ignore-this: fc71ef7c23795370b5f9c435a5034bb ] hash: 0000002601-7538db35d49ec0cfd0dee04d169f2b21478c6dbf9b613d14c5c0688746b6c282 [slid commutations Ganesh Sittampalam **20081225233410 Ignore-this: f0bfb097c31c1075a3bb381e3d47f180 ] hash: 0000008237-e6dc92d19e8e53761824deb84be92162f68098558ff526dbdf8cc1f0ad8a252e [more CommutablePair instances Ganesh Sittampalam **20081226001957 Ignore-this: 213b09b0f8df9fb3a6333a873d3975fe ] hash: 0000000746-70a9ddb47f4bf80a661796f962ae01abaf667607d5a8181c91c772953166242a [add SeqPatch and rework typed lists Ganesh Sittampalam **20081226012016 Ignore-this: 193d0eb4e2f978256c83a6fa126c5abe ] hash: 0000006075-82933db9bb2983388262ec839853ba3b81f5e3b4f114f92810ca5c7c46d03069 [instance Pretty Doc Ganesh Sittampalam **20081226012117 Ignore-this: d75022267190434a6ca5576e62086640 ] hash: 0000000187-a909d66107148f21ac434b94590cf5b7b312bef94321c7f5431d9ac2fcc0faf1 [note Ganesh Sittampalam **20081226012124 Ignore-this: e7c3298310026f75e135eab1134ca5e6 ] hash: 0000000173-5c1f3c915fc22cd84e2ec5f7ee0f980b7631760d846c7c8f362a6c9f0056fcf4 [couple of missing pieces for :++: Ganesh Sittampalam **20081227003244 Ignore-this: 4cde135618926a1f50ce00a75f969c37 ] hash: 0000000261-23ff455fe8eeea31bc1343bfdb46ff300c6e9b2a8375653e6fbdca6f66b3a603 [more on SeqPatch Ganesh Sittampalam **20081227003258 Ignore-this: 10d6a3adbc777731fc22ab618183475f ] hash: 0000002497-ea3b176d56e7508b4d73fda92e6ba8c1f1488e53dfe3f2cf9005b4563e625d15 [avoid looping equalities Ganesh Sittampalam **20081227003333 Ignore-this: dea49d3aa1fb807b0696c03994e1528f ] hash: 0000000392-cb15c59580f46f42599946ce4680446c2963c3ff0cd3dad09ce42ad3cee6fa9d [more opt Ganesh Sittampalam **20081227003339 Ignore-this: 700172bad227b68b188a5c28bdcaa1da ] hash: 0000000410-c975cd71f14ad2907f30a72fd02398dad54b4fc2f171fad72e51c48bcba0b969 [more opt Ganesh Sittampalam **20081227003349 Ignore-this: 78751a4e7e996f0e6789f09b5f0b45e1 ] hash: 0000000404-98e505e3937a9c6ca6a08fa3ea8bf40345a361fbe14cb30111b0902455deabc3 [more opts Ganesh Sittampalam **20081227003429 Ignore-this: 23bf941baef28d4b06a29cb7dc5ff6c5 ] hash: 0000001691-22b8249d1bd7d219cf0acbc2251d6841e3cfa23eb103be4c1e0f890fd3aa040f [note Ganesh Sittampalam **20081227003718 Ignore-this: 1a598e5d02aa4ae9db8504778140cbef ] hash: 0000000211-3dc74598eed401954d76e8b82c1999d18a8302e982ad596c321f985eb7970e68 [debugging code Ganesh Sittampalam **20081227003728 Ignore-this: aa929d413022cdaeffebeb0ef7cc4070 ] hash: 0000000253-4106c12db2a8f7b241eca522e3b91c6b65eb797e60e9f2ae047d828ed4a9ad99 [p_implicit_condition Ganesh Sittampalam **20081227140846 Ignore-this: 31975be9e97f62da0e52b13b0c3ae645 ] hash: 0000000362-5e0eee06af3d1bfb6ecdda664bde6b315230f93b2e6db48585df55e9c9c08bda [notes Ganesh Sittampalam **20081227140854 Ignore-this: 256c4c89a7f050e822d41e6fae150599 ] hash: 0000000210-5b3531055f318c88596be090e5d928f7fac3b6422d8a08a4972a0735c5e8f6b1 [more opt Ganesh Sittampalam **20081227171953 Ignore-this: ebd838e2481688893fcabfd70c3b3960 ] hash: 0000003836-d63ce77b27b060f4820286a98ebce067ecc793bcdd044ec3c4155266e1de8c76 [p_extra_condition Ganesh Sittampalam **20081227171439] hash: 0000001970-7aacf34347a3b1e187e58d93dfc53625af898fdc3641a518517fba0640820f38 [lowerBoolOps Ganesh Sittampalam **20081227191053] hash: 0000000750-a54a946fe92b12a0fc260378e2746f9c85bdf14536ea583f7ac6013ef7eb5c7f [quantifierSolver Ganesh Sittampalam **20081227211216] hash: 0000000341-3debe43cb0ee5461d48b02a3b1d68e5e6f44aa34c31148bc4532419ede14a68f [adhocSimplifier Ganesh Sittampalam **20081227211335] hash: 0000000291-80adbcdd3b321741d1fb745a17b17118b7aa52e28a8b711383bd5c12f5bb48d1 [more opt Ganesh Sittampalam **20081227235509 Ignore-this: 1e8311558549bce26734a8e816cc98a1 ] hash: 0000001180-5ac87b57e7f22455cf069a61f73d458336370bc7794ba1d878e9a775f2fd1800 [forall solving Ganesh Sittampalam **20081228004006 Ignore-this: 1e83726123eb9bd8eba1b2aea0c10fa7 ] hash: 0000003291-94ba1c7c9dd7ba070fe1ab96e27521b236c32399fd1aafccc271e1684c3ecfca [more simpl Ganesh Sittampalam **20081228005549 Ignore-this: a14c351145939c45aa413af7f2595760 ] hash: 0000001892-658c3cddb84f07353d250bd1b9c8b47cdf8f53c5809d8dbdc58cfff7c9a32fee [somewhere Ganesh Sittampalam **20081228183558 Ignore-this: 1f8ced3f3558bb00dd6b7f6c27a12b18 ] hash: 0000000793-3c7e4d77c066a6fadd0022fe9ad7dbc53395c979cce0c21876eb217292c8b0f9 [split up liftBoolOps Ganesh Sittampalam **20081230224912 Ignore-this: bc1bccaf1b7b41c6980de4dd04beb5c3 ] hash: 0000001469-b543656fd048bd6d335b2de849431849964ada75b3bbd3ed0420655d7e6ba150 [gatherLinearEqualities Ganesh Sittampalam **20081231072745] hash: 0000002198-e062eccee702e33b5143cbbcf3fe270a990e449a9b6b9ce5cd1bd0494206936f [whitespace Ganesh Sittampalam **20081231072806] hash: 0000000245-baf75d2a739df5413826c75b19621ab18ee02dc5ba5a99de97cceafc8bbb7068 [bug fixes Ganesh Sittampalam **20081231073938] hash: 0000000296-00225615bbc63e195f49d027933d5140958f5b4bdb5c4aa0912d301630e94877 [fix quantifyLinearEqualities Ganesh Sittampalam **20081231081912] hash: 0000001267-932fd73063aee85728ea52c6d0fa06ce4d185733681c3e4d4b04e517b8aa0fed [need to keep old findEquals code for things not known to be Integer Ganesh Sittampalam **20081231081956] hash: 0000002466-fdef2756679aa5e9945ce3fa6299b0c9b63dcf1df38303586d0c72ddefd81d42 [replace lengthSeq with smart constructor use Ganesh Sittampalam **20081231173416] hash: 0000000688-c3cbdaacba04294bb3f8ede7fa4128bb1f8ceeaa1377a46f750020986fc37d24 [deduce facts about lengths Ganesh Sittampalam **20081231174459] hash: 0000000245-cd501cfb7cfc09131cfb4261385167a68231bcf843b8afad9d3c0d5c7f9be4d5 [report whether a trafo happened Ganesh Sittampalam **20090101221542 Ignore-this: a2bd91153646c3c4c5791f1d87702bcf ] hash: 0000026365-7dcec88430d52870c7fd2fa83ea9434cf52c1265f025c07345be98bb4e4008e3 [bugfix for >-> ; repeatedly should check for equality because of loops such as slack variables/existential solving Ganesh Sittampalam **20090102075912] hash: 0000002045-8c2750da6b90bda08f0afc5fab5c2ad9171da71dffbc8142e24630d2d649d7b3 [makefile and main module Ganesh Sittampalam **20090102175030] hash: 0000000420-a48f549bb3b5b3c69ba97298eac74ea52112a951a5f9ded2b6d001e270421191 [comment Ganesh Sittampalam **20090102175043] hash: 0000000111-8b1bd62a8188f8d643b269144ff79003982283c6b97c542db2c766748bef5021 [eLam constructor Ganesh Sittampalam **20090102180142] hash: 0000002915-981c8d6035ce0ca1225517b38311a906fb4696f142124816a0ad15d026b1629b [ELamC Ganesh Sittampalam **20090102213458] hash: 0000013579-d8ee7b80311eac49880be027bf574491cbe856aaeace15ae8c71037bbad7053e [split out Expr.hs Ganesh Sittampalam **20090102231037 Ignore-this: 2a6fcf7544bcaf6f0eb3be12e9fdf513 ] hash: 0000097500-ad1df5ed3108b279df3b91d9567a67a2facc0ab69eb4ef9077b0ec5952518382 [accumulate Ganesh Sittampalam **20090102234210 Ignore-this: a940a68d2681bf49548c27725c1a6f34 ] hash: 0000000637-711da45bf6ead1b3276ef98902c4806cce464cef6b12652e64baa20933f337d0 [clean Ganesh Sittampalam **20090102234215 Ignore-this: 7983c24baedeead6e4bc49f856cbbbea ] hash: 0000000162-7723ec939df2a4035565f2a5c62356cf158042ed8df07ffcdac2333c12fe104d [fixity Ganesh Sittampalam **20090103182545 Ignore-this: 372a6e73d317219b579284fdbd9ce5dc ] hash: 0000000149-4bc35d80730cfad1d305cfc4be958e3af3fbd805ed44d5b71b126ddd59dab877 [add show instances, split some files out, update Makefile Ganesh Sittampalam **20090103183055 Ignore-this: 5158afaa9e3b580bfb112e7f66374b1d ] hash: 0000004730-25bc0ce168680cc18f95df5dc544e8eef559fb9b7e7ede67a72b4695c04ce0b5 [add a note about docat Ganesh Sittampalam **20090103184143 Ignore-this: aea0b138b37be836cc7e678f3e47dfcf ] hash: 0000000209-e19dc233401223252f4a2089d84f06615a730983109e43955e2af99d096d4367 [.prof target Ganesh Sittampalam **20090103184159 Ignore-this: 8e1d412b8d798ba1a6f757a1b1c9dc4f ] hash: 0000000167-b748a8fdb52f636b849addf071239c47715dce87d31e033ff6e3a8424f893530 [remove some dead stuff Ganesh Sittampalam **20090103184418 Ignore-this: 7e742d930c605f7c75c1287145f692ff ] hash: 0000000873-8f30b1f7d979659b1b56f8e154e2734cfc79dabe08dda7d1d9e019f3ed7c086e [break out simplifier Ganesh Sittampalam **20090103191724 Ignore-this: 14daf86be943b03b94e0f5a59e97f287 ] hash: 0000057495-1a5bdb6a43afcf86c6232e14f6f463c31b11236b95bd4872adb329fb00bf937e [remove dead stuff Ganesh Sittampalam **20090103192234 Ignore-this: bc7a9c0e194a35f0785891c36592f214 ] hash: 0000001239-8d21cb4df7c562dcc45efb0055e6efd31beccf8ee650860702a44230885658c5 [use length x = 0 style equations in findEquals, and miscellaneous linear cleanups Ganesh Sittampalam **20090104225849 Ignore-this: cf37f4b9424f5251a4cd397464a7c79f ] hash: 0000003189-ea5f496431fc03c79016cb8a183766ff03f3ee0111a296f12d4a79e4c285711d [don't cal normaliseLinears as much Ganesh Sittampalam **20090105065656] hash: 0000000365-32bc14519c809863906273b6c8f235c1e1e83a3c45a107b79efd5d3ad67a96f0 [explicit import list Ganesh Sittampalam **20090105065750] hash: 0000000172-554ea86d7f13ec96fef515741766192818ea720103975158ee53f6dcd38fc892 [update coercion hack Ganesh Sittampalam **20090105070840] hash: 0000000910-0ffdec295c92c30b614a43e32987439357808bedb934c6482a6c95af28daf399 [fix recursive calls in findEqualsBasic Ganesh Sittampalam **20090105071103] hash: 0000000564-0aab82ea0147b4a442066f42488cc7acd808a572ec36da60daabadb072a9b12c [do simplifyComparison for applyFact earlier Ganesh Sittampalam **20090105071448] hash: 0000002225-4d8c4aeaac1fed81cd01491e84fb3103826a43f36f034f90060525ffc6bc7c5d [apply inverted equalities Ganesh Sittampalam **20090105185140] hash: 0000000256-7f304e7bae12e7a57408742db31be291dc4bf82f5528a504caf5deb9a4e54739 [make complex lengthExistential solver better Ganesh Sittampalam **20090105185152] hash: 0000000981-83334b1d12a74113c181fbac0d1e2dfe39c8ffbd0847787211af978b80424740 [renamer Ganesh Sittampalam **20090105185216] hash: 0000000307-341869b591ede96885d29a9f17cd14e9d3311eca0c4bdc2299183a171cd98e42 [opt tweaks Ganesh Sittampalam **20090106074222] hash: 0000001676-fbbbb3bcedfade74817896cf73751130abdf8212c8002e5f4c6d024f4bb7d793 [more commutes Ganesh Sittampalam **20090106074244] hash: 0000001014-759227e7c482f12e37957c10dd045cfb848ac239936f2365589888fdfb66f96c [simplifyWith Ganesh Sittampalam **20090106210705] hash: 0000001092-90952869d8075b73dab4e2a20f96727fc862a6ed30a5f2c4e90276b6bb8c0945 [update utility functions Ganesh Sittampalam **20090106211052] hash: 0000000571-2c20402a83a82e7793583f59a3f18f2c8008127eb97434b84a614731db5bef67 [fix constraint/commuteConditions Ganesh Sittampalam **20090106224050 Ignore-this: 88e690ac071b4890f5ae7e053925139 ] hash: 0000000976-0ed3f2386a3fbde7a12e718a81cd178cbaa91ed2617e904c96c00b57d2f2fd90 [update notes Ganesh Sittampalam **20090106224829 Ignore-this: 28f71d9e71016cea5c7485a76e3883fc ] hash: 0000000296-d3cdcbb086f46a8e20d44c4fb503f0205b4658b4bc30db7fd8986b390287e4b3 [split up more Ganesh Sittampalam **20090107070113 Ignore-this: d8451b24e4a433ecac20dca2e545fc9e ] hash: 0000088250-34be049f55ff0f91266eb208616e1e57f22c230e4adb7ef41d974b8bfec5f2e3 [UnClip Ganesh Sittampalam **20090107070202 Ignore-this: 17316666afb5ca1c1bd177e78650da50 ] hash: 0000001394-77fd82b38619c01ab2b923425ee96e2885db6fd2f4134b6690534b252feb7250 [update Makefile Ganesh Sittampalam **20090107070301 Ignore-this: 19822f78467aad53ba27ff61503e11a7 ] hash: 0000000352-cd7f491e5f03298b78e6f6888612a500ed0214857f91f8d87e9c278a7d77e76c [replace OWithClip with OPair to avoid Clip leaking into Expr Ganesh Sittampalam **20090107065101] hash: 0000005790-ba3ba41f9a08a5a505c047283f41b1b48498aa5932f7ccfb27b1efb0148823db [simplify in UnClip Ganesh Sittampalam **20090107065630] hash: 0000001465-5fd6c371f13e34af7aa9d1fa52643b7ac00379de16b66f077a7282e9d9894e4e [note Ganesh Sittampalam **20090107065730] hash: 0000000329-63c506479e656aad5e4fdb6eb8c55bb8081d2bc5a87c340d4df06c69e961086f [more splitting up Ganesh Sittampalam **20090107071355] hash: 0000037555-0fd11e5c0443c3cc803927c9552bcefb014ca091fa7af715de4f9cf2733d1496 [fix parameter name Ganesh Sittampalam **20090107074016] hash: 0000000165-0b203eeaace6c6b3b5b9a09768744f729ce270de1b6f988b77dffdc424e3a78f [CutCutCommute1 Ganesh Sittampalam **20090108064649] hash: 0000003993-fef3917d8446e2bdf8f0416ca23edf0505869a402a92e8d58284a5c9c1df3ef3 [add rs to the IsCommutation fundep Ganesh Sittampalam **20090108065539] hash: 0000000443-d9f80fcd7ecb5c6cdb8d16ada5b6099bd92be462503d814273c7fd68b9bf74ff [update constraints of SlidCommutation Ganesh Sittampalam **20090108065704] hash: 0000000770-daa99311c3ffe287fd60e0913e4c8794f80f5a4a82ce904b45a33a5ede931955 [move Clip Ganesh Sittampalam **20090108180012] hash: 0000000369-ea83d1bc144ad1602417eb1f565cbfe3b9b2d1e7f2128443550db34b3d6fdf36 [SwapClipCommute Ganesh Sittampalam **20090108180029] hash: 0000001342-06990d98e249e06f91a3dd0aea40c566605cb141e2716c00bc9d72d0530d7871 [MkSwapClipPatch Ganesh Sittampalam **20090108180530] hash: 0000002780-8ae5dc9055634d93cd618fa0d6bfe68d8afc0295a6435c6b70f281e37b1fbafb [generalise behaviour of SwapClipCommute using HasSwapClipPatch class Ganesh Sittampalam **20090108182124] hash: 0000001745-4c380ac42b826d10bc10b6619cb944eca611623002ab994a42ac71a25074b0a3 [bugfix Ganesh Sittampalam **20090108221027] hash: 0000000338-ab84ec889c87bdc2540dc135c6982d4366c5707e287f6260eef1c1858ddb22de [add fundep Ganesh Sittampalam **20090108221030] hash: 0000000237-4092748126eda4c950e9bfaf268456f0c2e56bef68576c276b96e4d9b00845c0 [more commutation stuff Ganesh Sittampalam **20090108221036] hash: 0000000979-eb9aef3aaa3aa7f2b4fc8caa4f1527c26858bf474c866745ad75c3e479f5d185 [make cut cut unambiguous Ganesh Sittampalam **20090108221047] hash: 0000000181-8b365925d0f13b728a11fca1002649f9e7d994eec39a339eefe69235f1dd32fa [notes Ganesh Sittampalam **20090108221055] hash: 0000000221-807e84638eee87db840173250b8edb4a6cb75c58d539c49b346e450feb13468c [update Makefile Ganesh Sittampalam **20090109064806] hash: 0000000612-2a7c8f133c21dc754983eb4b0e007ab0b619a3162ee7c61cae1c9d8407f5c2f1 [add case for q_pos == p_pos Ganesh Sittampalam **20090109064820] hash: 0000000274-681c83f92d52d15e6a407714906571f97616021f2e0ec65f3228db6a74934971 [rename CutCutCommutes Ganesh Sittampalam **20090109075142] hash: 0000002318-2446455d703b9dce8fc44853e1cbd4bf3e62713832dd01d72a1036edeffa6d09 [CutCutCommuteInside Ganesh Sittampalam **20090109075253] hash: 0000003451-b7501e7e8dbfa23bf9c9b3ea27aa62b7d6214df1399eb955d62e03afff600d8f [improve patch printing Ganesh Sittampalam **20090109190215] hash: 0000002504-bd9d2abff6fe4f15e5149faec4f5312212fbf082c8018d8caf5cb406f3011d66 [summariseCommutation Ganesh Sittampalam **20090109191344] hash: 0000000746-1cf8fb2b9cd685696760ce844dda3dad6235705d9cec85c0f32c0a1c5d5a1aeb [derived commutes on SeqPatch Ganesh Sittampalam **20090109214013] hash: 0000002185-e0fe30980f7f29da471ba2f74959813e2ecb71c9eb70a40639d7160b1afc5f6c [add a working seqCommuteFst Ganesh Sittampalam **20090111190641 Ignore-this: 93b4beacbdc373a2c26dfc10b3e72780 ] hash: 0000003485-62c6abd32dbcf2a67907ac27f580a42bb2a01f06aaee877d41ff598ee3496c92 [remove broken instances Ganesh Sittampalam **20090111224120 Ignore-this: d28f6cbb5ef35ec06d6ded10b65c1a7a (they require the compiler to infer the middle patch in the commute, and are completely wrong if there are two such possibilities) ] hash: 0000001858-906b173852eabb5d5f27c56ee2d84bc9d0aefd546521a89f2d96a9d8688839ed [swapClipCommute Ganesh Sittampalam **20090111232310 Ignore-this: 2c13586b7cb8647c4dc2f04bdda60750 ] hash: 0000002323-2b81648e0ef83a7ba0c1857d226488c3e95e82459363b45af0b0f31a864df6d5 [UnClipCommute Ganesh Sittampalam **20090111234230 Ignore-this: f70bf189c7e8e0b417895da7f3c0f21c ] hash: 0000001652-6a271305e2fb1626336bc325b04c90f8fac39111eb48200b659e63133e77f067 [CommutableQuad instance Ganesh Sittampalam **20090111234503 Ignore-this: d7d8dbe5d4cee3e549d47d37b34b9b3d ] hash: 0000000418-494c64dc9156986321de29f0dae04bc6c00ea0265ddce02e832094a3df7e48e6 [add MkInv Ganesh Sittampalam **20090112071428] hash: 0000002342-3942f3d946efc25dae8e14d9c74ce7675bd1f95ae658eb95de7f18a6ab370f7d [fix typo Ganesh Sittampalam **20090112071443] hash: 0000000239-569b102c8efaa97d5332aa635c5792a09a568413e8b5677f722fd29c1efe818a [note Ganesh Sittampalam **20090112071448] hash: 0000000092-8ea0bb45ed07c8cbdef8b629ab13850d718230542ca24cf86ef709845b267c81 [HunkMove commutes Ganesh Sittampalam **20090112071452] hash: 0000001521-74c0b8afbae594dd3ab18911171fbdcdd83a414095d031cbc0276961ca89570a [note Ganesh Sittampalam **20090112180440] hash: 0000000126-10e6cb33d675e9f7cd1d11aa528cd4a1e07e930af3087045c4da0746288ec16d [alias patches Ganesh Sittampalam **20090112185109] hash: 0000002840-6ef3ff47e86f0429b9a937670897a1017e9b5bbce8bae73ce27f5315e8183760 [alias commutations Ganesh Sittampalam **20090112185115] hash: 0000003601-eba54e35a4c82879d5dd4212e54a1944ec135c7bb75edacee7aada2c2f91f34e [some Paste commutations Ganesh Sittampalam **20090112204816] hash: 0000001268-627791068e1537eab73c2dd4a7292fb5194e13d1cb42ba0d85655ee8bcff11d2 [more commutes Ganesh Sittampalam **20090112235304 Ignore-this: 365e95f66e064a80e84157136d1aa718 ] hash: 0000005257-6c63c7bd5faf779fe2fe332b84ee9c1e1f0416fd90b91ea4a1e8c12c7d670b12 [hack simplify Ganesh Sittampalam **20090112235329 Ignore-this: b4fd08c5f01ede786475eb1e209f5c7e ] hash: 0000000244-d129768560a9ac0e7f2d1eb7731d9931a323d0c8096684c9321c4cde6b15d0b0 [commute names Ganesh Sittampalam **20090113173704] hash: 0000002390-6b5387dfb9d04ee82961c24216ca8279f536d0b9f0aebc72ebfeab9515066199 [revert to original seqCommuteFst since replacement is broken somehow and anyway redundant now we've removed the instances that use it Ganesh Sittampalam **20090113181141] hash: 0000002354-9355415919b820532cab0a22ad7d49c59cf7766e111fd31efea15be3597b8903 [add simpl Ganesh Sittampalam **20090113183242] hash: 0000000306-52c69b7be2670560b3d6273893fec065acbaecdd80555bf4ab209870fdc69877 [pretty Integer Ganesh Sittampalam **20090114000400] hash: 0000000147-a38211e2dc3fcd1cc27878888c6fe6400c920e5ac5592926445950d8996b7ac7 [improve lowerBoolOps Ganesh Sittampalam **20090114000405] hash: 0000001400-6ecc45961324c93b3661c22223b6d6c3b375469dc44130d55cd6735c0f8c0389 [find pairs of comparisons anywhere in disjuncts list Ganesh Sittampalam **20090114084032] hash: 0000000693-e46add178e5bfb2c973f0b67f412b00fb3114b599c919a08cc42e63a44e7dc57 [improve unfolding of linears Ganesh Sittampalam **20090114084048] hash: 0000000341-8085e7dfff05da5dcd2440e22278d50b856ce07bde2c73934dc4962f4069efb8 [note Ganesh Sittampalam **20090114084100] hash: 0000000139-e206a6cd2f2151ec99654398644328dd4d69decc0663b9c44a87b0843db85359 [use patch conditions when simplifying commute conditions Ganesh Sittampalam **20090114091218] hash: 0000001067-16976c99f2868f277ef7fc856a692d3b02b6a03f3257dc598aefcd4ded7445e7 [add a variable to CutCutCommuteInside Ganesh Sittampalam **20090114093627] hash: 0000000338-fb96fe87216ee5efffcaadbfe5caf386de24f13cd605369c0599a91d5233363f [more CommutableFoo instances Ganesh Sittampalam **20090114093656] hash: 0000001547-794cd2e77049572c0164c8af775a888b391f55a1ed601cbfd5f176168e18ae83 [more stuff for main Ganesh Sittampalam **20090114094031] hash: 0000000540-61ca32b54b5cfdf8a6b465a8fddd1e037b40e3735455c2736a09a73cf2026e6c [notes Ganesh Sittampalam **20090114094110] hash: 0000000391-6bc6b6d666d9fbd66997ac03b87280739a2dfbed6dc20abb1648e66303c8b9ed [better error messages Ganesh Sittampalam **20090114114259] hash: 0000001428-c0c775fce3c3504cc12fae4b897049b0ece836692a2d431dadda12afd647a39b [fix assumptions and proof obligations in c_slide_result* Ganesh Sittampalam **20090114120243] hash: 0000000611-d6bc28969ae74038c5a0e3cdb20a938dc252a1321eb9d79eea8614f2643a61ea [change type to solve ambiguity problems on use Ganesh Sittampalam **20090114130431] hash: 0000000195-b3cd3903786845819df1847d0375ac49b324edb4dd8f288dd6a892efe3816435 [computed Ganesh Sittampalam **20090115122758] hash: 0000002360-1c0447f7e978ce0a25fb1deeb51d484c4dd3b279f1a9e8d3dd82d98c3fa43569 [c_extra_condition Ganesh Sittampalam **20090115122820] hash: 0000009362-395fa022a3fa97b4a20ac240e4a8aa13b847fc25855426eb029c1f8d0082d7e8 [exports to make ghci easier to use Ganesh Sittampalam **20090115122857] hash: 0000000856-12fbb758ed100c24bffa125d5d8d412843b85f1b40db209414d87813a089dec6 [notes Ganesh Sittampalam **20090115122910] hash: 0000000177-390ac12b1a1774493f7d19aa08162ce155dca7998315f168ac30cb7ae4c288a1 [another interesting thing to compute Ganesh Sittampalam **20090115122914] hash: 0000000468-bf2a1f0c7a9bdb22b6f593a9d4f20bd6fa28217df194b01fff5778a7a3007cf1 [Pretty instance for lists, currently commented out because it conflicts with String Ganesh Sittampalam **20090115140319] hash: 0000000290-3440f38d1c8bf08790f81ac3b8aa6c30ab6bb6b0e43fa5436be120a254039080 [try to simplify ordering constraints better Ganesh Sittampalam **20090116012530] hash: 0000002837-9f351b9d126b18a2da4182da203e6753095ef50b112fb5b4fefe8965cd64a418 [make closeOrders cleverer Ganesh Sittampalam **20090117015855 Ignore-this: 3535b4c2dab17c6626057f2409376a6b ] hash: 0000001510-adbb0083cc25ad4a597b34f6389cae3ed32fae4b9274af6d9e370e773776a6d4 [commuteConstraint Ganesh Sittampalam **20090119052607 Ignore-this: 7fd574c51647e2dd5c20e44b428b3940 ] hash: 0000001072-9afde6d7d5aff31908584f35405c4fa923105e0e1c257c127b80963570d5e82e [more examples Ganesh Sittampalam **20090119052617 Ignore-this: 74e018f2b8948397e64ad82812ab30de ] hash: 0000000827-1edd6e674848055d5b80713a3377b5693b60cfcba04f7d5c4cf5f3135e8a78cb [push towards making Rewriter more abstract Ganesh Sittampalam **20090119071003] hash: 0000021518-98a25503984d65e64eaa7b2ef9ea7f89f9a1205aad1320ec6f9664766f28c5bb [test Ganesh Sittampalam **20090119074435] hash: 0000001928-a8cea1c5d7491feaa91e621b837bd33f85062d1d69846a7c238bcf92640bc6e9 [bugfix Ganesh Sittampalam **20090119180007] hash: 0000000286-550b85982069f97ee7281b119fa0d65f23377be2367d86ec0f2329542a2bb9e4 [rewrite of solveSimpleQuantifier to avoid repeated traversals - doesn't seem to be working yet Ganesh Sittampalam **20090119221220] hash: 0000004766-e86b51d1717cdbda2864b5d8b31e6fa29ad0a840cc555d2f629542975561a114 [unCommutation Ganesh Sittampalam **20090120070912] hash: 0000000520-65cea804fc2036af4feca4599ae05a154db9c761ef8a99311cf486aca503abcf [Pretty instances Ganesh Sittampalam **20090120070918] hash: 0000000395-c9a4fbc3c3638d02f2a5e5bba7b17435c71297bb35f5a758b3f205a079c1edc1 [OSolve solver needs to look through OSuchThat Ganesh Sittampalam **20090120070926] hash: 0000000502-4a8f09e7ce4efd14577a342391b0872d4f823dad1189bd8759d45088d82d9d07 [remove old solveSimpleQuantifier Ganesh Sittampalam **20090120071016] hash: 0000002407-02c7a4899044c47efd60471596ade8b154239f610c7fb5dac91e73b871b15904 [custom everywhere strategy for solveSimpleQuantifier Ganesh Sittampalam **20090120074906] hash: 0000001680-528f9cffab9c0b16b17a6873262639a04901da5ddeb736c9cd6b34d265443d56 [drop findEqualsFI Ganesh Sittampalam **20090120180813] hash: 0000000570-c8ecbe4789e86b1c504dbc5d82a5d32e92dc86f76f0be00ca1e5de8d4f1fee7b [overloading blitz Ganesh Sittampalam **20090121193630] hash: 0000053856-9a9dab265509ef37cbbcc1062ca0a6f0b5c963b6ff0d011cbeb08aefb4142603 [move a few things to better locations Ganesh Sittampalam **20090121194418] hash: 0000000369-f31947109e425a66676cc8925d8f5dd7fe9ec903e6ba4b28e26aa20f4399da94 [dump unneeded rule Ganesh Sittampalam **20090121201806 Ignore-this: 19594ed7b12924a702cdedd738dd06f2 ] hash: 0000000579-6a97fdd33aa9f43ff69ba748c5e66b6e5dba1e244643d9acca56aa85e3176d01 [dump Vector Ganesh Sittampalam **20090121202104 Ignore-this: cd6e15836c6a38fd6f79e1f80b2f24da ] hash: 0000001345-61304336c0bb70f85e543c6442fde4c9221adfb7cb8064e73124ed09f7b8b91c [fixity of (++) Ganesh Sittampalam **20090122042503 Ignore-this: aff98c0639e839abe75a0ee81f365f5 ] hash: 0000000154-fd42d39f9667f84c36933857ae9a5f51a6ac137db2a91b57521e1679ccbf40db [junk eSeq Ganesh Sittampalam **20090122064646] hash: 0000000109-f6556fdcb69b440d9485c26c82b272151a1b081d77c2f51ed801681febe68bf5 [inline eCat etc into the type class definitions Ganesh Sittampalam **20090122070233] hash: 0000005345-4bda28175aff89bdce367a8ef207a2cdd0a8e29b7dfcf62de457de40be05e970 [start on reorg Ganesh Sittampalam **20090122070649] hash: 0000001498-b923b71b95c5b8a6080578680b54c3754c126628c57e70b15c2d57962a8dd5e8 [break out Op Ganesh Sittampalam **20090122071811] hash: 0000008083-5bce20a6788f9f8295d33b949f0989e617cd60f40073890e07fb431588a8afaf [move Supply and Var Ganesh Sittampalam **20090122071830] hash: 0000001554-f81f376ae65f2178804f64ab9e145aa5abf40484b52b323c7d22e0b92af17640 [break out Same and TOrd Ganesh Sittampalam **20090122072525] hash: 0000010305-d0576ced5263cb545d726ed83995187ef668f22b48143f80579686deb863fe3d [TList Ganesh Sittampalam **20090122073540] hash: 0000002327-0effa88e40b15839d04260623c2c3aa43380ce26375f26f543a513ad3e44800f [HOAS is actually Concrete Ganesh Sittampalam **20090122073706] hash: 0000001290-3b207f4ecf631cdfbc1bfa5140dea68c2d676cde79c1bb35220058cfd3b19351 [move more stuff out of Concrete Ganesh Sittampalam **20090122074058] hash: 0000002224-aba463053d9ab6bfb0715ff4d977ac95fdc03c4dde5e3d4e025ae4e77f206ca0 [move Env and remove withVar Ganesh Sittampalam **20090122074924] hash: 0000001533-95b20904d730684fb997412d10a5742eb06de2f468188e6e01da150bd2fbb88e [clean up export lists Ganesh Sittampalam **20090122075713] hash: 0000000739-f4423928d6ea443ea5e5ab5a074ca367f807dd7b44fe2df2a5d91e53c6096293 [tlistMap Ganesh Sittampalam **20090122080109] hash: 0000000815-55f1171eacb2bff0c96b0e582d5e95872862383ca26ac5da4e2a97f8e3efaa21 [add HOAS Ganesh Sittampalam **20090122183635] hash: 0000010304-f19196df90713699fc0cf9b2283b6bc3bc05eff6772e8058569bae482e81fc66 [cut over to HOAS in the "front-end" Ganesh Sittampalam **20090122184503] hash: 0000002173-32c10f42694376bc2bb9909f3d6e9eb84b1bb972d59ee510cfb1d0c873162871 [HOAS doesn't need the (unsafe) Supply Ganesh Sittampalam **20090122184639] hash: 0000000135-f8e933065cb6d3d2b9746428719870e67596ed8c8e9f67c170d5194a9dd99cb8 [update Main for changes Ganesh Sittampalam **20090122184734] hash: 0000000275-469f0de49b48c344490f5f5410f530704352ea808fd8080794fb1c3cac933250 [switch over to safe name supply - still slightly broken Ganesh Sittampalam **20090122204452] hash: 0000014257-6db69a9b89ac363b6f1507d3424eb17079679e063630962b938d619c9de03080 [some INLINE pragmas Ganesh Sittampalam **20090122200010 Ignore-this: a7c864fae26addb4e2fcfeef020bf76d ] hash: 0000000390-85a9c0c8cf5e232354862471531ac5616698313aa80f2b44bfb20ed17518ceda [put objects/his in build/ directory; add optimisation to profiling build Ganesh Sittampalam **20090122200017 Ignore-this: f7be51d4bf243716d203d89234e5e485 ] hash: 0000001432-cce83dafbae54ebeb54eeffddca85bc50a858ad62de080c14ae5e9c8366d9ff5 [add ghci make targets Ganesh Sittampalam **20090123074623] hash: 0000000209-80561fbca348fadb586a33bb55495a8c7a126cc87cb4249ccb7adad5f8795143 [switch to ansi pretty-printer Ganesh Sittampalam **20090123074633] hash: 0000000617-fb67f2ba2b75af54b0ec0897bc90d9a25e40ec9c6fd869cead9203df01df59e6 [heading towards prettier printing Ganesh Sittampalam **20090124192426] hash: 0000009458-673804ba4cf15a9ee1d2e864f4e115cfee19e76ed3fd425cf228c0dff9cd6b6b [add some test/debug code for pretty printing Ganesh Sittampalam **20090124184158 Ignore-this: b05c730e97d177f189c75205368889d9 ] hash: 0000000879-ec6a98f0d314e7fcf4048d0a8eafa11d2b92911eb9dc8aa3acbdf1177df2205d [a couple of tweaks Ganesh Sittampalam **20090124184213 Ignore-this: 622a52335b0d046054f07b6b91fe2314 ] hash: 0000000593-262b2cf89eceff4637712ff551d06466cc9aacfcf09efe6d9848e94c45465f72 [remove simplification cases from HOAS.eApply Ganesh Sittampalam **20090126070259] hash: 0000000512-cce9152964bd623a9b461c6fb217bd582b9e5c66a30823fe1e12b2a73bbaf5fa [refactor rewriting combinators a bit Ganesh Sittampalam **20090126074426] hash: 0000001476-25b2970a91fdb42cb4233b2cf0da418bcc7035553ce17b3e2093280befbba323 [keep chains of rewrites Ganesh Sittampalam **20090126185232] hash: 0000001607-61620f0149b1f213c01a84a63c4f71023a335c5ce4179a3bbaa71f65973996eb [improve exports from Main Ganesh Sittampalam **20090126185307] hash: 0000000312-0ce4ab7d156699eb76f5e8ef797708eeff41d94ee77b44e388fc8f608d7016b4 [name rewrites Ganesh Sittampalam **20090126191155] hash: 0000015428-c80d933d5c9db53f7f8574704f62b69f74e500a8ebe832b4a1531bec94013ea5 [remove dead stuff Ganesh Sittampalam **20090126191217] hash: 0000001035-5aaab0947c99616bd4a673b99834316daa279f2e1af10dd3f9b03d06812fb5e9 [stop sortConjuncts doing trivial rewrites Ganesh Sittampalam **20090126191313] hash: 0000000392-103ba63acada37f1d32ccc185d69a0269d692371a3432966d7612e175226a05b [check more carefully that sortConjuncts isn't a no-op Ganesh Sittampalam **20090127065634] hash: 0000000622-b454a6c098cf89b6bee2df011b36f55ce6072fa67fcb93be43e70bc1b149380b [RewriteDetails Ganesh Sittampalam **20090127070104] hash: 0000000232-57c83581270cfdbdf5a853aa136f9a6ac17d0587b90618f679ff48f5697d6b94 [fix stupid bug Ganesh Sittampalam **20090127074153] hash: 0000000481-121fbdebea906197a3e1b654a2afc1327bf25c29dfa92c21892c62a79e6f9d1e [some functions for patches Ganesh Sittampalam **20090127074159] hash: 0000000544-da1df8de1aac8588e4e6ec552f369254d01f211dc1024cf691295e8237ed6cd2 [normalise data structure a bit Ganesh Sittampalam **20090127212351] hash: 0000002749-7c48897fdb7ee54f7aefd8f4ec2a1847b9ffaeeb421f194ba48726348210998e [add command-line options to Test Ganesh Sittampalam **20090127212408] hash: 0000001056-08ae8029b68c80f8238121828476e2d8b7eb6ecf75734c85491cc9f7a3f206c4 [improve IsList abstraction Ganesh Sittampalam **20090128074609] hash: 0000004630-f674ae5ea1aca9e6d1d2ca8fe5f6dc6dafb2b6e7917c90629bf8593241fbaa96 [switch RewriteRes to Seq Ganesh Sittampalam **20090128074627] hash: 0000000658-697cfead0e29211e93ca3d2bedac9c25f6f6dfed45a57047333e9b055cbd12b5 [export more stuff Ganesh Sittampalam **20090129075335] hash: 0000000261-4552da98115df28516c36359c52dc96b1f505f65f2009ed2b1ba83b41f6c015a [use CatList instead of Seq for better laziness Ganesh Sittampalam **20090129075344] hash: 0000003163-95874ebb7aa9f8d33310f1e5ff7abf95c364880f8990fddae285e207cb70e82d [fix clean target Ganesh Sittampalam **20090129075348] hash: 0000000282-46b405bd64ffbc48426d40c61240483659c04d65a27e5bc38eef9bc53ee855af [switch to lazier datastructure for results list Ganesh Sittampalam **20090130065225] hash: 0000003036-601664c9040783ed9937906a09458aa5af9bfb9887322d7ac78b16398624309b [abstract over rewrite result collectors Ganesh Sittampalam **20090130211521] hash: 0000015930-1c616dc3d5e3190d5ddd02a112860824b2c004433238b7184120b17a59fd9159 [reverse move-move omitted for now Ganesh Sittampalam **20090130211613] hash: 0000000289-9474da1dcaae33757900c8f72e2f6f342267f05de6c1262e20250d45650c5c70 [some optimisation Ganesh Sittampalam **20090130114137 Ignore-this: d8c5ad9be9b861927e4dec2fcddb3891 ] hash: 0000001288-1db49102d0800e5059551dca68284589dea6b30cd98049785f2abd7ef72de680 [improve debuggability of rewrites Ganesh Sittampalam **20090131034756 Ignore-this: 3b021307a403ba62b1c361ae52f5819b ] hash: 0000005822-595992f33df612908e0b929909bdfecdd2bf3ba9c99a743f49158caf36c241c8 [bug fix Ganesh Sittampalam **20090131160303] hash: 0000000399-44d9e64e9ecaa4f251040c56845cebff37f30ab3dd6fcd74f9ed9ac67f54f7c5 [make getResult easier to use with different rewriters Ganesh Sittampalam **20090131160307] hash: 0000001128-30b278037fea56501b602db6a0bcb0c91460905075de01e5f6ca781fc7a86aef [be more careful about checking results Ganesh Sittampalam **20090131182011] hash: 0000000858-90f4ae772af886a89abfc4b792bf961e585a52b4e8c354307907ec506a2f078e [notes Ganesh Sittampalam **20090131182034] hash: 0000000405-d71018532c65acf9b29f9937868e5fa2f74962e0909019417b326c2efcd58d59 [more useful list functions Ganesh Sittampalam **20090131105058 Ignore-this: 39dec9cfa0fbf5a857079f3279efbb50 ] hash: 0000000931-6aebede5d23a9bfc91eb6939e9c46969f7fe819a4b71447c55e0cb612b92d824 [notes; fix laziness bug Ganesh Sittampalam **20090131105118 Ignore-this: d2b345667a0cf2e5226e3974c5b464cc ] hash: 0000002406-e1fb0836e0400bc976ea6d6b8d1ce5c0ff91cce2ab541a512779a753b6af885d [update Ganesh Sittampalam **20090131105151 Ignore-this: 37cdb9cc64f4f584898475f5bbc732a5 ] hash: 0000000719-ec8e02780b8f2fa71a957b9f11158c71f2801f694c4645fab7ccf9fdef26f715 [fix repeatedly so it tracks the history, to avoid flip-flopping rewrites looping Ganesh Sittampalam **20090201014510 Ignore-this: aa2ec73b5b9dc7062b508edaed514897 ] hash: 0000000786-a26e4bed006a82bfa7049121cffe98ddc36e51d9f9c4beb56c0b5cc908c8c38a [typo Ganesh Sittampalam **20090201014539 Ignore-this: c0b358f47483a6d1ec87295ab167097 ] hash: 0000000294-94416c4c6d0024123a13ab6b7ffffd20a57194b39c9eb8e370586998680eef73 [update Ganesh Sittampalam **20090201014547 Ignore-this: f5ab15f7f84ade7bf5c78da14e6547d6 ] hash: 0000000356-7d8353550fb5a92935efcc8a845ff752973bb3addf19c2e03db667191d5e6006 [make a fast concreteToHOAS (old one built up an exponential set of substitution suspensions) Ganesh Sittampalam **20090202180824] hash: 0000001185-b1aab95521e0319cc70e30686ace05703c23ced5ff654d55cf683f106c8beea5 [some test cases Ganesh Sittampalam **20090202180921] hash: 0000002798-b728283eb142d133c119620c6377c3b5d3c6f3a888005938f8ac092c85117f69 [add getResults_S and rename allResultsS for consistency Ganesh Sittampalam **20090202181321] hash: 0000000524-63fe05908833400163bf88a682af8707558535b41f4c22ddcfe96f7d29dcfa86 [remove some (now) uninteresting sample code Ganesh Sittampalam **20090202182833] hash: 0000002826-0c2b986d7afa7b6857ff540acc716e285a8aed021a34bbb48dee6d886a61c1c9 [note Ganesh Sittampalam **20090202183024] hash: 0000000139-31acba28e0c6c21b735e3854b64dd406c9923269d22504200c42892c391ddd50 [refactor slightly to facilitate adding memoisation Ganesh Sittampalam **20090203073147] hash: 0000003086-ab145e031066aa5965e255eb7fdf3d50213be16c533225eebb35c75bfff09e15 [memoisation - not yet integrated Ganesh Sittampalam **20090206180707] hash: 0000003880-a9b6a85736256e696c0f8409b3e06ec87817056290c4a02f7276033a84a99803 [abstract CommutableQuad etc Ganesh Sittampalam **20090206182459] hash: 0000012274-2c7668665f0606a8ab2bbcde0ff861718c5c918859ea1d6a80e28c3439d60c3c [add stuff to memoise Ganesh Sittampalam **20090207171518] hash: 0000003571-58304e7a861a2bb71cf86a8dcb523a1ff302ad87b0a7de1f84daf0116109c940 [break memoisation out Ganesh Sittampalam **20090209071557] hash: 0000014434-5fc70bbb05639daf6f546a2913f66d9a3d4caed7e5f56ddaa4e24411b726c8fb [add slideCommutation' Ganesh Sittampalam **20090209072130] hash: 0000001799-e0d6ed30880e93524a6ca6062fb7d59a02d63fadfadda4737bad6a2b014b2cc1 [more examples Ganesh Sittampalam **20090209072202] hash: 0000000816-91d1eb12ae42a001a15cdfcaa118c092b62a9ddb32bf624e7eb7c4866d2c4615 [bug fix Ganesh Sittampalam **20090209183052] hash: 0000000375-a112a115da832c7ed96b9016d560520d7aa149a3b071366d33acbbf44598e8fb [move def Ganesh Sittampalam **20090209185040] hash: 0000000387-d54231f8d4fab536e8139c2668fbe11a4233ee488d5808d2f067aaa180f62ce3 [add memo instances to MoveMove Ganesh Sittampalam **20090209185126] hash: 0000010530-9f54baef788fbf0948c6c02967691f4ab2394c5a6dad9bdf8a52c6b6bd511312 [Memo helper types Ganesh Sittampalam **20090209185326] hash: 0000000331-8e5ca780ef823b26829c6c18f88f8d81834fdd8f45423097dd57880e40cb95e7 [memo table in MoveMve Ganesh Sittampalam **20090209215108] hash: 0000000926-16a63995fbbab4d6863b893f2274c0570b0441224d51a0f50117dcf92acf1338 [add a couple of type sigs Ganesh Sittampalam **20090209215145] hash: 0000000303-cc88557f6e3945c2eee7d7fc6e0a09a9c3b87855b0dad843783cdf537843b29f [type sigs to placate GHC 6.11 Ganesh Sittampalam **20090217202927] hash: 0000002642-baf6870caa4b20db068f69801165730a321e9f59a680adc16742b08718cc02d8 [syntax error (why doesn't the compiler get this?!) Ganesh Sittampalam **20090217203024] hash: 0000000281-badef1dc4feea1d8800c65ecab1227d77df3d84ad15a0f865d973fe660423aa7 [recent 6.11 requires -XGADTs to pattern-match on them too Ganesh Sittampalam **20090218065345] hash: 0000002344-e5d03106e22b213697de9e25a33ba5bb0490fa77f9427dcc3fc5e1fe24e79371 [final line-endings Ganesh Sittampalam **20090218183414] hash: 0000000225-43f11f3e7454588474e09754f87151576a7105c253c9e952cfefdba54e84d5ee [export Memoise Ganesh Sittampalam **20090219075513] hash: 0000000178-5f383cba9720b39e07469fef92ff8576e3dc17886ed3e7a069de7cd248fc550c [test case for repeated work Ganesh Sittampalam **20090219075520] hash: 0000000533-2109762ec5acb60f73b041e9b15d81dc95928819badf1c7dc6682f44ab372ad9 [utility functions Ganesh Sittampalam **20090224185502] hash: 0000000851-9c4e7003e091b97a478f0c7a894a5d143a887a006a847c2fc28adf93f38e59c0 [sortCommutative Ganesh Sittampalam **20090224185511] hash: 0000000894-5bd3693cd022277801cbfc49717a29e0ab977f5ca475ebfb0291ce5c9809285f [PrettyC1 Var Ganesh Sittampalam **20090224185520] hash: 0000000149-69dff8fceee5ec86b15c6b33ffe0164923bfc3336663ddd3895fa9defc966b7b [more Pretty instances Ganesh Sittampalam **20090224185526] hash: 0000000342-99ce87716916184ba7946ff9ebd5255723f9fee368890d7b2241441914befc73 [initial diagrams Ganesh Sittampalam **20090224190148] hash: 0000002091-062d1aa5d683e526fa0adb01f5fb885de239c75c5168be04cf9b84ed3f93b89d [problems with boxes Ganesh Sittampalam **20090225180526] hash: 0000000446-e4a8598389c64073143ddb944c39f41509a1ea88af2d9c1c3d8bf96e34b88720 [draw commutations (badly) Ganesh Sittampalam **20090225180533] hash: 0000002893-a9944374d8fd03dfec014f413d22c3f7bbeb6d9c88b4c8ef2ed771b4b95b14f8 [remove unneeded import Ganesh Sittampalam **20090225183231] hash: 0000000110-a2a0a6e69b9ef446ad6c437b7bd4a23969d230730ad287cc8aff965b961d5c25 [rename Lines to List Ganesh Sittampalam **20090225183247] hash: 0000003548-7819ea9ed8a6580a2baa6364b6c567586842082ce24dfa4ad44214e0528ba350 [make src/ directory Ganesh Sittampalam **20090225183734] hash: 0000003092-1b998fab9ab0f7ca4e33146f5c3137747ec1fef4e8a102b11e825c4c77fbeaa7 [rename target Ganesh Sittampalam **20090225183943] hash: 0000001036-dc0bdffd133886873f48391ec352b7d30d89f6dd7b3f6a652ade8f791091952e [rename precond/postcond Ganesh Sittampalam **20090225184949] hash: 0000002400-09e3c030f6790633d858f45da19f8eece9abe402aeee109f8ae0765d06e41178 [sort out some method naming Ganesh Sittampalam **20090225185549] hash: 0000001087-72d8218db0c47ecfa865be8f796339ddc6220a6cdd7066a78ae7075803b1f8b7 [add diagrams to Makefile Ganesh Sittampalam **20090225185721] hash: 0000001355-de7c7b2abe2b17511e01327e825e512d7c1f34264c03f12c82ac11c7d7bb786b [EDSL -> Language.DSEL Ganesh Sittampalam **20090225192108] hash: 0000003456-3b8d1b45d0eb06bef0431ca74fdcd1ea2727ec1e9974c46b6bb57bc61cfca745 [improve rendering Ganesh Sittampalam **20090226185644] hash: 0000001691-e15c9ce14d0979d8de61d2447c5c0c180b011b1c12876c8ad6fd139febf139bf [more diagram updates Ganesh Sittampalam **20090226191713] hash: 0000000984-c23e8e5709c770a5892658a703e8b329e269043e546d0112030dc4803360e912 [use Cont for size handling Ganesh Sittampalam **20090227064959] hash: 0000000837-714afb2ccd1b605a5d4576050e9d4ead1937c61ba9e48143574b8e85e998d0d0 [grid layout for commutations Ganesh Sittampalam **20090227180510] hash: 0000001694-09137974a8c614ca486fd3c24208d0701b9b6ab9acc3d795fe683a61c9d5ee2e [fix grid alignment Ganesh Sittampalam **20090227183410] hash: 0000000401-1b3ac8378aaeb6101b02d8da419255048b37450633bd4346bd61e5635b485e00 [reformat Ganesh Sittampalam **20090227183436] hash: 0000000337-426ec50a19fa1ad12e7e10dd80082617331ea229d3875783abded8e37171c121 [hack PatchPrint around a bit to allow line-breaks Ganesh Sittampalam **20090303095123] hash: 0000000794-86433f2e45a85f047c7b6826efd0cb750b9753da9736b6efe302bac8d9d5edfc [print commutation name in middle Ganesh Sittampalam **20090303095140] hash: 0000000986-bf79950396e18edb1829e13315d4a3bf4a408c9776dd1545c9affcc1a087a96f [handle rotation/reversal of diagram Ganesh Sittampalam **20090303115220] hash: 0000003086-774a811d0e3212d1fcebe1a0bda95ddbcd32683dc42b85221c0c37f90e0d8efe [move diagrams code into Commutation class Ganesh Sittampalam **20090303120148] hash: 0000004406-9ceef6b80909f568471dc291203f73c1235364883d7f4378a781570215f439f1 [diagrams for inverted and reversed Ganesh Sittampalam **20090303212455] hash: 0000003707-9f343f427180f12195123d502198f2cadca64a77071e44bb7d8cb27eede0768c [composed diagrams for Seq Ganesh Sittampalam **20090303234518] hash: 0000001338-f6f7d4a53cc9b3f3c466e9c34d03b00e90fc7befd7bc761d24e764a0067e1951 [break out decomposed case into separate class member Ganesh Sittampalam **20090304194509] hash: 0000003916-5adde60bdb5e6f747d1894d667ffef8257d36581bee57bda4d3a5fb135b1bc52 [add decomposition of SwapClipCommute Ganesh Sittampalam **20090304194530] hash: 0000000703-25c0491c02dcf81a43c712010a66bcac944124b6356b4c3d50e278358d0c2e0f [decompose slide Ganesh Sittampalam **20090305065617] hash: 0000000926-d33e12b356f2ae199c0deb526a684ede85afd2a0a624806a704daae1cd34889c [use acroread Ganesh Sittampalam **20090305065731] hash: 0000000141-92839697b6a4ec206f95b2428cb54228e63ab501ef7f4d38a6a3bc726efa5ea3 [add some more equalities Ganesh Sittampalam **20090306220830] hash: 0000000700-ee6117eb0f2eb1fd2b4a87adcd32e84f70838482372c3a97114e6ba7320d1d70 [tweak slide Ganesh Sittampalam **20090306220901] hash: 0000000605-a8f86ab5a23eaecafe0a29bbf391dd4b6d7dd7d2668cc5741df00225d4c7b1c2 [updates Ganesh Sittampalam **20090306220911] hash: 0000000413-554533761519283db63b2e1846b7f860c9c4247fd47b43402a993f020a8ed2c3 [multi-page output Ganesh Sittampalam **20090308032407 Ignore-this: 6a6a27123bce80087baa0a5a04151b82 ] hash: 0000000933-a4b2fe8111b42fcceb875179cd26516a258f47f25f51657a77a68f1139a9fe77 [use decent sized fonts and stop using textPaths hack Ganesh Sittampalam **20090310180520] hash: 0000001683-704fcfab7b560d7a0f0fbda433a595df16862c2ac14c33f7d9bfb880640f6bd9 [refactor to make fallback when no decomposed commutation explicit Ganesh Sittampalam **20090310183244] hash: 0000004453-eb9f79c70b68b8568f93cf9cf6d55c5eaa369082dc960767d83f13e7745df38f [nest decomposed diagrams Ganesh Sittampalam **20090311191214] hash: 0000004149-7c1b7807c0ff4138b1842d14d05ceea8b4cd5cefd947f63fa8b4562dd3965fb0 [move grid into diagrams package, and use cacheSize hack for now Ganesh Sittampalam **20090312215349] hash: 0000001338-cff95dd166ee130559d0d30cb11c52e9b6da27d457a099d87559e4b722c77c6a [just make one diagram Ganesh Sittampalam **20090312221217] hash: 0000000426-c6629ffdda84e6ca9da850a187f0202c91e41b944938955e6cc15bf35c99722a [nest diagrams Ganesh Sittampalam **20090313065416] hash: 0000000205-4679c90dc1ce2bd0bc93b3cf72c0a0836bfa487ca5f760ffbf75e41a24a4805f [avoid duplicated arrows in seq commutes Ganesh Sittampalam **20090324185205] hash: 0000003673-8e182454bdc0e22f0fbf01c454fe02c37c819b888b9f5040ad2e3c845bc6ab7c [fix warning Ganesh Sittampalam **20090417125154] hash: 0000000148-babe8120485e97ed1ec00b78a97f0f23dbbeea203e6da52472cfe5e23d7aa3a0 [exposing the rewriting process for diagrams Ganesh Sittampalam **20090418164108] hash: 0000002650-04ed84b4ae44ff3cc9c9fc64af20f5b05d5761429ffbaa093c52d577204bb762 [add a comment Ganesh Sittampalam **20090418164123] hash: 0000000129-ab784b0ff7543f88f362b4a59d5ca283ae6b45fe7b25f0d9468f0d83945a4898 [export eTCons Ganesh Sittampalam **20090418164127] hash: 0000000167-a1ef015ebe65e921993915d8b77bc6b0ba2e4cd8798baf1ac559dc590d16c11b [return simplification chain Ganesh Sittampalam **20090418164132] hash: 0000000233-3b7f06613c24ed97db472692a3e0f3ce5e7d42ba4377abce8379f3708b135953 [draw a simplifier chain of diagrams Ganesh Sittampalam **20090418164146] hash: 0000002425-ac3058f2f2312e27e0c9b024bef305442c1e2a832a0c7d45728b33da543992e1 [updates to diagrams with expressions Ganesh Sittampalam **20090423173350] hash: 0000006745-2edfb99e151323cf13eb424ca0a1eb0e9fc300f4c3220687241710019007a3d4 [bugfix (I presume..) Ganesh Sittampalam **20090423173630] hash: 0000000368-665e541773b4a03a83ce02736d40ff8f49f31368d68889d51a25b3a75c21d969 [lengthSolve Ganesh Sittampalam **20090425093436] hash: 0000003557-73eb8a71b95eebc4a3747d43efe1fd021812a6ee53521b7c81d62b86051862cc [mess around with rendering etc Ganesh Sittampalam **20090425093456] hash: 0000003665-c53ba488baf8da4f27fab88f1ade28f589a9f96c60fdcbde24d1db0025f06a8a [Monad/MonadPlus for CatList Ganesh Sittampalam **20090427175538] hash: 0000000493-1b29592e5f967b8a3121a9a381ae6efe3bec07a80d730e421160dcabd9eb90a5 [bug fix (surely?) Ganesh Sittampalam **20090427175621] hash: 0000000720-5560bc342ab022536b6226ce334142feb62650f56a37bfaa1c497d4687519ef1 [add OJoin Ganesh Sittampalam **20090427175633] hash: 0000001689-444d3ea00d56c43e5be38988ccfd7da5de1e537260ad2443a86f42ad46f0c9cb [comment fix Ganesh Sittampalam **20090427175647] hash: 0000000173-6b1e62d746e98238c98f07903365483fad73fdb0c59b36555571dcdd5cf3d9f5 [use RewriteListPair for now Ganesh Sittampalam **20090427175650] hash: 0000001998-97498ef698aadb8ac8a034b3689d616bfb64d1453f22734c07240cafcf9eb3a8 [add Trans Ganesh Sittampalam **20090428180653] hash: 0000000262-3f2ab80f9db3b5e1e54f7ea6f4d4e6f86fe1451760d679b97596fcbad58f8505 [add OPretty Ganesh Sittampalam **20090428180701] hash: 0000000345-3efc20578ca3ff7ffd9318d9aa5922c18830e83c6cf3853f470a8b14b9cf10b8 [add paths to rewrite rules Ganesh Sittampalam **20090428180715] hash: 0000007654-f70453e222b20122f770ee8f6c5efd8e6f18311eafd090e2dd6536ee85e558eb [highlight rewritten parts Ganesh Sittampalam **20090428180811] hash: 0000001259-769974034d786d39eac2426302b2fa0b74924101d634932b20e06b4e5f2e2e9d [add HasLength Ganesh Sittampalam **20090429055848] hash: 0000001673-1737f02e52dc63c613e57260b24c7af1babb166a8b566db95386abc51b14037a [missing path specifier Ganesh Sittampalam **20090429055920] hash: 0000000273-bc9008264bbfad2115ecee2f2cef64ddd5a95d09ff7a9a0dba5091816b7bc50d [add missing function cases Ganesh Sittampalam **20090429055942] hash: 0000001291-9def1e35f75ba956e86953c304492a14ecef1b28a4b734420907cffb6a74b38d [update sortCommutative Ganesh Sittampalam **20090429060042] hash: 0000000330-3ccf48e3703de4e9f850c66a33825a35fd0eda57a9f433850b301cf908f73128