trace-contract

Build status: failed missing license metadata

README Download
Authors
Documentation
    Tags
      License
        Last updatedTuesday, December 17th, 2024 4:23:17pm (UTC)
        Ring2
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaulthttps://github.com/camoy/trace-contract.git?path=trace-contracta3bb010fbeb9d3ecf8c700d376d1640362ae37f9
        Last checkedSunday, December 22nd, 2024 2:49:48am (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/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/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