1. 23 Jun, 2019 2 commits
  2. 19 Jun, 2019 1 commit
    • Amin Bandali's avatar
      Add viewer command for going through results one by one · 9054efae
      Amin Bandali authored
      launches two instances of user’s editor ($EDITOR by default, can be
      overriden using --editor) one with the ssr resulting output file and
      one with the original file.  proceeds to the next result pair once
      both spawned editor processes have exit
      9054efae
  3. 18 Jun, 2019 3 commits
  4. 17 Jun, 2019 2 commits
  5. 16 Jun, 2019 3 commits
  6. 15 Jun, 2019 1 commit
  7. 14 Jun, 2019 1 commit
  8. 12 Jun, 2019 1 commit
  9. 10 Jun, 2019 2 commits
  10. 09 Jun, 2019 1 commit
  11. 08 Jun, 2019 2 commits
  12. 06 Jun, 2019 2 commits
    • Amin Bandali's avatar
      Fix (yet another) exception · 115a2b0a
      Amin Bandali authored
      Caused by: java.lang.ClassNotFoundException: org.apache.commons.codec.binary.Base32
      115a2b0a
    • Amin Bandali's avatar
      Pin picocli to 4.0.0-alpha-3 · 2677aeaa
      Amin Bandali authored
      4.0.0-beta-1b breaks the build:
      
      :org.aminb.alloy.catalyst.dist:jarerror  : Classes found in the wrong directory: {META-INF/versions/9/module-info.class=module-info}
       FAILED
      
      FAILURE: Build failed with an exception.
      
      * What went wrong:
      Execution failed for task ':org.aminb.alloy.catalyst.dist:jar'.
      2677aeaa
  13. 05 Jun, 2019 4 commits
  14. 04 Jun, 2019 4 commits
  15. 03 Jun, 2019 1 commit
  16. 02 Jun, 2019 1 commit
  17. 01 Jun, 2019 1 commit
  18. 31 May, 2019 3 commits
  19. 30 May, 2019 4 commits
  20. 29 May, 2019 1 commit