Code

Compile more of ink_env.v 13#222

Code

Draft

bartlomiejkrolikowski wants to merge 10 commits intomainformal-land/coq-of-rust:mainfrom bk@compile-more-of-ink_env-13formal-land/coq-of-rust:bk@compile-more-of-ink_env-13Copy head branch name to clipboard

+2,440-441

Commits

Commits on Sep 25, 2023

• trying to implement extraction of associated types' bounds' instances

  bartlomiejkrolikowski

  committed
  bac8d33

  Copy full SHA for bac8d33

Commits on Sep 26, 2023

• changes to collect supertraits

  bartlomiejkrolikowski

  committed
  335b5af

  Copy full SHA for 335b5af

• add a separate file for generic algorithms

  bartlomiejkrolikowski

  committed
  b864396

  Copy full SHA for b864396

Commits on Sep 27, 2023

• more functions in algs.rs

  bartlomiejkrolikowski

  committed
  03b0b87

  Copy full SHA for 03b0b87

• fixed an error in algs.rs

  bartlomiejkrolikowski

  committed
  8ca788a

  Copy full SHA for 8ca788a

• add a function in in algs.rs

  bartlomiejkrolikowski

  committed
  0fd0be2

  Copy full SHA for 0fd0be2

• replaced HashMap with TopologicalSort in the type of supertraits_map

  bartlomiejkrolikowski

  committed
  f242695

  Copy full SHA for f242695

• implement printing traits, topologically sorted

  bartlomiejkrolikowski

  committed
  28cbe0d

  Copy full SHA for 28cbe0d

• saving the state of work

  bartlomiejkrolikowski

  committed
  b02768d

  Copy full SHA for b02768d

Commits on Sep 28, 2023

• saving the state of work: used 'all:' in tactics

  bartlomiejkrolikowski

  committed
  4072588

  Copy full SHA for 4072588