T

TLA+

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed 23 days ago. based on code collected 24 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Dec 29, 2024 — Jan 28, 2025 Showing page 2 of 2 Search / Filter on:
Remove branch parameter that breaks the badge.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago
Small adjustments to the syntax to enhance consistency with the current styles.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago
Move the implementation of `TLCStateStackFrame#matchesExpression` into `TLCSourceBreakpoint#matchesExpression` to privatize the member variable.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago
Prevent instantiation of utility classes.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago
Add TODO marker to indicate that error handling is incomplete.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago
Remove all references to global static semantic error log	Andrew Helwer	More...				about 2 months ago
Added license/copyright header to source files Misc other changes in response to PR feedback	Andrew Helwer	More...				about 2 months ago
Initial support for ad-hoc/on-the-fly/dynamic Watch expressions.	Markus Kuppe as Markus Alexander Kuppe	More...				about 2 months ago

←
1
2
→