- 22 Jun, 2019 2 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
TODO: potential long overflow; use BigInteger
-
- 18 Jun, 2019 2 commits
-
-
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
-
Amin Bandali authored
-
- 17 Jun, 2019 2 commits
-
-
Amin Bandali authored
/me sighs
-
Amin Bandali authored
-
- 16 Jun, 2019 4 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
-
Amin Bandali authored
-
Amin Bandali authored
-
- 15 Jun, 2019 2 commits
-
-
Amin Bandali authored
we were exitting early and thus not serializing FileResult
-
Amin Bandali authored
instead of a list of exact file names also, always show default values in cli usage help
-
- 13 Jun, 2019 1 commit
-
-
Amin Bandali authored
-
- 12 Jun, 2019 1 commit
-
-
Amin Bandali authored
-
- 10 Jun, 2019 2 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
Sig already has a builtin field that I’d somehow missed.
-
- 08 Jun, 2019 3 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
-
Amin Bandali authored
As well as a few minor enhancements to SSR.java
-
- 05 Jun, 2019 6 commits
-
-
Amin Bandali authored
Caused by: java.lang.ClassNotFoundException: org.apache.commons.codec.binary.Base32
-
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'.
-
Amin Bandali authored
-
Amin Bandali authored
- Mark file_results as transient so as to not include it in main file. Instead, write out one json file for each FileResult analyzeFile(…). - Add a list of SSR candidate signature names to SSRResult. - Use non-prettified json for smaller file sizes.
-
Amin Bandali authored
-
Amin Bandali authored
-
- 04 Jun, 2019 4 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
-
Amin Bandali authored
Because they reference resultsDir
-
Amin Bandali authored
-
- 03 Jun, 2019 1 commit
-
-
Amin Bandali authored
-
- 02 Jun, 2019 1 commit
-
-
Amin Bandali authored
-
- 01 Jun, 2019 1 commit
-
-
Amin Bandali authored
-
- 31 May, 2019 3 commits
-
-
Amin Bandali authored
Instead of marking every Sig as a candidate initially, only mark those as candidates that are actually involved in a “field-access” dot-join. There might still be false positives, or perhaps some false negatives, but this should weed out some more false positives.
-
Amin Bandali authored
And display total count and percentage of SSR candidates in a corpus, with respect to total number of signatures in that corpus.
-
Amin Bandali authored
- discard meta signatures - discard abstract signatures - discard enum signatures and their children - discard parents of subset signatures - discard signatures of meta fields TODO: make sure we’re not discarding anything useful in the non-join else case of visit(ExprBinary).
-
- 30 May, 2019 4 commits
-
-
Amin Bandali authored
-
Amin Bandali authored
This reverts commit 12512076. class java.lang.NullPointerException: null java.util.Objects.requireNonNull(Objects.java:203) java.util.Optional.<init>(Optional.java:96) java.util.Optional.of(Optional.java:108) org.aminb.alloy.catalyst.SSRVisitor.putCandidateIfAbsent(SSRVisitor.java:52) … I don’t know why I even try with Java…
-
Amin Bandali authored
-
Amin Bandali authored
-
- 29 May, 2019 1 commit
-
-
Amin Bandali authored
-