[www] r332181 - Add SRC slides
Tanya Lattner via llvm-commits
llvm-commits at lists.llvm.org
Sat May 12 15:52:01 PDT 2018
Author: tbrethou
Date: Sat May 12 15:52:01 2018
New Revision: 332181
URL: http://llvm.org/viewvc/llvm-project?rev=332181&view=rev
Log:
Add SRC slides
Added:
www/trunk/devmtg/2018-04/slides/Marton-Compile-Time Function Call Interception to Mock Fuctions.pdf (with props)
www/trunk/devmtg/2018-04/slides/Sallai-Using LLVM in a Model Checking Workflow.pdf (with props)
Added: www/trunk/devmtg/2018-04/slides/Marton-Compile-Time Function Call Interception to Mock Fuctions.pdf
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2018-04/slides/Marton-Compile-Time%20Function%20Call%20Interception%20to%20Mock%20Fuctions.pdf?rev=332181&view=auto
==============================================================================
Binary file - no diff available.
Propchange: www/trunk/devmtg/2018-04/slides/Marton-Compile-Time Function Call Interception to Mock Fuctions.pdf
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
Added: www/trunk/devmtg/2018-04/slides/Sallai-Using LLVM in a Model Checking Workflow.pdf
URL: http://llvm.org/viewvc/llvm-project/www/trunk/devmtg/2018-04/slides/Sallai-Using%20LLVM%20in%20a%20Model%20Checking%20Workflow.pdf?rev=332181&view=auto
==============================================================================
Binary file - no diff available.
Propchange: www/trunk/devmtg/2018-04/slides/Sallai-Using LLVM in a Model Checking Workflow.pdf
------------------------------------------------------------------------------
svn:mime-type = application/octet-stream
More information about the llvm-commits
mailing list