There has been some work done on generating gcov data based on:
https://github.com/rust-lang/rust/issues/690
Looking at cover though there appear to be benefits of doing this at the
language level. More importantly, at least for me, based on feedback from
my supervisor implementing something like
Finishing DXR is probably quite boring - it mostly just needs porting to a
different database at this stage. Although I'd be happy to have some help
:-)
One area I haven't touched with DXR yet and would like to see done is
handling macros, I think there is enough info in the compiler to do this
On 12/10/14 03:16 PM, Nick Cameron wrote:
On a different note, I would be really keen to see dynamic or static
analysis of unsafe blocks to show that they do in fact re-establish the
invariants that the rust compiler expects by the end of the unsafe
block. I expect this is hard to do, but
I'm interested in a project from a programming languages perspective. It's
an area I've recently gotten into and it would also align with the research
focus of my supervisor. I think it would be interesting to work on some
static analysis tooling. Sean mentioned a test coverage tool earlier in the
On Thu, Oct 9, 2014 at 8:22 AM, Victor Barua wrote:
I'm interested in a project from a programming languages
perspective. It's an area I've recently gotten into and it would
also align with the research focus of my supervisor. I think it
would be interesting to work on some static analysis
Finishing the DXR (https://wiki.mozilla.org/DXR) support for Rust that Nick
Cameron started would be extremely valuable and intersect with your static
analysis interests. https://bugzilla.mozilla.org/show_bug.cgi?id=956768 is
our tracking metabug for the DXR-side work that is still required;
Dear Rust Developers,
I'm a senior Computer Science undergraduate student at the University of
British Columbia. As part of my degree I have to complete an undergraduate
thesis which is a project of around 220 hours between now and next April.
Rust is a language that has caught my eye and I would
Hey there Victor,
There are plenty of interesting projects that need to get done. The places
I would suggest looking would be the active RFCs [1] and the interesting
projects in our bug database [2]. Before you do anything though, you should
check with the RFC author to see if someone's already
A project I'd love to see (either separate, or eventually baked into the
test harness), is test coverage data. Something like how Go's cover[1]
works, by adding counters to the source code, seems simplest. I've thought
about this, and it could either be a CLI tool, like `rustc --cover --test`,
or
LLVM already has support for instrumenting code to generate gcov data,
I believe Luqman and Huon have looked into this, at least slightly.
On Wed, Oct 8, 2014 at 9:09 PM, Sean McArthur smcart...@mozilla.com wrote:
A project I'd love to see (either separate, or eventually baked into the
test
Servo has a bunch of student projects
https://github.com/servo/servo/wiki/Student-projects that you might be
interested in.
-Manish Goregaokar
On Thu, Oct 9, 2014 at 6:50 AM, Corey Richardson co...@octayn.net wrote:
LLVM already has support for instrumenting code to generate gcov data,
I
Well, I've been looking forward to an actor library (
https://github.com/rust-lang/rust/issues/3573) although I think someone
already wrote a paper on that.
You could look into Rust's wishlist issues
https://github.com/rust-lang/rust/labels/I-wishlist?page=3q=is%3Aopen+label%3AI-wishlist
or
the
On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua victor.ba...@gmail.com
wrote:
I'm a senior Computer Science undergraduate student at the University of
British Columbia. As part of my degree I have to complete an undergraduate
thesis which is a project of around 220 hours between now and next
Hey Victor,
On Wed, Oct 8, 2014, at 06:51 PM, Victor Barua wrote:
I was hoping to ask the community for ideas on any tools, language
features
or research that would be useful to the community and fit the scope of
220
hours undergraduate project. I apologize in advance if this is the wrong
14 matches
Mail list logo
