Skip to content

Instantly share code, notes, and snippets.

View damascenodiego's full-sized avatar
🎯
Focusing

CDN (Diego) Damasceno damascenodiego

🎯
Focusing
23 followers · 24 following
View GitHub Profile
@damascenodiego
damascenodiego / gcd.smt2
Created October 23, 2015 09:48
; This example illustrates basic arithmetic and
; uninterpreted functions
(declare-fun x () Int)
(declare-fun y () Int)
(declare-fun z () Int)
(declare-fun gcd3 (Int Int Int) Int)
(declare-fun gcd2 (Int Int) Int)
(declare-fun result () Int)
@damascenodiego
damascenodiego / gist:e9802fd5b90f632b8a34
Last active February 3, 2016 17:54
multifigure example
\usepackage{subcaption}
%...
\begin{figure}[htb]
\caption{Examples of Figures}
\label{fig:test}
\begin{subfigure}{.5\linewidth}
\centering
@damascenodiego
damascenodiego / Exemplo de maquina de estados em formato kiss
Last active May 16, 2017 00:10
4
1 2 p q 2 2 3
2 2 p r 2 2 4
3 2 q r 1 1
4 1 q 1 4
( AF ( EX ( q ) -> AF ( p ) ) )
@damascenodiego
damascenodiego / README.md
Last active June 2, 2017 20:42
Exemplos usados para testar o trabalho1 sobre CTL

Os 4 exemplos contêm uma mesma maquina de estados e diferentes propriedades.

Os numeros no nome dos arquivos descrevem quais estados não satisfazem a prioridade. Modelo e propriedades validados usando NuSMV

@damascenodiego
damascenodiego / latexdiff_preamble.tex
Last active September 25, 2017 16:24
This is the preamble that should be added to main TeX files to enable latexdiff commands in files included using \input{ }
%DIF PREAMBLE EXTENSION ADDED BY LATEXDIFF
%DIF UNDERLINE PREAMBLE %DIF PREAMBLE
\usepackage[normalem]{ulem}
\RequirePackage{color} \definecolor{RED}{rgb}{1,0,0} \definecolor{BLUE}{rgb}{0,0,1} %DIF PREAMBLE
\DeclareRobustCommand{\hsout}[1]{\texorpdfstring{\sout{#1}}{#1}}
\providecommand{\DIFadd}[1]{{\protect\color{blue}{#1}}} %DIF PREAMBLE
\providecommand{\DIFdel}[1]{{\protect\color{red}\hsout{#1}}} %DIF PREAMBLE
%DIF SAFE PREAMBLE %DIF PREAMBLE
\providecommand{\DIFaddbegin}{} %DIF PREAMBLE
\providecommand{\DIFaddend}{} %DIF PREAMBLE
@damascenodiego
damascenodiego / IrfanExample.java
Last active April 27, 2018 16:54
package br.usp.icmc.labes.mealyInference;
import java.io.File;
import java.util.ArrayList;
import java.util.List;
import java.util.Random;
import br.usp.icmc.labes.mealyInference.utils.IrfanEQOracle;
import br.usp.icmc.labes.mealyInference.utils.Utils;
import de.learnlib.algorithms.lstar.ce.ObservationTableCEXHandler;
@damascenodiego
damascenodiego / print_spectactor_coord.py
Created April 25, 2019 15:55
Code to print the current coordinate of the spectactor @ Carla 0.9.5
#!/usr/bin/env python
# ==============================================================================
# -- find carla module ---------------------------------------------------------
# ==============================================================================
import glob
import os
import sys
@damascenodiego
damascenodiego / test_ff.py
Last active April 16, 2022 03:20
Code to test the force feedback feature in steering wheel controllers (tested wth the Logitech G29)
import evdev
from evdev import ecodes, InputDevice
device = evdev.list_devices()[0]
evtdev = InputDevice(device)
val = 65535 # val \in [0,65535]
evtdev.write(ecodes.EV_FF, ecodes.FF_AUTOCENTER, val)
@damascenodiego
damascenodiego / gist:42c12a2bfe087c87494b7f86f3334396
Created May 3, 2019 13:52
sudo apt install libcanberra-gtk-module libcanberra-gtk3-module
@damascenodiego
damascenodiego / gist:8d1aa93802697831f40a15e537b20f66
Last active May 22, 2019 15:30
How to Record Video in OpenCV & Python
import numpy as np
import os
import cv2
# source
# https://www.codingforentrepreneurs.com/blog/how-to-record-video-in-opencv-python/
filename = 'video.avi'
frames_per_second = 24.0
res = '720p'