- refactor saner imports from TLA/std.extVars
tkuxywos Yaroslav Bolyukin 2026-02-07 #772afa0
- build merge dependency updates
qwomztul Yaroslav Bolyukin 2026-02-07 #8a3d104
- refactor move push_frame out of State struct
Yaroslav Bolyukin 2024-05-28 #7b38a7f
- feat impl ContextInitializer for Option<impl ContextInitializer>
Yaroslav Bolyukin 2024-05-27 #bc5db17
- refactor add proper getters for LocExpr
Yaroslav Bolyukin 2024-05-27 #3e23ebe
- refactor drop interior mutable settings from State
Yaroslav Bolyukin 2024-05-19 #afca77d
- refactor fix clippy warnings
Yaroslav Bolyukin 2024-04-07 #a9100ab
- doc: move lints to Crates.io
Yaroslav Bolyukin 2024-03-17 #d78cbb7
- style fix clippy warnings
Yaroslav Bolyukin 2024-03-03 #0764805