infer_clone

Commit Graph

Author	SHA1	Message	Date
Radu Grigore	9591276541	[topl] Cheap port to Pulse. Summary: Report errors found by running Topl on top of Pulse, when using --topl-pulse. Topl tests now run on top of Pulse. Reviewed By: jvillard Differential Revision: D23030771 fbshipit-source-id: 8770c2902	5 years ago
Radu Grigore	2888a90e2a	[topl] Added tests for inefficient iteration Summary: The test shows what that TOPL can express, in addition to bugs, efficiency properties. However, there seems to be an underlying problem in biabdaction that prevents this particular problem from being caught. Reviewed By: ngorogiannis Differential Revision: D20005404 fbshipit-source-id: 466f79050	5 years ago

Author

SHA1

Message

Date

Radu Grigore

9591276541

[topl] Cheap port to Pulse.

Summary:
Report errors found by running Topl on top of Pulse, when using
--topl-pulse. Topl tests now run on top of Pulse.

Reviewed By: jvillard

Differential Revision: D23030771

fbshipit-source-id: 8770c2902

Radu Grigore

2888a90e2a

[topl] Added tests for inefficient iteration

Summary:
The test shows what that TOPL can express, in addition to bugs,
efficiency properties. However, there seems to be an underlying problem
in biabdaction that prevents this particular problem from being caught.

Reviewed By: ngorogiannis

Differential Revision: D20005404

fbshipit-source-id: 466f79050

2 Commits (6bf091d8c0ad483cfd39480504fb8e7a6b4af6c8)