averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
179,023 Commits 623 Branches 2,949 Tags
weird-codegen
Commit Graph

3 Commits

Author SHA1 Message Date
Slava Pestov
c8415aeac4 Sema: Record the trail step count in solver statistics 
Also introduce two new frontend flags:

The -solver-scope-threshold flag sets the maximum number of scopes, which was
previously hardcoded to 1 million.

The -solver-trail-threshold flag sets the maximum number of trail steps,
which defaults to 64 million.
 2024-11-20 13:46:19 -05:00
Pavel Yaskevich
27275f6214 [CSStep] Add an implementation of ConjunctionStep 
It behavies similar to `DisjunctionStep` but attempts all of
its elements unless there is an inference failure.
 2021-10-08 10:08:00 -07:00
Pavel Yaskevich
461eafff54 [ConstraintSystem] NFC: Move ConstraintSystem.h to include/swift/Sema 2020-10-08 10:45:47 -07:00