brenoafb
brenoafb
/ Intepreter.hs
Created
October 13, 2020 19:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Interpreter where | |
| import AbsLE | |
| import Prelude | |
| type RContext = [(String,Integer)] | |
| eval :: RContext -> Exp -> Maybe Integer | |
| eval context (ELet [] exp) = eval context exp | |
| eval context (ELet ((Def id expr):ds) exp) = |
brenoafb
/ reana-spl.exp
Created
October 8, 2020 13:07
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Experiment reanaSpl { | |
| description "Reliability Analysis of Software Product Lines" | |
| Research Hypotheses { | |
| RH1 {analysisTime featureFamily = featureProduct description "Analysis time for Feature Family is equal to analysis time for Feature Product"} | |
| } | |
| Experimental Design { | |
| runs 8 | |
| } | |
brenoafb
/ Interpreter.hs
Created
October 7, 2020 02:19
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Interpreter where | |
| import AbsLang | |
| eval :: Exp -> Maybe Integer | |
| eval (EInt x) = Just x | |
| eval (EAdd e1 e2) = case eval e1 of | |
| Nothing -> Nothing |
brenoafb
/ FeatureFamily.hs
Created
September 21, 2020 03:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| type Expr = String | |
| data Model = ModelStub | |
| data FDTMC = FDTMCStub | |
| data RDG a = RDGStub a | |
| data ADD a = ADDStub a | |
| instance Functor RDG where | |
| fmap = undefined |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| public void dumpADD(String functionName, ADD function, String fileName) { | |
| Pointer<?> output = CUtils.fopen(fileName, CUtils.ACCESS_WRITE); | |
| String[] orderedVariableNames = variableStore.getOrderedNames(); | |
| Pointer<DdManager> newDD = dd.as(dddmp.DddmpLibrary.DdManager.class); | |
| Pointer<Byte> ddname = Pointer.pointerToCString("ADD"); | |
| Pointer<dddmp.DddmpLibrary.DdNode> f = function.getUnderlyingNode().as(dddmp.DddmpLibrary.DdNode.class); | |
| Pointer<Pointer<Byte>> varnames = Pointer.pointerToCStrings(orderedVariableNames); |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package jadd; | |
| import java.util.Map; | |
| import org.bridj.IntValuedEnum; | |
| import org.bridj.Pointer; | |
| import bigcudd.BigcuddLibrary; | |
| import bigcudd.BigcuddLibrary.Cudd_ReorderingType; | |
| import bigcudd.DdNode; |
brenoafb
/ arch-linux-install
Last active
May 17, 2020 12:19
— forked from mattiaslundberg/arch-linux-install
Minimal instructions for installing arch linux on an UEFI system with full system encryption using dm-crypt and luks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Install ARCH Linux with encrypted file-system and UEFI | |
| # The official installation guide (https://wiki.archlinux.org/index.php/Installation_Guide) contains a more verbose description. | |
| # Download the archiso image from https://www.archlinux.org/ | |
| # Copy to a usb-drive | |
| dd if=archlinux.img of=/dev/sdX bs=16M && sync # on linux | |
| # Boot from the usb. If the usb fails to boot, make sure that secure boot is disabled in the BIOS configuration. | |
| # Set colemak keymap |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <stdio.h> | |
| #include <stdbool.h> | |
| #include <string.h> | |
| #include <stdlib.h> | |
| #define MAX_PREFS 4 | |
| #define MAX_SLOTS 2 | |
| #define FREE 0 | |
| #define TAKEN 1 | |
| #define MAX_BUF 128 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <msp430.h> | |
| unsigned int overflow_count = 0; | |
| unsigned int flag = 0; | |
| unsigned int start = 0; | |
| unsigned int end = 0; | |
| unsigned int distance = 0; // cm | |
| void port_setup(); |