Commit 37fb83ec0dd1c52b6b464bf17515db1aeed846b3
2017-09-19T15:57:15
Update: (#600) * encoder: relax backward references candidates asserts * encoder: make RNG more platform-independent * encoder: remove "unused" param (context mode) * CLI: improve first-encounter experience * Java: update SynthTest * Java: refine proguard config * Java/JNI: fix one-shot compression workflow