1. 23 Jun, 2019 2 commits
  2. 19 Jun, 2019 1 commit
    • 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
  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
    • Fix (yet another) exception · 115a2b0a
      Amin Bandali authored
      Caused by: java.lang.ClassNotFoundException: org.apache.commons.codec.binary.Base32
    • 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'.
  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