Commit Graph

10 Commits

Author SHA1 Message Date
3d3b047097 feat: Lint and format 2023-06-17 21:14:17 +02:00
2a469e10e8 feat: Lint using very_good_analysis
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
2023-01-14 14:53:33 +01:00
9bdff5ae01 release: Bump version 2022-11-05 13:21:28 +01:00
96edecdf2a ci: Remove dependency on Flutter (Take 2)
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2022-09-28 14:14:29 +02:00
086e41f2bb ci: Remove dependency on Flutter
Some checks failed
ci/woodpecker/push/woodpecker Pipeline failed
2022-09-28 14:13:29 +02:00
b07e526b6a release: Bump 2022-08-20 15:08:28 +02:00
e24ef0c3d5 feat: Implement a mathematical implication 2022-05-13 13:46:41 +02:00
f92bef517f feat: Implement a DFA and Mealy Automaton 2022-05-13 13:40:52 +02:00
7fa0876b08 meta: Switch to selfhosted pub repository 2022-04-30 16:07:08 +02:00
020c592d45 Initial commit 2022-04-27 21:49:36 +02:00