- feat(evaluator) push frame for if condition
Lach 2020-08-26 #21c8e9b
- fix(evaluator) fix padding argument in yaml
Lach 2020-08-26 #0bd0b86
- fix(parser) handle empty lines in text block
Lach 2020-08-26 #0f6b269
- feat add -c, -o, -m flags
Lach 2020-08-26 #295345a
- feat(cli) output file options
Lach 2020-08-26 #946acf9
- feat(evaluator) readable error messages
Lach 2020-08-26 #686e5cc
- feat(parser) impl Display for op types
Lach 2020-08-26 #eaf3cd1
- ci add release
Lach 2020-08-25 #bcbd397
- build revert const fns with match
Lach 2020-08-25 #c49885a
- ci add lints
Lach 2020-08-25 #ee64dfb
- ci add clippy action
Lach 2020-08-25 #396a7a5
- ci use cargo directly, without makefile
Lach 2020-08-25 #3e45ba7
- style increase clippy linting level
Lach 2020-08-25 #3f8fb69
- feat --tla-str-file
Lach 2020-08-25 #d13245a
- docs update benchmark status
Lach 2020-08-23 #cb35228
- fix `Intrinsic` typo leftovers
Lach 2020-08-23 #66efc47
- docs(evaluator) typo `files` -> `file`
progrm_jarvis 2020-08-08 #b04b14f
- docs cleanup evaluator's docs
progrm_jarvis 2020-08-07 #f44bc09
- fix Typo `Intristic` -> `Intrinsic`
progrm_jarvis 2020-08-03 #e9a9036
- docs Fix docs of trace.rs
progrm_jarvis 2020-08-03 #a89c869
- docs Fix docs of tla.rs
progrm_jarvis 2020-08-03 #788037f
- docs Fix docs of manifest.rs
progrm_jarvis 2020-08-03 #94511c4
- docs Add missing docs to lib.rs of CLI
progrm_jarvis 2020-08-03 #2c0daa5
- docs fix CLI's `lib.rs`
progrm_jarvis 2020-08-03 #aeb6b61
- docs fix `ExtVarOpts`
progrm_jarvis 2020-08-03 #e20e28e
- docs fix `DebugOpts`
progrm_jarvis 2020-08-03 #6c1a2fa
- docs refactor README.md
progrm_jarvis 2020-07-21 #656c8fd
- ci fix clippy warnings
Lach 2020-08-23 #46fae7b
- build update flake cargoSha256
Lach 2020-08-23 #0629674
- perf move error and stacktrace to heap
Lach 2020-08-23 #d859bb9
- perf use fxhash
Lach 2020-08-23 #d09f1c2
- build missing sort
Lach 2020-08-23 #84fe36c
- perf unify function calls
Lach 2020-08-23 #a5391ab
- chore upgrade clap
Lach 2020-08-23 #bc5c3a5
- perf reduce error enum size
Lach 2020-08-23 #57ad354
- feat multi and stream manifests
Lach 2020-08-23 #6e40dd4
- feat native callbacks
Lach 2020-08-23 #020afa6
- feat yaml stream output
Lach 2020-08-22 #1feb056
- feat minify json
Lach 2020-08-22 #ce6eeac
- fix add fract call in integer check
Lach 2020-08-15 #4dbbc6e
- fix convert to integer number on zero fraction
Lach 2020-08-15 #13d4904
- build add nix flake
Lach 2020-08-15 #76dc24d
- feat(evaluator) serde_json integration
Lach 2020-08-15 #409a660
- refactor(evaluator) extract json to module
Lach 2020-08-15 #d445938
- chore bump versions
Lach 2020-08-03 #219ced5
- build stable rustc support
Lach 2020-08-03 #1d4b842
- fix use vanilla default for line-padding
Лач 2020-07-24 #bb6d643
- feat add intristic calls to stack
Лач 2020-07-24 #56c40a9
- fix use new to_string method
Лач 2020-07-24 #ba7b562
- feat match jsonnet json formatting
Лач 2020-07-24 #bb39159