Skip to content

Releases: lemcoder/logik

0.0.3

15 Nov 20:01
@lemcoder lemcoder
0.0.3
3f21efa
Compare
Choose a tag to compare
0.0.3 Latest
Latest

Added

  • LinuxX64 target
  • LinuxArm64 target
  • Reduced binary size
Assets 5
Loading

0.0.2

14 Nov 22:01
@lemcoder lemcoder
0.0.2
c58c3b0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.2

Added

  • Counterexamples
  • Pretty print results
  • Reduced executable size
Assets 3
Loading

0.0.1

14 Nov 20:08
@lemcoder lemcoder
0.0.1
ce80e98
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
0.0.1

Added

  • simple tautology check for logic expressions.
  • Ability to run with console parameters
Assets 3
Loading