R Rayacastellano

Avatar
  • Total activity 7
  • Last activity
  • Member since
  • Following 0 users
  • Followed by 0 users
  • Votes 0
  • Subscriptions 2
  • Created

    Integrating Scala, Intellij Idea and SBT on project III

    I'm [coming back][1] to developing in Scala using the Intellij Idea IDE based on SBT. This time I want to integrate the [Stainless verifier][2] which I forked in my github with a project that needs...
    • 1 follower
    • 1 comment
    • 0 votes
  • Edited

    Integrating Intellij Idea and SBT II

    I have written this question on SO as a follow-up of this other question. I basically, have to manage a dependency between three projects: the project I write -> Welder -> Inox where my project als...
    • 2 followers
    • 2 comments
    • 0 votes
  • Edited

    Integrating Intellij Idea and SBT

    I have been asking for some time on StackOverflow 1, 2, 3 about this problem. I'm using Intellij Idea 2017.2.1 Community Edition and SBT 0.13.15. I want to setup a project with the following config...
    • 1 follower
    • 1 comment
    • 0 votes