Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Update the TODO and DONE.
Shlomi Fish
Update the TODO.
Shlomi Fish
Update the NEWS with the release information.
Shlomi Fish
Correct a typo.
Shlomi Fish
Got rid of some warnings.
Shlomi Fish
Document micro-finance in NEWS.txt.
Shlomi Fish
Correct the flares-plan.
Shlomi Fish
Add the micro-finance preset.
Shlomi Fish
Add the recent benchmark.
Shlomi Fish
Reformatted.
Shlomi Fish
Fix indentation.
Shlomi Fish
Reformatted.
Shlomi Fish
Fix code formatting/indentation.
Shlomi Fish
Revert "Trying an optimiziation."
Shlomi Fish
Revert "Another shoddy optimization."
Shlomi Fish
Another shoddy optimization.
Shlomi Fish
Trying an optimiziation.
Shlomi Fish
Delete stray files in PGO.
Shlomi Fish
Add a new benchmark.
Shlomi Fish
Support for ~/bin/sudo_time_fcs .
Shlomi Fish
Now creating .deps.
Shlomi Fish
pgo integration.
Shlomi Fish
Modularized pgo.bash.
Shlomi Fish
Extract a function from scripts/pgo.bash.
Shlomi Fish
out-of-source-builds support for PGO.
Shlomi Fish
Renamed.
Shlomi Fish
Correct phrasing.
Shlomi Fish
Add the new benchmark.
Shlomi Fish
Convert pgo.bash to use -l as.
Shlomi Fish
A small optimization.
  1. Prev
  2. Next