4
I Use This!
High Activity

Commits : Listings

Analyzed 3 days ago. based on code collected 3 days ago.
Apr 30, 2024 — May 30, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Delete tests/invalid/instance_dup_var.err_exp. More... 3 days ago
Use color to emphasize some errors. More... 5 days ago
Use color in add_pragma_tabling.m. More... 5 days ago
Add an XXX about a possible improvement. More... 5 days ago
Warn about arity mismatches with coerce. More... 5 days ago
Make diagnostics about coerce failures more detailed. More... 5 days ago
Handle errors about ambiguous types better. More... 6 days ago
Update the diagnostics from state_var.m. More... 6 days ago
Use color more appropriately. More... 8 days ago
Improve the wording of a diagnostic. More... 9 days ago
Don't report "mismatches" against distinct type vars. More... 9 days ago
Color reasons for why goals can fail. More... 9 days ago
Fix typo in my last commit. More... 9 days ago
Use the last context word in type diagnostics. More... 9 days ago
Use proper capitalization. More... 9 days ago
Fix double words in diagnostics. More... 9 days ago
Quote var names in post_typecheck.m. More... 10 days ago
Expand a diagnostic, and use quotes more consistently. More... 10 days ago
Improve the wording of some diagnostics. More... 10 days ago
Enable two tests to pass with --intermod-opt. More... 10 days ago
Use color_as_possible_cause more sparingly. More... 10 days ago
More minor updates to diagnostics. More... 10 days ago
Standardize the format of lists of cons_ids. More... 10 days ago
Enable color in tests/invalid_onlydepend. More... 10 days ago
Move all x_list_to_y_pieces functions to the end. More... 11 days ago
Delete an unneeded argument. More... 11 days ago
More minor updates to diagnostics. More... 11 days ago
Update file contains to match new file names. More... 11 days ago
Regulatize some test names. More... 11 days ago
More minor updates to diagnostics. More... 11 days ago