git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2020-05-05	Markus Westerlind	Restore the snapshot/rollback optimization for region...	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	refactor: Replace probe_fudge by an explict call for...	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	refactor: Move probe_fudge into fudge.rs	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Improve naming	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Generate the UndoLog upcasts with a macro	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Fix review comments	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Rebase and use ena 0.14	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	refactor: simplify	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Prevent modifications without an undo log	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Fix import	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	refactor: Extract the undo log to its own modules	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	refactor: Rename Logs to InferCtxtUndoLogs	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	simplify	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	perf: Merge region_obligations snapshotting into the...	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	perf: Limit leak check snapshotting to probe_maybe_skip_leak...	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	perf: Lazily recive the Rollback argument in rollback_to	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	perf: Separate CombinedSnapshot into a FullSnapshot...	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Move projection_cache into the combined undo log	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Allow SnapshotMap to have a separate undo_log	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	Move region_constraint to the unified undo log	commit \| commitdiff \| tree
2020-05-05	Markus Westerlind	perf: Reduce snapshot/rollback overhead	commit \| commitdiff \| tree
2020-03-07	Markus Westerlind	refactor: Add an alias for the SmallVec in dep_graph	commit \| commitdiff \| tree
2020-03-07	Markus Westerlind	refactor: Move a borrow_mut and unwrap out of a loop	commit \| commitdiff \| tree
2020-03-07	Markus Westerlind	refactor: Exhaustive matching in method/probe.rs	commit \| commitdiff \| tree
2020-03-06	Markus Westerlind	perf(dep_graph): Avoid allocating a set on when the...	commit \| commitdiff \| tree
2020-03-02	Markus Westerlind	s/merged_block_count/statements_to_merge/g	commit \| commitdiff \| tree
2020-02-17	Markus Westerlind	Ensure diagnostics are printed in the correct order	commit \| commitdiff \| tree
2020-02-17	Markus Westerlind	perf: Buffer stderr when writing json errors/warnings	commit \| commitdiff \| tree
2020-02-16	Markus Westerlind	Clarify mir block merging	commit \| commitdiff \| tree
2020-02-13	Markus Westerlind	perf(mir): Reserve enough space for the merged blocks...	commit \| commitdiff \| tree
2020-02-13	Markus Westerlind	Avoid an intermediate Vec in mir simplify	commit \| commitdiff \| tree
2020-02-13	Markus Westerlind	Use Vec::append	commit \| commitdiff \| tree
2020-02-13	Markus Westerlind	Reuse a Vec in mir simplification	commit \| commitdiff \| tree
2020-02-08	Markus Westerlind	Reduce Vec allocations in normalization by passing...	commit \| commitdiff \| tree
2020-01-17	Markus Westerlind	perf: Only search the potentially changed constraints...	commit \| commitdiff \| tree
2020-01-17	Markus Westerlind	perf: Filter out and process fixed constraints first...	commit \| commitdiff \| tree
2020-01-13	Markus Westerlind	Explain fold_list	commit \| commitdiff \| tree
2020-01-09	Markus Westerlind	Fix copy_from_slice which should be extend_from_slice	commit \| commitdiff \| tree
2020-01-08	Markus Westerlind	perf: Avoid creating a SmallVec if nothing changes...	commit \| commitdiff \| tree
2020-01-02	Markus Westerlind	perf: Don't recurse into types that do not need normalizing	commit \| commitdiff \| tree
2019-03-26	Markus Westerlind	fix: Make incremental artifact deletion more robust	commit \| commitdiff \| tree
2016-03-21	Markus Westerlind	Improve time complexity of equality relations	commit \| commitdiff \| tree
2015-06-14	Markus Westerlind	Replaced a comment mentioning a fixed issue	commit \| commitdiff \| tree
2015-06-12	Markus Westerlind	Mention the short form pattern syntax in the book	commit \| commitdiff \| tree
2015-06-08	Markus Westerlind	Reordered the methods on str to improve doc sorting	commit \| commitdiff \| tree
2015-06-04	Markus Westerlind	Added AsRef implementations for Arc and Rc	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom