Slava Pestov
|
ea15d9f9b2
|
Stop passing -warn-redundant-requirements in tests
|
2024-02-02 14:57:19 -05:00 |
|
Slava Pestov
|
23b1690f6b
|
ASTPrinter: Refactor printing of RequirementSignatures
|
2024-01-31 21:55:52 -05:00 |
|
Slava Pestov
|
dac8d666ee
|
Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests
These flags are now no-ops.
|
2022-05-10 12:56:17 -04:00 |
|
Slava Pestov
|
f39372b33d
|
RequirementMachine: Turn off redundant requirement warnings by default and add -warn-redundant-requirements frontend flag
|
2022-05-10 01:49:56 -04:00 |
|
Slava Pestov
|
0111618c50
|
RequirementMachine: Perform concrete contraction on protocol requirement signatures
|
2022-05-09 21:21:35 -04:00 |
|
Slava Pestov
|
561e63552f
|
Pass -requirement-machine-protocol-signatures=off in three tests
|
2022-02-24 15:09:53 -05:00 |
|