Commits · rust · Nils Fitinghoff / why3

Browse files

Feb 28, 2019
- clean up · a2ac6c6b
  nilfit authored 6 years ago
  
  a2ac6c6b
- add unsafe driver mapping int.Int to usize · a8dac7fd
  nilfit authored 6 years ago
  
  a8dac7fd
- add ToPrimitive to int.Int driver prelude · 3d728484
  nilfit authored 6 years ago
  
  3d728484
Jan 11, 2019
- add some error messages · bae4b4d0
  nilfit authored 6 years ago
  
  bae4b4d0
Nov 16, 2018
- remove unused try around Lists.prefix and chop. · 69ae2749
  nilfit authored 6 years ago
  69ae2749
- capitalize whyml · 32f6097f
  nilfit authored 6 years ago
  
  32f6097f
- remove print_todo · 09794e8a
  nilfit authored 6 years ago
  
  09794e8a
Nov 15, 2018
- remove option from Econst string option · 780895af
  nilfit authored 6 years ago
  780895af
- remove Rust.Dsyntax · 8b8b8663
  nilfit authored 6 years ago
  
  8b8b8663
Nov 09, 2018
- remove outdated comments/TODOs · 8f5c6138
  nilfit authored 6 years ago
  
  8f5c6138
Nov 06, 2018
- follow changes on master · d77f26b7
  nilfit authored 6 years ago
  d77f26b7
- fix mach int drivers · 1f650f7d
  nilfit authored 6 years ago
  
  1f650f7d
- fix missing arg counts · 85ea3b9e
  nilfit authored 6 years ago
  85ea3b9e
- add bigint for loops, make ranges inclusive · 666f8043
  nilfit authored 6 years ago
  
  666f8043
- add partial application and splitting into multiple calls · c3b9c04a
  nilfit authored 6 years ago
  c3b9c04a
- fix Papp ghost args, Elet(Lsym) and some other fixes · 473991fc
  nilfit authored 6 years ago
  473991fc
- driver: some mach modules, more consistent use of BigInt · b817894f
  nilfit authored 6 years ago
  
  b817894f
- generate mod.rs when interface extraction is enabled · 404cabc5
  nilfit authored 6 years ago
  
  404cabc5
- allow leading underscore in idents · 4665a626
  nilfit authored 6 years ago
  
  4665a626
- add printing of qualified idents · d550b7db
  nilfit authored 6 years ago
  d550b7db
- fix printing of 1-tuples · a6a074d1
  nilfit authored 6 years ago
  
  a6a074d1
- change first element of Estruct and Pde_str from rsymbol to ident · 3c52420d
  nilfit authored 6 years ago
  3c52420d
- fix printing of enum expressions · 9372a84f
  nilfit authored 6 years ago
  
  9372a84f
- add Eassign translation · 81de7472
  nilfit authored 6 years ago
  
  81de7472
- add translation of non-struct constructor expressions · 8e0823a8
  nilfit authored 6 years ago
  
  8e0823a8
- clean up · c1344915
  nilfit authored 6 years ago
  
  c1344915
- change box strategy: box only to break cycles · 9730d69f
  nilfit authored 6 years ago
  
  9730d69f
- don't box built-in types · 0872cdf7
  nilfit authored 6 years ago
  
  0872cdf7
- clean up after pattern boxing · 9f07b0cc
  nilfit authored 6 years ago
  
  9f07b0cc
- add box matching in patterns · 21889381
  nilfit authored 6 years ago
  21889381
- simplify detection of functions when translating types · 18255260
  nilfit authored 6 years ago
  
  18255260
- fix some warnings · 239eff71
  nilfit authored 6 years ago
  239eff71
- wip box aggressively, clean up later · cef08572
  nilfit authored 6 years ago
  cef08572
- wip boxing recursive datatypes · 4189fd9f
  nilfit authored 6 years ago
  
  4189fd9f
- struct and tuple expressions · 5ff2b7c1
  nilfit authored 6 years ago
  
  5ff2b7c1
- some comments · 7b61959d
  nilfit authored 6 years ago
  
  7b61959d
- add for loops and rust ranges (1..=7) · 5b19e8af
  nilfit authored 6 years ago
  
  5b19e8af
- add driver mapping int32 to i32 · 83b8674f
  nilfit authored 6 years ago
  
  83b8674f
- remove unused code · d6a512ea
  nilfit authored 6 years ago
  
  d6a512ea
- propagate lifetimes up to where they need to be declared · 11a70056
  nilfit authored 6 years ago
  11a70056