goblint / goblint/analyzer

Extract incremental logic from TD3

Open
#545 0 comments 1 reaction 1 assignee View on GitHub

@sim642 is already working on this.

Since Feb 14, 2022.

cleanup
Dominant language
OCaml
Stars
252
Forks
90
Avg merge
4d 1m
Merged PRs (30d)
19

Description

To be done after #391 is merged.

  • Unmarshaling etc should be done outside (by Control?)
  • Finding nodes to destabilize due to change should be done outside (no node type hacks in TD3) #544
  • TD3 should be non-incremental, TD3-incr should wrap it with pre- and post-processing.
  • Experimental TD3 improvements should go to a new copy (TD-inter?)

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.