Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aliaumel/polyregular-model-checking issues and pull requests
#39 - Some timeouts are considered as errors
Issue -
State: open - Opened by AliaumeL 3 days ago
Labels: bug, enhancement
#38 - Add AltErgo to the docker image
Issue -
State: closed - Opened by AliaumeL 3 days ago
Labels: enhancement
#37 - SubwordsAB is not efficient at all
Issue -
State: closed - Opened by AliaumeL 3 days ago
- 1 comment
Labels: bug
#36 - Create a tree-sitter grammar with highlighting
Issue -
State: open - Opened by AliaumeL 3 days ago
Labels: enhancement
#35 - Get Last Word is Buggy
Issue -
State: open - Opened by AliaumeL 3 days ago
Labels: bug
#34 - Translation Bug
Issue -
State: closed - Opened by AliaumeL 3 days ago
- 1 comment
Labels: bug
#33 - Race conditions in the UI
Issue -
State: open - Opened by AliaumeL 3 days ago
Labels: bug
#32 - Add syntax highlighting for VSCODE
Issue -
State: open - Opened by AliaumeL 4 days ago
Labels: enhancement
#31 - Create a `run program` in the webui
Issue -
State: open - Opened by AliaumeL 4 days ago
Labels: enhancement
#30 - Tests take more than 5 hours to pass
Issue -
State: open - Opened by AliaumeL 16 days ago
- 1 comment
#29 - High level update
Pull Request -
State: closed - Opened by ravst 17 days ago
#28 - Fix in ProgramFormula composition.
Issue -
State: closed - Opened by ravst 19 days ago
#27 - Starts with a -> ends with a
Issue -
State: closed - Opened by AliaumeL 19 days ago
- 3 comments
Labels: bug, help wanted
#26 - parsing -> Pretty printing -> parsing should be idempotent
Issue -
State: open - Opened by AliaumeL 19 days ago
- 1 comment
#25 - Reverse between and's results in TypeCheck or Fail
Issue -
State: closed - Opened by ravst 20 days ago
- 3 comments
Labels: bug
#24 - Create example of formulas
Issue -
State: closed - Opened by AliaumeL 20 days ago
- 1 comment
#23 - Do not create the hoare triple everytime
Issue -
State: open - Opened by AliaumeL 21 days ago
#22 - Handle API backpressure
Issue -
State: open - Opened by AliaumeL 21 days ago
#21 - Add error handling to the webpage
Issue -
State: closed - Opened by AliaumeL 21 days ago
Labels: bug, documentation
#20 - New test that does not fail
Issue -
State: open - Opened by AliaumeL 21 days ago
Labels: documentation, enhancement
#19 - Clean up the trace/print debug
Issue -
State: closed - Opened by AliaumeL 21 days ago
- 1 comment
Labels: bug, enhancement
#18 - Create the skeleton of the paper
Issue -
State: closed - Opened by AliaumeL 22 days ago
#17 - Create the `HighLevelForPrograms` section
Issue -
State: closed - Opened by AliaumeL 22 days ago
#16 - Parse inputs and validate
Issue -
State: closed - Opened by AliaumeL 22 days ago
- 1 comment
Labels: enhancement
#15 - Parse First order formulas
Issue -
State: closed - Opened by AliaumeL 22 days ago
- 4 comments
Labels: enhancement
#14 - Produce self-contained docker image (not for dev)
Issue -
State: closed - Opened by AliaumeL 24 days ago
Labels: enhancement
#13 - CI/CD is broken
Issue -
State: closed - Opened by AliaumeL 24 days ago
Labels: bug
#12 - Parallel execution of solvers
Issue -
State: closed - Opened by AliaumeL 24 days ago
Labels: enhancement
#11 - Mona is not detected as a potential solver
Issue -
State: closed - Opened by AliaumeL 24 days ago
Labels: bug
#10 - GUI / Interactive webpage
Issue -
State: closed - Opened by AliaumeL 24 days ago
Labels: enhancement
#9 - Better `main` experience
Issue -
State: open - Opened by AliaumeL 24 days ago
#8 - Better handling of external provers
Issue -
State: closed - Opened by AliaumeL 24 days ago
#7 - Clean up testing
Issue -
State: open - Opened by AliaumeL 24 days ago
Labels: documentation, enhancement
#6 - Clean up file hierarchy
Issue -
State: open - Opened by AliaumeL 24 days ago
#5 - Parser2
Pull Request -
State: closed - Opened by AliaumeL 2 months ago
#4 - Add a sequence statement to Simple For Programs
Issue -
State: closed - Opened by AliaumeL 3 months ago
#3 - Move to Three Sorted Formulas
Issue -
State: closed - Opened by AliaumeL 3 months ago
#2 - adding for programs new syntax
Pull Request -
State: closed - Opened by AliaumeL 3 months ago
#1 - proposition of FO-interpretations
Pull Request -
State: closed - Opened by AliaumeL 3 months ago
Labels: enhancement
#1 - proposition of FO-interpretations
Pull Request -
State: closed - Opened by AliaumeL 3 months ago
Labels: enhancement