Dat3M 4.1.0 is out!

What's Changed

• Lazy method supports dataraces/cat_spec by @ThomasHaas in #660
• Option to get dartagnan version by @hernanponcedeleon in #662
• New Pointer Analysis by @xeren in #616
• Add vmm version 0.9.1 by @hernanponcedeleon in #664
• Log a warning instead of throwing an exception when opt is not availa… by @hernanponcedeleon in #666
• Propagate correct memory order tags when compiling to C11 by @hernanponcedeleon in #665
• Fix collectSideEffects for manually annotated spinloops by @hernanponcedeleon in #669
• New AssignmentInlining pass by @ThomasHaas in #667
• Streamline witness options by @hernanponcedeleon in #670
• Add atomicity axiom to sc.cat by @hernanponcedeleon in #671
• Add 4 litmus tests demonstrating unordered failing cmpxchg. by @hernanponcedeleon in #672
• Check all three properties by default by @hernanponcedeleon in #675
• Add some missing LKMM tests by @hernanponcedeleon in #677
• Remove support for LISA format by @hernanponcedeleon in #678
• Support fences as inline assembly by @hernanponcedeleon in #679
• Fix performance issue in DominatorTree.computePredecessorMap by @ThomasHaas in #680
• Lazy cycle detection in inclusion based ailas analysis by @xeren in #676
• Replace several back jumps with via forward jumping by @hernanponcedeleon in #681

Full Changelog: 4.0.1...4.1.0