{"shas":[["5b5a1be8cb28e478ea6dda07f24298f95749ab0c","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","sorted xref tables","Andreas Bogk"],["4526d769dbb346db472b61d7ca02e89231519eb4","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","Code for printing nat","Andreas Bogk"],["60b0939ff053bb836a072704947f5245a28fdf36","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","Hook up printing to main","Andreas Bogk"],["a604bfb0a5806370f07e1b79810514f96fc630eb","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","More efficiency by using optimizing compiler and low-level div and mod routines.","Andreas Bogk"],["7c00adf2285f40cfa303e3ced8f94d6d9937c97b","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","more performance hacks. Starts becoming reasonable.","Andreas Bogk"],["53082efd0b57d5e2b49d61241adc9456a8d6b6df","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","parsing strings (work in progress)","Andreas Bogk"],["4ae32d7077e737c5c8937f48dfa9726806357fab","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","parsing strings (almost works, needs octal escaping now)","Andreas Bogk"],["1d760765af4a1293d3ababa7d3b820a703991272","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","octal escaping for strings, parsing strings done","Andreas Bogk"],["9b001d26aa48416be105b24f369483dff547ca68","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","escapes for newlines, now really done","Andreas Bogk"],["27197c18fa9a59b163d6243fc37b97b2265823ef","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","use notation to simplify string parser expression","Andreas Bogk"],["c7d500987ca3e4368f7a504a225dfb70fdc68c25","b15c342f1de186996bcca5e1a23cd684d2fadb32@andreas.org","match_with_level fix (doesn't work yet...","Andreas Bogk"],["659528093d8360e5f383fc5819c941cdd05c2a59","f4b727deddc2341ff0991699a016ee28a757762c@informatik.hu-berlin.de","fixed obligation solving for match_with_level","Marco Schoepl"]],"repo":"glug/pdfparser","actor":"glug","ref":"refs/heads/master","size":12,"head":"659528093d8360e5f383fc5819c941cdd05c2a59","actor_gravatar":"bbd9ac04d56f955c822cb28b5ab72fda","push_id":31824663}