- refactor move state to global
touwqtkw Yaroslav Bolyukin 2026-02-08 #1c69f1a
- refactor saner imports from TLA/std.extVars
tkuxywos Yaroslav Bolyukin 2026-02-08 #772afa0
- build merge dependency updates
qwomztul Yaroslav Bolyukin 2026-02-07 #8a3d104
- refactor drop derivative dependency
Yaroslav Bolyukin 2024-11-24 #6baa18d
- refactor remove manual ThunkValue implementations
Yaroslav Bolyukin 2024-08-30 #562e7b7
- style fix clippy warnings
Yaroslav Bolyukin 2024-08-26 #7cd3ab4
- feat simplify Thunk creation with closure syntax
Yaroslav Bolyukin 2024-08-26 #7cdcae3
- fix bindings param optionality
Yaroslav Bolyukin 2024-06-18 #934a80c
- refactor add proper getters for LocExpr
Yaroslav Bolyukin 2024-06-18 #3e23ebe
- feat default params in function description
Yaroslav Bolyukin 2024-06-18 #6bf55d2
* build: bump Rust version and update dependencies
* chore: resolve all reported Clippy issues
* build: use the correct Toolchain version
* ci: update GitHub Workflows to use valid actions
* ci: add permissions to `clippy_check`
* chore(GH-160): bump dependencies and disable `thread_local_initializer_can_be_made_const` lint
* chore(GH-160): try fixing `thread_local_initializer_can_be_made_const`
* fix(GH-160): `serialized-stdlib` feature
* ci(GH-160): fix `Test Suite`
* fix(GH-160): resolve `insta` deprecation
* ci(GH-160): add formatting check job
* ci(GH-160): reorganize jobs
* style(GH-160): fix formatting
* build(GH-160): fix `#[cfg(never)]`
* build(GH-160): `#[allow(dead_code)]` on `FinishedRanger::end_token`
* build(GH-160): allow more dead code
* test(GH-160): fix `golden.rs`
Petr Portnov | PROgrm_JARvis 2024-05-10 #c5b983e
- refactor fix clippy warnings
Yaroslav Bolyukin 2024-04-07 #a9100ab