Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 1e39b6c09ed42dc1cd1a3b20ba4ad0ea242cff1d
  • master default protected
  • extract-fix
  • extract-fix-1.0.0
  • extract-fix-master
  • rust
6 results
Created with Raphaël 2.2.028Feb11Jan16Nov1596531Oct3029262524232221191817161514121110985432128Sep27262524232120181413121110765431Aug302924222120161486130Jul2524201918171612117654228Jun27262524232221201918171615141312987654131May3029clean uprustrustadd unsafe driver mapping int.Int to usizeadd ToPrimitive to int.Int driver preludeadd some error messagesremove unused try around Lists.prefix and chop.capitalize whymlremove print_todoremove option from Econst string optionremove Rust.Dsyntaxremove outdated comments/TODOsfollow changes on masterfix mach int driversfix missing arg countsadd bigint for loops, make ranges inclusiveadd partial application and splitting into multiple callsfix Papp ghost args, Elet(Lsym) and some other fixesdriver: some mach modules, more consistent use of BigIntgenerate mod.rs when interface extraction is enabledallow leading underscore in identsadd printing of qualified identsfix printing of 1-tupleschange first element of Estruct and Pde_str from rsymbol to identfix printing of enum expressionsadd Eassign translationadd translation of non-struct constructor expressionsclean upchange box strategy: box only to break cyclesdon't box built-in typesclean up after pattern boxingadd box matching in patternssimplify detection of functions when translating typesfix some warningswip box aggressively, clean up laterwip boxing recursive datatypesstruct and tuple expressionssome commentsadd for loops and rust ranges (1..=7)add driver mapping int32 to i32remove unused codepropagate lifetimes up to where they need to be declared