4
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Dec 01, 2024 — Dec 01, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Add a specific warning for "!V ^ fn = ...". More... 3 days ago
Generalize some names. More... 3 days ago
Update obsolete variable names. More... 3 days ago
Merge --warn-interface-imports into --warn-unused-interface-imports. More... 4 days ago
Make --warn-unused-imports more effective. More... 6 days ago
Make --warn-unused-interface-imports report just one context. More... 7 days ago
Fix a bad predicate name. More... 7 days ago
Eliminate mostly-duplicate work in frameopt.m. More... 7 days ago
Put predicate groups into execution order. More... 7 days ago
Move related predicates next to each other. More... 7 days ago
Use a bespoke type to replace bools. More... 7 days ago
Delete some unneeded arguments. More... 12 days ago
Update copyright years. More... 12 days ago
Reorder argument lists according to our style. More... 12 days ago
Some simplifications. More... 12 days ago
Replace a bool with a bespoke type. More... 13 days ago
Speed up var_locn.m a bit. More... 13 days ago
Check for a var_table being empty directly. More... 13 days ago
Speed up bound vs ground inst checks. More... 13 days ago
Simplify the lookup of a type's data constructors. More... 14 days ago
Encode an invariant in insts. More... 14 days ago
Style improvements in browser and deep_profiler. More... 15 days ago
Carve type_inst_mode_map.m out of convert_parse_tree.m. More... 15 days ago
Delete now-redundant blocks of unifications ... More... 16 days ago
Put entries into lexicographic order. More... 16 days ago
Break up a large predicate. More... 16 days ago
Replace clauses with explicit disjunctions ... More... 17 days ago
Simplify some code. More... 17 days ago
Break up two large predicates. More... 17 days ago
Break up three large predicates. More... 17 days ago