May 2025 Archives by subject

Messages sorted by: [ thread ] [ author ] [ date ]
More info on this list...

Starting: Sat May 3 17:46:00 AEST 2025
Ending: Wed May 28 06:30:05 AEST 2025
Messages: 75

[m-rev.] diff: break up some large predicates in add_pred.m Zoltan Somogyi
[m-rev.] diff: convert optimization options to help structures Zoltan Somogyi
[m-rev.] diff: convert termination and ctgc help to structures Zoltan Somogyi
[m-rev.] diff: document some things about conservative gc Zoltan Somogyi
[m-rev.] diff: give a few predicates more descriptive names Zoltan Somogyi
[m-rev.] diff: improve cohesion and style of style_checks.m Zoltan Somogyi
[m-rev.] diff: improve delay_info.m's invariant checks Zoltan Somogyi
[m-rev.] diff: improve goal_util.m's style Zoltan Somogyi
[m-rev.] diff: mark_trace_goals.m Zoltan Somogyi
[m-rev.] diff: minor style improvements in extras Zoltan Somogyi
[m-rev.] for possible objection: add ft=make, and copyright years Zoltan Somogyi
[m-rev.] for possible objection: add ft=make, and copyright years Julien Fischer
[m-rev.] for post-commit review: carve five new modules out of goal_util.m Zoltan Somogyi
[m-rev.] for post-commit review: carve five new modules out of goal_util.m Julien Fischer
[m-rev.] for post-commit review: clarify a diagnostic from prepare.sh Zoltan Somogyi
[m-rev.] for post-commit review: convert codegen options to help structures Zoltan Somogyi
[m-rev.] for post-commit review: convert help for compilation model options Zoltan Somogyi
[m-rev.] for post-commit review: convert help for output options Zoltan Somogyi
[m-rev.] for post-commit review: convert remaining options to help structures Zoltan Somogyi
[m-rev.] for post-commit review: delay reporting missing parent imports Zoltan Somogyi
[m-rev.] for post-commit review: delay reporting missing parent imports Zoltan Somogyi
[m-rev.] for post-commit review: don't warn about redundant imports when making .int files Zoltan Somogyi
[m-rev.] for post-commit review: don't warn about redundant imports when making .int files Julien Fischer
[m-rev.] for post-commit review: improve comments in string.m Zoltan Somogyi
[m-rev.] for post-commit review: improve comments in string.m Julien Fischer
[m-rev.] for post-commit review: more specific warnings about unresolved polymorphism Zoltan Somogyi
[m-rev.] for post-commit review: more specific warnings about unresolved polymorphism Julien Fischer
[m-rev.] for post-commit review: more specific warnings about unresolved polymorphism Zoltan Somogyi
[m-rev.] for post-commit review: move warnings about non-contiguous clauses to style_checks.m Zoltan Somogyi
[m-rev.] for post-commit review: refer to field names, not field labels Zoltan Somogyi
[m-rev.] for post-commit review: report unused modules in bulk Zoltan Somogyi
[m-rev.] for post-commit review: store warning opts in help structures Zoltan Somogyi
[m-rev.] for post-commit review: use help structs for verbosity options Zoltan Somogyi
[m-rev.] for post-commit review: work around the trace-goal-moving-too-far bug Zoltan Somogyi
[m-rev.] for post-commit review and opinions: warn option classification Zoltan Somogyi
[m-rev.] for post-commit review and opinions: warn option classification Julien Fischer
[m-rev.] for post-commit review and opinions: warn option classification Zoltan Somogyi
[m-rev.] for post-commit review and opinions: warn option classification Julien Fischer
[m-rev.] for post-commit review and opinions: warn option classification Peter Wang
[m-rev.] for post-commit review and opinions: warn option classification Peter Wang
[m-rev.] for post-commit review and opinions: warn option classification Zoltan Somogyi
[m-rev.] for post-commit review and opinions: warn option classification Julien Fischer
[m-rev.] for review: delete some redundant checks for NULL Zoltan Somogyi
[m-rev.] for review: delete some redundant checks for NULL Zoltan Somogyi
[m-rev.] for review: delete some redundant checks for NULL Julien Fischer
[m-rev.] for review: structured representation of option documentation Zoltan Somogyi
[m-rev.] for review: structured representation of option documentation Zoltan Somogyi
[m-rev.] for review: structured representation of option documentation Julien Fischer
[m-rev.] for review: structured representation of option documentation Julien Fischer
[m-rev.] for review: structured representation of option documentation Zoltan Somogyi
[m-rev.] for review: structured representation of option documentation Zoltan Somogyi
[m-rev.] for review: turn off all warnings when making .int*/.*opt files Zoltan Somogyi
[m-rev.] for review: turn off all warnings when making .int*/.*opt files Julien Fischer
[m-rev.] for review: tweak and announce the new options Zoltan Somogyi
[m-rev.] for review: tweak and announce the new options Julien Fischer
[m-rev.] for review: update README.macOS.md Julien Fischer
[m-rev.] for review: update README.macOS.md Zoltan Somogyi
[m-rev.] for review: update README.macOS.md Julien Fischer
[m-rev.] for review: warn about moved trace goals Zoltan Somogyi
[m-rev.] for review: warn about moved trace goals Julien Fischer
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Julien Fischer
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Julien Fischer
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Julien Fischer
[m-rev.] for review: warn about unneeded initial and final state vars Peter Wang
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Julien Fischer
[m-rev.] for review: warn about unneeded initial and final state vars Peter Wang
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi
[m-rev.] for review: warn about unneeded initial and final state vars Peter Wang
[m-rev.] for review: warn about unneeded initial and final state vars Zoltan Somogyi

Last message date: Wed May 28 06:30:05 AEST 2025
Archived on: Wed May 28 06:30:13 AEST 2025

Messages sorted by: [ thread ] [ author ] [ date ]
More info on this list...

This archive was generated by Pipermail 0.09 (Mailman edition).