Commit Graph

Select branches

Hide Pull Requests

dev

main

v0.1.0

v0.2.0

v0.3.0

v0.4.0

v0.4.1

v0.5.0

v0.5.1

v0.6.0

Mono Color

• cb38d936dc chore: repoint URLs at git.swaits.com and bump for release main swaits 2026-08-31 17:58:32 -06:00
• a068a982f7 chore: point repository at git.swaits.com swaits 2026-08-31 17:19:16 -06:00
• 5f933f98fa chore(release): 0.6.0 v0.6.0 dev swaits 2026-05-04 15:25:47 -06:00
• d8bda344fd safety(verify): Creusot-verified validator for the path-table safety predicates swaits 2026-05-04 14:29:47 -06:00
• 2d38af60f6 safety(audit): cargo-mutants reaches 98% coverage on the unsafe-touching codegen swaits 2026-05-04 14:26:48 -06:00
• ad2aa6e04d docs(safety): document the unsafe contract end-to-end swaits 2026-05-04 14:06:41 -06:00
• 98352b0e4d safety(codegen): compile-time const-eval checks for table invariants swaits 2026-05-04 14:04:48 -06:00
• b9645f80cb safety(codegen): debug_assert companion for every unsafe get_unchecked swaits 2026-05-04 13:56:03 -06:00
• da1f3046b4 docs(readme): qualify the no-unsafe claim swaits 2026-05-04 13:51:42 -06:00
• 2f37f261c5 docs(bench): refresh baseline.txt with post-opt numbers and rationale swaits 2026-05-04 13:36:31 -06:00
• 8cd1aea646 perf(timer): inline TimerTable::pop_expired_nonempty swaits 2026-05-04 13:17:59 -06:00
• d5ef6a6944 perf(codegen): get_unchecked for codegen table indexing swaits 2026-05-04 13:09:44 -06:00
• 915b7ce101 chore(bench): migrate dispatch harness from iai-callgrind to gungraun swaits 2026-05-04 12:55:03 -06:00
• 1f98a9bf5b chore(release): 0.5.1 v0.5.1 swaits 2026-04-29 09:19:33 -06:00
• 9eb1d10b28 chore(release): 0.5.0 v0.5.0 swaits 2026-04-28 20:53:28 -06:00
• 3fc0d7c57d feat(default)!: model default(...) as a real LCA-aware transition swaitsandClaude Opus 4.7 2026-04-28 20:09:46 -06:00
• 2e55484080 chore(release): 0.4.1 v0.4.1 swaitsandClaude Opus 4.7 2026-04-28 19:01:50 -06:00
• dc97419161 perf: precompute transition/dispatch/terminate paths; shrink TimerEntry to u64 swaitsandClaude Opus 4.7 2026-04-28 17:36:05 -06:00
• e633f5dc55 perf: O(H) lca() depth-walk + dispatch bench scoreboard swaitsandClaude Opus 4.7 2026-04-28 16:58:53 -06:00
• 4ea7463089 feat(observe)!: unify journal and trace into single observation pipeline v0.4.0 swaits 2026-04-28 14:33:50 -06:00
• a6d6cd2674 chore(release): 0.3.0 v0.3.0 swaits 2026-04-27 21:27:07 -06:00
• e183cdd95e feat(verify): discharge Creusot VCs end-to-end swaits 2026-04-27 20:15:12 -06:00
• 081bd28cca journal + determinism tests + Creusot verification scaffolding swaits 2026-04-27 14:50:03 -06:00
• 4d7baf7236 fix!: up-transitions no longer exit and re-enter the target ancestor v0.2.0 swaits 2026-04-22 16:54:36 -06:00
• bc7e17e58e chore: prepare 0.1.0 for crates.io publish v0.1.0 swaits 2026-04-22 09:04:03 -06:00
• 0341cf9379 initial commit: hsmc v0.2 with during: activities swaits 2026-04-16 13:02:51 -06:00