refactormyself

#############
Files with "= pcie_capability_read_word"

./drivers/net/wireless/realtek/rtw88/pci.c
./drivers/infiniband/hw/hfi1/pcie.c
./drivers/pci/hotplug/pciehp_hpc.c
./drivers/pci/pcie/bw_notification.c
./drivers/pci/access.c
./drivers/pci/probe.c
./drivers/pci/pci-sysfs.c

refactormyself

# -*- mode: ruby -*-
# vi: set ft=ruby :

# Vagrantfile API/syntax version. Don't touch unless you know what you're doing!
VAGRANTFILE_API_VERSION = "2"

Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|

  config.vm.box = "minimal/xenial64"

refactormyself

dmesg -t > dmesg_current
dmesg -t -k > dmesg_kernel
dmesg -t -l emerg > dmesg_current_emerg
dmesg -t -l alert > dmesg_current_alert
dmesg -t -l crit > dmesg_current_alert
dmesg -t -l err > dmesg_current_err
dmesg -t -l warn > dmesg_current_warn

refactormyself

#!/usr/bin/env bash

wget https://storage.googleapis.com/golang/go1.6.2.linux-amd64.tar.gz
sudo rm -rf /usr/local/go
sudo tar -C /usr/local -xzf go1.6.2.linux-amd64.tar.gz
echo "export GOPATH=~/go" >> ~/.bashrc
source ~/.bashrc

# mkdir -p $GOPATH/src/myapp
# cd $GOPATH/src/myapp

refactormyself

Google Summer of Code 2019 Report

BY BOLARINWA OLAYEMI SAHEED

PROJECT: Integrate more SMT solvers into JavaSMT

ORGANISATION: Software and Computational Systems Lab at LMU Munich

MENTOR: Karlheinz Friedberger

ABSTRACT:

This goal of this project is integrate more SMT Solver into the JavaSMT library. I have chosen to integrate STP and OpenSMT solver libraries. Both are written in C++ and provide a C language interface which what I creating Java bindings to. I will also be written code to glue the integrated solvers to the JavaSMT library.

refactormyself

<plugin>
    <groupId>org.apache.maven.plugins</groupId>
    <artifactId>maven-assembly-plugin</artifactId>
    <executions>
        <execution>
            <phase>package</phase>
            <goals>
                <goal>single</goal>
            </goals>
            <configuration>

refactormyself

History Data Structures

For stateful applications, there are 5 different ways of managing the history of state:

• No History - Living in the moment. - Examples: Any stateful application that doesn't discards all previous states upon mutation.
• Ad Hoc Snapshotting - Allows restoration to manually saved snapshots. - Examples: Memento Pattern.
• Singleton - Only remembers the previous snapshot, where undoing the undo is just another undo. - Examples: Xerox PARC Bravo.
• 1 Stack - Allows linear undo. - Examples: AtariWriter.
• 2 Stack - Allows linear undo and redo. - Examples: Browser History, Microsoft Word, Adobe Photoshop.

refactormyself

#!/usr/bin/env bash

echo Installing Open MPI packages

sudo apt-get install openmpi-common
sudo apt-get install openmpi-bin
sudo apt-get install libopenmpi-dev
sudo apt-get install openmpi-doc

echo Installing C compiler and ssh

refactormyself

#include <stdio.h>

void doSonething1(){
  printf("Pramod's wedding ticket \n");
}

void doSonething2(){
  printf("Send ticket to Saheed \n");
}

refactormyself

<div class="message status">
  Sass 3.3 envoie du poney !
</div>
<div class="message warning">
  Une fois tombé dans Sass,
  il est difficile de revenir en arrière !
</div>
<div class="message error">
  LESS c'est senSass :]
</div>