Ecosyste.ms: Issues

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

GitHub / digama0/mmj2 issues and pull requests

#78 - Bump org.json:json from 20230227 to 20231013

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#78 - Bump org.json:json from 20230227 to 20231013

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies

#77 - org.json openjdk 21.0.4

Issue - State: open - Opened by javobalazs 2 months ago - 1 comment

#77 - org.json openjdk 21.0.4

Issue - State: open - Opened by javobalazs 2 months ago - 1 comment

#76 - Proofs are broken since this morning.

Issue - State: closed - Opened by metakunt 7 months ago - 6 comments

#76 - Proofs are broken since this morning.

Issue - State: closed - Opened by metakunt 7 months ago - 6 comments

#75 - Release new version

Issue - State: open - Opened by io12 about 1 year ago

#75 - Release new version

Issue - State: open - Opened by io12 about 1 year ago

#74 - Add a CI build for Windows

Issue - State: open - Opened by tirix about 1 year ago

#74 - Add a CI build for Windows

Issue - State: open - Opened by tirix about 1 year ago

#73 - Fix compilation process and allow arbitrary install locations

Pull Request - State: open - Opened by creator1creeper1 about 1 year ago - 2 comments

#73 - Fix compilation process and allow arbitrary install locations

Pull Request - State: open - Opened by creator1creeper1 about 1 year ago - 2 comments

#72 - mmj2 is still difficult to install

Issue - State: open - Opened by BTernaryTau about 1 year ago - 1 comment

#72 - mmj2 is still difficult to install

Issue - State: open - Opened by BTernaryTau about 1 year ago - 1 comment

#71 - IllegalArgumentException on starting mmj2

Issue - State: open - Opened by avekens about 1 year ago - 7 comments

#70 - Bug in the definition soundness check

Issue - State: open - Opened by benjub over 1 year ago

#69 - Cannot compile with maven following INSTALL.md instructions

Issue - State: open - Opened by benjub over 1 year ago

#69 - Cannot compile with maven following INSTALL.md instructions

Issue - State: open - Opened by benjub over 1 year ago

#68 - Cannot compile following INSTALL.md instructions

Issue - State: open - Opened by benjub over 1 year ago

#68 - Cannot compile following INSTALL.md instructions

Issue - State: open - Opened by benjub over 1 year ago

#67 - Replace git submodule by maven dependency

Pull Request - State: closed - Opened by jvierling over 1 year ago - 8 comments

#67 - Replace git submodule by maven dependency

Pull Request - State: closed - Opened by jvierling over 1 year ago - 8 comments

#66 - complie/posis_compile compatible with macos find

Pull Request - State: closed - Opened by josojo over 1 year ago - 3 comments

#65 - Convert to maven project and add nashorn-core dependency

Pull Request - State: closed - Opened by jvierling over 1 year ago - 3 comments

#63 - Fix typo

Pull Request - State: closed - Opened by icecream17 over 2 years ago

#63 - Fix typo

Pull Request - State: closed - Opened by icecream17 over 2 years ago

#62 - Move to next LTS version: Java SE 17?

Issue - State: open - Opened by mountain almost 3 years ago - 6 comments

#62 - Move to next LTS version: Java SE 17?

Issue - State: open - Opened by mountain almost 3 years ago - 6 comments

#61 - Switch to a modern build system

Issue - State: open - Opened by mountain almost 3 years ago - 12 comments

#61 - Switch to a modern build system

Issue - State: open - Opened by mountain almost 3 years ago - 12 comments

#60 - change the first level html to markdown

Pull Request - State: open - Opened by mountain almost 3 years ago - 5 comments

#60 - change the first level html to markdown

Pull Request - State: open - Opened by mountain almost 3 years ago - 5 comments

#59 - Make codebase IDE-independent

Pull Request - State: open - Opened by mountain almost 3 years ago - 2 comments

#59 - Make codebase IDE-independent

Pull Request - State: open - Opened by mountain almost 3 years ago - 2 comments

#58 - ClassCastException on New Proof

Issue - State: closed - Opened by brlarson almost 3 years ago - 4 comments

#58 - ClassCastException on New Proof

Issue - State: closed - Opened by brlarson almost 3 years ago - 4 comments

#57 - Fix some typos in INSTALL.md

Pull Request - State: closed - Opened by jvierling almost 3 years ago

#57 - Fix some typos in INSTALL.md

Pull Request - State: closed - Opened by jvierling almost 3 years ago

#56 - Crash in case of ambiguous grammar

Issue - State: open - Opened by tirix almost 3 years ago

#55 - ProofAsstExportToFile in UT2PA001.txt is missing 7th parameter??

Issue - State: closed - Opened by billh0420 almost 4 years ago - 1 comment

#54 - Eclipse IDE code style formatter: how to disable ?

Issue - State: closed - Opened by billh0420 almost 4 years ago - 4 comments

#53 - Eclipse IDE reformats existing code style when making changes

Issue - State: closed - Opened by billh0420 almost 4 years ago - 1 comment

#53 - Eclipse IDE reformats existing code style when making changes

Issue - State: closed - Opened by billh0420 almost 4 years ago - 1 comment

#52 - Deprecated methods

Issue - State: open - Opened by billh0420 almost 4 years ago - 5 comments

#52 - Deprecated methods

Issue - State: open - Opened by billh0420 almost 4 years ago - 5 comments

#51 - Compile warnings

Issue - State: closed - Opened by billh0420 almost 4 years ago - 1 comment

#50 - After fork, what branch to modify to do pull requests from?

Issue - State: closed - Opened by billh0420 almost 4 years ago - 1 comment

#49 - patch for missing transformation crash

Pull Request - State: closed - Opened by ishanpm almost 4 years ago - 2 comments

#48 - Crash on startup with custom .mm file

Issue - State: closed - Opened by ishanpm almost 4 years ago - 4 comments

#48 - Crash on startup with custom .mm file

Issue - State: closed - Opened by ishanpm almost 4 years ago - 4 comments

#47 - Nested Includes Bugfix

Pull Request - State: closed - Opened by ml-2 about 4 years ago

#47 - Nested Includes Bugfix

Pull Request - State: closed - Opened by ml-2 about 4 years ago

#46 - Support for automatically figuring out substitutions

Issue - State: open - Opened by abchugh over 4 years ago

#46 - Support for automatically figuring out substitutions

Issue - State: open - Opened by abchugh over 4 years ago

#45 - Make renumbering of proof derivation steps optional

Pull Request - State: open - Opened by abchugh over 4 years ago - 4 comments

#44 - Improve README.md and INSTALL.md

Pull Request - State: open - Opened by david-a-wheeler over 4 years ago

#44 - Improve README.md and INSTALL.md

Pull Request - State: open - Opened by david-a-wheeler over 4 years ago

#43 - Remove checkVersion, to fix #36

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

#43 - Remove checkVersion, to fix #36

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

#42 - Fixup

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 6 comments

#42 - Fixup

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 6 comments

#41 - Set up github actions for automatic build and deploy

Issue - State: open - Opened by digama0 over 4 years ago - 3 comments

#41 - Set up github actions for automatic build and deploy

Issue - State: open - Opened by digama0 over 4 years ago - 3 comments

#39 - mmj2 is difficult to install/compile/get running

Issue - State: open - Opened by cwitty over 4 years ago - 16 comments

#39 - mmj2 is difficult to install/compile/get running

Issue - State: open - Opened by cwitty over 4 years ago - 16 comments

#38 - Fix tutorial

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 4 comments

#38 - Fix tutorial

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 4 comments

#37 - mmj2 tutorial issues: can't start on Linux; chapter 5 is broken

Issue - State: open - Opened by cwitty over 4 years ago - 13 comments

#37 - mmj2 tutorial issues: can't start on Linux; chapter 5 is broken

Issue - State: open - Opened by cwitty over 4 years ago - 13 comments

#36 - mmj2 bad version check; remove?

Issue - State: open - Opened by cwitty over 4 years ago - 1 comment

#35 - Increase the maximum Java memory to 1280 Mebibytes

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 6 comments

#34 - Increase maximum Java memory to 2 Gibibytes

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 4 comments

#34 - Increase maximum Java memory to 2 Gibibytes

Pull Request - State: closed - Opened by david-a-wheeler over 4 years ago - 4 comments

#33 - Fix some nits in the tutorial

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#33 - Fix some nits in the tutorial

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#32 - Step search error in one of the Page412.mmp examples

Issue - State: open - Opened by david-a-wheeler almost 5 years ago

#32 - Step search error in one of the Page412.mmp examples

Issue - State: open - Opened by david-a-wheeler almost 5 years ago

#31 - Tutorial: More small fixes from making video

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#31 - Tutorial: More small fixes from making video

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#30 - Tutorial: Tweak LocalRef-related material

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#30 - Tutorial: Tweak LocalRef-related material

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#29 - Add a batch file for Cygwin

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#29 - Add a batch file for Cygwin

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#28 - Tutorial 9

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 2 comments

#28 - Tutorial 9

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 2 comments

#27 - Tutorial: Fix lots of little things

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#27 - Tutorial: Fix lots of little things

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#26 - Tutorial: Explain control-F and control-B

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#25 - Tutorial: Add a page about general search

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#24 - Tutorial: Additional tweaks

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#23 - Add LOC_BEFORE= in addition to LOC_AFTER=?

Issue - State: open - Opened by david-a-wheeler almost 5 years ago

#22 - Tutorial: Large number of improvements

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#22 - Tutorial: Large number of improvements

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#21 - mmj2 setup for Mac OS

Issue - State: closed - Opened by ammkrn almost 5 years ago - 10 comments

#20 - Various updates to the tutorial

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago - 1 comment

#19 - Tutorial: Add more about finishing a step

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago

#19 - Tutorial: Add more about finishing a step

Pull Request - State: closed - Opened by david-a-wheeler almost 5 years ago