trace-contract

Build status: failed missing license metadata

Documentation README Download
Authors
Documentation
Tags
    License
      Last updatedMonday, June 30th, 2025 9:07:23pm (UTC)
      Ring1
      ConflictsNone
      Dependencies
      Most recent build results
      Version Exceptions
      VersionSourceChecksum
      defaulthttps://github.com/camoy/trace-contract.git?path=trace-contractd5356800da7c162e7ca72d2553a54ce5df33b910
      Last checkedMonday, June 30th, 2025 9:07:23pm (UTC)
      Last editedTuesday, December 17th, 2024 4:23:17pm (UTC)
      Date addedTuesday, December 17th, 2024 4:23:17pm (UTC)
      Modules
      • trace-contract/example/factory-shared.rkt
      • trace-contract/example/shared.rkt
      • trace-contract/example/free.rkt
      • trace-contract/example/nested.rkt
      • trace-contract/example/listener.rkt
      • trace-contract/example/increment.rkt
      • trace-contract/example/bank.rkt
      • trace-contract/model/compiler.rkt
      • trace-contract/example/indy-ignore.rkt
      • trace-contract/example/factory.rkt
      • trace-contract/example/suspect.rkt
      • trace-contract/test/trace-contract-macro.rkt
      • trace-contract/example/util/test.rkt
      • trace-contract/test/util.rkt
      • trace-contract/test/decl.rkt
      • trace-contract/example/monotone.rkt
      • trace-contract/model/syntax.rkt
      • trace-contract/example/step.rkt
      • trace-contract/example/combine.rkt
      • trace-contract/example/fold.rkt
      • trace-contract/example/merge.rkt
      • trace-contract/example/partial-order.rkt
      • trace-contract/example/explain.rkt
      • trace-contract/example/logic.rkt
      • trace-contract/example/global-fold.rkt
      • trace-contract/example/bank-oo.rkt
      • trace-contract/example/string.rkt
      • trace-contract/test/attribute-contract.rkt
      • trace-contract/example/reset.rkt
      • trace-contract/example/increase.rkt
      • trace-contract/example/injective.rkt
      • trace-contract/example/lock.rkt
      • trace-contract/example/util/red-black-tree.rkt
      • trace-contract/example/mutable-key.rkt
      • trace-contract/model/semantics.rkt
      • trace-contract/example/all.rkt
      • trace-contract/example/concurrent.rkt
      • trace-contract/example/has-next.rkt
      • trace-contract/example/multi-blame.rkt
      • trace-contract/example/files.rkt
      • trace-contract/example/take5.rkt
      • trace-contract/model/test.rkt
      • trace-contract/scribblings/trace-contract.scrbl
      • trace-contract/example/draw.rkt