Code

Use the new trait solver.#1234

Code

Merged

jhjourdan merged 2 commits intomastercreusot-rs/creusot:masterfrom new_trait_solvercreusot-rs/creusot:new_trait_solverCopy head branch name to clipboardNov 14, 2024

+687-1,052

Commits

Commits on Nov 13, 2024

• Use the new trait solver.

  jhjourdan

  committed
  ff8f1de

  Copy full SHA for ff8f1de

Commits on Nov 14, 2024

• Normalize types when normalizing terms in normalize.rs, and therefore avoid some normalization in term.rs and vcgen.rs.

  jhjourdan

  committed
  89e6bdf

  Copy full SHA for 89e6bdf