New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] Add depmode #301

Open

yasuo-ozu wants to merge 3 commits into gfngfn:master from yasuo-ozu:add-depmode

Contributor

yasuo-ozu commented Oct 30, 2021

This PR implements --depmode command in SATySFi.

It is very early implementation; revising and testing required.

yasuo-ozu added 3 commits

October 29, 2021 13:44


          Add --depmode option

0d6bc35

WIP

71ccead


          Add depsmode implementation

7b90906

gfngfn changed the title ~~Add depmode~~ [WIP] Add depmode

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment