text:
/* line 1, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.calendarview.btn-default {
  background-color: black;
  color: rgba(255, 255, 255, 0.84);
  color: rgba(0, 0, 0, 0.84);
}

/* line 7, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.fc-button .fc-button-inner:hover {
  background-color: red !important;
  color: #fff !important;
}

/* line 12, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.fc-button.fc-state-active .fc-button-inner {
  background-color: green !important;
  color: #fff !important;
}

/* line 17, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.fc-button .fc-button-inner {
  background-color: #000 !important;
  color: #fff !important;
}

/* line 22, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.tooltip {
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black;
}

/* line 28, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.tooltip .tooltiptext {
  visibility: hidden;
  width: 120px;
  background-color: grey;
  color: #fff;
  text-align: center;
  border-radius: 6px;
  padding: 5px 0;
  /* Position the tooltip */
  position: absolute;
  z-index: 1;
}

/* line 42, ../../../sass/partials/fullcalendar/fullcalendar-self.scss */
.tooltip:hover .tooltiptext {
  visibility: visible;
}


text:
DESCRIPTION = "Perl extensions for IPv6"
SECTION = "libs"
LICENSE = "unknown"
PR = "r1"

BBCLASSEXTEND = "native"

CFLAGS += "-D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE"
BUILD_CFLAGS += "-D_LARGEFILE_SOURCE -D_LARGEFILE64_SOURCE"

SRC_URI = "http://search.cpan.org/CPAN/authors/id/U/UM/UMEMOTO/Socket6-${PV}.tar.gz;name=socket6-perl-${PV}"
SRC_URI[socket6-perl-0.23.md5sum] = "2c02adb13c449d48d232bb704ddbd492"
SRC_URI[socket6-perl-0.23.sha256sum] = "eda753f0197e8c3c8d4ab20a634561ce84011fa51aa5ff40d4dbcb326ace0833"

S = "${WORKDIR}/Socket6-${PV}"

do_configure_prepend () {
	oenote Executing autoreconf --verbose --install --force
	mkdir -p m4
	autoreconf -Wcross --verbose --install --force || oefatal "autoreconf execution failed."
	sed -i 's:\./configure\(.[^-]\):./configure --build=${BUILD_SYS} --host=${HOST_SYS} --target=${TARGET_SYS} --prefix=${prefix} --exec_prefix=${exec_prefix} --bindir=${bindir} --sbindir=${sbindir} --libexecdir=${libexecdir} --datadir=${datadir} --sysconfdir=${sysconfdir} --sharedstatedir=${sharedstatedir} --localstatedir=${localstatedir} --libdir=${libdir} --includedir=${includedir} --oldincludedir=${oldincludedir} --infodir=${infodir} --mandir=${mandir}\1:' Makefile.PL
}

inherit cpan

license: MIT

repository: overo/overo-oe-natty

license_type: permissive

repo_name: overo/overo-oe-natty

branch_name: HEAD

extension: bb


text:
.navbar-inverse{
    margin-bottom: 0px;
    border-radius: 0px;
    padding:5px;
}
.dropdown-menu > li{
    margin-top: 10px;
    margin-bottom:10px;
}

/*Footer*/
html{
    box-sizing: border-box;
    height:100%;
}
body{
    min-height:100%;
    position:relative;
    padding-bottom:30px;
}
*,
*:before,
*:after {
    box-sizing: inherit;
}
.footer {
    height: 70px;
    position: absolute;
    right: 0;
    bottom: 0;
    left: 0;
    padding: 1rem;
    text-align: center;
    background-color:#222;
    color:#cccccc;
    padding-top: 15px;
}

branch_name: refs/heads/master

extension: css


text:
.option{
	font-weight: 300;
	font-size:12px;
	color: #bababa;
	padding:10px;
	border-top: 1px solide #404040;
}

.option a {
	color:inherit;
	text-decoration: none;
}

.option span {
	color:white;
	margin-right: 10px;
}


text:
@inproceedings{Baskar2015StudyOD,
  title={Study of Different Denoising Methods for Underwater Acoustic Signal},
  author={Venkitasamy Baskar and V. Rajendran and E. Logashanmugam},
  year={2015}
}
@book{witten_1985,
  place={London},
  title={Principles of computer speech},
  publisher={Academic Press},
  author={Witten, I. H.},
  year={1985}
}
@ARTICLE{2014ASAJ,
   author = {{Shamir}, L. and {Yerby}, C. and {Simpson}, R. and {von Benda-Beckmann}, A.~M. and
        {Tyack}, P. and {Samarra}, F. and {Miller}, P. and {Wallin}, J.
        },
    title = "{Classification of large acoustic datasets using machine learning and crowdsourcing: Application to whale calls}",
  journal = {Acoustical Society of America Journal},
     year = 2014,
    month = feb,
   volume = 135,
    pages = {953-962},
      doi = {10.1121/1.4861348},
   adsurl = {http://adsabs.harvard.edu/abs/2014ASAJ..135..953S},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
@misc{WHALESCORE,
  title = {Detection and Identification of Marine Mammals in Passive Acoustic Recordings from SCORE using a Visual Processing Approach Established for HARP Data},
  author = {Harris,, Elizabeth, A},
  year = {2012},
  URL = {https://calhoun.nps.edu/handle/10945/7354},
  publisher = {Calhoun}
}
@article{specsub2008,
author = {Cole, Cliston and Karam, Marc and Aglan, Heshmat},
year = {2008},
month = {04},
pages = {1146-1147},
title = {Noise Removal in Speech Processing Using Spectral Subtraction},
volume = {05},
booktitle = {Journal of Signal and Information Processing}
}
@inproceedings{Berouti1979EnhancementOS,
  title={Enhancement of speech corrupted by acoustic noise},
  author={Michael G. Berouti and Richard M. Schwartz and John Makhoul},
  booktitle={ICASSP},
  year={1979}
}
@article{welch1976,
author = {D. Welch, Peter},
year = {1967},
month = {07},
pages = {70 - 73},
title = {The Use of Fast Fourier Transform for the Estimation of Power Spectra: A Method Based on Time Averaging Over Short, Modified Periodograms},
volume = {15},
booktitle = {Audio and Electroacoustics, IEEE Transactions on}
}
@Misc{Jones2001,
  author =    {Eric Jones and Travis Oliphant and Pearu Peterson and others},
  title =     {{SciPy}: Open source scientific tools for {Python}},
  year =      {2001--},
  url = "http://www.scipy.org/",
}

repository: probinso/Whales

repo_name: probinso/Whales

extension: bib


text:
@article{SPJ,
    author  = "Simon P. Jones and Jean-Marc Eber and Julian Seward",
    title   = "Composing {C}ontracts: {A}n {A}dventure in {F}inancial {E}ngineering",
    year    = "2000",
    journal = "ACM SIG-PLAN Notices",
    volume  = "35",
    number  = "9",
    pages   = "280--292",
    note    = {\url{https://www.cs.tufts.edu/~nr/cs257/archive/simon-peyton-jones/contracts.pdf} (Accessed: 13-01-2019)}
}

@article{flint,
    author  = "Franklin Schrans and Susan Eisenbach and Sophia Drossopoulou",
    title   = "Writing safe smart contracts in {F}lint",
    year    = "2018",
    journal = "Programming'18 Companion",
    pages   = "218--219",
    note    = {\url{https://dl.acm.org/citation.cfm?doid=3191697.3213790} (Accessed: 15-06-2019)}
}

@article{EthSec,
    title           = "Making {S}mart {C}ontracts {S}marter",
    author          = "Loi Luu and Duc-Hiep Chu and Hrishi Olickel and Prateek Saxena and Aquinas Hobor",
    year            = "2016",
    journal         = "ACM CCS 2016",
    pages           = "254--269",
    note            = {\url{https://eprint.iacr.org/2016/633} (Accessed: 15-01-2019)}
}

@misc{Eth,
    author          = "Ethereum Foundation",
    title           = "What is {E}thereum? - {E}thereum {H}omestead 0.1 documentation",
    howpublished    = {\url{http://www.ethdocs.org/en/latest/introduction/what-is-ethereum.html}},
    note            = {(Accessed: 13-01-2019)}
}

@misc{EthLib,
    author          = "Ethereum Foundation",
    title           = "Contracts - {S}olidity 0.4.24 documentation",
    howpublished    = {\url{https://solidity.readthedocs.io/en/v0.4.24/contracts.html}},
    note            = {(Accessed: 13-01-2019)}
}

@misc{EthProxLib,
    title           = "Proxy {L}ibraries in {S}olidity",
    author          = "Manuel Araoz",
    howpublished    = {\url{https://blog.zeppelin.solutions/proxy-libraries-in-solidity-79fbe4b970fd}},
    note            = {(Accessed: 13-01-2019)}
}

@misc{EthPM,
    author          = "Coinmonks and G Nicholas D'Andrea",
    title           = "Eth{PM}: {R}eusable smart contract packages",
    howpublished    = {\url{https://medium.com/coinmonks/ethpm-smart-contract-packages-for-developers-81c77481c491}},
    note            = {(Accessed: 13-01-2019)}
}

@misc{Ewasm,
    author          = "Ethereum Foundation",
    title           = "Ethereum flavored {W}eb{A}ssembly (ewasm)",
    howpublished    = {\url{https://github.com/ewasm/design}},
    note            = {(Accessed: 14-01-2019)}
}

@misc{Bitc,
    title           = "Bitcoin: A {P}eer-to-{P}eer {E}lectronic {C}ash {S}ystem",
    author          = "Satoshi Nakamoto",
    howpublished    = {\url{https://bitcoin.org/bitcoin.pdf}},
    note            = {(Accessed: 15-01-2019)}
}

@misc{Geth,
    author          = "Ethereum Foundation",
    title           = "Go-{E}thereum {W}iki",
    howpublished    = {\url{https://github.com/ethereum/go-ethereum/wiki/Private-network}},
    note            = {(Accessed: 15-01-2019)}
}

@misc{Truffle,
    author          = "ConsenSys",
    title           = "Truffle {O}verview",
    howpublished    = {\url{https://truffleframework.com/docs/truffle/overview}},
    note            = {(Accessed: 15-01-2019)}
}

@misc{DHC,
    author          = "DFINITY",
    title           = "Dfinity {H}askell {C}ompiler",
    howpublished    = {\url{https://github.com/dfinity/dhc}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{ASTR,
    author          = "Tweag I/O",
    title           = "Asterius: {A} {H}askell to {W}eb{A}ssembly {C}ompiler",
    howpublished    = {\url{https://github.com/tweag/asterius}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{SCWASM,
    author          = "Valérian Rousset",
    title           = "Web{A}ssembly for {S}cala",
    howpublished    = {\url{https://github.com/tharvik/wasm}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{AWASM,
    author          = "Steve Akinyemi",
    title           = "Awesome {W}eb{A}ssembly {L}anguages",
    howpublished    = {\url{https://github.com/appcypher/awesome-wasm-langs}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{FASEVM,
    author          = "Jordan Earls",
    title           = "The {F}aults and {S}hortcomings of the {EVM}",
    howpublished    = {\url{https://medium.com/@earlz/the-faults-and-shortcomings-of-the-evm-bde4d09b8b6a}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{W3CMEM,
    author          = "W3C",
    title           = "Current {M}embers - {W3C}",
    howpublished    = {\url{https://www.w3.org/Consortium/Member/List}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{PWASM,
    author          = "Parity Technologies",
    title           = "A step-by-step tutorial on how to write contracts in {W}asm for {K}ovan",
    howpublished    = {\url{https://github.com/paritytech/pwasm-tutorial}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{EWASMDOC,
    author          = "Ethereum Foundation",
    title           = "What is {E}thereum flavored {W}eb{A}ssembly (ewasm)?",
    howpublished    = {\url{https://ewasm.readthedocs.io/en/mkdocs/README/#what-is-ethereum-flavored-webassembly-ewasm}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{REMIX,
    author          = "Ethereum Foundation",
    title           = "Remix, {E}thereum-{IDE} 1 documentation",
    howpublished    = {\url{https://remix.readthedocs.io/en/latest/}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{MMSK,
    author          = "MetaMask",
    title           = "Meta{M}ask - {A}bout",
    howpublished    = {\url{https://metamask.io/}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{RMXTST,
    author          = "Ethereum Foundation",
    title           = "Remix-{T}ests",
    howpublished    = {\url{https://github.com/ethereum/remix/tree/master/remix-tests}},
    note            = {(Accessed: 21-01-2019)}
}

@misc{ASC,
    author          = "Igor Korsakov",
    title           = "Awesome {S}mart {C}ontracts",
    howpublished    = {\url{https://github.com/Overtorment/awesome-smart-contracts}},
    note            = {(Accessed: 24/01/2019)}
}

@misc{pwasm-tut-node,
    author          = "Parity Technologies",
    title           = "A step-by-step tutorial on how to write contracts in {W}asm for {K}ovan - {R}un node and deploy contract",
    howpublished    = {\url{https://github.com/paritytech/pwasm-tutorial#run-node-and-deploy-contract}},
    note            = {(Accessed: 31/05/2019)}
}

@misc{pwasm-build-tools,
    author          = "Parity Technologies",
    title           = "wasm-utils",
    howpublished    = {\url{https://github.com/paritytech/wasm-utils#build-tools-for-cargo}},
    note            = {(Accessed: 31/02/2019)}
}

@misc{parity-technologies,
    author          = "Parity Technologies",
    title           = "Technologies",
    howpublished    = {\url{https://paritytech.github.io/technologies.html}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{pwasm-ethereum,
    author          = "Parity Technologies",
    title           = "pwasm_ethereum - {R}ust",
    howpublished    = {\url{https://paritytech.github.io/pwasm-ethereum/pwasm_ethereum/}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{pwasm-std,
    author          = "Parity Technologies",
    title           = "pwasm_std - {R}ust",
    howpublished    = {\url{https://paritytech.github.io/pwasm-ethereum/pwasm_std/}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{pwasm-abi,
    author          = "Parity Technologies",
    title           = "pwasm_abi - {R}ust",
    howpublished    = {\url{https://paritytech.github.io/pwasm-abi/pwasm_abi/}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{pwasm-test,
    author          = "Parity Technologies",
    title           = "pwasm-test",
    howpublished    = {\url{https://github.com/paritytech/pwasm-test}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{pwasm-client-wasm,
    author          = "Parity Technologies",
    title           = "Web{A}ssembly ({W}asm) · {P}arity {T}ech {D}ocumentation",
    howpublished    = {\url{https://wiki.parity.io/WebAssembly-Home}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{web3-intro,
    author          = "Ethereum Foundation",
    title           = "web3.js - {E}thereum {J}ava{S}cript {API} - web3.js 1.0.0 documentation",
    howpublished    = {\url{https://web3js.readthedocs.io/en/1.0/}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{web3-py,
    author          = "Ethereum Foundation",
    title           = "{web3.py - Web3.py 4.9.2 documentation}",
    howpublished    = {\url{https://web3py.readthedocs.io/en/stable/}},
    note            = {(Accessed: 07/06/2019)}
}

@misc{yul,
    author          = "Ethereum Foundation",
    title           = "{Yul - Solidity 0.5.9 documentation}",
    howpublished    = {\url{https://solidity.readthedocs.io/en/v0.5.9/yul.html}},
    note            = {(Accessed: 11/06/2019)}
}

@misc{eth-usd,
    author          = "CoinGecko",
    title           = "{Ethereum USD Chart (ETH/USD) | CoinGecko}",
    howpublished    = {\url{https://www.coingecko.com/en/coins/ethereum/usd}},
    note            = {(Accessed: 13/06/2019)}
}

@misc{eth-known-attacks,
    author          = "ConsenSys Diligence",
    title           = "{Known Attacks - Ethereum Smart Contract Best Practices}",
    howpublished    = {\url{https://consensys.github.io/smart-contract-best-practices/known_attacks/#reentrancy-on-a-single-function}},
    note            = {(Accessed: 13/06/2019)}
}

@misc{lattice-model,
    author          = "Will Kenton",
    title           = "{Lattice-Based Model}",
    howpublished    = {\url{https://www.investopedia.com/terms/l/lattice-model.asp}},
    note            = {(Accessed: 13/06/2019)}
}

@misc{python,
    author          = "Python Software Foundation",
    title           = "{Welcome to Python.org}",
    howpublished    = {\url{https://www.python.org/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{chrome,
    author          = "Google Inc.",
    title           = "{Google Chrome - The Fast, Simple and Secure Browser from Google}",
    howpublished    = {\url{https://www.google.com/chrome/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{rust,
    author          = "Rust Team",
    title           = "{Rust Programming Language}",
    howpublished    = {\url{https://www.rust-lang.org/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{cargo,
    author          = "Rust Team",
    title           = "{Cargo: packages for Rust}",
    howpublished    = {\url{https://crates.io/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{yarn,
    author          = "Yarn Contributors",
    title           = "Yarn",
    howpublished    = {\url{https://yarnpkg.com/en/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{react,
    author          = "Facebook Inc.",
    title           = "{React - A JavaScript library for building user interfaces}",
    howpublished    = {\url{https://reactjs.org/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{webpack,
    author          = "JS Foundation",
    title           = "webpack",
    howpublished    = {\url{https://webpack.js.org/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{sass,
    author          = "Hampton Catlin and Natalie Weizenbaum and Chris Eppstein and Jina Anne and numerous contributors",
    title           = "{Sass: Syntactically Awesome Style Sheets}",
    howpublished    = {\url{https://sass-lang.com/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{babel,
    author          = "Babel",
    title           = "{Babel · The compiler for next generation JavaScript}",
    howpublished    = {\url{https://babeljs.io/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{browserify,
    author          = "Browserify",
    title           = "Browserify",
    howpublished    = {\url{http://browserify.org}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{moment,
    author          = "Moment",
    title           = "{Moment.js | Home}",
    howpublished    = {\url{https://momentjs.com/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{mocha,
    author          = "JS Foundation",
    title           = "{Mocha - the fun, simple, flexible JavaScript test framework}",
    howpublished    = {\url{https://mochajs.org/}},
    note            = {(Accessed: 14/06/2019)}
}

@misc{w3c-standards,
    author          = "W3C",
    title           = "{Standards - {W3C}}",
    howpublished    = {\url{https://www.w3.org/standards/}},
    note            = {(Accessed: 54/06/2019)}
}

repository: danrobdean/SmartFin

repo_name: danrobdean/SmartFin

gha_license_id: MIT

gha_language: TeX


text:
SUMMARY = "QT5 NMapper application"
DESCRIPTION = "NMapper application is demonstrating the normal mapping technique using Qt5"
HOMEPAGE = "http://quitcoding.com/?page=work#cinex"
LICENSE = "CC-BY-3.0"
LIC_FILES_CHKSUM = "file://README;beginline=47;endline=58;md5=9fb5bf76d564bc53812e40b133ff40dc"

DEPENDS = "qtdeclarative qtgraphicaleffects"

SRC_URI = "http://quitcoding.com/download/Qt5_NMapper_1.0.tgz \
           file://change-property-string.patch"
SRC_URI[md5sum] = "dafc425280144d8e286788e75a0dba0f"
SRC_URI[sha256sum] = "607fbf4c448f00d3c563f9ef8a582bcb6e8fe550e80b56bf8d9127a417faa53b"

S = "${WORKDIR}/Qt5_NMapper_1.0"

require recipes-qt/qt5/qt5.inc

do_install() {
    install -d ${D}${datadir}/${P}
    install -m 0755 ${B}/Qt5_NMapper ${D}${datadir}/${P}
    cp ${S}/Qt5_NMapper.qml ${D}${datadir}/${P}
    cp -R --no-dereference --preserve=mode,links ${S}/content ${D}${datadir}/${P}
}

FILES_${PN}-dbg += "${datadir}/${P}/.debug"
FILES_${PN} += "${datadir}"

RDEPENDS_${PN} = "qtdeclarative-qmlplugins qtgraphicaleffects-qmlplugins"

gha_language: BitBake


text:
div .container {
  width: 10px;
}
div .container .container {
  width: 10px;
  max-width: 12px;
}
div .container .foo {
  width: 10px;
}
div .container .bar {
  width: 12px;
}
@media print, screen and (min-width:640px) {
  .position-left {
    color: red;
    background: yellow;
  }
}
@media print, screen and (min-width:640px) {
  .element {
    float: left;
  }
}
.a {
  x: y;
}
.a .inner {
  x: y;
}

repository: scssphp/scssphp

repo_name: scssphp/scssphp

gha_language: PHP


text:
@inproceedings{DBLP:conf/apweb/OyamadaLNA14,
 author = {Masafumi Oyamada and
Jianquan Liu and
Kazuyo Narita and
Takuya Araki},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/bib/conf/apweb/OyamadaLNA14},
 booktitle = {Web Technologies and Applications - 16th Asia-Pacific Web Conference,
APWeb 2014, Changsha, China, September 5-7, 2014. Proceedings},
 crossref = {DBLP:conf/apweb/2014},
 doi = {10.1007/978-3-319-11116-2_37},
 pages = {425--436},
 timestamp = {Tue, 14 May 2019 10:00:51 +0200},
 title = {MOARLE: Matrix Operation Accelerator Based on Run-Length Encoding},
 url = {https://doi.org/10.1007/978-3-319-11116-2_37},
 year = {2014}
}

repository: mooz/academic-kickstart

repo_name: mooz/academic-kickstart


text:
# Copyright (C) 2019 Advantech

DESCRIPTION = "Advantech SUSI IoT"
LICENSE = "Proprietary"
SECTION = "libs"
LIC_FILES_CHKSUM = "file://${COMMON_LICENSE_DIR}/MIT;md5=0835ade698e0bcf8506ecda2f7b4f302"
PR = "r0"

RDEPENDS_${PN} = "jansson"

SRC_URI_mx6 = "file://SusiIoT_Release_2019_05_23_fsl_imx6_yocto_15474.tar.gz;name=mx6"
SRC_URI[mx6.md5sum] = "271b056d6bc788967c32879c65e1e9de"

SRC_URI_dragonboard-410c = "file://SusiIoT_qualcomm_dragon_yocto_Release_14555_2017-07-25.tar.gz"
SRC_URI_dragonboard-410c[md5sum] = "76301989722e4799107a2d492cb04ecf"

SRC_URI_arago = "file://SusiIoT_Release_14532.tar.gz"
SRC_URI_arago[md5sum] = "ac05ba74e4acd54d5e64f6796a963d62"

S = "${WORKDIR}/release"

INHIBIT_PACKAGE_DEBUG_SPLIT = "1"
INHIBIT_PACKAGE_STRIP = "1"

do_install() {
	install -d ${D}/usr/lib/Advantech/iot/modules
	cp -ar ${S}/library/libSusiIoT.so* ${D}/usr/lib/
	cp -ar ${S}/library/modules/libSUSIDrv.so ${D}/usr/lib/Advantech/iot/modules/
	cp -ar ${S}/library/modules/libDiskInfo.so ${D}/usr/lib/Advantech/iot/modules/
}

# List the files for Package
FILES_${PN} += "/usr/lib"

FILES_SOLIBSDEV = ""
INSANE_SKIP_${PN} += "dev-so already-stripped host-user-contaminated"

repository: ADVANTECH-Corp/meta-advantech

repo_name: ADVANTECH-Corp/meta-advantech

branch_name: refs/heads/krogoth

gha_language: Shell


text:
SUMMARY = "A sound and music computing system"
LICENSE = "LGPL-2.1-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=a6f89e2100d9b6cdffcea4f398e37343"

inherit cmake gettext python3native

# TBD: fltk is not propely detected
DEPENDS += " \
    flex-native \
    bison-native \
    swig-native \
    python3 \
    alsa-lib \
    libsndfile1 \
    portaudio-v19 \
    portmidi \
    fluidsynth \
    curl \
    fltk \
    liblo \
    stk \
    libvorbis \
    libeigen \
    libwebsockets \
"

SRC_URI = " \
    git://github.com/csound/csound.git;branch=develop;protocol=https \
    file://0001-Do-not-set-include-path-to-usr-local-include.patch \
    file://0002-use-standard-plugins-path.patch \
"
SRCREV = "18c2c7897425f462b9a7743cee157cb410c88198"
S = "${WORKDIR}/git"
PV = "6.15.0"

# Where to get lua-version from?
LUA_VERSION = "5.3"

EXTRA_OECMAKE += " \
    -DUSE_DOUBLE=OFF \
    -DPYTHON_MODULE_INSTALL_DIR:STRING=${PYTHON_SITEPACKAGES_DIR} \
    -DPYTHON3_MODULE_INSTALL_DIR:STRING=${PYTHON_SITEPACKAGES_DIR} \
    -DUSE_LIB64=${@bb.utils.contains("baselib", "lib64", "ON", "OFF",d)} \
"

PACKAGECONFIG ??= "${@bb.utils.filter('DISTRO_FEATURES', 'pulseaudio', d)}"
PACKAGECONFIG[pulseaudio] = "-DUSE_PULSEAUDIO=ON,-DUSE_PULSEAUDIO=OFF,pulseaudio,pulseaudio-server"
PACKAGECONFIG[luajit] = "-DLUA_MODULE_INSTALL_DIR=${libdir}/lua/${LUA_VERSION},,luajit"

PACKAGES =+ " \
    ${PN}-python \
    ${PN}-luajit \
    ${PN}-samples \
"

FILES:${PN}-python = "${PYTHON_SITEPACKAGES_DIR}"
RDEPENDS:${PN}-python += "python3-core"

FILES:${PN}-luajit = "${libdir}/lua"

FILES:${PN}-samples = "${datadir}/samples"

repository: schnitzeltony/meta-musicians

repo_name: schnitzeltony/meta-musicians


text:
% This file was created with JabRef 2.10.
% Encoding: UTF8

@InProceedings{DBLP:conf/csl/BarberGHP97,
  Title                    = {From Action Calculi to Linear Logic},
  Author                   = {Andrew Barber and
 Philippa Gardner and
 Masahito Hasegawa and
 Gordon D. Plotkin},
  Booktitle                = {Computer Science Logic, 11\textsuperscript{th} International Workshop, {CSL} '97, Annual
 Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
 Papers},
  Year                     = {1997},
  Pages                    = {78--97},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/csl/BarberGHP97},
  Doi                      = {10.1007/BFb0028008},
  Owner                    = {thomas},
  Timestamp                = {Tue, 22 Sep 2009 01:00:00 +0200}
}

@InProceedings{DBLP:conf/popl/BodinCFGMNSS14,
  Title                    = {A trusted mechanised JavaSript specification},
  Author                   = {Martin Bodin and
 Arthur Chargu{\'{e}}raud and
 Daniele Filaretti and
 Philippa Gardner and
 Sergio Maffeis and
 Daiva Naudziuniene and
 Alan Schmitt and
 Gareth Smith},
  Booktitle                = {The 41\textsuperscript{st} Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
 Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
 2014},
  Year                     = {2014},
  Pages                    = {87--100},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/popl/BodinCFGMNSS14},
  Doi                      = {10.1145/2535838.2535876},
  Owner                    = {thomas},
  Timestamp                = {Thu, 09 Jan 2014 08:21:22 +0100}
}

@InProceedings{DBLP:conf/aplas/CalcagnoDG07,
  Title                    = {Adjunct Elimination in Context Logic for Trees},
  Author                   = {Cristiano Calcagno and
 Thomas Dinsdale{-}Young and
 Philippa Gardner},
  Booktitle                = {Programming Languages and Systems, 5\textsuperscript{th} Asian Symposium, {APLAS} 2007,
 Singapore, November 29-December 1, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {255--270},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/aplas/CalcagnoDG07},
  Doi                      = {10.1007/978-3-540-76637-7_17},
  Owner                    = {thomas},
  Timestamp                = {Thu, 29 Nov 2007 12:28:33 +0100}
}

@InProceedings{DBLP:conf/fossacs/CalcagnoGH05,
  Title                    = {From Separation Logic to First-Order Logic},
  Author                   = {Cristiano Calcagno and
 Philippa Gardner and
 Matthew Hague},
  Booktitle                = {Foundations of Software Science and Computational Structures, 8th
 International Conference, {FOSSACS} 2005, Held as Part of the Joint
 European Conferences on Theory and Practice of Software, {ETAPS} 2005,
 Edinburgh, UK, April 4-8, 2005, Proceedings},
  Year                     = {2005},
  Pages                    = {395--409},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/CalcagnoGH05},
  Doi                      = {10.1007/978-3-540-31982-5_25},
  Owner                    = {thomas},
  Timestamp                = {Thu, 28 May 2015 17:23:23 +0200}
}

@InProceedings{DBLP:conf/popl/CalcagnoGZ07,
  Title                    = {Context logic as modal logic: completeness and parametric inexpressivity},
  Author                   = {Cristiano Calcagno and
 Philippa Gardner and
 Uri Zarfaty},
  Booktitle                = {Proceedings of the 34\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} Symposium on Principles
 of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
 2007},
  Year                     = {2007},
  Pages                    = {123--134},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/popl/CalcagnoGZ07},
  Doi                      = {10.1145/1190216.1190236},
  Owner                    = {thomas},
  Timestamp                = {Tue, 05 Nov 2013 17:32:56 +0100}
}

@InProceedings{DBLP:conf/popl/CalcagnoGZ05,
  Title                    = {Context logic and tree update},
  Author                   = {Cristiano Calcagno and
 Philippa Gardner and
 Uri Zarfaty},
  Booktitle                = {Proceedings of the 32\textsuperscript{nd} {ACM} {SIGPLAN-SIGACT} Symposium on Principles
 of Programming Languages, {POPL} 2005, Long Beach, California, USA,
 January 12-14, 2005},
  Year                     = {2005},
  Pages                    = {271--282},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/popl/CalcagnoGZ05},
  Doi                      = {10.1145/1040305.1040328},
  Owner                    = {thomas},
  Timestamp                = {Tue, 22 May 2012 15:24:56 +0200}
}

@InProceedings{DBLP:conf/cie/CardelliG10,
  Title                    = {Processes in Space},
  Author                   = {Luca Cardelli and
 Philippa Gardner},
  Booktitle                = {Programs, Proofs, Processes, 6\textsuperscript{th} Conference on Computability in Europe,
 CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
 Proceedings},
  Year                     = {2010},
  Pages                    = {78--87},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/cie/CardelliG10},
  Doi                      = {10.1007/978-3-642-13962-8_9},
  Owner                    = {thomas},
  Timestamp                = {Mon, 28 Jun 2010 14:55:15 +0200}
}

@InProceedings{DBLP:conf/fossacs/CardelliGG03,
  Title                    = {Manipulating Trees with Hidden Labels},
  Author                   = {Luca Cardelli and
 Philippa Gardner and
 Giorgio Ghelli},
  Booktitle                = {Foundations of Software Science and Computational Structures, 6th
 International Conference, {FOSSACS} 2003 Held as Part of the Joint
 European Conference on Theory and Practice of Software, {ETAPS} 2003,
 Warsaw, Poland, April 7-11, 2003, Proceedings},
  Year                     = {2003},
  Pages                    = {216--232},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/CardelliGG03},
  Doi                      = {10.1007/3-540-36576-1_14},
  Owner                    = {thomas},
  Timestamp                = {Tue, 05 Jul 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/icalp/CardelliGG02,
  Title                    = {A Spatial Logic for Querying Graphs},
  Author                   = {Luca Cardelli and
 Philippa Gardner and
 Giorgio Ghelli},
  Booktitle                = {Automata, Languages and Programming, 29\textsuperscript{th} International Colloquium,
 {ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  Year                     = {2002},
  Pages                    = {597--610},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/icalp/CardelliGG02},
  Doi                      = {10.1007/3-540-45465-9_51},
  Owner                    = {thomas},
  Timestamp                = {Thu, 30 Jun 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/fsttcs/DawarGG04,
  Title                    = {Adjunct Elimination Through Games in Static Ambient Logic},
  Author                   = {Anuj Dawar and
 Philippa Gardner and
 Giorgio Ghelli},
  Booktitle                = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
 Computer Science, 24\textsuperscript{th} International Conference, Chennai, India, December
 16-18, 2004, Proceedings},
  Year                     = {2004},
  Pages                    = {211--223},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fsttcs/DawarGG04},
  Doi                      = {10.1007/978-3-540-30538-5_18},
  Owner                    = {thomas},
  Timestamp                = {Fri, 22 Nov 2013 00:00:00 +0100}
}

@InProceedings{DBLP:conf/popl/Dinsdale-YoungBGPY13,
  Title                    = {Views: compositional reasoning for concurrent programs},
  Author                   = {Thomas Dinsdale{-}Young and
 Lars Birkedal and
 Philippa Gardner and
 Matthew J. Parkinson and
 Hongseok Yang},
  Booktitle                = {The 40\textsuperscript{th} Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
 Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
 2013},
  Year                     = {2013},
  Pages                    = {287--300},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/popl/Dinsdale-YoungBGPY13},
  Doi                      = {10.1145/2429069.2429104},
  Owner                    = {thomas},
  Timestamp                = {Fri, 18 Jan 2013 17:48:28 +0100}
}

@InProceedings{DBLP:conf/ecoop/Dinsdale-YoungDGPV10,
  Title                    = {Concurrent Abstract Predicates},
  Author                   = {Thomas Dinsdale{-}Young and
 Mike Dodds and
 Philippa Gardner and
 Matthew J. Parkinson and
 Viktor Vafeiadis},
  Booktitle                = {{ECOOP} 2010 - Object-Oriented Programming, 24\textsuperscript{th} European Conference,
 Maribor, Slovenia, June 21-25, 2010. Proceedings},
  Year                     = {2010},
  Pages                    = {504--528},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/ecoop/Dinsdale-YoungDGPV10},
  Doi                      = {10.1007/978-3-642-14107-2_24},
  Owner                    = {thomas},
  Timestamp                = {Thu, 01 Jul 2010 07:20:31 +0200}
}

@InProceedings{DBLP:conf/calco/Dinsdale-YoungGW11,
  Title                    = {Abstract Local Reasoning for Program Modules},
  Author                   = {Thomas Dinsdale{-}Young and
 Philippa Gardner and
 Mark J. Wheelhouse},
  Booktitle                = {Algebra and Coalgebra in Computer Science - 4\textsuperscript{th} International Conference,
 {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  Year                     = {2011},
  Pages                    = {36--39},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/calco/Dinsdale-YoungGW11},
  Doi                      = {10.1007/978-3-642-22944-2_3},
  Owner                    = {thomas},
  Timestamp                = {Mon, 29 Aug 2011 08:21:56 +0200}
}

@InProceedings{DBLP:conf/vstte/Dinsdale-YoungGW10,
  Title                    = {Abstraction and Refinement for Local Reasoning},
  Author                   = {Thomas Dinsdale{-}Young and
 Philippa Gardner and
 Mark J. Wheelhouse},
  Booktitle                = {Verified Software: Theories, Tools, Experiments, Third International
 Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
  Year                     = {2010},
  Pages                    = {199--215},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/vstte/Dinsdale-YoungGW10},
  Doi                      = {10.1007/978-3-642-15057-9_14},
  Owner                    = {thomas},
  Timestamp                = {Tue, 07 Dec 2010 16:18:25 +0100}
}

@InProceedings{DBLP:conf/edbtw/Gardner10,
  Title                    = {Reasoning about client-side web programs: invited talk},
  Author                   = {Philippa Gardner},
  Booktitle                = {Proceedings of the 2010 {EDBT/ICDT} Workshops, Lausanne, Switzerland,
 March 22-26, 2010},
  Year                     = {2010},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/edbtw/Gardner10},
  Doi                      = {10.1145/1754239.1754261},
  Owner                    = {thomas},
  Timestamp                = {Thu, 15 Apr 2010 19:02:32 +0200}
}

@InProceedings{DBLP:conf/concur/Gardner00,
  Title                    = {From Process Calculi to Process Frameworks},
  Author                   = {Philippa Gardner},
  Booktitle                = {{CONCUR} 2000 - Concurrency Theory, 11\textsuperscript{th} International Conference,
 University Park, PA, USA, August 22-25, 2000, Proceedings},
  Year                     = {2000},
  Pages                    = {69--88},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/concur/Gardner00},
  Doi                      = {10.1007/3-540-44618-4_7},
  Owner                    = {thomas},
  Timestamp                = {Tue, 21 Jun 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/tacs/Gardner94,
  Title                    = {Discovering Needed Reductions Using Type Theory},
  Author                   = {Philippa Gardner},
  Booktitle                = {Theoretical Aspects of Computer Software, International Conference
 {TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
  Year                     = {1994},
  Pages                    = {555--574},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/tacs/Gardner94},
  Doi                      = {10.1007/3-540-57887-0_115},
  Owner                    = {thomas},
  Timestamp                = {Tue, 14 Jun 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/lpar/Gardner93,
  Title                    = {A New Type THeory for Representing Logics},
  Author                   = {Philippa Gardner},
  Booktitle                = {Logic Programming and Automated Reasoning,4th International Conference,
 LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
  Year                     = {1993},
  Pages                    = {146--157},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/lpar/Gardner93},
  Doi                      = {10.1007/3-540-56944-8_49},
  Owner                    = {thomas},
  Timestamp                = {Wed, 07 Oct 2009 01:00:00 +0200}
}

@InProceedings{DBLP:conf/tacs/GardnerH97,
  Title                    = {Types and Models for Higher-Order Action Calculi},
  Author                   = {Philippa Gardner and
 Masahito Hasegawa},
  Booktitle                = {Theoretical Aspects of Computer Software, Third International Symposium,
 {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  Year                     = {1997},
  Pages                    = {583--603},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/tacs/GardnerH97},
  Doi                      = {10.1007/BFb0014569},
  Owner                    = {thomas},
  Timestamp                = {Wed, 15 Jun 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/concur/GardnerLW03,
  Title                    = {Linear Forwarders},
  Author                   = {Philippa Gardner and
 Cosimo Laneve and
 Lucian Wischik},
  Booktitle                = {{CONCUR} 2003 - Concurrency Theory, 14\textsuperscript{th} International Conference,
 Marseille, France, September 3-5, 2003, Proceedings},
  Year                     = {2003},
  Pages                    = {408--422},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/concur/GardnerLW03},
  Doi                      = {10.1007/978-3-540-45187-7_27},
  Owner                    = {thomas},
  Timestamp                = {Tue, 05 Jul 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/concur/GardnerLW02,
  Title                    = {The Fusion Machine},
  Author                   = {Philippa Gardner and
 Cosimo Laneve and
 Lucian Wischik},
  Booktitle                = {{CONCUR} 2002 - Concurrency Theory, 13\textsuperscript{th} International Conference,
 Brno, Czech Republic, August 20-23, 2002, Proceedings},
  Year                     = {2002},
  Pages                    = {418--433},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/concur/GardnerLW02},
  Owner                    = {thomas},
  Timestamp                = {Fri, 11 Oct 2002 09:16:19 +0200},
  Url                      = {http://link.springer.de/link/service/series/0558/bibs/2421/24210418.htm}
}

@InProceedings{DBLP:conf/dbpl/GardnerM03,
  Title                    = {Modelling Dynamic Web Data},
  Author                   = {Philippa Gardner and
 Sergio Maffeis},
  Booktitle                = {Database Programming Languages, 9\textsuperscript{th} International Workshop, {DBPL}
 2003, Potsdam, Germany, September 6-8, 2003, Revised Papers},
  Year                     = {2003},
  Pages                    = {130--146},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/dbpl/GardnerM03},
  Doi                      = {10.1007/978-3-540-24607-7_9},
  Owner                    = {thomas},
  Timestamp                = {Wed, 06 Jul 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/popl/GardnerMS12,
  Title                    = {Towards a program logic for JavaScript},
  Author                   = {Philippa Gardner and
 Sergio Maffeis and
 Gareth David Smith},
  Booktitle                = {Proceedings of the 39\textsuperscript{th} {ACM} {SIGPLAN-SIGACT} Symposium on Principles
 of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
 USA, January 22-28, 2012},
  Year                     = {2012},
  Pages                    = {31--44},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/popl/GardnerMS12},
  Doi                      = {10.1145/2103656.2103663},
  Owner                    = {thomas},
  Timestamp                = {Tue, 22 May 2012 15:24:56 +0200}
}

@InProceedings{DBLP:conf/esop/GardnerNW14,
  Title                    = {Local Reasoning for the {POSIX} File System},
  Author                   = {Philippa Gardner and
 Gian Ntzik and
 Adam Wright},
  Booktitle                = {Programming Languages and Systems - 23\textsuperscript{rd} European Symposium on Programming,
 {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
 and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
 2014, Proceedings},
  Year                     = {2014},
  Pages                    = {169--188},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/esop/GardnerNW14},
  Doi                      = {10.1007/978-3-642-54833-8_10},
  Owner                    = {thomas},
  Timestamp                = {Sun, 23 Mar 2014 10:42:59 +0100}
}

@InProceedings{DBLP:conf/cav/GardnerSWW15,
  Title                    = {A Trusted Mechanised Specification of JavaScript: One Year On},
  Author                   = {Philippa Gardner and
 Gareth Smith and
 Conrad Watt and
 Thomas Wood},
  Booktitle                = {Computer Aided Verification - 27\textsuperscript{th} International Conference, {CAV}
 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
 {I}},
  Year                     = {2015},
  Pages                    = {3--10},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/cav/GardnerSWW15},
  Doi                      = {10.1007/978-3-319-21690-4_1},
  Owner                    = {thomas},
  Timestamp                = {Mon, 20 Jul 2015 11:21:17 +0200}
}

@InProceedings{DBLP:conf/planX/GardnerSWZ08,
  Title                    = {{DOM:} Towards a Formal Specification},
  Author                   = {Philippa Gardner and
 Gareth Smith and
 Mark J. Wheelhouse and
 Uri Zarfaty},
  Booktitle                = {{PLAN-X} 2008, Programming Language Technologies for XML, An {ACM}
 {SIGPLAN} Workshop colocated with {POPL} 2008, San Francisco, California,
 USA, January 9, 2008},
  Year                     = {2008},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/planX/GardnerSWZ08},
  Owner                    = {thomas},
  Timestamp                = {Tue, 16 Apr 2013 01:00:00 +0200},
  Url                      = {http://gemo.futurs.inria.fr/events/PLANX2008/papers/p18.pdf}
}

@InProceedings{DBLP:conf/pods/GardnerSWZ08,
  Title                    = {Local Hoare reasoning about {DOM}},
  Author                   = {Philippa Gardner and
 Gareth Smith and
 Mark J. Wheelhouse and
 Uri Zarfaty},
  Booktitle                = {Proceedings of the Twenty-Seventh {ACM} {SIGMOD-SIGACT-SIGART} Symposium
 on Principles of Database Systems, {PODS} 2008, June 9-11, 2008, Vancouver,
 BC, Canada},
  Year                     = {2008},
  Pages                    = {261--270},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/pods/GardnerSWZ08},
  Doi                      = {10.1145/1376916.1376953},
  Owner                    = {thomas},
  Timestamp                = {Wed, 23 May 2012 16:53:24 +0200}
}

@InProceedings{DBLP:conf/wsfm/GardnerW09,
  Title                    = {Small Specifications for Tree Update},
  Author                   = {Philippa Gardner and
 Mark J. Wheelhouse},
  Booktitle                = {Web Services and Formal Methods, 6\textsuperscript{th} International Workshop, {WS-FM}
 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers},
  Year                     = {2009},
  Pages                    = {178--195},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/wsfm/GardnerW09},
  Doi                      = {10.1007/978-3-642-14458-5_11},
  Owner                    = {thomas},
  Timestamp                = {Tue, 31 Aug 2010 12:04:08 +0200}
}

@InProceedings{DBLP:conf/mfcs/GardnerW00,
  Title                    = {Explicit Fusions},
  Author                   = {Philippa Gardner and
 Lucian Wischik},
  Booktitle                = {Mathematical Foundations of Computer Science 2000, 25\textsuperscript{th} International
 Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
 1, 2000, Proceedings},
  Year                     = {2000},
  Pages                    = {373--382},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/mfcs/GardnerW00},
  Doi                      = {10.1007/3-540-44612-5_33},
  Owner                    = {thomas},
  Timestamp                = {Tue, 21 Jun 2011 01:00:00 +0200}
}

@InProceedings{DBLP:conf/wollic/GardnerZ07,
  Title                    = {An Introduction to Context Logic},
  Author                   = {Philippa Gardner and
 Uri Zarfaty},
  Booktitle                = {Logic, Language, Information and Computation, 14\textsuperscript{th} International Workshop,
 WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
  Year                     = {2007},
  Pages                    = {189--202},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/wollic/GardnerZ07},
  Doi                      = {10.1007/978-3-540-73445-1_14},
  Owner                    = {thomas},
  Timestamp                = {Mon, 09 Jul 2007 08:18:51 +0200}
}

@InProceedings{DBLP:conf/dagstuhl/KonigMG04,
  Title                    = {04241~{A}bstracts Collection - Graph Transformations and Process Algebras
 for Modeling Distributed and Mobile Systems},
  Author                   = {Barbara K{\"{o}}nig and
 Ugo Montanari and
 Philippa Gardner},
  Booktitle                = {Graph Transformations and Process Algebras for Modeling Distributed
 and Mobile Systems, 6.-11. June 2004},
  Year                     = {2004},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/KonigMG04},
  Owner                    = {thomas},
  Timestamp                = {Fri, 10 Apr 2015 01:00:00 +0200},
  Url                      = {http://drops.dagstuhl.de/opus/volltexte/2005/27}
}

@InProceedings{DBLP:conf/ifipTCS/MaffeisG04,
  Title                    = {Behavioural Equivalences for Dynamic Web Data},
  Author                   = {Sergio Maffeis and
 Philippa Gardner},
  Booktitle                = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18\textsuperscript{th} World
 Computer Congress, {TC1} 3\textsuperscript{rd} International Conference on Theoretical
 Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  Year                     = {2004},
  Pages                    = {535--548},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/ifipTCS/MaffeisG04},
  Doi                      = {10.1007/1-4020-8141-3_41},
  Owner                    = {thomas},
  Timestamp                = {Wed, 16 Jul 2014 09:03:52 +0200}
}

@InProceedings{DBLP:conf/esop/RaadVG15,
  Title                    = {CoLoSL: Concurrent Local Subjective Logic},
  Author                   = {Azalea Raad and
 Jules Villard and
 Philippa Gardner},
  Booktitle                = {Programming Languages and Systems - 24\textsuperscript{th} European Symposium on Programming,
 {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
 and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
 Proceedings},
  Year                     = {2015},
  Pages                    = {710--735},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/esop/RaadVG15},
  Doi                      = {10.1007/978-3-662-46669-8_29},
  Owner                    = {thomas},
  Timestamp                = {Tue, 07 Apr 2015 15:18:50 +0200}
}

@InProceedings{DBLP:conf/esop/RazaCG09,
  Title                    = {Automatic Parallelization with Separation Logic},
  Author                   = {Mohammad Raza and
 Cristiano Calcagno and
 Philippa Gardner},
  Booktitle                = {Programming Languages and Systems, 18\textsuperscript{th} European Symposium on Programming,
 {ESOP} 2009, Held as Part of the Joint European Conferences on Theory
 and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
 Proceedings},
  Year                     = {2009},
  Pages                    = {348--362},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/esop/RazaCG09},
  Doi                      = {10.1007/978-3-642-00590-9_25},
  Owner                    = {thomas},
  Timestamp                = {Wed, 01 Apr 2009 14:21:16 +0200}
}

@InProceedings{DBLP:conf/fossacs/RazaG08,
  Title                    = {Footprints in Local Reasoning},
  Author                   = {Mohammad Raza and
 Philippa Gardner},
  Booktitle                = {Foundations of Software Science and Computational Structures, 11th
 International Conference, {FOSSACS} 2008, Held as Part of the Joint
 European Conferences on Theory and Practice of Software, {ETAPS} 2008,
 Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  Year                     = {2008},
  Pages                    = {201--215},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/RazaG08},
  Doi                      = {10.1007/978-3-540-78499-9_15},
  Owner                    = {thomas},
  Timestamp                = {Thu, 28 May 2015 17:23:23 +0200}
}

@InProceedings{DBLP:conf/oopsla/PintoDDGW11,
  Title                    = {A simple abstraction for complex concurrent indexes},
  Author                   = {Pedro da Rocha Pinto and
 Thomas Dinsdale{-}Young and
 Mike Dodds and
 Philippa Gardner and
 Mark J. Wheelhouse},
  Booktitle                = {Proceedings of the 26\textsuperscript{th} Annual {ACM} {SIGPLAN} Conference on Object-Oriented
 Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
 part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  Year                     = {2011},
  Pages                    = {845--864},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/PintoDDGW11},
  Doi                      = {10.1145/2048066.2048131},
  Owner                    = {thomas},
  Timestamp                = {Tue, 25 Oct 2011 20:30:27 +0200}
}

@InProceedings{DBLP:conf/ecoop/PintoDG14,
  Title                    = {TaDA: {A} Logic for Time and Data Abstraction},
  Author                   = {Pedro da Rocha Pinto and
 Thomas Dinsdale{-}Young and
 Philippa Gardner},
  Booktitle                = {{ECOOP} 2014 - Object-Oriented Programming - 28\textsuperscript{th} European Conference,
 Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
  Year                     = {2014},
  Pages                    = {207--231},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/ecoop/PintoDG14},
  Doi                      = {10.1007/978-3-662-44202-9_9},
  Owner                    = {thomas},
  Timestamp                = {Thu, 17 Jul 2014 15:50:44 +0200}
}

@InProceedings{DBLP:conf/fossacs/WischikG04,
  Title                    = {Strong Bisimulation for the Explicit Fusion Calculus},
  Author                   = {Lucian Wischik and
 Philippa Gardner},
  Booktitle                = {Foundations of Software Science and Computation Structures, 7\textsuperscript{th} International
 Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
 on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
 March 29 - April 2, 2004, Proceedings},
  Year                     = {2004},
  Pages                    = {484--498},

  Bibsource                = {dblp computer science bibliography, http://dblp.org},
  Biburl                   = {http://dblp.uni-trier.de/rec/bib/conf/fossacs/WischikG04},
  Doi                      = {10.1007/978-3-540-24727-2_34},
  Owner                    = {thomas},
  Timestamp                = {Wed, 06 Jul 2011 01:00:00 +0200}
}

repository: IgnoredAmbience/latex-experiments

repo_name: IgnoredAmbience/latex-experiments


text:
DESCRIPTION = "Utility to dump IrDA traffic."
SECTION = "base"
LICENSE = "GPL"
DEPENDS = "glib-2.0 pkgconfig"
PR = "r2"

SRC_URI = "${SOURCEFORGE_MIRROR}/irda/irda-utils-${PV}.tar.gz \
	   file://glib2.patch"

S="${WORKDIR}/irda-utils-${PV}/irdadump"

EXTRA_CFLAGS += "`pkg-config --cflags glib-2.0`"
EXTRA_LDFLAGS += "`pkg-config --libs glib-2.0`"

inherit autotools

do_compile() {
    oe_runmake CFLAGS="${CFLAGS} ${EXTRA_CFLAGS}" LDFLAGS="${LDFLAGS} ${EXTRA_LDFLAGS}"
}

SRC_URI[md5sum] = "2ff18f0571b5a331be7cd22fc3decd41"
SRC_URI[sha256sum] = "09a30fa12d81014b2877e8b5c36f5a341788579669d72f2dec0e29d22efe11e9"

repository: balister/openembedded

repo_name: balister/openembedded


text:
@misc{website:weeden:2015,
      author = "{A}aron {W}eeden",
      title = "{P}etascale: {A}rea {U}nder a {C}urve",
      howpublished = "\url{http://www.shodor.org/petascale/materials/UPModules/AreaUnderCurve/}",
      note = "Accessed 17 September 2015"
}

@misc{website:SHARCNET:2015,
      author = "{SHARCNET Documentation}",
      title = "Measuring Parallel Scaling Performance",
      howpublished = "\url{https://www.sharcnet.ca/help/index.php/Measuring_Parallel_Scaling_Performance}",
      note = "Accessed 15 October 2015"
}

repository: elise-baumgartner/onramp

repo_name: elise-baumgartner/onramp


text:
body {
	background: #F7F6F2;
}

.login {
	margin-top: 50px;
}

.register {
	margin-top: 20px;
}

.logo {
	width: 100px;
	text-align: center;
	margin: 0 auto;
}

repository: nonlimiting/clickme

repo_name: nonlimiting/clickme


text:
@InProceedings{poczos12,
  title = {Nonparametric Estimation of Conditional Information and Divergences},
  author = {Barnabas Poczos and Jeff Schneider},
  pages = {914--923},
  abstract = {In this paper we propose new nonparametric estimators for a family of conditional mutual information and divergences. Our estimators are easy to compute; they only use simple k nearest neighbor based statistics. We prove that the proposed conditional information and divergence estimators are consistent under certain conditions, and demonstrate their consistency and applicability by numerical experiments on simulated and on real data as well.},
  pdf = {http://jmlr.org/proceedings/papers/v22/poczos12/poczos12.pdf},
  supplementary = {Supplementary:http://jmlr.org/proceedings/papers/v22/poczos12/poczos12Supple.pdf},
}

repository: mreid/papersite

repo_name: mreid/papersite


text:
#[==[.md INTERNAL
# Apple utility functions

On Apple platforms (mainly macOS), some wrangling with version variables and
the link is required. These functions handle that. They are used internally to
the superbuild and do not need to be called manually.
#]==]

#[==[.md INTERNAL
## SDK support

CMake uses various `CMAKE_OSX_` variables to control the SDK in use. The
`superbuild_osx_add_version_flags` function extracts information from these
flags and adds them to the `superbuild_c_flags` and `superbuild_cxx_flags`
variables in the calling scope.

```
superbuild_osx_add_version_flags()
```
#]==]
function (superbuild_osx_add_version_flags)
  if (NOT APPLE)
    return ()
  endif ()

  set(osx_flags)
  if (CMAKE_OSX_ARCHITECTURES)
    list(APPEND osx_flags
      -arch "${CMAKE_OSX_ARCHITECTURES}")
  endif ()
  if (CMAKE_OSX_DEPLOYMENT_TARGET)
    list(APPEND osx_flags
      "-mmacosx-version-min=${CMAKE_OSX_DEPLOYMENT_TARGET}")
  endif ()
  string(REPLACE ";" " " osx_flags "${osx_flags}")

  foreach (var IN ITEMS cxx_flags c_flags f_flags ld_flags)
    set("superbuild_${var}"
      "${superbuild_${var}} ${osx_flags}"
      PARENT_SCOPE)
  endforeach ()
endfunction ()

#[==[.md INTERNAL
## Version flags

This `superbuild_osx_pass_version_flags` function sets the given variable to
contain a list of CMake `-D` command line flags to use the same Apple SDK,
architecture, and deployment target as the superbuild.

```
superbuild_osx_pass_version_flags(<VARIABLE>)
```
#]==]
function (superbuild_osx_pass_version_flags var)
  if (NOT APPLE)
    return ()
  endif ()

  set("${var}"
    -DCMAKE_OSX_ARCHITECTURES:STRING=${CMAKE_OSX_ARCHITECTURES}
    -DCMAKE_OSX_DEPLOYMENT_TARGET:STRING=${CMAKE_OSX_DEPLOYMENT_TARGET}
    -DCMAKE_OSX_SYSROOT:PATH=${CMAKE_OSX_SYSROOT}
    -DCMAKE_OSX_SDK:STRING=${CMAKE_OSX_SDK}
    PARENT_SCOPE)
endfunction ()

repository: zenotech/openmpi-superbuild

repo_name: zenotech/openmpi-superbuild

gha_language: CMake

extension: cmake


text:
@article{bhowmik2020women,
	title={Women’s education and coverage of skilled birth attendance: An assessment of Sustainable Development Goal 3.1 in the South and Southeast Asian Region},
	author={Bhowmik, Jahar and Biswas, Raaj Kishore and Ananna, Nurjahan},
	journal={PloS one},
	volume={15},
	number={4},
	pages={e0231489},
	year={2020},
	publisher={Public Library of Science San Francisco, CA USA}
}

repository: Raaj-Kishore-Biswas/academic-kickstart

path: /content/All-publications/SDG 3.1_Skilled Birth Attendents/cite.bib

repo_name: Raaj-Kishore-Biswas/academic-kickstart


text:
body {
  background: #f6f9fa;
  font-family: 'Gotham';
  padding-top:30px;
}

@font-face {
    font-family: Gotham;
    src: url(http://notes.dev/fonts/GothamRnd-Book.otf);
}

form {
  padding-bottom:20px;
}

.btn-green {
  background: #5fcf80;
  color: #fff;
}

.border-danger {
  border: 1px solid red!important;
}

/*
	Notes
*/

.notes {
	padding: 50px 0;
	width: 80%;
	margin: 0 auto;
}

.notes .date {
	font-size: 11px;
}

.notes .info-box {
	background: #fff;
	padding: 20px 20px 30px 20px;
	margin: 20px 0;
	border: 1px solid #eee;
	border-left-width: 5px;
	border-radius: 3px;
	border-left-color: #5fcf80;
}
	.delete-note {
		color: red;
	}
	.delete-note:hover {
		text-decoration: none;
		color: #e15258;
	}

repository: raysmithdev/Angular-Laravel-note-taker

repo_name: raysmithdev/Angular-Laravel-note-taker


text:
---
---

@article{ArXiv,
  title={Data-driven studies of magnetic two-dimensional materials},
  author={Rhone, T. and Chen, W. and Desai, S.},
  year={2018},
  url={https://arxiv.org/abs/1806.07989}
}


text:
require vte.inc
SRC_URI[archive.md5sum] = "a6f8fec3787e3cb72b3b31a8be6751a4"
SRC_URI[archive.sha256sum] = "cf1708e3e573160e1db107014b3ef70888fefe6b668373fed70e8d1cac45a8c2"

repository: oholiab/citadel

repo_name: oholiab/citadel


text:
nelson mandela|05/08/1988|nn
nelson mandela|)|punc
attorney|and|punc
attorney|activist|conj
activist|who|whn
worked|activist|subj
worked|apartheid|against
representative|african national congress|of
said|representative|subj
said|on|guest
said|11/12/1988|on
government|south african|nn
said|release|fc
release|government|subj
leader|black|mod
leader|nationalist|nn
release|leader|obj
leader|nelson mandela|person
leader|as|mod
mandela|11/13/1988|nn
mandela|)|punc
leader|70-year-old|mod
leader|anc|of
mandela|jailed|rel
jailed|mandela|obj
jailed|leader|subj
sentenced|27 years ago|mod-before
sentenced|mandela|obj
sentenced|life|to
life|prison|in
prison|conspiring|for
conspiring|mandela|subj
conspiring|overthrow|fc
overthrow|mandela|subj
government|south african|nn
overthrow|government|obj
dominated|bars|behind
dominated|nelson mandela|subj
dominated|fight|obj
rights|black|mod
fight|rights|for
rights|south africa|in
mandela|02/11/1990|nn
mandela|)|punc
joins|mandela|subj
joins|african national congress|obj
african national congress|age|at
age|26|num
joins|later|mod
joins|becoming|mod
becoming|mandela|subj
becoming|president|obj
youth league|group|gen
president|youth league|of
mandela|02/11/1990|nn
mandela|)|punc
named|mandela|obj1
named|leader|obj2
leader|campaign|of
named|and|punc
named|breaks|conj
breaks|mandela|subj
breaks|curfew|obj
act|first|post
curfew|act|as
act|defiance|of

branch_name: refs/heads/main

gha_language: Jupyter Notebook

extension: be


text:
RDEPENDS_${PN} = "kexec-klibc"
PV = "0.5.9"
PR = "r0+gitr${SRCREV}"

SRC_URI = "git://git.linuxtogo.org/home/groups/kexecboot/kexecboot.git;protocol=git "
SRCREV = "3f261f1f731683203f83c5bea36e3d7547f93ab6"
S = "${WORKDIR}/git"

# the binary is statically linked against klibc
inherit klibc

require kexecboot.inc


text:
@inproceedings{Ebadat:14a,
 address = {Strasbourg, France},
 author = {A. Ebadat and M. Annergren and C.A. Larsson and C.R. Rojas and B. Wahlberg and H. Hjalmarsson and M. Molander and J. Sjöberg},
 booktitle = {European Control Conference},
 month = {},
 organization = {},
 pages = {},
 title = {Application Set Approximation in Optimal Input Design for Model Predictive Control},
 year = {2014}
}

repository: hhjalmars/academic-kickstart

repo_name: hhjalmars/academic-kickstart


text:
@misc{Still2013bcthesis,
	AUTHOR = "Štill, Vladimír",
	TITLE = "{State space compression for the DiVinE model checker}",
	YEAR = "2013",
	TYPE = "Bachelor's thesis",
	SCHOOL = "Masaryk University, Faculty of Informatics, Brno",
	SUPERVISOR = "Jiří Barnat",
	URL = "https://is.muni.cz/th/welgh/?lang=en",
}

@InProceedings{BBH+13DIVINE,
  author = {Jiří Barnat and Luboš Brim and Vojtěch Havel and Jan Havlíček and Jan Kriho and Milan Lenčo and Petr Ročkai and Vladimír Štill and Jiří Weiser},
  title = {{DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C \& C++ Programs}},
  booktitle = {{Computer Aided Verification}},
  pages = {863--868},
  volume = {8044},
  series = {Lecture Notes in Computer Science},
  year = {2013},
  _isbn = {978-3-642-39798-1},
  editor = {Sharygina, Natasha and Veith, Helmut},
  doi = {10.1007/978-3-642-39799-8_60},
  publisher = {Springer Berlin Heidelberg},
  language = {English},
  keywords = {divine, red hat},
}

@inproceedings{SRB14CSDR,
  title = {{Context-Switch-Directed Verification in DIVINE}},
  author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
  _isbn = {978-3-319-14895-3},
  volume = {8934},
  pages = {135--146},
  year = {2014},
  booktitle = {{Mathematical and Engineering Methods in Computer Science}},
  volume = {8934},
  series = {Lecture Notes in Computer Science},
  editor = {Hliněný, Petr and Dvořák, Zdeněk and Jaroš, Jiří and Kofroň, Jan and
        Kořenek, Jan and Matula, Petr and Pala, Karel},
  doi = {10.1007/978-3-319-14896-0_12},
  publisher = {Springer International Publishing},
  language = {English},
  keywords = {divine,red hat},
}

@inproceedings{RSB15TC,
  author = {Petr Ročkai and Vladimír Štill and Jiří Barnat},
  title = {{Techniques for Memory-Efficient Model Checking of C and C++ Code}},
  booktitle = {{Software Engineering and Formal Methods}},
  pages = {268--282},
  volume = {9276},
  year = {2015},
  _isbn = {978-3-319-22968-3},
  series = {Lecture Notes in Computer Science},
  editor = {Calinescu, Radu and Rumpe, Bernhard},
  doi = {10.1007/978-3-319-22969-0_19},
  publisher = {Springer International Publishing},
  language = {English},
  keywords = {divine},
}

@incollection{BRSW15HS,
  year = {2015},
  _isbn = {978-3-319-23403-8},
  booktitle = {{Model Checking Software (SPIN 2015)}},
  volume = {9232},
  series = {Lecture Notes in Computer Science},
  editor = {Fischer, Bernd and Geldenhuys, Jaco},
  doi = {10.1007/978-3-319-23404-5_5},
  title = {{Fast, Dynamically-Sized Concurrent Hash Table}},
  publisher = {Springer International Publishing},
  author = {Jiří Barnat and Petr Ročkai and Vladimír Štill and Jiří Weiser},
  pages = {49-65},
  language = {English},
  keywords = {divine, red hat},
}

@MastersThesis{Still2016mgrthesis,
AUTHOR = "Štill, Vladimír",
TITLE = "{LLVM Transformations  for Model Checking}",
YEAR = "2016",
TYPE = "Master's thesis",
SCHOOL = "Masaryk University, Faculty of Informatics, Brno",
SUPERVISOR = "Jiří Barnat",
URL = "https://is.muni.cz/th/buw8x/?lang=en",
}

@inproceedings{SRB15weakmem,
  author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
  year = {2016},
  booktitle = {{Mathematical and Engineering Methods in Computer Science, Revised Selected Papers}},
  editor = {Jan Kofroň and Tomáš Vojnar},
  volume = {9548},
  series = {Lecture Notes in Computer Science},
  title = {{Weak Memory Models as LLVM-to-LLVM Transformations}},
  keywords = {divine, red hat},
  publisher = {Springer International Publishing},
  pages = {144--155},
  _isbn = {978-3-319-29817-7},
  doi = {10.1007/978-3-319-29817-7_13},
}

@INPROCEEDINGS{BCRSZ16Prob,
  author = {Jiří Barnat and Ivana Černá and Petr Ročkai and Vladimír Štill and
        Kristína Zákopčanová},
  title = {{On Verifying C++ Programs with Probabilities}},
  year = {2016},
  booktitle = {{ACM Symposium on Applied Computing}},
  doi = {10.1145/2851613.2851721},
  _isbn = {978-1-4503-3739-7},
  keywords = {divine, red hat},
  pages = {1238--1243},
  crossref = {DBLP:conf/sac/2016},
  _url = {http://doi.acm.org/10.1145/2851613.2851721},
  _biburl = {http://dblp.uni-trier.de/rec/bib/conf/sac/BarnatCRSZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org},
}

@INPROCEEDINGS{SRB16SVC,
  author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
  title = {{DIVINE: Explicit-State LTL Model Checker}},
  year = {2016},
  booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {920--922},
  _isbn = {978-3-662-49674-9},
  doi = {10.1007/978-3-662-49674-9_60},
  _url = {http://dx.doi.org/10.1007/978-3-662-49674-9_60},
  keywords = {divine},
}

@Inbook{MJSLB2017,
  author = {Jan Mrázek and Martin Jonáš and Vladimír Štill and Henrich Lauko and Jiří Barnat},
  editor = {Legay, Axel
        and Margaria, Tiziana},
  title = {{Optimizing and Caching SMT Queries in SymDIVINE}},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems},
  year = {2017},
  publisher = {Springer Berlin Heidelberg},
  address = {Berlin, Heidelberg},
  pages = {390--393},
  abstract = {This paper presents a new version of the tool SymDIVINE, a model-checker for concurrent C/C++ programs. SymDIVINE uses a control-explicit data-symbolic approach to model checking, which allows for the bit-precise verification of programs with inputs, by representing data part of a program state by a first-order bit-vector formula. The new version of the tool employs a refined representation of symbolic states, which allows for efficient caching of smt queries. Moreover, the new version employs additional simplifications of first-order bit-vector formulas, such as elimination of unconstrained variables from quantified formulas. All changes are documented in detail in the paper.},
  _isbn = {978-3-662-54580-5},
  doi = {10.1007/978-3-662-54580-5_29},
  _url = {https://doi.org/10.1007/978-3-662-54580-5_29},
  keywords = {divine,symdivine},
}

@InProceedings{DIVINEToolPaper2017,
  author = {Zuzana Baranová and Jiří Barnat and Katarína Kejstová and Tadeáš Kučera and Henrich Lauko and Jan Mrázek and Petr Ročkai and Vladimír Štill},
  note = {https://divine.fi.muni.cz/2017/divine4/},
  editor="D'Souza, Deepak and Narayan Kumar, K.",
  title="{Model Checking of C and C++ with DIVINE 4}",
  booktitle="{Automated Technology for Verification and Analysis}",
  year="2017",
  publisher="Springer International Publishing",
  address="Cham",
  pages="201--207",
  abstract="The fourth version of the DIVINE model checker provides a modular platform for verification of real-world programs. It is built around an efficient interpreter of LLVM code which, together with a small, verification-oriented operating system and a set of runtime libraries, enables verification of code written in C and C++.",
  isbn="978-3-319-68167-2",
  doi="10.1007/978-3-319-68167-2_14"
}

@inproceedings{SRB2017,
 author = {Vladimír Štill and Petr Ročkai and Jiří Barnat},
 booktitle = {{IEEE International Conference on Software Quality, Reliability and Security (QRS)}},
 doi = {10.1109/QRS.2017.15},
 keywords = {C++ languages, Libraries, Software, Standards, Testing, Tools, C++, Exceptions, Model Checking, Unwinder, divine, exceptions, red hat},
 month = {7},
 note = {https://divine.fi.muni.cz/2017/exceptions/},
 pages = {54-64},
 title = {{Using Off-the-Shelf Exception Support Components in C++ Verification}},
 year = {2017},
 publisher = "IEEE",
}

@misc{Still2018thesis-proposal,
AUTHOR = "Štill, Vladimír",
TITLE = "{Memory-Model-Aware Analysis of Parallel Programs}",
YEAR = "2018",
TYPE = "Advanced Master's thesis, PhD Thesis Proposal",
SCHOOL = "Masaryk University, Faculty of Informatics, Brno",
URL = "https://is.muni.cz/th/uuunu/?lang=en",
}

@inproceedings{SB2018x86tso,
 abstract = {In this work, we present an extension of the DIVINE model checker that allows for analysis of C and C++ programs under the relaxed memory model. We use an approach in which the program to be verified is first transformed, so that it itself encodes the relaxed memory behavior, and after that it is verified by an explicit-state model checker supporting only the standard sequentially consistent memory. The novelty of our approach is in a careful design of an encoding of operations so that the nondeterminism introduced by the relaxed memory simulation is minimized. In particular, we allow for nondeterminism only in connection with memory fences and load operations of those memory addresses that were written to by a preceding store. We evaluate and compare our approach with the state-of-the-art bounded model checker CBMC and stateless model checker Nidhugg. For the comparison we employ SV-COMP concurrency benchmarks that do not exhibit data nondeterminism, and we show that our solution built on top of the explicit-state model checker outperforms both of the other tools. The implementation is publicly available as an open source software.},
 address = {Cham},
 author = {Vladimír Štill and Jiří Barnat},
 booktitle = {{Formal Methods and Software Engineering}},
 doi = {10.1007/978-3-030-02450-5_8},
 editor = {Sun, Jing and Sun, Meng},
 isbn = {978-3-030-02450-5},
 keywords = {divine},
 note = {https://divine.fi.muni.cz/2018/x86tso},
 pages = {124--140},
 publisher = {Springer International Publishing},
 title = {{Model Checking of C++ Programs Under the x86-TSO Memory Model}},
 year = {2018}
}

@article{RSCB2018,
 author = {Petr Ročkai and Vladimír Štill and Ivana Černá and Jiří Barnat},
 doi = {10.1016/j.jss.2018.04.026},
 journal = {Journal of Systems and Software},
 note = {https://divine.fi.muni.cz/2017/divm/},
 pages = {1--13},
 publisher = {Elsevier},
 title = {{DiVM: Model checking with LLVM and graph memory}},
 volume = {143},
 year = {2018}
}

@inproceedings{svcomp2019,
	abstract = {DIVINE is an LLVM-based verification tool focusing on analysis of real-world C and C++ programs. Such programs often interact with their environment, for example via inputs from users or network. When these programs are analyzed, it is desirable that the verification tool can deal with inputs symbolically and analyze runs for all inputs. In DIVINE, it is now possible to deal with input data via symbolic computation instrumented into the original program at the level of LLVM bitcode. Such an instrumented program maintains symbolic values internally and operates directly on them. Instrumentation allows us to enhance the tool with support for symbolic data without substantial modifications of the tool itself. Namely, this competition contribution uses SMT formulae for representation of input data.},
	address = {Cham},
	author = {Lauko, Henrich
	and {\v{S}}till, Vladim{\'i}r
	and Ro{\v{c}}kai, Petr
	and Barnat, Ji{\v{r}}{\'i}},
	booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems}},
	doi = {10.1007/978-3-030-17502-3_14},
	editor = {Beyer, Dirk
	and Huisman, Marieke
	and Kordon, Fabrice
	and Steffen, Bernhard},
	isbn = {978-3-030-17502-3},
	pages = {204--208},
	publisher = {Springer International Publishing},
	title = {{Extending DIVINE with Symbolic Verification Using SMT}},
	year = {2019}
}

@inproceedings{SB2019,
	abstract = {One of the key problems with parallel programs is ensuring that they do not hang or wait indefinitely -- i.e., there are no deadlocks, livelocks and the program proceeds towards its goals. In this work, we present a practical approach to detection of nonterminating sections of programs written in C or C++, and its implementation into the DIVINE model checker. This complements the existing techniques for finding safety violations such as assertion failures and memory errors. Our approach makes it possible to detect partial deadlocks and livelocks, i.e., those situations in which some of the threads are progressing normally while the others are waiting indefinitely. The approach is also applicable to programs that do not terminate (such as daemons with infinite control loops) as it can be configured to check only for termination of selected sections of the program. The termination criteria can be user-provided; however, DIVINE comes with the set of built-in termination criteria suited for the analysis of programs with mutexes and other common synchronisation primitives.},
	address = {Cham},
	author = {{\v{S}}till, Vladim{\'i}r and Barnat, Ji{\v{r}}{\'i}},
	booktitle = {Software Engineering and Formal Methods},
	doi = {10.1007/978-3-030-30446-1_20},
	editor = {{\"O}lveczky, Peter Csaba and Sala{\"u}n, Gwen},
	isbn = {978-3-030-30446-1},
	note = {https://divine.fi.muni.cz/2019/lnterm},
	pages = {373--390},
	publisher = {Springer International Publishing},
	title = {{Local Nontermination Detection for Parallel C++ Programs}},
	year = {2019}
}

@PhdThesis{Still2020phd,
    AUTHOR = "Štill, Vladimír",
    TITLE = "{Analysis of Parallel C++ Programs}",
    YEAR = "2020",
    TYPE = "Ph.D. Thesis",
    SCHOOL = "Masaryk University, Faculty of Informatics, Brno",
    SUPERVISOR = "Jiří Barnat",
    URL = "https://is.muni.cz/th/r9kjw/",
    note = "http://vstill.eu/phd"
}

repository: vlstill/web

repo_name: vlstill/web


text:
#
# Copyright (C) 2012 - 2016 Wind River Systems, Inc.
#
SUMMARY = "A modern implementation of DBM"

DESCRIPTION = "Tokyo Cabinet is a library of routines for managing a database. \
The database is a simple data file containing records, each is a pair of a key \
and a value. Every key and value is serial bytes with variable length. \
Both binary data and character string can be used as a key and a value. \
There is neither concept of data tables nor data types. \
Records are organized in hash table, B+ tree, or fixed-length array."

HOMEPAGE = "http://fallabs.com/tokyocabinet/"

LICENSE = "GPL-2.0-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=7fbc338309ac38fefcd64b04bb903e34"

SRC_URI = "http://fallabs.com/tokyocabinet/${BP}.tar.gz \
           file://remove-hard-coded-include-and-lib-paths.patch \
           file://0001-configure-Fix-check-functions-for-AC_CHECK_LIB-test.patch \
"

SRC_URI[md5sum] = "fd03df6965f8f56dd5b8518ca43b4f5e"
SRC_URI[sha256sum] = "a003f47c39a91e22d76bc4fe68b9b3de0f38851b160bbb1ca07a4f6441de1f90"

DEPENDS = "bzip2 zlib"

inherit autotools-brokensep

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded