Starting with inventory:
0000020689-0871dcb440158007a9cd7829fe15df66c03986a1429e02b6f05637923d937bd3
[TAG 0.5.9.5 (improved HO, improved memory usage through heap-based search space)
martin.hofmann@uni-bamberg.de**20090929091234] 
hash: 0000003724-3757e36e319c172e90fe9a32f5c52ae833e9d99a95ee1fc8769924523afd524d
[new examples
martin.hofmann@uni-bamberg.de**20091007091031] 
hash: 0000005268-f70a46088826432720bfa436a5d2a07126a31b29973aac599e55e3e2acccd8c3
[hard coded flag for logging
martin.hofmann@uni-bamberg.de**20091007091127
 I have to test if setting a hard coded flag whether to log or not makes the compiler to optimize logging code away
] 
hash: 0000000480-83c733852b9a907b656186c6b584180654ece4efd26e89314e7e86b5caa63242
[instance Ord RatingData
martin.hofmann@uni-bamberg.de**20091007091321] 
hash: 0000000907-cc03d9a22c20789d26c9cdf020303c76c31d1eb6b16ad269182cb01a3c00fcf1
[avoid term functions
martin.hofmann@uni-bamberg.de**20091007091418] 
hash: 0000000390-6bb3d6c77a29d4e57030415aedeac2d90b44ae9214cc7a248d0b708959238ab3
[keep track of types when unify Expressions
martin.hofmann@uni-bamberg.de**20091007092044
 Only check for type consistency when variables are involved. Improved matching/unification of types implemented. However, this is far from beeing perfect.
] 
hash: 0000017742-5cc033c47c060acc68fa0acfd5ebfb882db6c995af2a77622079642b1d78b453
[sections as argument functions for folds, dirty map detection
martin.hofmann@uni-bamberg.de**20091007092320] 
hash: 0000009424-92fad32980663f0ab8386bc26e085028b62586e2dbbb01eddc9413713f54241f
[trivia
martin.hofmann@uni-bamberg.de**20091007092503] 
hash: 0000000861-9e2c465dbc3fe6663ee0b307b1db5285fc466ec178aa11e4aed4603adc5a63f2
[helpers for building types
martin.hofmann@uni-bamberg.de**20091007132807] 
hash: 0000001930-6702831be5bf1aea1e9527353b246370a4e999e941f759f32da3fdfceec049cd
[typos
martin.hofmann@uni-bamberg.de**20091007133247] 
hash: 0000000361-11e9e3b662c564594eaee9893e2b5d342dd0419371252f07f551f10f67595e23
[BUGFIX: adapt type when applying substitution
martin.hofmann@uni-bamberg.de**20091007133305] 
hash: 0000001914-13501e1b31bac19b28ae85f3101fb7bc42d12779c240944ec011812ab74e23da
[debug Hook to output result as raw data
martin.hofmann@uni-bamberg.de**20091007150043] 
hash: 0000000894-82c2a00646f4db277a8ed6e2bb3c739725c5d4fb2f01e16f07466ba1af8b746b
[BUGFIX: if multiple direct calls possible, take this with smallest CallRel
martin.hofmann@uni-bamberg.de**20091007150135] 
hash: 0000001351-d5cab8f7e475f90f3e845ec2ad144b4b9c2e84ee3d85f51f248d5f7ee7ce773f
[BUGFIX: sometimes, modified arg fun of map, filter was not a function anymore
martin.hofmann@uni-bamberg.de**20091007155701] 
hash: 0000003739-7ef44e6db1f83e342012c8d0c59c0e7d9c0bee7e79e5d402cab8f1b108f2f13f
[HypoSpace as BagHeap, storing values with same key in a Sequence, new module BagHeap
martin.hofmann@uni-bamberg.de**20091008092717] 
hash: 0000006178-f27ead520a8a39cf5467e38e8dd8f6c412540ad64294a215d052fc389ac76467
[trivia
martin.hofmann@uni-bamberg.de**20091008092848] 
hash: 0000000465-507411825d2a35d5dae8b32b82fa363ac1fc773479493b43b8883685baf70a83
[BUGFIX: equal vars were added to substitution during unification
martin.hofmann@uni-bamberg.de**20091008142332] 
hash: 0000000417-b14de771fda49ad336a7174402c46deacb7db714912afdcd8d913a392227042b
[ruledevelopments are now operators on hypothesis, extended logging
martin.hofmann@uni-bamberg.de**20091008142415] 
hash: 0000007682-37b8639e59b2892d4a8305ea7420ac4bc62ed30c9284fc7c6b667955defefd87
[helper headM in Util, output raw dI/O data when in debug
martin.hofmann@uni-bamberg.de**20091009080017] 
hash: 0000003416-2c53adac5decb3ae6031f784e6ebaca792af45baf88d5abda7e1bc35855f073b
[BUGFIX: check for empty I/os when introducing auxiliary for HO
martin.hofmann@uni-bamberg.de**20091009080214] 
hash: 0000001083-1cfef54358feba8a61e4c3acd228b99de892edbabce4b181488f748e64f4a543
[BUGFIX: applying substitution destroyed types
martin.hofmann@uni-bamberg.de**20091009110713] 
hash: 0000002139-ed776b41ad22c8aa0398c76abc6d8ebaf17141575a39852784ece83744719165
[Problems with dirtyMap and polymorphic antiunification -> disabled
martin.hofmann@uni-bamberg.de**20091009110804] 
hash: 0000003312-8cbc4cc8a5135134d759604a940ee91199f54a7692c0fbb82c505dc4d80a99fc
[Try to switch logging on/off via compiler optimization
martin.hofmann@uni-bamberg.de**20091009110905] 
hash: 0000000794-d388c9cb398c145cc8fb47914fdf1a28418cb75171d692608a820561f1bae9b0
[BUGFIX: error in maMap in UniProp
martin.hofmann@uni-bamberg.de**20091009111029] 
hash: 0000000279-0cc95ab0166037e0038839fd94ee6b21a69519fab09ccab5781a953b4d14c8a0
[examples
martin.hofmann@uni-bamberg.de**20091009111229] 
hash: 0000000288-122a0f392e16895fb7260c70dff43816da316b052a87497f016490e347175b30
[Pepper function
martin.hofmann@uni-bamberg.de**20091012150553] 
hash: 0000001091-c0c61b319f3d22da7ffdc36b9495b1a1998805286573f2d88c144afe4bea700c
[put Log in separate file
martin.hofmann@uni-bamberg.de**20091012150719] 
hash: 0000007468-a04b6bb8a95fa715561105a13b92d82dfe6e2eecae06560872e44331d55c908c
[print rating with hypothesis
martin.hofmann@uni-bamberg.de**20091012150804] 
hash: 0000005138-056e1049ab9504ffa1c51261156a80c7de89e5f62ab2b36b57340dd2e5a69b8a
[Bugfix in naive map, naive map is now last fallback if fold fails.
martin.hofmann@uni-bamberg.de**20091012151248] 
hash: 0000007411-bbac7f5ad353966eb0e64cd773c45b6282e271e64162283b314029541e9bd0fd
[implemented siplification based on a hypo with its call graph
martin.hofmann@uni-bamberg.de**20091013161704] 
hash: 0000006160-7e615e59d4218bc8f07617bf46cf6a645339b6e66347e7d239d80d8e45d4419a
[trivia and examples
martin.hofmann@uni-bamberg.de**20091013161827] 
hash: 0000002504-c8cd4170154ceced426efa9a93a316214c74b01eef1b5484ba925c4c8d1e81d2
[output raw data to stdout
martin.hofmann@uni-bamberg.de**20091014073622] 
hash: 0000001741-97087a57169ff7ecc4756d7ebd2d43b930f7ca85a5bb9db6ad485316dc5cf1b2
[compute dangling nodes in a call graph, annex nodes and combine ingoing and outgoing edges
martin.hofmann@uni-bamberg.de**20091014074100] 
hash: 0000002672-2394459587849484bc907ebec3ad69e55faa7c1e84752c62e9733d07cdd02f8c
[do not simplify open rules
martin.hofmann@uni-bamberg.de**20091014074136] 
hash: 0000000451-6f1c42ccc094bd56211d6f483ef67a91eb4c323017147cead06baf5b618ebeb3
[renaming danglingFuns to annexCandidates, change return type of simplifiedBindings
martin.hofmann@uni-bamberg.de**20091014090212] 
hash: 0000001517-d7860675bf1206c5ad5df90a8d6603355b5ffa3114015f1d19a687c527bbefa3
[code cleaning
martin.hofmann@uni-bamberg.de**20091014090553] 
hash: 0000000232-c486a6d526ec768fb4297bab0a2eea2acb62586c6f8e039305eb27eec28c8bb7
[count loops on CallDep
martin.hofmann@uni-bamberg.de**20091014113758] 
hash: 0000000777-24931fc63fc764b7ff74e4ba573e6969fc4e569dfe9cfa64a6bfd7988d19567f
[started working on new heuristic, still commented
martin.hofmann@uni-bamberg.de**20091014113825] 
hash: 0000001842-3b60158f60f3ab6bc0b2278a8bd23a0e790a77a3d62973e8798c278f7c696928
[commented tracings, maybe usefull later
martin.hofmann@uni-bamberg.de**20091014113948] 
hash: 0000000355-aafb50f7823c54f058f721538bf12a516dd886a253b705748d91dbad94687b0c
[Function names as TVarE
martin.hofmann@uni-bamberg.de**20091019065438] 
hash: 0000000176-36ae1e9b41c1b5e7911597c207c4713a0d91a865a16985812160552fc67157a2
[default time of 0.0001s for runtimes below time precision
martin.hofmann@uni-bamberg.de**20091019065547] 
hash: 0000000279-37ca6c112e54ae5ab735b3befd61b1f8048408560c363a4edf850f48c0fb4408
[versioning
martin.hofmann@uni-bamberg.de**20091019065721] 
hash: 0000000189-fe9c823f65fd6d38295865a75b58479a72068c79494bafaf230672b61728bd13
[MockLog for not logging (not used)
martin.hofmann@uni-bamberg.de**20091019080204] 
hash: 0000001872-5998c96381651fbb2becf8daf03493c0491f01a20c7e6cac7c11beba005dda0c
