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

]> git.lizzy.rs Git - rust.git/history - src/lib.rs

2019-05-29	Ralf Jung	fix for rustc changes	blob \| commitdiff \| raw
2019-05-15	Ralf Jung	make printing return place less verbose (#728)	blob \| commitdiff \| raw \| diff to current
2019-05-15	Ralf Jung	make printing return place less verbose	blob \| commitdiff \| raw \| diff to current
2019-05-15	Ralf Jung	Rustup (#723)	blob \| commitdiff \| raw \| diff to current
2019-05-13	Ralf Jung	fix for latest rustc	blob \| commitdiff \| raw \| diff to current
2019-04-22	Oliver Scherer	Merge pull request #702 from RalfJung/exit	blob \| commitdiff \| raw \| diff to current
2019-04-22	Ralf Jung	Merge branch 'master' into exit	blob \| commitdiff \| raw \| diff to current
2019-04-21	Ralf Jung	implement exit	blob \| commitdiff \| raw \| diff to current
2019-04-18	Tim Diekmann	Merge branch 'master' into realloc	blob \| commitdiff \| raw \| diff to current
2019-04-18	Ralf Jung	Merge pull request #695 from RalfJung/stacked-borrows-2	blob \| commitdiff \| raw \| diff to current
2019-04-17	Ralf Jung	rewrite Stacked Borrows Core. this passes stacked-borro...	blob \| commitdiff \| raw \| diff to current
2019-04-12	Ralf Jung	Merge pull request #687 from RalfJung/rustup	blob \| commitdiff \| raw \| diff to current
2019-04-12	Ralf Jung	rustup	blob \| commitdiff \| raw \| diff to current
2019-04-11	Ralf Jung	Merge pull request #680 from RalfJung/miri-unsized	blob \| commitdiff \| raw \| diff to current
2019-04-11	Ralf Jung	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2019-04-10	Ralf Jung	Merge pull request #683 from Aaron1011/feature/random	blob \| commitdiff \| raw \| diff to current
2019-04-09	Oliver Scherer	Merge branch 'master' into feature/random	blob \| commitdiff \| raw \| diff to current
2019-04-09	Aaron Hill	Some final cleanup	blob \| commitdiff \| raw \| diff to current
2019-04-08	Ralf Jung	fix dumping uninitialized locals	blob \| commitdiff \| raw \| diff to current
2019-04-07	Aaron Hill	Implement non-deterministc mode	blob \| commitdiff \| raw \| diff to current
2019-03-30	Ralf Jung	Merge pull request #668 from kenta7777/rename-evalconte...	blob \| commitdiff \| raw \| diff to current
2019-03-30	kenta7777	renames EvalContext to InterpretCx	blob \| commitdiff \| raw \| diff to current
2019-03-18	Ralf Jung	Merge pull request #663 from RalfJung/range-contains	blob \| commitdiff \| raw \| diff to current
2019-03-18	Ralf Jung	bump Rust; remove stabilized feature	blob \| commitdiff \| raw \| diff to current
2019-03-02	Ralf Jung	Merge pull request #647 from spastorino/place_base	blob \| commitdiff \| raw \| diff to current
2019-03-01	Santiago Pastorino	Place::Local(x) is now Place::Base(PlaceBase::Local(x))	blob \| commitdiff \| raw \| diff to current
2019-02-27	Ralf Jung	Merge pull request #648 from RalfJung/avoid-full-slice	blob \| commitdiff \| raw \| diff to current
2019-02-27	Ralf Jung	avoid [..]	blob \| commitdiff \| raw \| diff to current
2019-02-26	Ralf Jung	Merge pull request #635 from alexreg/cosmetic-2	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Fixed nits raised in review.	blob \| commitdiff \| raw \| diff to current
2019-02-26	Alexander Regueiro	Various cosmetic improvements.	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Merge pull request #623 from RalfJung/fat-ptr-eq	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	Fix comparing fat pointers	blob \| commitdiff \| raw \| diff to current
2019-02-15	Ralf Jung	update for new bin_op APIs	blob \| commitdiff \| raw \| diff to current
2019-02-14	Ralf Jung	Merge remote-tracking branch 'origin/master' into str...	blob \| commitdiff \| raw \| diff to current
2019-02-13	Ralf Jung	Merge branch 'master' into format-padding	blob \| commitdiff \| raw \| diff to current
2019-02-11	Ralf Jung	Merge branch 'master' into appveyor	blob \| commitdiff \| raw \| diff to current
2019-02-10	Oliver Scherer	Merge pull request #624 from RalfJung/args	blob \| commitdiff \| raw \| diff to current
2019-02-09	Ralf Jung	also pass actual arguments to Windows	blob \| commitdiff \| raw \| diff to current
2019-02-09	Ralf Jung	implement passing arguments to the interpreted program	blob \| commitdiff \| raw \| diff to current
2019-02-07	Oliver Scherer	Merge pull request #616 from RalfJung/cargo-miri	blob \| commitdiff \| raw \| diff to current
2019-02-07	Ralf Jung	cargo miri: refactor how we detect what to interpret...	blob \| commitdiff \| raw \| diff to current
2019-01-08	Oliver Scherer	Merge pull request #597 from RalfJung/range-map	blob \| commitdiff \| raw \| diff to current
2019-01-07	Ralf Jung	deduplicate RangeMap elements in iter_mut	blob \| commitdiff \| raw \| diff to current
2019-01-05	Oliver Scherer	Merge pull request #596 from RalfJung/backtrace	blob \| commitdiff \| raw \| diff to current
2019-01-05	Oliver Scherer	Merge branch 'master' into backtrace	blob \| commitdiff \| raw \| diff to current
2019-01-04	Ralf Jung	move env var stuff out of the miri lib	blob \| commitdiff \| raw \| diff to current
2018-12-24	Ralf Jung	Merge pull request #586 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-23	Ralf Jung	fix for infallible allocation	blob \| commitdiff \| raw \| diff to current
2018-12-21	Ralf Jung	Merge pull request #572 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-20	Ralf Jung	Merge branch 'master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	Merge pull request #578 from RalfJung/misc	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	fix argv null terminator	blob \| commitdiff \| raw \| diff to current
2018-12-19	Ralf Jung	implement GetCommandLineW, GetEnvironmentVariableW...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	Merge pull request #550 from RalfJung/cargo-miri-test	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	typo	blob \| commitdiff \| raw \| diff to current
2018-12-18	Ralf Jung	implement macOS functions for argc, argv	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	Merge branch 'master' into retag-to-raw	blob \| commitdiff \| raw \| diff to current
2018-12-12	Ralf Jung	treat ref-to-raw cast like a reborrow: do a special...	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	Merge pull request #568 from RalfJung/cleanup	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	get rid of to_bytes hack	blob \| commitdiff \| raw \| diff to current
2018-12-11	Ralf Jung	avoid repeating signatures in EvalContext extension...	blob \| commitdiff \| raw \| diff to current
2018-12-10	Oliver S̶c̶h̶n̶e̶i...	Merge pull request #566 from RalfJung/foreign-full-mir	blob \| commitdiff \| raw \| diff to current
2018-12-10	Ralf Jung	remove support for not having libstd MIR	blob \| commitdiff \| raw \| diff to current
2018-12-08	Ralf Jung	Merge pull request #564 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-08	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-12-07	Ralf Jung	Merge remote-tracking branch 'origin/master' into stack...	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge branch 'master' into stacked-borrows-2-phase	blob \| commitdiff \| raw \| diff to current
2018-12-03	Oliver S̶c̶h̶n̶e̶i...	Merge branch 'master' into fixme	blob \| commitdiff \| raw \| diff to current
2018-12-03	Ralf Jung	Merge pull request #561 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	we don't need no whitelist	blob \| commitdiff \| raw \| diff to current
2018-12-02	Ralf Jung	support for basic (non-overlapping) 2-phase borrows	blob \| commitdiff \| raw \| diff to current
2018-11-30	Ralf Jung	Merge pull request #553 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge pull request #545 from solson/oli-obk-patch-1	blob \| commitdiff \| raw \| diff to current
2018-11-28	Ralf Jung	Merge remote-tracking branches 'origin/master' and...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Oliver S̶c̶h̶n̶e̶i...	Merge branch 'master' into oli-obk-patch-1	blob \| commitdiff \| raw \| diff to current
2018-11-27	Oliver Scherer	Expose some internals for priroda	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	track call IDs	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	adjust for memory_allocated hook, make RangeMap preallo...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	Merge pull request #543 from RalfJung/auto-libstd	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	Merge remote-tracking branch 'origin/master' into auto...	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	std::ptr no longer needs whitelisting	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	there are less places now to keep the flags in sync	blob \| commitdiff \| raw \| diff to current
2018-11-27	Ralf Jung	fix clippy lint whitelisting	blob \| commitdiff \| raw \| diff to current
2018-11-26	Ralf Jung	Merge branch 'master' into self-referential-generator	blob \| commitdiff \| raw \| diff to current
2018-11-24	Ralf Jung	Merge pull request #541 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-23	Ralf Jung	fix for new Align type	blob \| commitdiff \| raw \| diff to current
2018-11-22	Ralf Jung	Merge pull request #538 from solson/rustup	blob \| commitdiff \| raw \| diff to current
2018-11-22	Ralf Jung	Merge remote-tracking branch 'origin/master' into rustup	blob \| commitdiff \| raw \| diff to current
2018-11-21	Ralf Jung	remove stabilized feature flag	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'master' into cargo-miri-2018	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge pull request #526 from RalfJung/mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	UnsafeCell no longer needs to be on the whitelist	blob \| commitdiff \| raw \| diff to current
2018-11-20	Ralf Jung	Merge branch 'miri-backtrace' into mut-visitor	blob \| commitdiff \| raw \| diff to current
2018-11-19	Ralf Jung	Merge remote-tracking branch 'origin/master' into mut...	blob \| commitdiff \| raw \| diff to current
2018-11-17	Ralf Jung	escape-on-cast, now ptr-deref does not change the tag...	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge pull request #524 from RalfJung/escape-to-raw	blob \| commitdiff \| raw \| diff to current
2018-11-16	Ralf Jung	Merge remote-tracking branch 'origin/master' into escap...	blob \| commitdiff \| raw \| diff to current
2018-11-15	Ralf Jung	Separate deref and access into different operations...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom