text:
% Encoding: UTF-8

@InProceedings{prasad1990computer,
  author       = {Prasad, Vinod B},
  title        = {Computer networks reliability evaluations and intermittent faults},
  booktitle    = {Circuits and Systems, 1990., Proceedings of the 33rd Midwest Symposium on},
  year         = {1990},
  pages        = {327--330},
  organization = {IEEE},
}

@InProceedings{provan2002diagnosability,
  author       = {Provan, Gregory},
  title        = {On the diagnosability of decentralized, timed discrete event systems},
  booktitle    = {Decision and Control, 2002, Proceedings of the 41st IEEE Conference on},
  year         = {2002},
  volume       = {1},
  pages        = {405--410},
  organization = {IEEE},
}

@Article{qiu2006decentralized,
  author    = {Qiu, Wenbin and Kumar, Ratnesh},
  title     = {Decentralized failure diagnosis of discrete event systems},
  journal   = {IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans},
  year      = {2006},
  volume    = {36},
  number    = {2},
  pages     = {384--395},
  publisher = {IEEE},
}

@Article{qiu2009decentralized,
  author    = {Qiu, Wenbin and Wen, Qin and Kumar, Ratnesh},
  title     = {Decentralized diagnosis of event-driven systems for safely reacting to failures},
  journal   = {IEEE Transactions on Automation Science and Engineering},
  year      = {2009},
  volume    = {6},
  number    = {2},
  pages     = {362--366},
  publisher = {IEEE},
}

@InProceedings{queille1982specification,
  author       = {Queille, J and Sifakis, Joseph},
  title        = {Specification and verification of concurrent systems in CESAR},
  booktitle    = {International Symposium on programming},
  year         = {1982},
  pages        = {337--351},
  organization = {Springer},
}

@Article{ramadge1987supervisory,
  author    = {Ramadge, Peter J and Wonham, W Murray},
  title     = {Supervisory control of a class of discrete event processes},
  journal   = {SIAM journal on control and optimization},
  year      = {1987},
  volume    = {25},
  number    = {1},
  pages     = {206--230},
  publisher = {SIAM},
}

@Article{reiter1987theory,
  author    = {Ramirez-Trevino, Antonio and Ruiz-Beltran, Elvia and Rivera-Rangel, Israel and Lopez-Mellado, Ernesto},
  title     = {Online fault diagnosis of discrete event systems. A Petri net-based approach},
  journal   = {IEEE Transactions on Automation Science and Engineering},
  year      = {2007},
  volume    = {4},
  number    = {1},
  pages     = {31--39},
  publisher = {IEEE},
}

@Article{reiter1987theory,
  author    = {Reiter, Raymond},
  title     = {A theory of diagnosis from first principles},
  journal   = {Artificial intelligence},
  year      = {1987},
  volume    = {32},
  number    = {1},
  pages     = {57--95},
  publisher = {Elsevier},
}

@InProceedings{reniers2011folk,
  author       = {Reniers, Michel A and Willemse, Tim AC},
  title        = {Folk theorems on the correspondence between state-based and event-based systems},
  booktitle    = {International Conference on Current Trends in Theory and Practice of Computer Science},
  year         = {2011},
  pages        = {494--505},
  organization = {Springer},
}

@Article{aghasaryan1998fault,
  author    = {Aghasaryan, Armen and Fabre, Eric and Benveniste, Albert and Boubour, Ren{\'e}e and Jard, Claude},
  title     = {Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets},
  journal   = {Discrete event dynamic systems},
  year      = {1998},
  volume    = {8},
  number    = {2},
  pages     = {203--231},
  publisher = {Springer},
}

@Article{akers1978binary,
  author  = {Akers, Sheldon B.},
  title   = {Binary decision diagrams},
  journal = {IEEE Trans. Computers},
  year    = {1978},
  volume  = {27},
  number  = {6},
  pages   = {509--516},
}

@InProceedings{alur1990model,
  author       = {Alur, Rajeev and Courcoubetis, Costas and Dill, David},
  title        = {Model-checking for real-time systems},
  booktitle    = {Logic in Computer Science, 1990. LICS'90, Proceedings., Fifth Annual IEEE Symposium on e},
  year         = {1990},
  pages        = {414--425},
  organization = {IEEE},
}

@Article{alur1993model,
  author    = {Alur, Rajeev and Courcoubetis, Costas and Dill, David},
  title     = {Model-checking in dense real-time},
  journal   = {Information and computation},
  year      = {1993},
  volume    = {104},
  number    = {1},
  pages     = {2--34},
  publisher = {Elsevier},
}

@InProceedings{anderson1993lab,
  author       = {Anderson, Raymond J and Aylward, Stephen R},
  title        = {Lab testing of neural networks for improved aircraft onboard-diagnostics on flight-ready hardware},
  booktitle    = {Reliability and Maintainability Symposium, 1993. Proceedings., Annual},
  year         = {1993},
  pages        = {404--410},
  organization = {IEEE},
}

@PhdThesis{antoniotti1995synthesis,
  author = {Antoniotti, Marco},
  title  = {Synthesis and Verification of Discrete Controllers for Robotics and Manufacturing Devices with Temporal Logic and the Control-D System.},
  school = {New York University},
  year   = {1995},
}

@InProceedings{aydin2013new,
  author       = {Aydin, {\.I}lhan and Karak{\"o}se, Ebru and Karak{\"o}se, Mehmet and Gen{\c{c}}o{\u{g}}lu, M Tunay and Ak{\i}n, Erhan},
  title        = {A new computer vision approach for active pantograph control},
  booktitle    = {Innovations in Intelligent Systems and Applications (INISTA), 2013 IEEE International Symposium on},
  year         = {2013},
  pages        = {1--5},
  organization = {IEEE},
}

@Book{baier2008principles,
  title     = {Principles of model checking},
  publisher = {MIT press},
  year      = {2008},
  author    = {Baier, Christel and Katoen, Joost-Pieter and Larsen, Kim Guldstrand},
}

@Article{baldan2010unfolding,
  author    = {Baldan, Paolo and Chatain, Thomas and Haar, Stefan and K{\"o}nig, Barbara},
  title     = {Unfolding-based diagnosis of systems with an evolving topology},
  journal   = {Information and Computation},
  year      = {2010},
  volume    = {208},
  number    = {10},
  pages     = {1169--1192},
  publisher = {Elsevier},
}

@InProceedings{ball1969effects,
  author       = {Ball, M and Hardie, F},
  title        = {Effects and detection of intermittent failures in digital systems},
  booktitle    = {Proceedings of the November 18-20, 1969, fall joint computer conference},
  year         = {1969},
  pages        = {329--335},
  organization = {ACM},
}

@InProceedings{banerjee2010performance,
  author       = {Banerjee, Neelam and Khilar, PM},
  title        = {Performance analysis of distributed intermittent fault diagnosis in wireless sensor networks using clustering},
  booktitle    = {Industrial and Information Systems (ICIIS), 2010 International Conference on},
  year         = {2010},
  pages        = {13--18},
  organization = {IEEE},
}

@InProceedings{basile2014overview,
  author       = {Basile, Francesco},
  title        = {Overview of fault diagnosis methods based on petri net models},
  booktitle    = {Control Conference (ECC), 2014 European},
  year         = {2014},
  pages        = {2636--2642},
  organization = {IEEE},
}

@InProceedings{basile2007improving,
  author       = {Basile, Francesco and Chiacchio, Pasquale and De Tommasi, Gianmaria},
  title        = {Improving on-line fault diagnosis for discrete event systems using time},
  booktitle    = {Automation Science and Engineering, 2007. CASE 2007. IEEE International Conference on},
  year         = {2007},
  pages        = {26--32},
  organization = {IEEE},
}

@Article{basile2009efficient,
  author    = {Basile, Francesco and Chiacchio, Pasquale and De Tommasi, Gianmaria},
  title     = {An efficient approach for online diagnosis of discrete event systems},
  journal   = {IEEE Transactions on Automatic Control},
  year      = {2009},
  volume    = {54},
  number    = {4},
  pages     = {748--759},
  publisher = {IEEE},
}

@Article{basile2010diagnosability,
  author    = {Basile, Francesco and Chiacchio, Pasquale and De Tommasi, Gianmaria},
  title     = {Diagnosability of labeled Petri nets via integer linear programming},
  journal   = {IFAC Proceedings Volumes},
  year      = {2010},
  volume    = {43},
  number    = {12},
  pages     = {71--77},
  publisher = {Elsevier},
}

@Article{basile2012k,
  author    = {Basile, Francesco and Chiacchio, Pasquale and De Tommasi, Gianmaria},
  title     = {On K-diagnosability of Petri nets via integer linear programming},
  journal   = {Automatica},
  year      = {2012},
  volume    = {48},
  number    = {9},
  pages     = {2047--2058},
  publisher = {Elsevier},
}

@InProceedings{basile2008sufficient,
  author       = {Basile, Francesco and Chiacchiot, Pasquale and De Tommasi, Gianmaria},
  title        = {Sufficient conditions for diagnosability of Petri nets},
  booktitle    = {Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on},
  year         = {2008},
  pages        = {370--375},
  organization = {IEEE},
}

@InProceedings{basilio2009robust,
  author       = {Basilio, Jo{\~a}o Carlos and Lafortune, St{\'e}phane},
  title        = {Robust codiagnosability of discrete event systems},
  booktitle    = {American Control Conference, 2009. ACC'09.},
  year         = {2009},
  pages        = {2202--2209},
  organization = {IEEE},
}

@InProceedings{basu2003generation,
  author       = {Basu, Samik and Saha, Diptikalyan and Lin, Yow-Jian and Smolka, Scott A},
  title        = {Generation of all counter-examples for push-down systems},
  booktitle    = {International Conference on Formal Techniques for Networked and Distributed Systems},
  year         = {2003},
  pages        = {79--94},
  organization = {Springer},
}

@InProceedings{bavishi1994automated,
  author       = {Bavishi, Sanjiv and Chong, Edwin KP},
  title        = {Automated fault diagnosis using a discrete event systems framework},
  booktitle    = {Intelligent Control, 1994., Proceedings of the 1994 IEEE International Symposium on},
  year         = {1994},
  pages        = {213--218},
  organization = {IEEE},
}

@Article{bellini2000temporal,
  author    = {Bellini, Pierfrancesco and Mattolini, Riccardo and Nesi, Paolo},
  title     = {Temporal logics for real-time system specification},
  journal   = {ACM Computing Surveys (CSUR)},
  year      = {2000},
  volume    = {32},
  number    = {1},
  pages     = {12--42},
  publisher = {ACM},
}

@Article{benveniste2003diagnosis,
  author    = {Benveniste, Albert and Fabre, Eric and Haar, Stefan and Jard, Claude},
  title     = {Diagnosis of asynchronous discrete-event systems: a net unfolding approach},
  journal   = {IEEE Transactions on Automatic Control},
  year      = {2003},
  volume    = {48},
  number    = {5},
  pages     = {714--727},
  publisher = {IEEE},
}

@Article{berthomieu2004tool,
  author    = {Berthomieu*, Bernard and Ribet, P-O and Vernadat, Fran{\c{c}}ois},
  title     = {The tool TINA--construction of abstract state spaces for Petri nets and time Petri nets},
  journal   = {International journal of production research},
  year      = {2004},
  volume    = {42},
  number    = {14},
  pages     = {2741--2756},
  publisher = {Taylor \& Francis},
}

@InProceedings{bertoli2006symbolic,
  author       = {Bertoli, Piergiorgio and Bozzano, Marco and Cimatti, Alessandro},
  title        = {A symbolic model checking framework for safety analysis, diagnosis, and synthesis},
  booktitle    = {International Workshop on Model Checking and Artificial Intelligence},
  year         = {2006},
  pages        = {1--18},
  organization = {Springer},
}

@Article{biere1999symbolic,
  author    = {Biere, Armin and Cimatti, Alessandro and Clarke, Edmund and Zhu, Yunshan},
  title     = {Symbolic model checking without BDDs},
  journal   = {Tools and Algorithms for the Construction and Analysis of Systems},
  year      = {1999},
  pages     = {193--207},
  publisher = {Springer},
}

@InProceedings{biere1999symbolic,
  author       = {Biere, Armin and Cimatti, Alessandro and Clarke, Edmund M and Fujita, Masahiro and Zhu, Yunshan},
  title        = {Symbolic model checking using SAT procedures instead of BDDs},
  booktitle    = {Proceedings of the 36th annual ACM/IEEE Design Automation Conference},
  year         = {1999},
  pages        = {317--320},
  organization = {ACM},
}

@Article{biere2003bounded,
  author    = {Biere, Armin and Cimatti, Alessandro and Clarke, Edmund M and Strichman, Ofer and Zhu, Yunshan},
  title     = {Bounded model checking},
  journal   = {Advances in computers},
  year      = {2003},
  volume    = {58},
  pages     = {117--148},
  publisher = {Elsevier},
}

@Article{biswas2012diagnosability,
  author    = {Biswas, Santosh},
  title     = {Diagnosability of discrete event systems for temporary failures},
  journal   = {Computers \& Electrical Engineering},
  year      = {2012},
  volume    = {38},
  number    = {6},
  pages     = {1534--1549},
  publisher = {Elsevier},
}

@InProceedings{bittner2012symbolic,
  author    = {Bittner, Benjamin and Bozzano, Marco and Cimatti, Alessandro and Olive, Xavier},
  title     = {Symbolic Synthesis of Observability Requirements for Diagnosability.},
  booktitle = {AAAI},
  year      = {2012},
}

@InProceedings{bourgne2009diagnosability,
  author       = {Bourgne, Gauvain and Dague, Philippe and Nouioua, Farid and Rapin, Nicolas},
  title        = {Diagnosability of input output symbolic transition systems},
  booktitle    = {Advances in System Testing and Validation Lifecycle, 2009. VALID'09. First International Conference on},
  year         = {2009},
  pages        = {147--154},
  organization = {IEEE},
}

@Article{boussif2015diagnosability,
  author    = {Boussif, Abderraouf and Ghazel, Mohamed},
  title     = {Diagnosability Analysis of Input/Output Discrete-Event Systems Using Model-Checking},
  journal   = {IFAC-PapersOnLine},
  year      = {2015},
  volume    = {48},
  number    = {7},
  pages     = {71--78},
  publisher = {Elsevier},
}

@InProceedings{boussif2015approche,
  author    = {Boussif, Abderraouf and Ghazel, Mohamed},
  title     = {Une Approche par D{\'e}composition de Mod{\`e}les pour l'Analyse de la Diagnosticabilit{\'e} des SEDs par Model-Checking},
  booktitle = {Mod{\'e}lisation des Syst{\`e}mes R{\'e}actifs (MSR 2015)},
  year      = {2015},
}

@InProceedings{boussif2016intermittent,
  author       = {Boussif, Abderraouf and Ghazel, Mohamed},
  title        = {Intermittent fault diagnosis of industrial systems in a model-checking framework},
  booktitle    = {Prognostics and Health Management (ICPHM), 2016 IEEE International Conference on},
  year         = {2016},
  pages        = {1--6},
  organization = {IEEE},
}

@InProceedings{boussif2015combining,
  author    = {Boussif, Abderraouf and Ghazel, Mohamed and Klai, Kais},
  title     = {Combining Enumerative and Symbolic-Techniques for Diagnosis of Discrete-Event Systems.},
  booktitle = {VECoS},
  year      = {2015},
  pages     = {23--34},
}

@InProceedings{bozzano2013formal,
  author    = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title     = {A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.},
  booktitle = {AAAI (Late-Breaking Developments)},
  year      = {2013},
}

@InProceedings{bozzano2013formal,
  author    = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title     = {Formal Specification and Synthesis of FDI through an Example},
  booktitle = {Workshop on Principles of Diagnosis (DX'13)},
  year      = {2013},
  pages     = {174--179},
}

@InProceedings{bozzano2014formal,
  author       = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title        = {Formal design of fault detection and identification components using temporal epistemic logic},
  booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  year         = {2014},
  pages        = {326--340},
  organization = {Springer},
}

@InProceedings{bozzano2013formal,
  author    = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title     = {A Formal Framework for the Specification, Verification and Synthesis of Diagnosers.},
  booktitle = {AAAI (Late-Breaking Developments)},
  year      = {2013},
}

@InProceedings{bozzano2013formal,
  author    = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title     = {Formal Specification and Synthesis of FDI through an Example},
  booktitle = {Workshop on Principles of Diagnosis (DX’13)},
  year      = {2013},
  pages     = {174--179},
}

@InProceedings{bozzano2014formal,
  author       = {Bozzano, Marco and Cimatti, Alessandro and Gario, Marco and Tonetta, Stefano},
  title        = {Formal design of fault detection and identification components using temporal epistemic logic},
  booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  year         = {2014},
  pages        = {326--340},
  organization = {Springer},
}

@Article{brusoni1998spectrum,
  author    = {Brusoni, Vittorio and Console, Luca and Terenziani, Paolo and Dupr{\'e}, Daniele Theseider},
  title     = {A spectrum of definitions for temporal model-based diagnosis},
  journal   = {Artificial Intelligence},
  year      = {1998},
  volume    = {102},
  number    = {1},
  pages     = {39--79},
  publisher = {Elsevier},
}

@Article{bryant1992symbolic,
  author    = {Bryant, Randal E},
  title     = {Symbolic Boolean manipulation with ordered binary-decision diagrams},
  journal   = {ACM Computing Surveys (CSUR)},
  year      = {1992},
  volume    = {24},
  number    = {3},
  pages     = {293--318},
  publisher = {ACM},
}

@InProceedings{cabasino2009diagnosability,
  author       = {Cabasino, Maria Paola and Giua, Alessandro and Lafortune, St{\'e}phane and Seatzu, Carla},
  title        = {Diagnosability analysis of unbounded Petri nets},
  booktitle    = {Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on},
  year         = {2009},
  pages        = {1267--1272},
  organization = {IEEE},
}

@Article{cabasino2012new,
  author    = {Cabasino, Maria Paola and Giua, Alessandro and Lafortune, St{\'e}phane and Seatzu, Carla},
  title     = {A new approach for diagnosability analysis of Petri nets using verifier nets},
  journal   = {IEEE Transactions on Automatic Control},
  year      = {2012},
  volume    = {57},
  number    = {12},
  pages     = {3104--3117},
  publisher = {IEEE},
}

@InProceedings{cabasino2012comparison,
  author       = {Cabasino, Maria Paola and Giua, Alessandro and Marcias, Laura and Seatzu, Carla},
  title        = {A comparison among tools for the diagnosability of discrete event systems},
  booktitle    = {Automation Science and Engineering (CASE), 2012 IEEE International Conference on},
  year         = {2012},
  pages        = {218--223},
  organization = {IEEE},
}

@Article{cabasino2013decentralized,
  author    = {Cabasino, Maria Paola and Giua, Alessandro and Paoli, Andrea and Seatzu, Carla},
  title     = {Decentralized diagnosis of discrete-event systems using labeled Petri nets},
  journal   = {IEEE Transactions on Systems, Man, and Cybernetics: Systems},
  year      = {2013},
  volume    = {43},
  number    = {6},
  pages     = {1477--1485},
  publisher = {IEEE},
}

@InProceedings{cabasino2009diagnosability,
  author       = {Cabasino, Maria Paola and Giua, Alessandro and Seatzu, Carla},
  title        = {Diagnosability of bounded Petri nets},
  booktitle    = {Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on},
  year         = {2009},
  pages        = {1254--1260},
  organization = {IEEE},
}

@Article{cabasino2010fault,
  author    = {Cabasino, Maria Paola and Giua, Alessandro and Seatzu, Carla},
  title     = {Fault detection for discrete event systems using Petri nets with unobservable transitions},
  journal   = {Automatica},
  year      = {2010},
  volume    = {46},
  number    = {9},
  pages     = {1531--1539},
  publisher = {Elsevier},
}

@Article{cabasino2014diagnosability,
  author    = {Cabasino, Maria Paola and Giua, Alessandro and Seatzu, Carla},
  title     = {Diagnosability of discrete-event systems using labeled Petri nets},
  journal   = {IEEE Transactions on Automation Science and Engineering},
  year      = {2014},
  volume    = {11},
  number    = {1},
  pages     = {144--153},
  publisher = {IEEE},
}

@Article{cabasino2013optimal,
  author    = {Cabasino, Maria Paola and Lafortune, St{\'e}phane and Seatzu, Carla},
  title     = {Optimal sensor selection for ensuring diagnosability in labeled Petri nets},
  journal   = {Automatica},
  year      = {2013},
  volume    = {49},
  number    = {8},
  pages     = {2373--2383},
  publisher = {Elsevier},
}

@Article{carvalho2012robust,
  author    = {Carvalho, Lilian K and Basilio, Jo{\~a}O C and Moreira, Marcos V},
  title     = {Robust diagnosis of discrete event systems against intermittent loss of observations},
  journal   = {Automatica},
  year      = {2012},
  volume    = {48},
  number    = {9},
  pages     = {2068--2078},
  publisher = {Elsevier},
}

@Article{carvalho2010robust,
  author    = {Carvalho, Lilian Kawakami and Basilio, Jo{\~a}o Carlos and Moreira, Marcos Vicente},
  title     = {Robust diagnosability of discrete event systems subject to intermittent sensor failures},
  journal   = {IFAC Proceedings Volumes},
  year      = {2010},
  volume    = {43},
  number    = {12},
  pages     = {84--89},
  publisher = {Elsevier},
}

@InProceedings{carvalho2013diagnosability,
  author       = {Carvalho, Lilian K and Basilio, Jo{\~a}o C and Moreira, Marcos V and Clavijo, Leonardo B},
  title        = {Diagnosability of intermittent sensor faults in discrete event systems},
  booktitle    = {American Control Conference (ACC), 2013},
  year         = {2013},
  pages        = {929--934},
  organization = {IEEE},
}

@Book{cassandras2009introduction,
  title     = {Introduction to discrete event systems},
  publisher = {Springer Science \& Business Media},
  year      = {2009},
  author    = {Cassandras, Christos G and Lafortune, Stephane},
}

@InProceedings{cassez2009note,
  author       = {Cassez, Franck},
  title        = {A note on fault diagnosis algorithms},
  booktitle    = {Decision and Control, 2009 held jointly with the 2009 28th Chinese Control Conference. CDC/CCC 2009. Proceedings of the 48th IEEE Conference on},
  year         = {2009},
  pages        = {6941--6946},
  organization = {IEEE},
}

@Article{cassez2008fault,
  author    = {Cassez, Franck and Tripakis, Stavros},
  title     = {Fault diagnosis with static and dynamic observers},
  journal   = {Fundamenta Informaticae},
  year      = {2008},
  volume    = {88},
  number    = {4},
  pages     = {497--540},
  publisher = {IOS Press},
}

@Article{chandra2002event,
  author    = {Chandra, V and Kumar, R},
  title     = {A event occurrence rules based compact modeling formalism for a class of discrete event systems},
  journal   = {Mathematical and computer modelling of dynamical Systems},
  year      = {2002},
  volume    = {8},
  number    = {1},
  pages     = {49--73},
  publisher = {Taylor \& Francis},
}

@InProceedings{chang1997detecting,
  author       = {Chang, JT-Y and McCluskey, Edward J},
  title        = {Detecting bridging faults in dynamic CMOS circuits},
  booktitle    = {IDDQ Testing, 1997. Digest of Papers., IEEE International Workshop on},
  year         = {1997},
  pages        = {106--109},
  organization = {IEEE},
}

@Article{chanthery2009monitoring,
  author    = {Chanthery, Elodie and Pencol{\'e}, Yannick},
  title     = {Monitoring and active diagnosis for discrete-event systems},
  journal   = {IFAC Proceedings Volumes},
  year      = {2009},
  volume    = {42},
  number    = {8},
  pages     = {1545--1550},
  publisher = {Elsevier},
}

@Article{chedor2015diagnosis,
  author    = {Ch{\'e}dor, S{\'e}bastien and Morvan, Christophe and Pinchinat, Sophie and Marchand, Herv{\'e}},
  title     = {Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems},
  journal   = {Discrete Event Dynamic Systems},
  year      = {2015},
  volume    = {25},
  number    = {1-2},
  pages     = {271--294},
  publisher = {Springer},
}

@Book{chen2012robust,
  title     = {Robust model-based fault diagnosis for dynamic systems},
  publisher = {Springer Science \& Business Media},
  year      = {2012},
  author    = {Chen, Jie and Patton, Ron J},
  volume    = {3},
}

@Article{chen2014active,
  author    = {Chen, Ziqiang and Lin, Feng and Wang, Caisheng and Le Wang, Yi and Xu, Min},
  title     = {Active diagnosability of discrete event systems and its application to battery fault diagnosis},
  journal   = {IEEE Transactions on control systems technology},
  year      = {2014},
  volume    = {22},
  number    = {5},
  pages     = {1892--1898},
  publisher = {IEEE},
}

@Article{chung2005diagnosing,
  author    = {Chung, Sheng-Luen},
  title     = {Diagnosing PN-based models with partial observable transitions},
  journal   = {International Journal of Computer Integrated Manufacturing},
  year      = {2005},
  volume    = {18},
  number    = {2-3},
  pages     = {158--169},
  publisher = {Taylor \& Francis},
}

@Article{cimatti2000nusmv,
  author    = {Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Fausto and Roveri, Marco},
  title     = {NuSMV: a new symbolic model checker},
  journal   = {International Journal on Software Tools for Technology Transfer},
  year      = {2000},
  volume    = {2},
  number    = {4},
  pages     = {410--425},
  publisher = {Springer},
}

@InProceedings{pecheur2002formal,
  author    = {Pecheur, Charles and Cimatti, Alessandro and Cimatti, Ro},
  title     = {Formal verification of diagnosability via symbolic model checking},
  booktitle = {Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), Lyon, France},
  year      = {2002},
}

@Article{raimondi2005applications,
  author  = {Raimondi, Franco and Pecheur, Charles and Lomuscio, Alessio},
  title   = {Applications of model checking for multi-agent systems: verification of diagnosability and recoverability},
  journal = {Proceedings of Concurrency, Specification \& Programming (CS\&P), Warsaw University},
  year    = {2005},
  pages   = {433--444},
}

@InProceedings{clarke2001progress,
  author       = {Clarke, Edmund and Grumberg, Orna and Jha, Somesh and Lu, Yuan and Veith, Helmut},
  title        = {Progress on the state explosion problem in model checking},
  booktitle    = {Informatics},
  year         = {2001},
  pages        = {176--194},
  organization = {Springer},
}

@InCollection{mcmillan1993symbolic,
  author    = {McMillan, Kenneth L},
  title     = {Symbolic model checking},
  booktitle = {Symbolic Model Checking},
  publisher = {Springer},
  year      = {1993},
  pages     = {25--60},
}

@Article{clarke1982design,
  author    = {Clarke, Edmund and Emerson, E},
  title     = {Design and synthesis of synchronization skeletons using branching time temporal logic},
  journal   = {Logics of programs},
  year      = {1982},
  pages     = {52--71},
  publisher = {Springer},
}

@Book{clarke1999model,
  title     = {Model checking},
  publisher = {MIT press},
  year      = {1999},
  author    = {Clarke, Edmund M and Grumberg, Orna and Peled, Doron},
}

@PhdThesis{contant2005monitoring,
  author = {Contant, Olivier},
  title  = {On monitoring and diagnosing classes of discrete event systems},
  school = {Citeseer},
  year   = {2005},
}

@InProceedings{contant2002failure,
  author       = {Contant, Olivier and Lafortune, St{\'e}phane and Teneketzis, Demosthenis},
  title        = {Failure diagnosis of discrete event systems: The case of intermittent faults},
  booktitle    = {Decision and Control, 2002, Proceedings of the 41st IEEE Conference on},
  year         = {2002},
  volume       = {4},
  pages        = {4006--4011},
  organization = {IEEE},
}

@Article{contant2004diagnosis,
  author    = {Contant, Olivier and Lafortune, St{\'e}phane and Teneketzis, Demosthenis},
  title     = {Diagnosis of intermittent faults},
  journal   = {Discrete Event Dynamic Systems},
  year      = {2004},
  volume    = {14},
  number    = {2},
  pages     = {171--202},
  publisher = {Springer},
}

@Article{contant2006diagnosability,
  author    = {Contant, Olivier and Lafortune, St{\'e}phane and Teneketzis, Demosthenis},
  title     = {Diagnosability of discrete event systems with modular structure},
  journal   = {Discrete Event Dynamic Systems},
  year      = {2006},
  volume    = {16},
  number    = {1},
  pages     = {9--37},
  publisher = {Springer},
}

@InProceedings{cook1971complexity,
  author       = {Cook, Stephen A},
  title        = {The complexity of theorem-proving procedures},
  booktitle    = {Proceedings of the third annual ACM symposium on Theory of computing},
  year         = {1971},
  pages        = {151--158},
  organization = {ACM},
}

@Article{cordier2004conflicts,
  author    = {Cordier, M-O and Dague, Philippe and L{\'e}vy, Fran{\c{c}}ois and Montmain, Jacky and Staroswiecki, Marcel and Trav{\'e}-Massuy{\`e}s, Louise},
  title     = {Conflicts versus analytical redundancy relations: a comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives},
  journal   = {IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)},
  year      = {2004},
  volume    = {34},
  number    = {5},
  pages     = {2163--2177},
  publisher = {IEEE},
}

@InProceedings{cordier2001using,
  author       = {Cordier, Marie-Odile and Largou{\"e}t, Christine},
  title        = {Using model-checking techniques for diagnosing discrete-event systems},
  booktitle    = {12th International Workshop on Principles of Diagnosis (DX’01)},
  year         = {2001},
  pages        = {39--46},
  organization = {Citeseer},
}

@InProceedings{correcher2003intermittent,
  author       = {Correcher, A and Garcia, E and Morant, F and Quiles, E and Blasco-Gimenez, R},
  title        = {Intermittent failure diagnosis in industrial processes},
  booktitle    = {Industrial Electronics, 2003. ISIE'03. 2003 IEEE International Symposium on},
  year         = {2003},
  volume       = {2},
  pages        = {723--728},
  organization = {IEEE},
}

@InCollection{correcher2010diagnosis,
  author    = {Correcher, A and Garc{\'\i}a, E and Morant, F and Quiles, E and Rodr{\'\i}guez, L},
  title     = {Diagnosis of Intermittent Faults and its dynamics},
  booktitle = {Factory Automation},
  publisher = {InTech},
  year      = {2010},
}

@InProceedings{dallal2010most,
  author       = {Dallal, Eric and Lafortune, St{\'e}phane},
  title        = {On most permissive observers in dynamic sensor optimization problems for discrete event systems},
  booktitle    = {Communication, Control, and Computing (Allerton), 2010 48th Annual Allerton Conference on},
  year         = {2010},
  pages        = {318--324},
  organization = {IEEE},
}

@PhdThesis{bouss2016,
  author = {Boussif, Abderraouf},
  title  = {Contributions to model-based diagnosis of discrete-event systems},
  year   = {2016},
  note   = {Thèse de doctorat dirigée par Ghazel, Mohamed Automatique, Génie Informatique, Traitement du Signal et des Images Lille 1 2016},
  url    = {http://www.theses.fr/2016LIL10144},
}

@InProceedings{bajwa2003livingstone,
  author    = {A. Bajwa and A. Sweet},
  title     = {The livingstone model of a main propulsion system},
  booktitle = {2003 {IEEE} Aerospace Conference Proceedings (Cat. No.03TH8652)},
  publisher = {Institute of Electrical and Electronics Engineers ({IEEE})},
  doi       = {10.1109/aero.2003.1235498},
}

@Comment{jabref-meta: databaseType:bibtex;}


text:
SUMMARY  = "The SPIR-V Tools project provides an API and commands for \
processing SPIR-V modules"
DESCRIPTION = "The project includes an assembler, binary module parser, \
disassembler, validator, and optimizer for SPIR-V."
LICENSE  = "Apache-2.0"
LIC_FILES_CHKSUM = "file://LICENSE;md5=3b83ef96387f14655fc854ddc3c6bd57"
SECTION = "graphics"

S = "${WORKDIR}/git"
DEST_DIR = "${S}/external"
SRC_URI = "git://github.com/KhronosGroup/SPIRV-Tools.git;name=spirv-tools \
	file://0001-tools-lesspipe-Allow-generic-shell.patch \
	git://github.com/KhronosGroup/SPIRV-Headers.git;name=spirv-headers;destsuffix=${DEST_DIR}/spirv-headers \
	git://github.com/google/effcee.git;name=effcee;destsuffix=${DEST_DIR}/effcee \
	git://github.com/google/re2.git;name=re2;destsuffix=${DEST_DIR}/re2 \
	git://github.com/google/googletest.git;name=googletest;destsuffix=${DEST_DIR}/googletest \
"
SRCREV_spirv-tools = "167f1270a9ee641b17c016a545741e4aadfabe86"
SRCREV_spirv-headers = "4618b86e9e4b027a22040732dfee35e399cd2c47"
SRCREV_effcee = "8f0a61dc95e0df18c18e0ac56d83b3fa9d2fe90b"
SRCREV_re2 = "2cf86e5ab6dcfe045a1f510c2b9a8b012a4158cd"
SRCREV_googletest = "150613166524c474a8a97df4c01d46b72050c495"

inherit cmake python3native

do_install_append() {
	install -d ${D}/${includedir}/spirv
	install -m 0644 ${DEST_DIR}/spirv-headers/include/spirv/1.2/* ${D}/${includedir}/spirv
}

FILES_SOLIBSDEV = ""
FILES_${PN} += "${libdir}/*.so"

license: MIT

repository: eigendude/meta-openembedded

license_type: permissive

repo_name: eigendude/meta-openembedded

branch_name: refs/heads/warrior

gha_license_id: MIT

gha_language: BitBake

extension: bb


text:
package avro

import (
	"io"
)

type NumberRecord struct {
	IntField    int32
	LongField   int64
	FloatField  float32
	DoubleField float64
}

func DeserializeNumberRecord(r io.Reader) (*NumberRecord, error) {
	return readNumberRecord(r)
}

func (r NumberRecord) Serialize(w io.Writer) error {
	return writeNumberRecord(&r, w)
}

repository: scalingdata/gogen-avro

repo_name: scalingdata/gogen-avro

branch_name: refs/heads/master

gha_language: Go

extension: go


text:
@inproceedings{Costa:2017:ESU:3030207.3030221,
 acmid = {3030221},
 address = {New York, NY, USA},
 author = {Costa, Diego and Andrzejak, Artur and Seboek, Janos and Lo, David},
 booktitle = {Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering},
 doi = {10.1145/3030207.3030221},
 isbn = {978-1-4503-4404-3},
 keywords = {collections, empirical study, execution time, java, memory, performance},
 location = {L'Aquila, Italy},
 numpages = {12},
 pages = {389--400},
 publisher = {ACM},
 series = {ICPE '17},
 title = {Empirical Study of Usage and Performance of Java Collections},
 url = {http://doi.acm.org/10.1145/3030207.3030221},
 year = {2017}
}

repository: DiegoEliasCosta/academic-profile

repo_name: DiegoEliasCosta/academic-profile

extension: bib


text:
set(CMAKE_HOST_SYSTEM "Windows-10.0.18362")
set(CMAKE_HOST_SYSTEM_NAME "Windows")
set(CMAKE_HOST_SYSTEM_VERSION "10.0.18362")
set(CMAKE_HOST_SYSTEM_PROCESSOR "AMD64")

include("D:/Ale/Projetos/medicineBox/cmake/ArduinoToolchain.cmake")

set(CMAKE_SYSTEM "Arduino")
set(CMAKE_SYSTEM_NAME "Arduino")
set(CMAKE_SYSTEM_VERSION "")
set(CMAKE_SYSTEM_PROCESSOR "")

set(CMAKE_CROSSCOMPILING "TRUE")

set(CMAKE_SYSTEM_LOADED 1)

extension: cmake


text:
package llc

import (
	"encoding/hex"
	"log"
	"strings"
	"testing"
)

func TestDeleteLink(t *testing.T) {
	var want, got string

	// create bytes of a message
	msgHex := "00000000  04 2c 00 60 00 00 00 00  " +
		"00 00 00 00 00 00 00 00  |.,.`............|\n" +
		"00000010  00 00 00 00 00 00 00 00  " +
		"00 00 00 00 00 00 00 00  |................|\n" +
		"00000020  00 00 00 00 00 00 00 00  " +
		"00 00 00 00              |............|\n"
	msg := "04 2c 00 60 00 00 00 00  00 00 00 00 00 00 00 00" +
		"00 00 00 00 00 00 00 00  00 00 00 00 00 00 00 00" +
		"00 00 00 00 00 00 00 00  00 00 00 00"
	bytes, err := hex.DecodeString(strings.Join(strings.Fields(msg), ""))
	if err != nil {
		log.Fatal(err)
	}

	// parse message
	d := ParseDeleteLink(bytes)

	// test String()
	want = "LLC Delete Link: Type: 4, Length: 44, Reply: false, " +
		"All: true, Orderly: true, Link: 0, " +
		"Reason Code: 0 (unknown)\n"
	got = d.String()
	if got != want {
		t.Errorf("d.String() = %s; want %s", got, want)
	}

	// test Reserved()
	want = "LLC Delete Link: Type: 4, Length: 44, Reserved: 0x0, " +
		"Reply: false, All: true, Orderly: true, Reserved: 0x0, " +
		"Link: 0, Reason Code: 0 (unknown), " +
		"Reserved: 0x0000000000000000000000000000000000000000000" +
		"000000000000000000000000000\n"
	got = d.Reserved()
	if got != want {
		t.Errorf("d.Reserved() = %s; want %s", got, want)
	}

	// test Hex()
	want = msgHex
	got = d.Hex()
	if got != want {
		t.Errorf("d.Hex() = %s; want %s", got, want)
	}

	// test GetType()
	wantType := TypeDeleteLink
	gotType := d.GetType()
	if gotType != wantType {
		t.Errorf("d.GetType() = %d; want %d", gotType, wantType)
	}

}

repository: hwipl/smc-go

repo_name: hwipl/smc-go


text:
// Make your own game by changing the code below!
// Spawn a maze. Change the number for a different maze!
game.spawnMaze("fence", 88);

// Spawn a player with spawnPlayerXY()
var player = game.spawnPlayerXY("raider", 12, 12);
player.attackDamage = 10;
player.maxHealth = 200;

// Add at least one goal!
game.addCollectGoal();
game.addSurviveGoal();

// Spawn some things to collect!
game.spawnXY("gem", 28, 12);
game.spawnXY("gem", 60, 60);

// You need a key to collect a locked chest.
game.spawnXY("locked-chest", 44, 28);
game.spawnXY("silver-key", 52, 60);
game.spawnXY("potion-medium", 60, 12);

// Spawn some enemies!
var s1 = game.spawnXY("skeleton", 35, 60);
s1.behavior = "AttacksNearest";
var s2 = game.spawnXY("skeleton", 55, 60);
s2.behavior = "Defends";
game.spawnXY("lightstone", 45, 45);

var gen = game.spawnXY("generator", 12, 61);
gen.spawnType = "munchkin";
gen.spawnDelay = 5;

game.spawnXY("munchkin", 28, 19);
// Ogre Spear Throwers have a ranged attack!
game.spawnXY("thrower", 48, 28);
// This gargoyle shoots fire!
var spewer = game.spawnXY("fire-spewer", 28, 45);
spewer.direction = "horizontal";

// Track plays and ogres defeated in the database.
db.add("plays", 1);
ui.track(db, "plays");
ui.track(db, "defeated");

function onVictory(event) {
    db.add("defeated", game.defeated);
}

game.on("victory", onVictory);

repository: ripssr/Code-Combat

repo_name: ripssr/Code-Combat

extension: js


text:
# The set of languages for which implicit dependencies are needed:
SET(CMAKE_DEPENDS_LANGUAGES
  "CXX"
  )
# The set of files for implicit dependencies of each language:
SET(CMAKE_DEPENDS_CHECK_CXX
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/dists/discrete_distribution.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/dists/discrete_distribution.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/dists/gaussian_distribution.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/dists/gaussian_distribution.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/dists/laplace_distribution.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/dists/laplace_distribution.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/kernels/epanechnikov_kernel.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/kernels/epanechnikov_kernel.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/kernels/pspectrum_string_kernel.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/kernels/pspectrum_string_kernel.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/math/lin_alg.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/math/lin_alg.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/math/random.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/math/random.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/optimizers/aug_lagrangian/aug_lagrangian_test_functions.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/optimizers/aug_lagrangian/aug_lagrangian_test_functions.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/optimizers/lbfgs/test_functions.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/optimizers/lbfgs/test_functions.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/optimizers/lrsdp/lrsdp.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/optimizers/lrsdp/lrsdp.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/optimizers/lrsdp/lrsdp_function.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/optimizers/lrsdp/lrsdp_function.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/optimizers/sgd/test_function.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/optimizers/sgd/test_function.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/tree/cosine_tree/cosine_tree.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/tree/cosine_tree/cosine_tree.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/tree/mrkd_statistic.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/tree/mrkd_statistic.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/cli.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/cli.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/cli_deleter.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/cli_deleter.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/log.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/log.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/option.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/option.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/prefixedoutstream.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/prefixedoutstream.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/save_restore_utility.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/save_restore_utility.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/string_util.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/string_util.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/timers.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/timers.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/core/util/version.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/core/util/version.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/det/dt_utils.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/det/dt_utils.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/det/dtree.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/det/dtree.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/lars/lars.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/lars/lars.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/linear_regression/linear_regression.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/linear_regression/linear_regression.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/logistic_regression/logistic_regression_function.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/logistic_regression/logistic_regression_function.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/neighbor_search/sort_policies/furthest_neighbor_sort.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/neighbor_search/sort_policies/furthest_neighbor_sort.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/neighbor_search/sort_policies/nearest_neighbor_sort.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/neighbor_search/sort_policies/nearest_neighbor_sort.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/neighbor_search/unmap.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/neighbor_search/unmap.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/pca/pca.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/pca/pca.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/radical/radical.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/radical/radical.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/regularized_svd/regularized_svd_function.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/regularized_svd/regularized_svd_function.cpp.o"
  "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/methods/sparse_autoencoder/sparse_autoencoder_function.cpp" "/home/azrathud/Downloads/mlpack-1.0.12/src/mlpack/CMakeFiles/mlpack.dir/methods/sparse_autoencoder/sparse_autoencoder_function.cpp.o"
  )
SET(CMAKE_CXX_COMPILER_ID "GNU")

# Preprocessor definitions for this target.
SET(CMAKE_TARGET_DEFINITIONS
  "ARMA_NO_DEBUG"
  "BOOST_TEST_DYN_LINK"
  "NDEBUG"
  )

# Pairs of files generated by the same build rule.
SET(CMAKE_MULTIPLE_OUTPUT_PAIRS
  "/home/azrathud/Downloads/mlpack-1.0.12/lib/libmlpack.so" "/home/azrathud/Downloads/mlpack-1.0.12/lib/libmlpack.so.1.0"
  "/home/azrathud/Downloads/mlpack-1.0.12/lib/libmlpack.so.1" "/home/azrathud/Downloads/mlpack-1.0.12/lib/libmlpack.so.1.0"
  )

# Targets to which this target links.
SET(CMAKE_TARGET_LINKED_INFO_FILES
  )

# The include file search paths:
SET(CMAKE_C_TARGET_INCLUDE_PATH
  "/usr/include/libxml2"
  "."
  "src/mlpack/.."
  )
SET(CMAKE_CXX_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
SET(CMAKE_Fortran_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
SET(CMAKE_ASM_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})


text:
@inproceedings{2015-ZB,
 abstract = {A variety of massive datasets, such as social networks and biological data, are represented as graphs that reveal underlying connections, trends, and anomalies. Community detection is the task of discovering dense groups of vertices in a graph. Its one specific form is seed set expansion, which finds the best local community for a given set of seed vertices. Greedy, agglomerative algorithms, which are commonly used in seed set expansion, have been previously designed only for a static, unchanging graph. However, in many applications, new data is constantly produced, and vertices and edges are inserted and removed from a graph. We present an algorithm for dynamic seed set expansion, which incrementally updates the community as the underlying graph changes. We show that our dynamic algorithm outputs high quality communities that are similar to those found when using a standard static algorithm. The dynamic approach also improves performance compared to recomputation, achieving speedups of up to 600x.},
 address = {New York},
 author = {Anita Zakrzewska and David A. Bader},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/bib/conf/asunam/ZakrzewskaB15},
 booktitle = {Proceedings of the 2015 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2015, Paris, France, August 25 - 28, 2015},
 doi = {10.1145/2808797.2809375},
 editor = {Jian Pei and Fabrizio Silvestri and Jie Tang},
 groups = {Edited},
 pages = {559--564},
 publisher = {ACM},
 timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
 title = {A Dynamic Algorithm for Local Community Detection in Graphs},
 url = {https://doi.org/10.1145/2808797.2809375},
 year = {2015}
}

gha_language: Shell


text:
module.exports = function(grunt) {

  grunt.initConfig({
    cssmin:{
      "stylesheets/application.min.css":
      [
        "stylesheets/bootstrap.min.css",
        "stylesheets/bootstrap-responsive.min.css",
        "stylesheets/application.css"
      ]
    },
    shell: {
      delFile:{
        command: "rm -rf stylesheets/application.min.css"
      }
    }
  });

  grunt.loadNpmTasks("grunt-contrib-cssmin");
  grunt.loadNpmTasks("grunt-shell");

  grunt.registerTask("default", ["shell:delFile", "cssmin"]);
};


text:
require ${PN}.inc

PR = "r1"

SRC_URI = "http://sources.openembedded.org/opie-1.2.4-split_noncore_styles_flat.tar.bz2;name=split_noncore_styles_flat"
SRC_URI[split_noncore_styles_flat.md5sum] = "f85a5a4e4be7ade9f1eb306484ae2cf1"
SRC_URI[split_noncore_styles_flat.sha256sum] = "84e6194fafaa543f67b81b583c966cd2922888efe1bb147422fd056b72669575"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD


text:
@article{efron1979,
  title={Bootstrap methods: another look at the jackknife},
  author={Efron, B},
  journal={Ann. Stat.},
  volume={7},
  number={1},
  pages={1--26},
  year={1979}
}

@article{macdonald2007joint,
  title={Joint estimates of {QTL} effect and frequency using synthetic recombinant populations of \emph{{D}rosophila melanogaster}},
  author={Macdonald, Stuart J and Long, Anthony D},
  journal={Genetics},
  year={2007},
  volume = {176},
  pages = {1261--1281},
  publisher={Genetics Soc America}
}

@article{king2012genetic,
  title={Genetic dissection of a model complex trait using the {D}rosophila {S}ynthetic {P}opulation {R}esource},
  author={King, Elizabeth G and Merkes, Chris M and McNeil, Casey L and Hoofer, Steven R and Sen, Saunak and Broman, Karl W and Long, Anthony D and Macdonald, Stuart J},
  journal={Genome Res.},
  volume={22},
  pages={1558--1566},
  year={2012},
  publisher={Cold Spring Harbor Lab}
}

@article{broman2019rqtl2,
  author = {K. W. Broman and D. M. Gatti and P. Simecek and N. A. Furlotte and P. Prins and \'S. Sen and B. S. Yandell and G. A. Churchill},
  title = {R/qtl2: Software for mapping quantitative trait loci with high-dimensional data and multi-parent populations},
  year = {2019},
  journal={Genetics},
  volume = {211},
  pages = {495--502}
}

@article{keller2018,
  title={Genetic drivers of pancreatic islet function},
  author={Keller, Mark P and Gatti, Daniel M and Schueler, Kathryn L and Rabaglia, Mary E and Stapleton, Donnie S and Simecek, Petr and Vincent, Matthew and Allen, Sadie and Broman, Aimee Teo and Bacher, Rhonda and others},
  journal={Genetics},
  volume={209},
  pages={335--356},
  year={2018}
}

@article{schaid2016,
title = {Statistical methods for testing genetic pleiotropy},
author={D. J. Schaid and X. Tong and B. Larrabee and R. B. Kennedy and G. A. Poland and J. P. Sinnwell},
journal = {Genetics},
year = {2016},
volume = {204},
pages = {483--497} }

gha_language: PostScript


text:
inherit pypi setuptools3
require python-azure-storage-blob.inc

RDEPENDS_${PN} += "\
    ${PYTHON_PN}-asyncio \
"

repository: derekstraka/meta-iot-cloud

repo_name: derekstraka/meta-iot-cloud


text:
package command

import (
	"fmt"

	"github.com/runatlantis/atlantis/server/config/valid"
	"github.com/runatlantis/atlantis/server/legacy/events"
	"github.com/runatlantis/atlantis/server/legacy/events/command"
	"github.com/runatlantis/atlantis/server/logging"
	"github.com/runatlantis/atlantis/server/models"
	"github.com/runatlantis/atlantis/server/neptune/lyft/feature"
	"github.com/runatlantis/atlantis/server/neptune/template"
)

type Commenter interface {
	CreateComment(repo models.Repo, pullNum int, comment string, command string) error
}

type LegacyApplyCommentInput struct{}

type PlatformModeRunner struct {
	command.Runner
	Allocator      feature.Allocator
	Logger         logging.Logger
	Builder        events.ProjectApplyCommandBuilder
	TemplateLoader template.Loader[LegacyApplyCommentInput]
	VCSClient      Commenter
}

func (a *PlatformModeRunner) Run(ctx *command.Context, cmd *command.Comment) {
	if cmd.Name != command.Apply {
		a.Runner.Run(ctx, cmd)
		return
	}

	shouldAllocate, err := a.Allocator.ShouldAllocate(feature.PlatformMode, feature.FeatureContext{RepoName: ctx.HeadRepo.FullName})
	if err != nil {
		a.Logger.ErrorContext(ctx.RequestCtx, fmt.Sprintf("unable to allocate for feature: %s, error: %s", feature.PlatformMode, err))
	}

	// if this isn't allocated don't worry about the rest
	if !shouldAllocate {
		a.Runner.Run(ctx, cmd)
		return
	}

	// now let's determine whether the repo is configured for platform mode by building commands
	var projectCmds []command.ProjectContext
	projectCmds, err = a.Builder.BuildApplyCommands(ctx, cmd)
	if err != nil {
		a.Logger.ErrorContext(ctx.RequestCtx, err.Error())
		return
	}

	// is this possible? Not sure, let's be safe tho and just bail into the delegate
	if len(projectCmds) == 0 {
		a.Logger.WarnContext(ctx.RequestCtx, "no project commands. unable to determine workflow mode type")
		a.Runner.Run(ctx, cmd)
		return
	}

	// at this point we've either commented about this being a legacy apply or not, so let's just proceed with
	// the run now.
	a.Runner.Run(ctx, cmd)
}

// DefaultProjectCommandRunner implements ProjectCommandRunner.
type PlatformModeProjectRunner struct { //create object and test
	PlatformModeRunner events.ProjectCommandRunner
	PrModeRunner       events.ProjectCommandRunner
	Allocator          feature.Allocator
	Logger             logging.Logger
}

// Plan runs terraform plan for the project described by ctx.
func (p *PlatformModeProjectRunner) Plan(ctx command.ProjectContext) command.ProjectResult {
	shouldAllocate, err := p.Allocator.ShouldAllocate(feature.PlatformMode, feature.FeatureContext{RepoName: ctx.HeadRepo.FullName})
	if err != nil {
		p.Logger.ErrorContext(ctx.RequestCtx, fmt.Sprintf("unable to allocate for feature: %s, error: %s", feature.PlatformMode, err))
	}

	if shouldAllocate && (ctx.WorkflowModeType == valid.PlatformWorkflowMode) {
		return p.PlatformModeRunner.Plan(ctx)
	}

	return p.PrModeRunner.Plan(ctx)
}

// PolicyCheck evaluates policies defined with Rego for the project described by ctx.
func (p *PlatformModeProjectRunner) PolicyCheck(ctx command.ProjectContext) command.ProjectResult {
	shouldAllocate, err := p.Allocator.ShouldAllocate(feature.PlatformMode, feature.FeatureContext{RepoName: ctx.HeadRepo.FullName})
	if err != nil {
		p.Logger.ErrorContext(ctx.RequestCtx, fmt.Sprintf("unable to allocate for feature: %s, error: %s", feature.PlatformMode, err))
	}

	if shouldAllocate && (ctx.WorkflowModeType == valid.PlatformWorkflowMode) {
		return p.PlatformModeRunner.PolicyCheck(ctx)
	}

	return p.PrModeRunner.PolicyCheck(ctx)
}

// Apply runs terraform apply for the project described by ctx.
func (p *PlatformModeProjectRunner) Apply(ctx command.ProjectContext) command.ProjectResult {
	shouldAllocate, err := p.Allocator.ShouldAllocate(feature.PlatformMode, feature.FeatureContext{RepoName: ctx.HeadRepo.FullName})
	if err != nil {
		p.Logger.ErrorContext(ctx.RequestCtx, fmt.Sprintf("unable to allocate for feature: %s, error: %s", feature.PlatformMode, err))
	}

	if shouldAllocate && (ctx.WorkflowModeType == valid.PlatformWorkflowMode) {
		return command.ProjectResult{
			Command:      command.Apply,
			RepoRelDir:   ctx.RepoRelDir,
			Workspace:    ctx.Workspace,
			ProjectName:  ctx.ProjectName,
			StatusID:     ctx.StatusID,
			ApplySuccess: "atlantis apply is disabled for this project. Please track the deployment when the PR is merged. ",
		}
	}

	return p.PrModeRunner.Apply(ctx)
}

func (p *PlatformModeProjectRunner) Version(ctx command.ProjectContext) command.ProjectResult {
	shouldAllocate, err := p.Allocator.ShouldAllocate(feature.PlatformMode, feature.FeatureContext{RepoName: ctx.HeadRepo.FullName})
	if err != nil {
		p.Logger.ErrorContext(ctx.RequestCtx, fmt.Sprintf("unable to allocate for feature: %s, error: %s", feature.PlatformMode, err))
	}

	if shouldAllocate && (ctx.WorkflowModeType == valid.PlatformWorkflowMode) {
		return p.PlatformModeRunner.Version(ctx)
	}

	return p.PrModeRunner.Version(ctx)
}

repository: lyft/atlantis

repo_name: lyft/atlantis

branch_name: refs/heads/main

gha_license_id: NOASSERTION


text:
// Package coap provides a CoAP client and server.
package coap

import (
	"context"
	"golang.org/x/sys/unix"
	"log"
	"net"
	"runtime"
	"sync"
	"syscall"
	"time"
)

const maxPktLen = 1500

// Handler is a type that handles CoAP messages.
type Handler interface {
	ServeCOAP(l *net.UDPConn, a *net.UDPAddr, m *Message) *Message
}

var pool = &sync.Pool{
	New: func() interface{} {
		obj := make([]byte, maxPktLen)
		return obj
	},
}

type funcHandler func(l *net.UDPConn, a *net.UDPAddr, m *Message) *Message

func (f funcHandler) ServeCOAP(l *net.UDPConn, a *net.UDPAddr, m *Message) *Message {
	return f(l, a, m)
}

// FuncHandler builds a handler from a function.
func FuncHandler(f func(l *net.UDPConn, a *net.UDPAddr, m *Message) *Message) Handler {
	return funcHandler(f)
}

func handlePacket(l *net.UDPConn, dataLen int, data []byte, u *net.UDPAddr, rh Handler) {
	defer pool.Put(data)
	msg, err := ParseMessage(data[:dataLen])
	if err != nil {
		log.Printf("Error parsing %v", err)
		return
	}

	rv := rh.ServeCOAP(l, u, &msg)
	if rv != nil {
		_ = Transmit(l, u, *rv)
	}
}

// Transmit a message.
func Transmit(l *net.UDPConn, a *net.UDPAddr, m Message) error {
	d, err := m.MarshalBinary()
	if err != nil {
		return err
	}

	if a == nil {
		_, err = l.Write(d)
	} else {
		_, err = l.WriteTo(d, a)
	}

	return err
}

// Receive a message.
func Receive(l *net.UDPConn, buf []byte) (Message, error) {
	l.SetReadDeadline(time.Now().Add(ResponseTimeout))

	nr, _, err := l.ReadFromUDP(buf)
	if err != nil {
		return Message{}, err
	}
	return ParseMessage(buf[:nr])
}

// ListenAndServe binds to the given address and serve requests forever.
func ListenAndServe(n, addr string, rh Handler) error {
	_, err := net.ResolveUDPAddr(n, addr)
	if err != nil {
		return err
	}

	for i := 0; i < runtime.NumCPU()*2; i++ {
		l, err := newUDPListener(addr)
		if err != nil {
			return err
		}
		err = Serve(l, rh)
		if err != nil {
			return err
		}
	}

	return nil
}

func newUDPListener(address string) (conn *net.UDPConn, err error) {
	cfgFn := func(network, address string, conn syscall.RawConn) (err error) {
		// 构造fd控制函数
		fn := func(fd uintptr) {
			// 设置REUSEPORT
			err = syscall.SetsockoptInt(int(fd), syscall.SOL_SOCKET, unix.SO_REUSEPORT, 1)
			if err != nil {
				return
			}
		}

		if err = conn.Control(fn); err != nil {
			return
		}
		return
	}

	lc := net.ListenConfig{Control: cfgFn}
	lp, err := lc.ListenPacket(context.Background(), "udp", address)
	if err != nil {
		return
	}
	conn = lp.(*net.UDPConn)
	return
}

// Serve processes incoming UDP packets on the given listener, and processes
// these requests forever (or until the listener is closed).
func Serve(listener *net.UDPConn, rh Handler) error {
	buf := pool.Get().([]byte)
	for {
		nr, addr, err := listener.ReadFromUDP(buf)
		if err != nil {
			if neterr, ok := err.(net.Error); ok && (neterr.Temporary() || neterr.Timeout()) {
				time.Sleep(5 * time.Millisecond)
				continue
			}
			return err
		}
		go handlePacket(listener, nr, buf, addr, rh)
	}
}

repository: jacoblai/go-coap

repo_name: jacoblai/go-coap


text:
require recipes-bsp/u-boot/u-boot.inc

LIC_FILES_CHKSUM = "file://Licenses/README;md5=a2c678cfd4a4d97135585cad908541c6"
DEPENDS += "dtc-native"

SRCREV = "${AUTOREV}"
UBRANCH = "v2016.07-aspeed-openbmc"
SRC_URI = "git:///mswg/git/bmc/u-boot.git;branch=${UBRANCH};protocol=file"

PV = "v2016.07+git${SRCPV}"

repository: mellanoxbmc/openbmc-mlx

repo_name: mellanoxbmc/openbmc-mlx


text:
############################################################
# CMake config for the spatial_dyn library.
#
# Copyright 2018. All Rights Reserved.
#
# Created: September 16, 2018
# Authors: Toki Migimatsu
############################################################

include(CMakeFindDependencyMacro)

set(LIB_NAME @LIB_NAME@)
set(LIB_BINARY_DIR @PROJECT_BINARY_DIR@)

if(NOT TARGET ${LIB_NAME}::${LIB_NAME})
    include("${LIB_BINARY_DIR}/${LIB_NAME}Targets.cmake")
endif()

repository: tmigimatsu/spatial-dyn

repo_name: tmigimatsu/spatial-dyn

extension: in


text:
@article{Higgs:1964pj,
      author         = "Higgs, Peter W.",
      title          = "{Broken Symmetries and the Masses of Gauge Bosons}",
      journal        = "Phys. Rev. Lett.",
      volume         = "13",
      year           = "1964",
      pages          = "508-509",
      doi            = "10.1103/PhysRevLett.13.508",
      note           = "[,160(1964)]",
      SLACcitation   = "%%CITATION = PRLTA,13,508;%%"
}

@article{Aad:2012tfa,
      author         = "Aad, Georges and others",
      title          = "{Observation of a new particle in the search for the
                        Standard Model Higgs boson with the ATLAS detector at the
                        LHC}",
      collaboration  = "ATLAS",
      journal        = "Phys. Lett.",
      volume         = "B716",
      year           = "2012",
      pages          = "1-29",
      doi            = "10.1016/j.physletb.2012.08.020",
      eprint         = "1207.7214",
      archivePrefix  = "arXiv",
      primaryClass   = "hep-ex",
      reportNumber   = "CERN-PH-EP-2012-218",
      SLACcitation   = "%%CITATION = ARXIV:1207.7214;%%"
}
@article{Chatrchyan:2012xdj,
      author         = "Chatrchyan, Serguei and others",
      title          = "{Observation of a new boson at a mass of 125 GeV with the
                        CMS experiment at the LHC}",
      collaboration  = "CMS",
      journal        = "Phys. Lett.",
      volume         = "B716",
      year           = "2012",
      pages          = "30-61",
      doi            = "10.1016/j.physletb.2012.08.021",
      eprint         = "1207.7235",
      archivePrefix  = "arXiv",
      primaryClass   = "hep-ex",
      reportNumber   = "CMS-HIG-12-028, CERN-PH-EP-2012-220",
      SLACcitation   = "%%CITATION = ARXIV:1207.7235;%%"
}

@Collapse{HiggsDiscovery,
  Targets = {Aad:2012tfa, Chatrchyan:2012xdj}
}

@article{Englert:1964et,
      author         = "Englert, F. and Brout, R.",
      title          = "{Broken Symmetry and the Mass of Gauge Vector Mesons}",
      journal        = "Phys. Rev. Lett.",
      volume         = "13",
      year           = "1964",
      pages          = "321-323",
      doi            = "10.1103/PhysRevLett.13.321",
      note           = "[,157(1964)]",
      SLACcitation   = "%%CITATION = PRLTA,13,321;%%"
}


text:
@InProceedings{settles11a,
  section = {tutorial},
  title = {From Theories to Queries: Active Learning in Practice},
  author = {B. Settles},
  pages = {1--18},
  abstract = {This article surveys recent work in active learning aimed at making it more practical for real-world use. In general, active learning systems aim to make machine learning more economical, since they can participate in the acquisition of their own training data. An active learner might iteratively select informative query instances to be labeled by an oracle, for example. Work over the last two decades has shown that such approaches are effective at maintaining accuracy while reducing training set size in many machine learning applications. However, as we begin to deploy active learning in real ongoing learning systems and data annotation projects, we are encountering unexpected problems--due in part to practical realities that violate the basic assumptions of earlier foundational work. I review some of these issues, and discuss recent work being done to address the challenges.},
  pdf = {http://jmlr.org/proceedings/papers/v16/settles11a/settles11a.pdf},
}

repository: mreid/papersite

repo_name: mreid/papersite

gha_language: TeX


text:
package iostream

import (
	"io"

	context "golang.org/x/net/context"
	"google.golang.org/grpc/codes"
	"google.golang.org/grpc/status"
)

// Service provides the gRPC service iostream.IOStream
type Service struct {
	// AcceptTransport is the transport stream accept callback.
	//
	// This function is called by IOStream service at the beginning of
	// calls to the TransportStream RPC with the gRPC stream context
	// and the transport stream object. When the function returns, the
	// service will read from the stream and make this data available
	// to the transport stream's io.Reader.
	//
	// If shutdown is non-nil, it is called when the server stream
	// handler finishes. This function should be used to close and
	// release all resources held by the acceptor, such as IO handles
	// and goroutines.
	//
	// In addition, the context can be monitored for completion, which
	// indicates gRPC has closed the server stream.
	AcceptTransport func(context.Context, TransportStream) (shutdown context.CancelFunc, err error)
}

// TransportStream is the transport stream type offered by the Service
// to the AcceptTransport function.
//
// TransportStream typically have their io.Reader attached to data
// from the gRPC TransportStream stream and an io.Writer which sends
// data to the stream.  Calling Close will shut down the send and
// receive sides of the transport, while calling CloseSend closes just
// the write half, signaling EOF to the peer.
type TransportStream interface {
	io.ReadWriteCloser
	CloseSend() error
}

// TransportStream is the RPC method to create a bi-directional, multi-channel data stream.
func (svc *Service) TransportStream(stream IOStream_TransportStreamServer) (err error) {
	transport := newIOStreamTransport(1, stream)
	defer transport.Close()
	cancel, err := svc.AcceptTransport(stream.Context(), transport)
	if err != nil {
		err = status.Errorf(codes.PermissionDenied, "%s", err)
	}
	if cancel != nil {
		defer func() {
			cancel()
		}()
	}

	// send input from the stream to the transport
	ch := make(chan error, 1)
	var tpdu *TransportPDU
	go func() {
		defer close(ch)
		for {
			tpdu, err = stream.Recv()
			if err != nil {
				ch <- err
				return
			}
			if tpdu.GetChannelID() != ioChannel {
				continue
			}
			switch tpdu.GetDataType() {
			case TransportPDU_DATA_TX:
				if data := tpdu.GetData(); len(data) > 0 {
					_, err = transport.Write(data)
				}
			case TransportPDU_DATA_TX_CLOSE:
				if data := tpdu.GetData(); len(data) > 0 {
					_, err = transport.Write(data)
				}
				transport.pw.Close()
			}

			if err != nil {
				ch <- err
				return
			}
		}
	}()

	if err = <-ch; err == io.EOF {
		err = nil
	}

	if err != nil {
		if _, ok := status.FromError(err); !ok {
			err = status.Errorf(codes.Internal, "%s", err)
		}
	}
	return
}

repository: damianoneill/netconf

repo_name: damianoneill/netconf


text:
# GLSDK console image
# gives you an image with basic media libraries

require arago-image.inc

COMPATIBLE_MACHINE = "(?!omap-a15)"

# The size of the uncompressed ramdisk is 32MB
ROOTFS_SIZE = "32768"

IMAGE_INSTALL += "\
    packagegroup-arago-base \
    packagegroup-arago-console \
    packagegroup-arago-glsdk-console \
    "
export IMAGE_BASENAME = "arago-glsdk-console-image"

repository: ukirst/meta-glsdk

repo_name: ukirst/meta-glsdk


text:
package localsession

import (
	"context"

	"github.com/jmalloc/twelf/src/twelf"
	"github.com/rinq/rinq-go/src/internal/attributes"
	"github.com/rinq/rinq-go/src/internal/namespaces"
	"github.com/rinq/rinq-go/src/rinq"
	"github.com/rinq/rinq-go/src/rinq/ident"
	"github.com/rinq/rinq-go/src/rinq/trace"
)

type revision struct {
	ref     ident.Ref
	session *Session
	attrs   attributes.Catalog
	logger  twelf.Logger
}

func (r *revision) SessionID() ident.SessionID {
	return r.ref.ID
}

func (r *revision) Refresh(ctx context.Context) (rinq.Revision, error) {
	return r.session.CurrentRevision(), nil
}

func (r *revision) Get(ctx context.Context, ns, key string) (rinq.Attr, error) {
	namespaces.MustValidate(ns)

	if r.ref.Rev == 0 {
		return rinq.Attr{Key: key}, nil
	}

	attr, ok := r.attrs[ns][key]

	// The attribute hadn't yet been created at this revision.
	if !ok || attr.CreatedAt > r.ref.Rev {
		return rinq.Attr{Key: key}, nil
	}

	// The attribute exists, but has been updated since this revision.
	// The value at this revision is no longer known.
	if attr.UpdatedAt > r.ref.Rev {
		return rinq.Attr{}, rinq.StaleFetchError{Ref: r.ref}
	}

	return attr.Attr, nil
}

func (r *revision) GetMany(ctx context.Context, ns string, keys ...string) (rinq.AttrTable, error) {
	namespaces.MustValidate(ns)

	attrs := r.attrs[ns]
	table := attributes.Table{}

	for _, key := range keys {
		attr, ok := attrs[key]

		if !ok || attr.CreatedAt > r.ref.Rev {
			// The attribute hadn't yet been created at this revision.
			table[key] = rinq.Attr{Key: key}
		} else if attr.UpdatedAt <= r.ref.Rev {
			// The attribute was updated before this revision, it's still valid.
			table[key] = attr.Attr
		} else {
			return nil, rinq.StaleFetchError{Ref: r.ref}
		}
	}

	return table, nil
}

func (r *revision) Update(ctx context.Context, ns string, attrs ...rinq.Attr) (rinq.Revision, error) {
	namespaces.MustValidate(ns)

	if len(attrs) == 0 {
		return r, nil
	}

	rev, diff, err := r.session.TryUpdate(r.ref.Rev, ns, attrs)
	if err != nil {
		return r, err
	}

	logUpdate(ctx, r.logger, r.ref.ID.At(diff.Revision), diff)

	return rev, nil
}

func (r *revision) Clear(ctx context.Context, ns string) (rinq.Revision, error) {
	namespaces.MustValidate(ns)

	rev, diff, err := r.session.TryClear(r.ref.Rev, ns)
	if err != nil {
		return r, err
	}

	logClear(ctx, r.logger, r.ref.ID.At(diff.Revision), diff)

	return rev, nil
}

func (r *revision) Destroy(ctx context.Context) error {
	first, err := r.session.TryDestroy(r.ref.Rev)
	if err != nil {
		return err
	}

	if first {
		logSessionDestroy(r.logger, r.ref, r.attrs, trace.Get(ctx))
	}

	return nil
}

repository: rinq/rinq-go

repo_name: rinq/rinq-go


text:
DESCRIPTION = "nl80211 based CLI configuration utility for wireless devices"
HOMEPAGE = "http://linuxwireless.org/en/users/Documentation/iw"
SECTION = "base"
PRIORITY = "optional"
LICENSE = "BSD"
PR = "r2"

DEPENDS = "libnl2 pkgconfig"

SRC_URI = " \
	http://wireless.kernel.org/download/iw/${P}.tar.bz2 \
	file://kill-git-version-check.patch \
	"
# We stage libnl2 header files not directly as they clash with libnl files. Once
# we only use libnl2 and stage the headers at the normal place we can remove
# this.
CFLAGS += "-I${STAGING_INCDIR}/libnl2/ -DCONFIG_LIBNL20"

do_compile() {
	oe_runmake
}

do_install() {
	oe_runmake DESTDIR=${D} install
}

SRC_URI[md5sum] = "1055799b544b3e08169d155bb6c21bb0"
SRC_URI[sha256sum] = "2d665fbfbe4fd6a40159fb821518fc5337da37448416405b936a393a14cbc7d3"


text:
package gorge

import (
	"io"
	"io/ioutil"
	"net/http"
	"fmt"
	"log"
	"strings"

)

func post(url string, contentType string, body io.Reader) {

    resp, err := http.Post(url, contentType, body)
    if err != nil {
        panic(err)
	}

	defer resp.Body.Close()
}

func put(method string, value string, body io.Reader) {
	resp, err := http.NewRequest("PUT", value, body)
    if err != nil {
        panic(err)
	}

	defer resp.Body.Close()

}

func get(url string) {
	resp, err := http.Get(url)
		if err != nil {
			panic(err)
		}
	defer resp.Body.Close()

	body, err := ioutil.ReadAll(resp.Body)

	g := func(w http.ResponseWriter, _ *http.Request) {
        fmt.Fprintf(w, string(body))
	}

	http.HandleFunc("/get", g)
}

func end() {
	log.Fatal(http.ListenAndServe(":6789", nil))
}

func say(value string) {

	t := func(w http.ResponseWriter, _ *http.Request) {
        fmt.Fprintf(w, value)
	}

	http.HandleFunc("/", t)
}

func do(value string) {

	r := strings.NewReader(value)

	b, err := ioutil.ReadAll(r)
	if err != nil {
		log.Fatal(err)
	}

	fmt.Printf("%s", b)

}

const (
    MethodGet     = "GET"
    MethodHead    = "HEAD"
    MethodPost    = "POST"
    MethodPut     = "PUT"
    MethodPatch   = "PATCH" // RFC 5789
    MethodDelete  = "DELETE"
    MethodConnect = "CONNECT"
    MethodOptions = "OPTIONS"
    MethodTrace   = "TRACE"
)

func method(method string, value, val string) {
	http.NewRequest(method, value, nil)
}

repository: cococats/gorge

repo_name: cococats/gorge


text:
@MISC{jacobi,
    author = {Cook, John D.},
    title = {Computing Legendre and Jacobi symbols [online]},
    url = {
        https://www.johndcook.com/blog/2019/02/12/computing-jacobi-symbols
    },
    note = {Feb 2019 [cit. 2020-05-03]}
}

@MISC{solovay,
    author = {Wikipedia},
    title = {Solovay–Strassen primality test [online]},
    url = {
        https://en.wikipedia.org/wiki/Solovay-Strassen_primality_test
    },
    note = {Dec 2019 [cit. 2020-05-03]}
}

@MISC{brentOnline,
    author = {fR0DDY},
    title = {Pollard Rho Brent Integer Factorization [online]},
    url = {
        https://comeoncodeon.wordpress.com/2010/09/18/pollard-rho-brent-integer-factorization
    },
    note = {Sep 2010 [cit. 2020-05-03]}
}

@ARTICLE{brent,
    issn = {0006-3835},
    journal = {BIT Numerical Mathematics},
    pages = {176\,--\,184},
    volume = {20},
    publisher = {Kluwer Academic Publishers},
    number = {2},
    year = {1980},
    title = {An improved Monte Carlo factorization algorithm},
    address = {Dordrecht},
    author = {Brent, Richard}
}

@TECHREPORT{pkcrypt,
    year = {1991},
    title = {Public-Key Cryptography},
    month = {Apr},
    author = {Nechvatal, James},
    institution = {National Institute of Standards and Technology},
    note = {Special publication}
}


text:
// Copyright 2021 The LevelDB-Go and Pebble Authors. All rights reserved. Use
// of this source code is governed by a BSD-style license that can be found in
// the LICENSE file.

package rangekey

import (
	"bytes"
	"sort"

	"github.com/cockroachdb/pebble/internal/base"
	"github.com/cockroachdb/pebble/internal/invariants"
	"github.com/cockroachdb/pebble/internal/keyspan"
	"github.com/cockroachdb/pebble/internal/manifest"
)

// UserIteratorConfig holds state for constructing the range key iterator stack
// for user iteration.
type UserIteratorConfig struct {
	snapshot   uint64
	comparer   *base.Comparer
	miter      keyspan.MergingIter
	biter      keyspan.BoundedIter
	diter      keyspan.DefragmentingIter
	liters     [manifest.NumLevels]keyspan.LevelIter
	litersUsed int
	sortBuf    keysBySuffix
}

// Init initializes the range key iterator stack for user iteration. The
// resulting fragment iterator applies range key semantics, defragments spans
// according to their user-observable state and removes all Keys other than
// RangeKeySets describing the current state of range keys. The resulting spans
// contain Keys sorted by Suffix.
//
// The snapshot sequence number parameter determines which keys are visible. Any
// keys not visible at the provided snapshot are ignored.
func (ui *UserIteratorConfig) Init(
	comparer *base.Comparer,
	snapshot uint64,
	lower, upper []byte,
	hasPrefix *bool,
	prefix *[]byte,
	iters ...keyspan.FragmentIterator,
) keyspan.FragmentIterator {
	ui.snapshot = snapshot
	ui.comparer = comparer
	ui.miter.Init(comparer.Compare, ui, iters...)
	ui.biter.Init(comparer.Compare, comparer.Split, &ui.miter, lower, upper, hasPrefix, prefix)
	ui.diter.Init(comparer, &ui.biter, ui, keyspan.StaticDefragmentReducer)
	ui.litersUsed = 0
	return &ui.diter
}

// AddLevel adds a new level to the bottom of the iterator stack. AddLevel
// must be called after Init and before any other method on the iterator.
func (ui *UserIteratorConfig) AddLevel(iter keyspan.FragmentIterator) {
	ui.miter.AddLevel(iter)
}

// NewLevelIter returns a pointer to a newly allocated or reused
// keyspan.LevelIter. The caller is responsible for calling Init() on this
// instance.
func (ui *UserIteratorConfig) NewLevelIter() *keyspan.LevelIter {
	if ui.litersUsed >= len(ui.liters) {
		return &keyspan.LevelIter{}
	}
	ui.litersUsed++
	return &ui.liters[ui.litersUsed-1]
}

// SetBounds propagates bounds to the iterator stack. The fragment iterator
// interface ordinarily doesn't enforce bounds, so this is exposed as an
// explicit method on the user iterator config.
func (ui *UserIteratorConfig) SetBounds(lower, upper []byte) {
	ui.biter.SetBounds(lower, upper)
}

// Transform implements the keyspan.Transformer interface for use with a
// keyspan.MergingIter. It transforms spans by resolving range keys at the
// provided snapshot sequence number. Shadowing of keys is resolved (eg, removal
// of unset keys, removal of keys overwritten by a set at the same suffix, etc)
// and then non-RangeKeySet keys are removed. The resulting transformed spans
// only contain RangeKeySets describing the state visible at the provided
// sequence number, and hold their Keys sorted by Suffix.
func (ui *UserIteratorConfig) Transform(cmp base.Compare, s keyspan.Span, dst *keyspan.Span) error {
	// Apply shadowing of keys.
	dst.Start = s.Start
	dst.End = s.End
	ui.sortBuf = keysBySuffix{
		cmp:  cmp,
		keys: dst.Keys[:0],
	}
	if err := coalesce(&ui.sortBuf, s.Visible(ui.snapshot).Keys, &dst.Keys); err != nil {
		return err
	}
	// During user iteration over range keys, unsets and deletes don't
	// matter. Remove them. This step helps logical defragmentation during
	// iteration.
	keys := dst.Keys
	dst.Keys = dst.Keys[:0]
	for i := range keys {
		switch keys[i].Kind() {
		case base.InternalKeyKindRangeKeySet:
			if invariants.Enabled && len(dst.Keys) > 0 && cmp(dst.Keys[len(dst.Keys)-1].Suffix, keys[i].Suffix) > 0 {
				panic("pebble: keys unexpectedly not in ascending suffix order")
			}
			dst.Keys = append(dst.Keys, keys[i])
		case base.InternalKeyKindRangeKeyUnset:
			if invariants.Enabled && len(dst.Keys) > 0 && cmp(dst.Keys[len(dst.Keys)-1].Suffix, keys[i].Suffix) > 0 {
				panic("pebble: keys unexpectedly not in ascending suffix order")
			}
			// Skip.
			continue
		case base.InternalKeyKindRangeKeyDelete:
			// Skip.
			continue
		default:
			return base.CorruptionErrorf("pebble: unrecognized range key kind %s", keys[i].Kind())
		}
	}
	// coalesce results in dst.Keys being sorted by Suffix.
	dst.KeysOrder = keyspan.BySuffixAsc
	return nil
}

// ShouldDefragment implements the DefragmentMethod interface and configures a
// DefragmentingIter to defragment spans of range keys if their user-visible
// state is identical. This defragmenting method assumes the provided spans have
// already been transformed through (UserIterationConfig).Transform, so all
// RangeKeySets are user-visible sets and are already in Suffix order. This
// defragmenter checks for equality between set suffixes and values (ignoring
// sequence numbers). It's intended for use during user iteration, when the
// wrapped keyspan iterator is merging spans across all levels of the LSM.
func (ui *UserIteratorConfig) ShouldDefragment(equal base.Equal, a, b *keyspan.Span) bool {
	// This implementation must only be used on spans that have transformed by
	// ui.Transform. The transform applies shadowing, removes all keys besides
	// the resulting Sets and sorts the keys by suffix. Since shadowing has been
	// applied, each Set must set a unique suffix. If the two spans are
	// equivalent, they must have the same number of range key sets.
	if len(a.Keys) != len(b.Keys) || len(a.Keys) == 0 {
		return false
	}
	if a.KeysOrder != keyspan.BySuffixAsc || b.KeysOrder != keyspan.BySuffixAsc {
		panic("pebble: range key span's keys unexpectedly not in ascending suffix order")
	}

	ret := true
	for i := range a.Keys {
		if invariants.Enabled {
			if a.Keys[i].Kind() != base.InternalKeyKindRangeKeySet ||
				b.Keys[i].Kind() != base.InternalKeyKindRangeKeySet {
				panic("pebble: unexpected non-RangeKeySet during defragmentation")
			}
			if i > 0 && (ui.comparer.Compare(a.Keys[i].Suffix, a.Keys[i-1].Suffix) < 0 ||
				ui.comparer.Compare(b.Keys[i].Suffix, b.Keys[i-1].Suffix) < 0) {
				panic("pebble: range keys not ordered by suffix during defragmentation")
			}
		}
		if !equal(a.Keys[i].Suffix, b.Keys[i].Suffix) {
			ret = false
			break
		}
		if !bytes.Equal(a.Keys[i].Value, b.Keys[i].Value) {
			ret = false
			break
		}
	}
	return ret
}

// Coalesce imposes range key semantics and coalesces range keys with the same
// bounds. Coalesce drops any keys shadowed by more recent sets, unsets or
// deletes. Coalesce modifies the provided span's Keys slice, reslicing the
// slice to remove dropped keys.
//
// Coalescence has subtle behavior with respect to sequence numbers. Coalesce
// depends on a keyspan.Span's Keys being sorted in sequence number descending
// order. The first key has the largest sequence number. The returned coalesced
// span includes only the largest sequence number. All other sequence numbers
// are forgotten. When a compaction constructs output range keys from a
// coalesced span, it produces at most one RANGEKEYSET, one RANGEKEYUNSET and
// one RANGEKEYDEL. Each one of these keys adopt the largest sequence number.
//
// This has the potentially surprising effect of 'promoting' a key to a higher
// sequence number. This is okay, because:
//   - There are no other overlapping keys within the coalesced span of
//     sequence numbers (otherwise they would be in the compaction, due to
//     the LSM invariant).
//   - Range key sequence numbers are never compared to point key sequence
//     numbers. Range keys and point keys have parallel existences.
//   - Compactions only coalesce within snapshot stripes.
//
// Additionally, internal range keys at the same sequence number have subtle
// mechanics:
//   * RANGEKEYSETs shadow RANGEKEYUNSETs of the same suffix.
//   * RANGEKEYDELs only apply to keys at lower sequence numbers.
// This is required for ingestion. Ingested sstables are assigned a single
// sequence number for the file, at which all of the file's keys are visible.
// The RANGEKEYSET, RANGEKEYUNSET and RANGEKEYDEL key kinds are ordered such
// that among keys with equal sequence numbers (thus ordered by their kinds) the
// keys do not affect one another. Ingested sstables are expected to be
// consistent with respect to the set/unset suffixes: A given suffix should be
// set or unset but not both.
//
// The resulting dst Keys slice is sorted by Trailer.
func Coalesce(cmp base.Compare, keys []keyspan.Key, dst *[]keyspan.Key) error {
	// TODO(jackson): Currently, Coalesce doesn't actually perform the sequence
	// number promotion described in the comment above.
	keysBySuffix := keysBySuffix{
		cmp:  cmp,
		keys: (*dst)[:0],
	}
	if err := coalesce(&keysBySuffix, keys, dst); err != nil {
		return err
	}
	// coalesce left the keys in *dst sorted by suffix. Re-sort them by trailer.
	keyspan.SortKeysByTrailer(dst)
	return nil
}

func coalesce(keysBySuffix *keysBySuffix, keys []keyspan.Key, dst *[]keyspan.Key) error {
	var deleted bool
	for i := 0; i < len(keys) && !deleted; i++ {
		k := keys[i]
		if invariants.Enabled && i > 0 && k.Trailer > keys[i-1].Trailer {
			panic("pebble: invariant violation: span keys unordered")
		}

		// NB: Within a given sequence number, keys are ordered as:
		//   RangeKeySet > RangeKeyUnset > RangeKeyDelete
		// This is significant, because this ensures that none of the range keys
		// sharing a sequence number shadow each other.
		switch k.Kind() {
		case base.InternalKeyKindRangeKeySet:
			n := len(keysBySuffix.keys)

			if keysBySuffix.get(n, k.Suffix) < n {
				// This suffix is already set or unset at a higher sequence
				// number. Skip.
				continue
			}
			keysBySuffix.keys = append(keysBySuffix.keys, k)
			sort.Sort(keysBySuffix)
		case base.InternalKeyKindRangeKeyUnset:
			n := len(keysBySuffix.keys)

			if keysBySuffix.get(n, k.Suffix) < n {
				// This suffix is already set or unset at a higher sequence
				// number. Skip.
				continue
			}
			keysBySuffix.keys = append(keysBySuffix.keys, k)
			sort.Sort(keysBySuffix)
		case base.InternalKeyKindRangeKeyDelete:
			// All remaining range keys in this span have been deleted by this
			// RangeKeyDelete. There's no need to continue looping, because all
			// the remaining keys are shadowed by this one. The for loop
			// condition will terminate when it sees the last key is a
			// range key deletion.
			keysBySuffix.keys = append(keysBySuffix.keys, k)
			deleted = true
		default:
			return base.CorruptionErrorf("pebble: unexpected range key kind %s", k.Kind())
		}
	}

	// Update the span with the (potentially reduced) keys slice.
	// NB: We don't re-sort by Trailer. The exported Coalesce function however
	// will.
	*dst = keysBySuffix.keys
	return nil
}

type keysBySuffix struct {
	cmp  base.Compare
	keys []keyspan.Key
}

// get searches for suffix among the first n keys in keys. If the suffix is
// found, it returns the index of the item with the suffix. If the suffix is not
// found, it returns n.
func (s *keysBySuffix) get(n int, suffix []byte) (i int) {
	// Binary search for the suffix to see if there's an existing key with the
	// suffix. Only binary search among the first n items. get is called while
	// appending new keys with suffixes that may sort before existing keys.
	// The n parameter indicates what portion of the keys slice is sorted and
	// may contain relevant keys.

	i = sort.Search(n, func(i int) bool {
		return s.cmp(s.keys[i].Suffix, suffix) >= 0
	})
	if i < n && s.cmp(s.keys[i].Suffix, suffix) == 0 {
		return i
	}
	return n
}

func (s *keysBySuffix) Len() int           { return len(s.keys) }
func (s *keysBySuffix) Less(i, j int) bool { return s.cmp(s.keys[i].Suffix, s.keys[j].Suffix) < 0 }
func (s *keysBySuffix) Swap(i, j int)      { s.keys[i], s.keys[j] = s.keys[j], s.keys[i] }

repository: cockroachdb/vendored

repo_name: cockroachdb/vendored


text:
# base recipe: meta/recipes-connectivity/inetutils/inetutils_1.9.4.bb
# base branch: warrior
# base commit: 9eb09f7af38850cd6a3e9a90d4240e4f42c6765a

DESCRIPTION = "The GNU inetutils are a collection of common \
networking utilities and servers including ftp, ftpd, rcp, \
rexec, rlogin, rlogind, rsh, rshd, syslog, syslogd, talk, \
talkd, telnet, telnetd, tftp, tftpd, and uucpd."
HOMEPAGE = "http://www.gnu.org/software/inetutils"
SECTION = "net"
DEPENDS = "ncurses netbase readline virtual/crypt"

LICENSE = "GPLv3"

LIC_FILES_CHKSUM = "file://COPYING;md5=0c7051aef9219dc7237f206c5c4179a7"

inherit debian-package
require recipes-debian/sources/${BPN}.inc

FILESPATH_append = ":${COREBASE}/meta/recipes-connectivity/inetutils/inetutils"
SRC_URI += "file://version.patch \
           file://inetutils-1.8-0001-printf-parse-pull-in-features.h-for-__GLIBC__.patch \
           file://inetutils-1.8-0003-wchar.patch \
           file://rexec.xinetd.inetutils  \
           file://rlogin.xinetd.inetutils \
           file://rsh.xinetd.inetutils \
           file://telnet.xinetd.inetutils \
           file://tftpd.xinetd.inetutils \
           file://inetutils-1.9-PATH_PROCNET_DEV.patch \
           file://inetutils-only-check-pam_appl.h-when-pam-enabled.patch \
           file://0001-rcp-fix-to-work-with-large-files.patch \
"

inherit autotools gettext update-alternatives texinfo

acpaths = "-I ./m4"

SRC_URI += "${@bb.utils.contains('DISTRO_FEATURES', 'ipv6', '', 'file://fix-disable-ipv6.patch', d)}"

PACKAGECONFIG ??= "ftp uucpd \
                   ${@bb.utils.filter('DISTRO_FEATURES', 'pam', d)} \
                   ${@bb.utils.contains('DISTRO_FEATURES', 'ipv6', 'ipv6 ping6', '', d)} \
                  "
PACKAGECONFIG[ftp] = "--enable-ftp,--disable-ftp,readline"
PACKAGECONFIG[uucpd] = "--enable-uucpd,--disable-uucpd,readline"
PACKAGECONFIG[pam] = "--with-pam,--without-pam,libpam"
PACKAGECONFIG[ipv6] = "--enable-ipv6,--disable-ipv6 gl_cv_socket_ipv6=no,"
PACKAGECONFIG[ping6] = "--enable-ping6,--disable-ping6,"

EXTRA_OECONF = "--with-ncurses-include-dir=${STAGING_INCDIR} \
        inetutils_cv_path_login=${base_bindir}/login \
        --with-libreadline-prefix=${STAGING_LIBDIR} \
        --enable-rpath=no \
"

# These are horrible for security, disable them
EXTRA_OECONF_append = " --disable-rsh --disable-rshd --disable-rcp \
        --disable-rlogin --disable-rlogind --disable-rexec --disable-rexecd"

do_configure_prepend () {
    export HELP2MAN='true'
    cp ${STAGING_DATADIR_NATIVE}/gettext/config.rpath ${S}/build-aux/config.rpath
    install -m 0755 ${STAGING_DATADIR_NATIVE}/gnu-config/config.guess ${S}
    install -m 0755 ${STAGING_DATADIR_NATIVE}/gnu-config/config.sub ${S}
    rm -f ${S}/glob/configure*
}

do_install_append () {
    install -m 0755 -d ${D}${base_sbindir}
    install -m 0755 -d ${D}${sbindir}
    install -m 0755 -d ${D}${sysconfdir}/xinetd.d
    if [ "${base_bindir}" != "${bindir}" ] ; then
         install -m 0755 -d ${D}${base_bindir}
         mv ${D}${bindir}/ping* ${D}${base_bindir}/
         mv ${D}${bindir}/hostname ${D}${base_bindir}/
    fi
    mv ${D}${bindir}/ifconfig ${D}${base_sbindir}/
    mv ${D}${libexecdir}/syslogd ${D}${base_sbindir}/
    mv ${D}${libexecdir}/tftpd ${D}${sbindir}/in.tftpd
    mv ${D}${libexecdir}/telnetd ${D}${sbindir}/in.telnetd
    if [ -e ${D}${libexecdir}/rexecd ]; then
        mv ${D}${libexecdir}/rexecd ${D}${sbindir}/in.rexecd
        cp ${WORKDIR}/rexec.xinetd.inetutils ${D}/${sysconfdir}/xinetd.d/rexec
    fi
    if [ -e ${D}${libexecdir}/rlogind ]; then
        mv ${D}${libexecdir}/rlogind ${D}${sbindir}/in.rlogind
        cp ${WORKDIR}/rlogin.xinetd.inetutils ${D}/${sysconfdir}/xinetd.d/rlogin
    fi
    if [ -e ${D}${libexecdir}/rshd ]; then
        mv ${D}${libexecdir}/rshd ${D}${sbindir}/in.rshd
        cp ${WORKDIR}/rsh.xinetd.inetutils ${D}/${sysconfdir}/xinetd.d/rsh
    fi
    if [ -e ${D}${libexecdir}/talkd ]; then
        mv ${D}${libexecdir}/talkd ${D}${sbindir}/in.talkd
    fi
    mv ${D}${libexecdir}/uucpd ${D}${sbindir}/in.uucpd
    mv ${D}${libexecdir}/* ${D}${bindir}/
    cp ${WORKDIR}/telnet.xinetd.inetutils  ${D}/${sysconfdir}/xinetd.d/telnet
    cp ${WORKDIR}/tftpd.xinetd.inetutils  ${D}/${sysconfdir}/xinetd.d/tftpd

    # copy man pages from debian
    install -dm755 ${D}${mandir}/man1
    install -m644 ${S}/debian/local/man/hostname.1 ${D}${mandir}/man1/hostname.1
    install -m644 ${S}/debian/local/man/logger.1 ${D}${mandir}/man1/logger.1
    install -m644 ${S}/debian/local/man/dnsdomainname.1 ${D}${mandir}/man1/dnsdomainname.1

    install -dm755 ${D}${mandir}/man8
     install -m644 ${S}/debian/local/man/syslogd.8 ${D}${mandir}/man8/syslogd.8

    sed -e 's,@SBINDIR@,${sbindir},g' -i ${D}/${sysconfdir}/xinetd.d/*
    if [ -e ${D}${libdir}/charset.alias ]; then
        rm -rf ${D}${libdir}/charset.alias
    fi
    rm -rf ${D}${libexecdir}/
    # remove usr/lib if empty
    rmdir ${D}${libdir} || true
}

PACKAGES =+ "${PN}-ping ${PN}-ping6 ${PN}-hostname ${PN}-ifconfig \
${PN}-tftp ${PN}-logger ${PN}-traceroute ${PN}-syslogd \
${PN}-ftp ${PN}-ftpd ${PN}-tftpd ${PN}-telnet ${PN}-telnetd ${PN}-inetd \
${PN}-rsh ${PN}-rshd"

# The packages tftpd, telnetd and rshd conflict with the ones
# provided by netkit, so add the corresponding -dbg packages
# for them to avoid the confliction between the dbg package
# of inetutils and netkit.
PACKAGES =+ "${PN}-tftpd-dbg ${PN}-telnetd-dbg ${PN}-rshd-dbg"
NOAUTOPACKAGEDEBUG = "1"

ALTERNATIVE_PRIORITY = "79"
ALTERNATIVE_${PN} = "whois"
ALTERNATIVE_LINK_NAME[uucpd]  = "${sbindir}/in.uucpd"

ALTERNATIVE_PRIORITY_${PN}-logger = "60"
ALTERNATIVE_${PN}-logger = "logger"
ALTERNATIVE_${PN}-syslogd = "syslogd"
ALTERNATIVE_LINK_NAME[syslogd]  = "${base_sbindir}/syslogd"

ALTERNATIVE_${PN}-ftp = "ftp"
ALTERNATIVE_${PN}-ftpd = "ftpd"
ALTERNATIVE_${PN}-tftp = "tftp"
ALTERNATIVE_${PN}-tftpd = "tftpd"
ALTERNATIVE_LINK_NAME[tftpd] = "${sbindir}/tftpd"
ALTERNATIVE_TARGET[tftpd]  = "${sbindir}/in.tftpd"

ALTERNATIVE_${PN}-telnet = "telnet"
ALTERNATIVE_${PN}-telnetd = "telnetd"
ALTERNATIVE_LINK_NAME[telnetd] = "${sbindir}/telnetd"
ALTERNATIVE_TARGET[telnetd] = "${sbindir}/in.telnetd"

ALTERNATIVE_${PN}-inetd= "inetd"
ALTERNATIVE_${PN}-traceroute = "traceroute"

ALTERNATIVE_${PN}-hostname = "hostname"
ALTERNATIVE_LINK_NAME[hostname]  = "${base_bindir}/hostname"

ALTERNATIVE_${PN}-doc = "hostname.1 dnsdomainname.1 logger.1 syslogd.8"
ALTERNATIVE_LINK_NAME[hostname.1] = "${mandir}/man1/hostname.1"
ALTERNATIVE_LINK_NAME[dnsdomainname.1] = "${mandir}/man1/dnsdomainname.1"
ALTERNATIVE_LINK_NAME[logger.1] = "${mandir}/man1/logger.1"
ALTERNATIVE_LINK_NAME[syslogd.8] = "${mandir}/man8/syslogd.8"

ALTERNATIVE_${PN}-ifconfig = "ifconfig"
ALTERNATIVE_LINK_NAME[ifconfig]  = "${base_sbindir}/ifconfig"

ALTERNATIVE_${PN}-ping = "ping"
ALTERNATIVE_LINK_NAME[ping]   = "${base_bindir}/ping"

ALTERNATIVE_${PN}-ping6 = "${@bb.utils.filter('PACKAGECONFIG', 'ping6', d)}"
ALTERNATIVE_LINK_NAME[ping6]  = "${base_bindir}/ping6"

FILES_${PN}-dbg += "${base_bindir}/.debug ${base_sbindir}/.debug ${bindir}/.debug ${sbindir}/.debug"
FILES_${PN}-ping = "${base_bindir}/ping.${BPN}"
FILES_${PN}-ping6 = "${base_bindir}/ping6.${BPN}"
FILES_${PN}-hostname = "${base_bindir}/hostname.${BPN}"
FILES_${PN}-ifconfig = "${base_sbindir}/ifconfig.${BPN}"
FILES_${PN}-traceroute = "${bindir}/traceroute.${BPN}"
FILES_${PN}-logger = "${bindir}/logger.${BPN}"

FILES_${PN}-syslogd = "${base_sbindir}/syslogd.${BPN}"
RCONFLICTS_${PN}-syslogd = "rsyslog busybox-syslog sysklogd syslog-ng"

FILES_${PN}-ftp = "${bindir}/ftp.${BPN}"

FILES_${PN}-tftp = "${bindir}/tftp.${BPN}"
FILES_${PN}-telnet = "${bindir}/telnet.${BPN}"

# We make us of RCONFLICTS / RPROVIDES here rather than using the normal
# alternatives method as this leads to packaging QA issues when using
# musl as that library does not provide what these applications need to
# build.
FILES_${PN}-rsh = "${bindir}/rsh ${bindir}/rlogin ${bindir}/rexec ${bindir}/rcp"
RCONFLICTS_${PN}-rsh += "netkit-rsh-client"
RPROVIDES_${PN}-rsh = "rsh"

FILES_${PN}-rshd = "${sbindir}/in.rshd ${sbindir}/in.rlogind ${sbindir}/in.rexecd \
                    ${sysconfdir}/xinetd.d/rsh ${sysconfdir}/xinetd.d/rlogin ${sysconfdir}/xinetd.d/rexec"
FILES_${PN}-rshd-dbg = "${sbindir}/.debug/in.rshd ${sbindir}/.debug/in.rlogind ${sbindir}/.debug/in.rexecd"
RDEPENDS_${PN}-rshd += "xinetd tcp-wrappers"
RCONFLICTS_${PN}-rshd += "netkit-rshd-server"
RPROVIDES_${PN}-rshd = "rshd"

FILES_${PN}-ftpd = "${bindir}/ftpd.${BPN}"
FILES_${PN}-ftpd-dbg = "${bindir}/.debug/ftpd.${BPN}"
RDEPENDS_${PN}-ftpd += "xinetd"

FILES_${PN}-tftpd = "${sbindir}/in.tftpd ${sysconfdir}/xinetd.d/tftpd"
FILES_${PN}-tftpd-dbg = "${sbindir}/.debug/in.tftpd"
RCONFLICTS_${PN}-tftpd += "netkit-tftpd"
RDEPENDS_${PN}-tftpd += "xinetd"

FILES_${PN}-telnetd = "${sbindir}/in.telnetd ${sysconfdir}/xinetd.d/telnet"
FILES_${PN}-telnetd-dbg = "${sbindir}/.debug/in.telnetd"
RCONFLICTS_${PN}-telnetd += "netkit-telnetd"
RPROVIDES_${PN}-telnetd = "telnetd"
RDEPENDS_${PN}-telnetd += "xinetd"

FILES_${PN}-inetd = "${bindir}/inetd.${BPN}"

RDEPENDS_${PN} = "xinetd"

repository: miraclelinux/meta-debian-extended

repo_name: miraclelinux/meta-debian-extended


text:
require xinput-calibrator.inc

SRC_URI = "git://github.com/tias/xinput_calibrator.git;protocol=git \
           file://0001-calibratorXorgPrint.cpp-fix-miny-and-maxx-printing-o.patch"

SRCREV = "d6e01d780001948f55006698e8e9e48c12894810"
S = "${WORKDIR}/git/"

PR = "${INC_PR}.0"

do_install_append() {
        install -d ${D}${bindir}
        install -m 0755 scripts/xinput_calibrator_pointercal.sh ${D}${bindir}/xinput_calibrator_once.sh
        ln -s ${bindir}/xinput_calibrator_x11 ${D}${bindir}/xinput_calibrator
        install -d ${D}${datadir}/applications/
        install -m 0755 scripts/xinput_calibrator.desktop ${D}${datadir}/applications/xinput-calibrator.desktop
        install -m 0755 scripts/xinput_calibrator_get_hal_calibration.sh ${D}${bindir}/xinput_calibrator_get_hal_calibration.sh
}


text:
@article{He-2021-Soil,
    title = "Soil Moisture Active Passive Improves Global Soil Moisture Simulation in a Land Surface Scheme and Reveals Strong Irrigation Signals Over Farmlands",
    author = "He, Liming  and
      Chen, Jing M.  and
      Mostovoy, Georgy  and
      Gonsamo, Alemu",
    journal = "Geophysical Research Letters, Volume 48, Issue 8",
    volume = "48",
    number = "8",
    year = "2021",
    publisher = "American Geophysical Union (AGU)",
    url = "https://aclanthology.org/G21-41001",
    doi = "10.1029/2021gl092658",
    abstract = "The successful Soil Moisture Active Passive (SMAP) mission provides operational soil moisture products of high quality; yet its impacts on global carbon and water cycle estimation are yet to be further investigated. Here we assimilated the SMAP enhanced Level-2 soil moisture product at 9 km resolution into a land surface scheme in order to study the soil moisture control on the functioning of terrestrial ecosystems. We found that SMAP significantly improves soil moisture simulations, especially in the spring. Extensive wetting signals were revealed over croplands in arid and semi-arid regions and could not be explained using reanalysis meteorological data, indicating an additional water input, for example, irrigation. Stronger impacts on gross primary production and evapotranspiration simulations are found in wetting adjustments than in drying adjustments after data assimilation. This study suggests that the performance of the land surface scheme benefits greatly from assimilating the SMAP soil moisture product.",
}

repository: gwf-uwaterloo/gwf-publications

repo_name: gwf-uwaterloo/gwf-publications

gha_language: Python


text:
@inproceedings{guidotti2018ecmlpkdd,
  author = {Guidotti, Riccardo and Soldani, Jacopo and Neri, Davide and Brogi, Antonio and Pedreschi, Dino},
  editor = {Brefeld, Ulf and Curry, Edward and Daly, Elizabeth and MacNamee, Brian and Marascu, Alice and Pinelli, Fabio and Berlingerio, Michele and Hurley, Neil},
  title = {Helping Your {Docker} Images to Spread Based on Explainable Models},
  booktitle = {Machine Learning and Knowledge Discovery in Databases},
  year = {2019},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {205--221},
  isbn = {978-3-030-10997-4}
}

repository: jsoldani/uni-page

repo_name: jsoldani/uni-page


text:
package wwrerr

// DeadlineExceededErr represents a failure due to an excess of a user-defined
// deadline
type DeadlineExceededErr struct {
	Cause error
}

// Error implements the error interface
func (err DeadlineExceededErr) Error() string {
	return err.Cause.Error()
}

repository: fossabot/webwire-go

repo_name: fossabot/webwire-go


text:
DESCRIPTION = "A Framebuffer VNC Server for PDA"
AUTHOR = "Patrik Gfeller <gfellerpatrik@gmx.net>"
HOMEPAGE = "http://fbvncserver.sourceforge.net/"
SECTION = "console/utils"
PRIORITY = "optional"
LICENSE = "GPLv2"
DEPENDS = "libvncserver jpeg zlib gmp tslib"
RRECOMMENDS_${PN} = "kernel-modules-uinput kernel-module-keybdev"
RCONFLICTS_${PN} = "fbvncserver, fbvncserver-kmodule"
PV = "0.0.0+cvs${SRCDATE}"
PR = "r1"

SRC_URI = "cvs://anonymous@fbvncserver.cvs.sourceforge.net/cvsroot/fbvncserver;method=pserver;module=ipkg"
S = "${WORKDIR}/ipkg/src/"

inherit autotools

EXTRA_OECONF = "--enable-debug"

FILES_${PN} += "${datadir}"