Ecosyste.ms: Issues

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

GitHub / minizinc/minizincide issues and pull requests

#102 - fixed syntax highlighting in strings

Pull Request - State: closed - Opened by GustavBjordal over 4 years ago - 2 comments

#102 - fixed syntax highlighting in strings

Pull Request - State: closed - Opened by GustavBjordal over 4 years ago - 2 comments

#101 - Keyword highlighting in string

Issue - State: closed - Opened by Dekker1 over 4 years ago

#101 - Keyword highlighting in string

Issue - State: closed - Opened by Dekker1 over 4 years ago

#100 - crash after timeout with .mzc file

Issue - State: closed - Opened by bwauters over 4 years ago

#100 - crash after timeout with .mzc file

Issue - State: closed - Opened by bwauters over 4 years ago

#99 - Remove an unnecessary null pointer check

Issue - State: closed - Opened by elfring over 4 years ago - 1 comment

#99 - Remove an unnecessary null pointer check

Issue - State: closed - Opened by elfring over 4 years ago - 1 comment

#98 - Dark mode on Windows 10 only changes editor area

Issue - State: closed - Opened by zayenz over 4 years ago - 2 comments

#98 - Dark mode on Windows 10 only changes editor area

Issue - State: closed - Opened by zayenz over 4 years ago - 2 comments

#96 - Wrong filename in sha256 checksum file

Issue - State: closed - Opened by bbliem almost 5 years ago

#96 - Wrong filename in sha256 checksum file

Issue - State: closed - Opened by bbliem almost 5 years ago

#94 - Error: Gecode: Float::linear: Number out of limits

Issue - State: closed - Opened by markwallacemonash about 5 years ago - 4 comments

#94 - Error: Gecode: Float::linear: Number out of limits

Issue - State: closed - Opened by markwallacemonash about 5 years ago - 4 comments

#91 - Compilation option -I and -G on same directory produce different output

Issue - State: closed - Opened by jacopoMauro over 5 years ago - 1 comment

#91 - Compilation option -I and -G on same directory produce different output

Issue - State: closed - Opened by jacopoMauro over 5 years ago - 1 comment

#90 - fzn-gecode-gist complains about Qt

Issue - State: closed - Opened by 95A31 over 5 years ago - 2 comments

#90 - fzn-gecode-gist complains about Qt

Issue - State: closed - Opened by 95A31 over 5 years ago - 2 comments

#89 - Windows installation insufficiencies

Issue - State: closed - Opened by a1880 over 5 years ago - 3 comments

#89 - Windows installation insufficiencies

Issue - State: closed - Opened by a1880 over 5 years ago - 3 comments

#88 - Missing mzn2fzn on MiniZincIDE 2.3.0 Linux

Issue - State: closed - Opened by 95A31 over 5 years ago - 1 comment

#88 - Missing mzn2fzn on MiniZincIDE 2.3.0 Linux

Issue - State: closed - Opened by 95A31 over 5 years ago - 1 comment

#87 - v2.3.0 IDE Windows 10 cannot run Globalizer

Issue - State: closed - Opened by siritinga over 5 years ago - 1 comment

#87 - v2.3.0 IDE Windows 10 cannot run Globalizer

Issue - State: closed - Opened by siritinga over 5 years ago - 1 comment

#86 - v2.3.0 IDE fails to start on macOS

Issue - State: closed - Opened by cs48a over 5 years ago - 2 comments

#86 - v2.3.0 IDE fails to start on macOS

Issue - State: closed - Opened by cs48a over 5 years ago - 2 comments

#85 - MiniZinc model name clash

Issue - State: closed - Opened by markwallacemonash over 5 years ago - 2 comments

#85 - MiniZinc model name clash

Issue - State: closed - Opened by markwallacemonash over 5 years ago - 2 comments

#84 - "Unknown error while executing the MiniZinc interpreter `minizinc': error code 1"

Issue - State: closed - Opened by jarble over 5 years ago - 1 comment

#84 - "Unknown error while executing the MiniZinc interpreter `minizinc': error code 1"

Issue - State: closed - Opened by jarble over 5 years ago - 1 comment

#82 - Internal error: Could not determine model parameters

Issue - State: closed - Opened by SebAlbert over 5 years ago - 4 comments

#82 - Internal error: Could not determine model parameters

Issue - State: closed - Opened by SebAlbert over 5 years ago - 4 comments

#81 - MiniZincIDE.sh does not work if DIR has spaces

Issue - State: closed - Opened by piiroim1 over 5 years ago - 1 comment

#81 - MiniZincIDE.sh does not work if DIR has spaces

Issue - State: closed - Opened by piiroim1 over 5 years ago - 1 comment

#79 - Error initializing NSS

Issue - State: closed - Opened by jdevoo almost 6 years ago - 2 comments

#79 - Error initializing NSS

Issue - State: closed - Opened by jdevoo almost 6 years ago - 2 comments

#78 - IDE installation problems on Mac OSX 10.14

Issue - State: closed - Opened by bolau almost 6 years ago - 3 comments

#78 - IDE installation problems on Mac OSX 10.14

Issue - State: closed - Opened by bolau almost 6 years ago - 3 comments

#77 - IDE --cbcArgs argument bug

Issue - State: closed - Opened by nobodyczcz almost 6 years ago - 1 comment
Labels: bug

#77 - IDE --cbcArgs argument bug

Issue - State: closed - Opened by nobodyczcz almost 6 years ago - 1 comment
Labels: bug

#76 - Security: GPG signed releases and checksums

Issue - State: closed - Opened by CanntAim almost 6 years ago - 3 comments
Labels: enhancement

#76 - Security: GPG signed releases and checksums

Issue - State: closed - Opened by CanntAim almost 6 years ago - 3 comments
Labels: enhancement

#75 - IDE crashing

Issue - State: closed - Opened by pvc28 almost 6 years ago - 8 comments

#75 - IDE crashing

Issue - State: closed - Opened by pvc28 almost 6 years ago - 8 comments

#74 - Unable to submit to Coursera in Debian 9

Issue - State: closed - Opened by Dekker1 almost 6 years ago
Labels: bug

#74 - Unable to submit to Coursera in Debian 9

Issue - State: closed - Opened by Dekker1 almost 6 years ago
Labels: bug

#73 - "submit to Coursera" icon not found in ver2.2.3

Issue - State: closed - Opened by macaoleaf almost 6 years ago - 2 comments

#72 - MiniZinc's output command in Jupyter/Linux

Issue - State: closed - Opened by ido97 almost 6 years ago - 2 comments

#72 - MiniZinc's output command in Jupyter/Linux

Issue - State: closed - Opened by ido97 almost 6 years ago - 2 comments

#71 - Inserting a new line does not show the entire new line

Issue - State: closed - Opened by ghost about 6 years ago
Labels: enhancement

#71 - Inserting a new line does not show the entire new line

Issue - State: closed - Opened by ghost about 6 years ago
Labels: enhancement

#70 - Enum issue

Issue - State: closed - Opened by lalithsuresh about 6 years ago - 4 comments

#70 - Enum issue

Issue - State: closed - Opened by lalithsuresh about 6 years ago - 4 comments

#69 - Error loading Gurobi dll on macOS

Issue - State: closed - Opened by mjrodgers about 6 years ago - 1 comment

#69 - Error loading Gurobi dll on macOS

Issue - State: closed - Opened by mjrodgers about 6 years ago - 1 comment

#68 - Black on black fonts in macOS Mojave Dark Mode

Issue - State: closed - Opened by mjrodgers about 6 years ago - 3 comments

#68 - Black on black fonts in macOS Mojave Dark Mode

Issue - State: closed - Opened by mjrodgers about 6 years ago - 3 comments

#67 - fzn-gecode-gist broken

Issue - State: closed - Opened by 95A31 about 6 years ago - 1 comment
Labels: bug

#67 - fzn-gecode-gist broken

Issue - State: closed - Opened by 95A31 about 6 years ago - 1 comment
Labels: bug

#66 - version numbers missing on macOS

Issue - State: closed - Opened by core-code about 6 years ago - 5 comments
Labels: enhancement

#66 - version numbers missing on macOS

Issue - State: closed - Opened by core-code about 6 years ago - 5 comments
Labels: enhancement

#65 - IDE editor configuration

Issue - State: closed - Opened by Pierre-Flener about 6 years ago - 1 comment

#65 - IDE editor configuration

Issue - State: closed - Opened by Pierre-Flener about 6 years ago - 1 comment

#64 - Visualisations open multiple windows

Issue - State: closed - Opened by guidotack about 6 years ago
Labels: bug

#64 - Visualisations open multiple windows

Issue - State: closed - Opened by guidotack about 6 years ago
Labels: bug

#63 - Dock title bar icons are not retina

Issue - State: closed - Opened by emilianbold about 6 years ago - 2 comments

#63 - Dock title bar icons are not retina

Issue - State: closed - Opened by emilianbold about 6 years ago - 2 comments

#62 - Please provide an AppImage for Linux

Issue - State: closed - Opened by probonopd about 6 years ago - 6 comments
Labels: enhancement

#62 - Please provide an AppImage for Linux

Issue - State: closed - Opened by probonopd about 6 years ago - 6 comments
Labels: enhancement

#61 - codeeditor: Respect dark mode when painting line numbers

Pull Request - State: closed - Opened by emmanuel099 about 6 years ago - 1 comment

#60 - Version 2.2.0: CoinOR CBC not installed on Mac

Issue - State: closed - Opened by ckhung5 about 6 years ago - 2 comments

#60 - Version 2.2.0: CoinOR CBC not installed on Mac

Issue - State: closed - Opened by ckhung5 about 6 years ago - 2 comments

#59 - IDE problem in new release

Issue - State: closed - Opened by oferst about 6 years ago - 2 comments

#59 - IDE problem in new release

Issue - State: closed - Opened by oferst about 6 years ago - 2 comments

#58 - Version 2.2.0: G12 solvers not included in Windows 64bits

Issue - State: closed - Opened by siritinga about 6 years ago - 2 comments

#56 - Version 2.2.0: OSICBC changes optimum depending on optimization

Issue - State: closed - Opened by siritinga about 6 years ago - 1 comment

#56 - Version 2.2.0: OSICBC changes optimum depending on optimization

Issue - State: closed - Opened by siritinga about 6 years ago - 1 comment

#55 - Version 2.2.0: Problem with the Chuffed solver

Issue - State: closed - Opened by hakank about 6 years ago - 6 comments

#55 - Version 2.2.0: Problem with the Chuffed solver

Issue - State: closed - Opened by hakank about 6 years ago - 6 comments

#54 - MiniZincIDE 2.1.7 ignores non-zero solver exit codes

Issue - State: closed - Opened by informarte over 6 years ago - 2 comments

#54 - MiniZincIDE 2.1.7 ignores non-zero solver exit codes

Issue - State: closed - Opened by informarte over 6 years ago - 2 comments

#53 - Open recent project crashes MiniZincIDE

Issue - State: closed - Opened by pafnucy over 6 years ago

#53 - Open recent project crashes MiniZincIDE

Issue - State: closed - Opened by pafnucy over 6 years ago

#52 - SHA-256 hash of the .dmg file for version 2.1.7 has changed

Issue - State: closed - Opened by gtmgianni over 6 years ago - 2 comments

#52 - SHA-256 hash of the .dmg file for version 2.1.7 has changed

Issue - State: closed - Opened by gtmgianni over 6 years ago - 2 comments

#51 - Ubuntu 18.04 Minizinc IDE installation cannot find gecode_all_different_int

Issue - State: closed - Opened by anshulthakur over 6 years ago - 4 comments

#51 - Ubuntu 18.04 Minizinc IDE installation cannot find gecode_all_different_int

Issue - State: closed - Opened by anshulthakur over 6 years ago - 4 comments

#50 - Ctrl+Tab fails from file editor tabs

Issue - State: closed - Opened by Promethean-Roil over 6 years ago - 1 comment

#50 - Ctrl+Tab fails from file editor tabs

Issue - State: closed - Opened by Promethean-Roil over 6 years ago - 1 comment

#49 - Feature/highlight protocol

Pull Request - State: closed - Opened by lokdlok over 6 years ago

#49 - Feature/highlight protocol

Pull Request - State: closed - Opened by lokdlok over 6 years ago