AeneasVerif/eurydice

Issues

• Drop (empty) unused structs

  #107 opened 17 days ago by franziskuskiefer
  2

• Invalid C code for temporary borrows

  #106 opened 18 days ago by franziskuskiefer
  0

• Support ? operator

  #105 opened 18 days ago by franziskuskiefer
  0

• Associated constants not supported

  #104 opened 18 days ago by franziskuskiefer
  0

• Enums are not translated correctly

  #102 opened 19 days ago by franziskuskiefer
  0

• Tuple structs (empty field names)

  #96 opened 19 days ago by franziskuskiefer
  2

• Subtype mismatch

  #100 opened 19 days ago by franziskuskiefer
  0

• Subtype mismatch on Option as_ref

  #99 opened 19 days ago by franziskuskiefer
  0

• Mutable slices with ranges

  #14 opened 7 months ago by franziskuskiefer
  3

• subtype mismatch in black_box

  #37 opened 6 months ago by franziskuskiefer
  1

• Remove F* in flake

  #88 opened a month ago by msprotz
  5

• Error on `core::cmp::min` call

  #49 opened 5 months ago by jschneider-bensch
  10

• Improve naming

  #18 opened 7 months ago by franziskuskiefer
  2

• Support `from_fn` for two-dimensional arrays.

  #39 opened 5 months ago by karthikbhargavan
  5

• Allow order of items in an `impl` to be different from the `trait`

  #64 opened 4 months ago by karthikbhargavan
  0

• Add a license

  #44 opened 4 months ago by franziskuskiefer
  1

• Drop builtins when unused

  #45 opened 5 months ago by franziskuskiefer
  0

• Make items not covered by the config private

  #35 opened 6 months ago by franziskuskiefer
  0

• Duplicate `unused` variables are generated

  #31 opened 6 months ago by franziskuskiefer
  0

• Clean up config.yml for mlkem using charon#216

  #16 opened 6 months ago by msprotz
  1

• Fix Compound literals for MSVC C++

  #24 opened 6 months ago by franziskuskiefer
  1

• Improve the code to use a name matcher map instead of long lists of patterns

  #20 opened 7 months ago by msprotz
  2

• Build fails with Terminal 0.3.0

  #10 opened 7 months ago by franziskuskiefer
  4

• Static loop unrolling fails if loop body contains a struct

  #19 opened 7 months ago by msprotz
  0

• Do a Eurydice-specific pass that marks every monomorphized function (and possibly type) as private

  #17 opened 7 months ago by msprotz
  0

• Wrong code gen (map)

  #13 opened 7 months ago by franziskuskiefer
  1

• Missing Into implementations

  #12 opened 7 months ago by franziskuskiefer
  2

• Constant multidimensional array

  #15 opened 7 months ago by franziskuskiefer
  0