8561 Commits (87ff05c9b876a76ce650a1d1ff372874c1e74531)
 

Author SHA1 Message Date
Mitya Lyubarskiy fccf66968f [nullsafe] A helper function to extract outer class.
5 years ago
Mitya Lyubarskiy d3ad7880b2 [nullsafe] Make trust list operate over sets instead of lists
5 years ago
Daiva Naudziuniene 247ecb813d [pulse] Fix traces for iterator invalidation errors
5 years ago
Nikos Gorogiannis ab79b2966a [racerd] refactor transition function
5 years ago
Mitya Lyubarskiy 5d8b4947fe [nullsafe] NullsafeMode operates over JavaClassName
5 years ago
Mitya Lyubarskiy fda7f4aa8c [nullsafe] Anonymous classes should inherit mode from the user-defined nested owner
5 years ago
Mitya Lyubarskiy 47540c9662 [nullsafe][EASY] Add more logs around issue reporting
5 years ago
Nikos Gorogiannis 581af4856e [racerd] fix unknown-returns-owned option to true and remove
5 years ago
Nikos Gorogiannis 07175f163c [racerd] make unknown-returns-owned true by default
5 years ago
Sungkeun Cho 7bf7d24e4b [inferbo] Add model of Enum.name
5 years ago
Sungkeun Cho 7b6ddba689 [inferbo] Revise models of Collection.set and get
5 years ago
Ezgi Çiçek 269cdb80d9 [pulse] Model `StdVector` allocator
5 years ago
Ezgi Çiçek eed39540f3 [frontned][clang] Fix the translation of CXXStdInitializerListExpr
5 years ago
Josh Berdine 209fef2256 [sledge] Optimize conjoining fresh equalities
5 years ago
Nikos Gorogiannis 7e34576bcc [racerd] recognise wrappers that make containers thread-safe
5 years ago
Nikos Gorogiannis 8f351669bf [racerd] update synchronized java container class models
5 years ago
Nikos Gorogiannis ad334aef65 [racerd] improve and complete container models
5 years ago
Dulma Churchill c76d59853b [pulse] Model CFBridgingRelease by removing the Allocated attribute
5 years ago
Sungkeun Cho 7fbe04f701 [cost] Suppress cost issues on lambda and auto-generated procedures
5 years ago
Jules Villard 3332dc1a42 [AI] improve disjunctive domain
5 years ago
Jules Villard edba795825 [AI] move disjunctive scheduling to AbstractInterpreter
5 years ago
Jules Villard 60184a5e73 [AI] light internal refactoring of the scheduler
5 years ago
Jules Villard 401ecc2406 [IR] `Instrs.empty` and `Instrs.singleton` have both directions
5 years ago
Ezgi Çiçek b0da1c6837 [frontend][clang] Remove call to skip when translating CXXStdInitializerListExpr
5 years ago
Mitya Lyubarskiy a7e8bb5f4d [reporting] Don't secretly hide `Info` issues
5 years ago
Josh Berdine 53822697f9 [sledge] Rename contexts/profiles to be more conventional
5 years ago
Josh Berdine de20da4fb6 [sledge] Rename lib to src
5 years ago
Josh Berdine 8b59dc58fc [sledge] Remove dead llmodule field from frontend translation context
5 years ago
Jules Villard 50feb5481c [pudge] only ask unsat when reporting
5 years ago
Jules Villard 822a78c576 [pudge] lazily compute sledge stuff
5 years ago
Jules Villard 3220804ddb [pulse] add a cache of constants to equate them
5 years ago
Mitya Lyubarskiy 196043ab61 [nullsafe] Don't specify full class name in meta-issue text
5 years ago
Nikos Gorogiannis 73dda893ed [racerd] record dynamic types used in constructors for synchronized containers
5 years ago
Mitya Lyubarskiy 94b75585e5 [nullsafe] x-plat friendly JSON data for nullsafe metainfo
5 years ago
Daiva Naudziuniene dae7f36339 [pulse] Vector iterator model
5 years ago
David Pichardie ccb2d23c5b Make source file baby parser fails silently
5 years ago
Scott Owens d30b0959a1 [sledge sem] Add a README
5 years ago
Nikos Gorogiannis 72819a3865 [racerd] remove ownership init logic for locals
5 years ago
Jules Villard 36f44f030d [pudge] spit out sledge replay tests
5 years ago
Jules Villard 7a888170e7 [pudge] it's alive!
5 years ago
Jules Villard ab41305509 [pudge] Add a dependency on the sledge lib
5 years ago
Scott Owens 49d95f40a2 [sledge sem] Adds a theorem about block processing order
5 years ago
Nikos Gorogiannis 3b46c3b4da [racerd] refactor analysis driver function
5 years ago
Sungkeun Cho 572af451a9 [inferbo] Sanity check when constructing a set of known locations
5 years ago
Mitya Lyubarskiy 6a75ba6429 [nullsafe] Take into account Lambda classes in JavaClassName
5 years ago
Sungkeun Cho 2152af123d [inferbo] Remove dead check in appending field to location
5 years ago
Mitya Lyubarskiy 54c4715adc [nullsafe] Specify the right class location in meta-issue info
5 years ago
Scott Owens 8d49b8d6ef [sledge sem] Remove some proof cheats
5 years ago
Scott Owens 9327f41880 [sledge sem] Organise the tranlation corectness proof
5 years ago
Scott Owens 2a6ababa99 [sledge sem] Rework emap invariant
5 years ago