Commit History

Author SHA1 Message Date
  Andreas Rumpf cf6dd57efe IC: next steps (#16632) 3 years ago
  Araq 07d465ca42 [refactoring] remove unused imports in the compiler and in some stdlib modules 5 years ago
  Andreas Rumpf 268260953c completed VM support for incremental compilations 6 years ago
  Andreas Rumpf b5194f592c WIP: an API for VM replay global state support 6 years ago