Code

Pretty print model as Essence#582

Code

Merged

niklasdewally merged 4 commits intomainconjure-cp/conjure-oxide:mainfrom nik/pr/tester-print-final-modelconjure-cp/conjure-oxide:nik/pr/tester-print-final-modelCopy head branch name to clipboardJan 10, 2025

+1,678-38

Commits

Commits on Jan 10, 2025

• impl Display for Model, printing it as Essence

  Show description for 379a688
  niklasdewally

  committed
  379a688

  Copy full SHA for 379a688

• tester: pretty print initial and rewritten models in human rule trace

  Show description for 5ce2491
  niklasdewally

  committed
  5ce2491

  Copy full SHA for 5ce2491

• refactor!: Change type of SymbolTable from HashMap to BTreeMap

  Show description for a38ba68
  niklasdewally

  committed
  a38ba68

  Copy full SHA for a38ba68

• fix: build.rs clippy warnings

  niklasdewally

  committed
  fe3e1ee

  Copy full SHA for fe3e1ee