Skip to content

Labels

Labels

  • Task operating on the stevia_ast crate in isolation.
  • Task operating on the stevia_bitblaster crate in isolation.
  • Task operating on the stevia_bitvec crate in isolation.
  • Task for the continuous integration of stevia.
  • Task operating on the stevia_parser crate in isolation.
  • Task operating on the stevia_simplifier crate in isolation.
  • Any stevia related task that is too general to be further specialized.
  • A bug or unwanted behaviour that needs to be fixed.
  • An enhancement or new feature.
  • A task to improve performance (regression) of some part of the code base.
  • A refactoring or restructuring task.
  • A duplicated issue.
  • A question.
  • A task that is considered to be simple to implement.
  • A task that is considered to be hard to implement.
  • A task that is considered to be moderately hard to implement.
  • You need to be super sayan in order to implement this.