polystat/odin issues and pull requests

#86 - Update dependency org.scalameta:sbt-scalafmt to v2.5.0

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 2 comments

#85 - Update dependency org.xerial.sbt:sbt-sonatype to v3.9.18

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 3 comments

#84 - Update crazy-max/ghaction-import-gpg action to v5

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#83 - Update actions/upload-artifact action to v3

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#82 - Update actions/setup-java action to v3

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#81 - Update actions/checkout action to v3

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#80 - Update actions/cache action to v3

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#79 - Update dependency scala to v2.13.10

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#78 - Dependency Dashboard

Issue - State: open - Opened by renovate[bot] about 2 years ago

#77 - Update dependency com.github.sbt:sbt-pgp to v2.2.1

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 3 comments

#77 - Update dependency com.github.sbt:sbt-pgp to v2.2.1

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 3 comments

#76 - Update dependency ch.epfl.scala:sbt-scalafix to v0.10.4

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#76 - Update dependency ch.epfl.scala:sbt-scalafix to v0.10.4

Pull Request - State: open - Opened by renovate[bot] about 2 years ago - 1 comment

#75 - Configure Renovate

Pull Request - State: closed - Opened by renovate[bot] about 2 years ago

#74 - Update CHANGELOG.md v0.4.4

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

#73 - Revisiting unjustified assumption defect for J2EO

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

#73 - Revisiting unjustified assumption defect for J2EO

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

#72 - Support for imports

Pull Request - State: open - Opened by Leosimetti over 2 years ago

#72 - Support for imports

Pull Request - State: open - Opened by Leosimetti over 2 years ago

#71 - The name of self-argument can only be "this" or "self"

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

#70 - Changelog update for v0.4.3

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

#70 - Changelog update for v0.4.3

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

#69 - J2EO fixes for the Direct state access analyzer

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

#69 - J2EO fixes for the Direct state access analyzer

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

#68 - J2eo fixes

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

#68 - J2eo fixes

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

#67 - Integration with J2EO

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

#67 - Integration with J2EO

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

#66 - Revisiting direct state access analyzer

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

#65 - Support "this" (and more) as the name of the "self" argument

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

#64 - Revisiting direct access

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

#64 - Revisiting direct access

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

#63 - Support for arbitrary metas

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

#63 - Support for arbitrary metas

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

#62 - Revisiting unjustified assumption analyzer

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

#62 - Revisiting unjustified assumption analyzer

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

#61 - Support arbitrary metas

Issue - State: closed - Opened by nikololiahim over 2 years ago

#60 - Preparing publishing for Scala 3

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

#60 - Preparing publishing for Scala 3

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

#59 - Removed unused dependencies

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

#59 - Removed unused dependencies

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

#58 - Drop nonempty

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

#57 - Cross-compile to Scala 3

Issue - State: closed - Opened by nikololiahim over 2 years ago

#57 - Cross-compile to Scala 3

Issue - State: closed - Opened by nikololiahim over 2 years ago

#56 - Enabled a scalafix rule to organize imports

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

#56 - Enabled a scalafix rule to organize imports

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

#55 - Fixing tests for mutual recursion analyzer

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

#55 - Fixing tests for mutual recursion analyzer

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

#54 - Updating CHANGELOG to version 0.4.0

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

#53 - Revamping README.md

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

#52 - @.if in .eo file not supported

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

#52 - @.if in .eo file not supported

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

#51 - Detecting Liskov substitution principle violation (5th defect type)

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

#51 - Detecting Liskov substitution principle violation (5th defect type)

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

#50 - XMIR-to-AST parser recognizes Array data correctly

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

#49 - Updated XMIR parser to recognize Array data

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

#48 - Detecting direct access to base class state (4th defect type)

Pull Request - State: closed - Opened by Leosimetti almost 3 years ago - 1 comment

#47 - Detecting direct access to base class state (4th defect type)

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

#47 - Detecting direct access to base class state (4th defect type)

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

#46 - Path-sensitive analysis

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

#46 - Path-sensitive analysis

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

#45 - Updating documentation

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

#44 - Introducing support for imports without the alias

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

#43 - new representation for analyzer results

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

#43 - new representation for analyzer results

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

#42 - Boolean literals

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#42 - Boolean literals

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#42 - Boolean literals

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#41 - New result representation for Odin

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

#41 - New result representation for Odin

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

#40 - Improving error handling in Odin

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

#40 - Improving error handling in Odin

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

#40 - Improving error handling in Odin

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

#39 - Updating changelog

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

#39 - Updating changelog

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

#38 - Errors fall into `message` but not in `exception`

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#38 - Errors fall into `message` but not in `exception`

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#37 - Revisiting Mutual Recursion Analyzer

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

#37 - Revisiting Mutual Recursion Analyzer

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

#37 - Revisiting Mutual Recursion Analyzer

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

#36 - (3rd type) An error in the chain of inheritance

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#36 - (3rd type) An error in the chain of inheritance

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#36 - (3rd type) An error in the chain of inheritance

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#35 - (3rd type) An error in the long chain of call

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#35 - (3rd type) An error in the long chain of call

Issue - State: closed - Opened by APotyomkin almost 3 years ago - 1 comment

#34 - Mutual Recursion Analyzer should be able to resolve relative parent names

Issue - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#34 - Mutual Recursion Analyzer should be able to resolve relative parent names

Issue - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#33 - Follow-up fixes for third defect type

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

#33 - Follow-up fixes for third defect type

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

#32 - Third defect type

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

#32 - Third defect type

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

#31 - Boolean literals fail parsing

Issue - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#31 - Boolean literals fail parsing

Issue - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#30 - Inlining all method calls in an object

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

#30 - Inlining all method calls in an object

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

#29 - Inlining

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

#29 - Inlining

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

#28 - Introducing locator functionality to AST

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#28 - Introducing locator functionality to AST

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

#28 - Introducing locator functionality to AST

Pull Request - State: closed - Opened by nikololiahim almost 3 years ago - 1 comment

GitHub / polystat/odin issues and pull requests