{"push_id":1136828156,"size":23,"distinct_size":1,"ref":"refs/heads/parallelInvariants","head":"ff4f71f8fda1a02f755d02e6a05d43041d8679c2","before":"d5f6870955ac8917a02342b5a68e022c5702541e","commits":[{"sha":"d5fd9f771de9bbb979e442ff00f8e1262abc5c93","author":{"name":"Karlheinz Friedberger","email":"4a4837618a562d3f4cc88b3f7ce29533f4f087fa@gmail.com"},"message":"fix find-bugs warning, by making class 'abstract' and removing dummy-implementation.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21463 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/d5fd9f771de9bbb979e442ff00f8e1262abc5c93"},{"sha":"1ca2ef8570c6e5b01bb02c89e61aac593437589d","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Small adjustments to ConfigurationFilesTest\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21464 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/1ca2ef8570c6e5b01bb02c89e61aac593437589d"},{"sha":"ad1c374fc8a59d6f21118f9d6f123c83ffd55c78","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix infinite loop found by FindBugs and a comparison error in ClangSMG\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21465 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/ad1c374fc8a59d6f21118f9d6f123c83ffd55c78"},{"sha":"af7c05e7369ed8a2e1735ac8d00cd01bda2ff8b8","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Remove unused field logger from SMGInterpolant\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21466 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/af7c05e7369ed8a2e1735ac8d00cd01bda2ff8b8"},{"sha":"f95c8be6d0d99aa0dfad67431c7d595f720a13a7","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix NPE in SMGInterpolant found by FindBugs.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21467 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/f95c8be6d0d99aa0dfad67431c7d595f720a13a7"},{"sha":"0d9fd1763aafc3aad229b4f17753db8e672d9234","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix renamed configuration options\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21468 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/0d9fd1763aafc3aad229b4f17753db8e672d9234"},{"sha":"0efcaf1e2619fabd6bc911c1fa7c30d0f0d2ac24","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Refactor config files for predicate analyses\nto avoid specifying a refiner where it is not used.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21469 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/0efcaf1e2619fabd6bc911c1fa7c30d0f0d2ac24"},{"sha":"253377597c65260af1c384ef376ce49469d0c6a6","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"remove deleted configuration option\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21470 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/253377597c65260af1c384ef376ce49469d0c6a6"},{"sha":"51a610c53ebf54d59b9094ff0ea1b3d08c56e2c7","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Fix logic in CoreComponentsFactory such that the option\nanalysis.checkCounterexamplesWithBDDCPARestriction does what it suggests.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21471 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/51a610c53ebf54d59b9094ff0ea1b3d08c56e2c7"},{"sha":"4f81d5ce401a5aa58528e6968d53501afdb0b54f","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Activate check for unused options in ConfigurationFilesTest.\n\nFirst, warnings about unused options in standard CPAchecker\nconfigurations irritate users and should be avoided.\nSecond, such unused options have indicated a lot of serious bugs already\n(e.g., when a config file update was forgotten at option renaming).\n\nUnfortunately, we cannot activate this check for configurations with the\nRestartAlgorithm and for the invariant-generation and cex-check options,\nbecause in these cases there are always unused-option warnings\nthat are currently not possible to be avoided.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21472 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/4f81d5ce401a5aa58528e6968d53501afdb0b54f"},{"sha":"2c3b65a2bdebab931cbc1cffb3e5fdc2dea43f4b","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Error witnesses are now exported in GZIP-compressed format by default.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21476 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/2c3b65a2bdebab931cbc1cffb3e5fdc2dea43f4b"},{"sha":"c82415daeca4adec1793a05484af5d7dd1a018bd","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Update SoSy-Lab Common Library.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21477 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/c82415daeca4adec1793a05484af5d7dd1a018bd"},{"sha":"46903f1946d93f7de03d37c20ba90d377814c16c","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Simplify setters of MutableCFA\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21479 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/46903f1946d93f7de03d37c20ba90d377814c16c"},{"sha":"87ed3e0f9a046ccec849b5b73c55492ca879d4be","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Create unit tests for all CPAs that check some very basic properties.\nThis replaces the old class CPASelfCheck that attempted to do the same\nbut needed to be executed manually.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21480 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/87ed3e0f9a046ccec849b5b73c55492ca879d4be"},{"sha":"336ee394c4313c370d73da6d61011bee8d90dd2a","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Add unit tests for parsing all specification automata\nthat are bundled with CPAchecker.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21481 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/336ee394c4313c370d73da6d61011bee8d90dd2a"},{"sha":"6f39024e6f4345d9d8cb0e254a9b0fa6da7c5446","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Adjust integration test set for witness validation to the changed file names\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21483 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/6f39024e6f4345d9d8cb0e254a9b0fa6da7c5446"},{"sha":"f743e0ee54b269c72b154e670bcd7597a91b81ee","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"In BMC package, do not use TargetLocationProvider and an automaton\nfor the task of finding all loop heads.\nThe caching done by TargetLocationProvider can be done locally, too.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21488 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/f743e0ee54b269c72b154e670bcd7597a91b81ee"},{"sha":"f4b34ea3040895c80d5db12f2e1f38ab218840bf","author":{"name":"dangl","email":"83a36e38973b9eb419e819842eddc03248d6b64f@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Adjust expected result file name for (compressed) witnesses\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21494 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/f4b34ea3040895c80d5db12f2e1f38ab218840bf"},{"sha":"eaa435e2ee2403b4a980587c3c2584f5a630daba","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Use injection of factory instances instead of Class objects\nfor configuration options that take class names.\nThis avoids the need for reflection in the using code.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21495 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/eaa435e2ee2403b4a980587c3c2584f5a630daba"},{"sha":"0e15e641aaff19a86822615c9580ca5f49c122c9","author":{"name":"pwendler","email":"c7c3fc0bf73520b39df3d4201e3a54720dc1a2b5@4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c"},"message":"Use injection of factory instances for creation of PCCStrategies,\nthe current creation code complicates adding constructor parameters.\nThe advantage of the new solution is that parameter order and types\nof the constructor must not match exactly those of the factory.\nOptional parameters must now be consistently marked as @Nullable.\n\ngit-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@21496 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c","distinct":false,"url":"https://api.github.com/repos/sosy-lab/cpachecker/commits/0e15e641aaff19a86822615c9580ca5f49c122c9"}]}
{"actor":{"display_login":"dbeyer-bot"}}