Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / SAT-STEP/SAT-STEP issues and pull requests

#27 - Implement trail exporting to cadical

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 3 comments

#25 - Reset clicked constraint when changing page number/length

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#25 - Reset clicked constraint when changing page number/length

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#25 - Reset clicked constraint when changing page number/length

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#24 - Add row and column numbers to sudoku

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 2 comments

#24 - Add row and column numbers to sudoku

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 2 comments

#24 - Add row and column numbers to sudoku

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 2 comments

#23 - Constraint paging and refactoring

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#23 - Constraint paging and refactoring

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#23 - Constraint paging and refactoring

Pull Request - State: closed - Opened by VSinerva about 1 year ago

#22 - Fixed crashes

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#22 - Fixed crashes

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#22 - Fixed crashes

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#21 - Grey out clue cells

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 4 comments

#21 - Grey out clue cells

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 4 comments

#21 - Grey out clue cells

Pull Request - State: closed - Opened by lxhelmer about 1 year ago - 4 comments

#20 - UI scaling

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#20 - UI scaling

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#20 - UI scaling

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#19 - Error handling fixed

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#19 - Error handling fixed

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#19 - Error handling fixed

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#18 - Improve code quality

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#18 - Improve code quality

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#18 - Improve code quality

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#17 - Center and contain sudoku grid

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 4 comments

#17 - Center and contain sudoku grid

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 4 comments

#17 - Center and contain sudoku grid

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 4 comments

#16 - Little numbers

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 4 comments

#16 - Little numbers

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 4 comments

#16 - Little numbers

Pull Request - State: closed - Opened by a-bzzzz about 1 year ago - 4 comments

#15 - Added spacing for sudoku grid squares, fixing the disappearance problem

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#15 - Added spacing for sudoku grid squares, fixing the disappearance problem

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#15 - Added spacing for sudoku grid squares, fixing the disappearance problem

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#14 - Error handling

Pull Request - State: closed - Opened by rikumat about 1 year ago

#14 - Error handling

Pull Request - State: closed - Opened by rikumat about 1 year ago

#14 - Error handling

Pull Request - State: closed - Opened by rikumat about 1 year ago

#13 - Cell filter

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#12 - Vili/improve constraint display

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#12 - Vili/improve constraint display

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#12 - Vili/improve constraint display

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#11 - Filter by length

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#11 - Filter by length

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#11 - Filter by length

Pull Request - State: closed - Opened by HeljaeRaeisaenen about 1 year ago - 1 comment

#10 - Draw constraints

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 2 comments

#10 - Draw constraints

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 2 comments

#10 - Draw constraints

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 2 comments

#9 - Simo/file dialog

Pull Request - State: closed - Opened by Capscience about 1 year ago - 4 comments

#9 - Simo/file dialog

Pull Request - State: closed - Opened by Capscience about 1 year ago - 4 comments

#9 - Simo/file dialog

Pull Request - State: closed - Opened by Capscience about 1 year ago - 4 comments

#8 - Updated README.md and fixed a typo in filename.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#8 - Updated README.md and fixed a typo in filename.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#8 - Updated README.md and fixed a typo in filename.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#7 - Simo/constraint list

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#7 - Simo/constraint list

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#7 - Simo/constraint list

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#6 - Ci testing

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#6 - Ci testing

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#6 - Ci testing

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#5 - Draw sudoku

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#5 - Draw sudoku

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#5 - Draw sudoku

Pull Request - State: closed - Opened by pavezzo about 1 year ago - 1 comment

#4 - gui: Did simple modularization for GUI.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#4 - gui: Did simple modularization for GUI.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#4 - gui: Did simple modularization for GUI.

Pull Request - State: closed - Opened by Capscience about 1 year ago - 1 comment

#3 - Add function to get (row,col,val) from identifier

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#3 - Add function to get (row,col,val) from identifier

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#3 - Add function to get (row,col,val) from identifier

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#2 - Code coverage (+misc. improvements) to CI

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#2 - Code coverage (+misc. improvements) to CI

Pull Request - State: closed - Opened by VSinerva about 1 year ago - 1 comment

#1 - Paavo/skeleton

Pull Request - State: closed - Opened by pavezzo about 1 year ago

#1 - Paavo/skeleton

Pull Request - State: closed - Opened by pavezzo about 1 year ago

#1 - Paavo/skeleton

Pull Request - State: closed - Opened by pavezzo about 1 year ago