Skip to content

Make open sourced UTBot Java #2

Description

@viktoriia-fomina
  • Change local repository into maven central.
  • Add native z3 libraries as local dependencies (build.gradle in utbot-framework).
  • Solve issue Add our Soot as a dependency #1

Activity

  1. added
    ctg-documentationImprovements or additions to documentation
    and removed
    ctg-documentationImprovements or additions to documentation
    on May 5, 2022
  2. moved this from Todo to In Progress in UTBot Javaon May 18, 2022
  3. Repository owner moved this from In Progress to Done in UTBot Javaon May 22, 2022
  4. added a commit that references this issue on Aug 10, 2022
  5. added a commit that references this issue on Sep 7, 2022
  6. added a commit that references this issue on Oct 5, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

ctg-enhancementNew feature, improvement or change request

Type

No type

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions