Displaying 3 results from an estimated 3 matches for "stevez".
Did you mean:
steve
2006 May 28
0
rake errors - not as helpful as they could be
...iguration but it seems as though a better error (''Failed to connect to
database NAME'' or some such) could be presented to the user rather than the
end result (abort/fail). would this bug be considered on rails or on rake
proper?
regards,
jean-pierre
###########################
stevez.sea-urchin ~/Sites/auth -=> rake
(in /Volumes/local/Users/stevez/Sites/auth)
/opt/local/bin/ruby -Ilib:test
"/opt/local/lib/ruby/gems/1.8/gems/rake-0.7.1/lib/rake/rake_test_loader.rb"
/opt/local/bin/ruby -Ilib:test
"/opt/local/lib/ruby/gems/1.8/gems/rake-0.7.1/lib/rake/rake_test_...
2013 Jan 30
2
[LLVMdev] Publication Generation of TLM Testbenches Using Mutation Testing
Dear all,
I would like to share a paper I co-authored with Prof. Alper Sen. This
paper describes an algorithm to generate testbenches from SystemC
models represented with LLVM IR. It was accepted and presented at
International Conference on Hardware/Software Codesign and System
Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from
acm or Alper's website:
2016 Feb 08
4
Question about Formal Verification
Hello, all,
My name is Scott Santucci and I'm a software developer kicking around
various wild ideas. (I wish I had something more interesting to say about
myself than that, but nothing comes to mind; my day job is in SQL and Java,
nothing to do with LLVM.)
I am wondering whether anyone has tried using LLVM to apply formal
verification to program code. I'm thinking about trying to