carthage-software
suffete
Blog
Docs
Changelog
Blog
Docs
Changelog
Overview
Branches
Benchmarks
Runs
Performance History
No performance history available yet
Once you have some commits, you will be able to see the performance history of your primary branch.
Latest Results
refactor: rename modules to lattice/join/prelude and split subtype rules per family Signed-off-by: azjezz <azjezz@protonmail.com>
main
2 minutes ago
feat: add scalar lattice subtype rules to comparator Signed-off-by: azjezz <azjezz@protonmail.com>
main
37 minutes ago
refactor: split structural canonicalization out of intern_type into a separate combiner module Signed-off-by: azjezz <azjezz@protonmail.com>
main
2 hours ago
feat: add subtype comparator skeleton with axiom rules Signed-off-by: azjezz <azjezz@protonmail.com>
main
2 hours ago
refactor: rename atoms to elements; add structural canonicalization Signed-off-by: azjezz <azjezz@protonmail.com>
main
3 hours ago
feat: add typed construction sugar on ElementId and TypeId Signed-off-by: azjezz <azjezz@protonmail.com>
main
3 hours ago
docs: mention Mago in list of static analyzers that their types should be representable in suffete obviously Signed-off-by: azjezz <azjezz@protonmail.com>
main
3 hours ago
docs: add carthaginian general before the sophetim banner Signed-off-by: azjezz <azjezz@protonmail.com>
main
4 hours ago
Latest Branches
CodSpeed Performance Gauge
N/A
Add CodSpeed performance benchmarking integration
#1
7 hours ago
8d59d81
codspeed-wizard-1777173948161
© 2026 CodSpeed Technology
Home
Terms
Privacy
Docs