- build bump version for 0.3.3 release
Yaroslav Bolyukin 2021-01-06 #5ffc4ed
- build upgrade dependencies
Yaroslav Bolyukin 2021-01-06 #feb1a4c
To match git signature
Fixes #28
Yaroslav Bolyukin 2021-01-06 #9367ffe
- build bump version for 0.3.2 release
Yaroslav Bolyukin 2020-11-17 #55a12da
Upgraded clap, thiserror
Yaroslav Bolyukin 2020-11-17 #f410520
Prevent changing meaning of std in desugared expressions
Yaroslav Bulyukin 2020-10-20 #ce2d8d5
Read code from stdin
Yaroslav Bulyukin 2020-10-20 #7e00c7d
Help headings and colors
Yaroslav Bulyukin 2020-10-19 #8a2b974
- feat help headings and colors
Yaroslav Bolyukin 2020-10-19 #88be4ee
- chore bump versions to 0.3.1
Yaroslav Bolyukin 2020-09-12 #23c027a
- feat(cli) output file options
Lach 2020-08-26 #946acf9
- feat --tla-str-file
Lach 2020-08-25 #d13245a
- 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