-
Tobias Meggendorfer authored
- Apply formatting style (please re-import the idea-codestyle.xml) - Fix some finbugs nags in EQFactory, improve satisfyingAssignments slightly - Modify build.gradle, extend .editorconfig, slightly adapt codestyle, add @NonNull annotations, fixed findbugs nags in factories package - Fixed assertions, migrate to path API - Moved ImmutableObject; reduced visibility of equals2 as the classes rely on behaviour guaranteed by ImmutableObject#equals(Object) - Setup IDEA to use annotation processing + add generated sources to source paths; basic antlr stuff (not finished) - ANTLR LTL and TLSF parsing - Add parser keyword - ANTLR + Gradle = </3 - Added some more customizations to gradle (seems to be only working with file based project unfortunately); SRELEASE -> WUNTIL; delete obsolete visitor - Added EdgeLong
874b7af6