PySymGym/PySymGym

Issues

• Dataset for Kleef

  #99 opened 21 days ago by gsvgit
  0

• How can we update dataset when add new fwature?

  #98 opened 22 days ago by gsvgit
  0

• Evaluate trained models on GPU

  #96 opened 23 days ago by gsvgit
  0

• Evaluate model for Java

  #90 opened 23 days ago by gsvgit
  0

• Compare performance of training processes

  #97 opened 23 days ago by gsvgit
  0

• Implement new trainig process for client

  #95 opened 23 days ago by gsvgit
  0

• Design architecture for new trainig process

  #94 opened 23 days ago by gsvgit
  0

• Add more layers

  #93 opened 23 days ago by gsvgit
  0

• Train model that use intraprocedural dominators

  #92 opened 23 days ago by gsvgit
  0

• Extend dataset with intraprocedural immediate dominators tree

  #91 opened 23 days ago by gsvgit
  0

• Train model for Java

  #89 opened 23 days ago by gsvgit
  0

• Add maps with BFS and DFS to Java dataset

  #88 opened 23 days ago by gsvgit
  0

• Support lables on history and in edges

  #87 opened 23 days ago by gsvgit
  0

• Multiple GPU support

  #30 opened a month ago by gsvgit
  0

• Create GameServer abstraction

  #4 opened a month ago by gsvgit
  0

• CI configuration

  #1 opened a month ago by gsvgit
  3

• Add USVM as a second server to CI

  #56 opened a month ago by gsvgit
  0

• Move parameters limits to the config

  #77 opened 2 months ago by Anya497
  0

• Unify all manipulations with dataset

  #35 opened 4 months ago by gsvgit
  0

• Detect exceptions in dataset processing

  #71 opened 4 months ago by Anya497
  0

• Use poetry for dependency management

  #24 opened 5 months ago by gsvgit
  1

• Readme

  #3 opened 10 months ago by gsvgit
  1

• Create folder if does not exist

  #38 opened 5 months ago by gsvgit
  1

• Raw types decoding removal: dataclasses -> attrs

  #45 opened 7 months ago by emnigma
  0

• Incremental game state transfer

  #29 opened 7 months ago by gsvgit
  1

• Handle later updates of dataset

  #20 opened 7 months ago by gsvgit
  0

• Replace CoverageToSwitchToAI with StepsToSwitchToAI

  #6 opened 8 months ago by gsvgit
  0

• Client should sent to server specific GameMap, not dataset

  #7 opened 9 months ago by gsvgit
  2

• Current submodule command in README doesn't work

  #18 opened 9 months ago by emnigma
  2

• More statistics

  #16 opened 9 months ago by gsvgit
  0

• venv configuration

  #2 opened 10 months ago by gsvgit
  0

• Try add to dataset

  #5 opened 9 months ago by gsvgit
  0