This file contains 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
{ | |
# $ nix develop | |
# $ nix build [see result/bin when completed] | |
# $ nix develop .#llvm-pretty-bc-parser.llvm_9.default | |
# $ nix develop .#llvm-pretty-bc-parser.llvm_9.ghc882 | |
# $ nix develop .#llvm-pretty-bc-parser.ghc882.llvm_9 | |
description = "The llvm-pretty-bc-parser library and tool"; | |
inputs = { |
This file contains 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
"""Simple TCP sockets. | |
Each Actor has a TCP IPv4 port/socket that will accept incoming | |
connections for messages. Each connection from a remote Actor will | |
accept a single message per connection. The connection is dropped and | |
re-established for multiple messages; this is less efficient but has | |
more fairness. | |
This transport can be used within a process, between processes, and | |
even between processes on separate systems. |
This file contains 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
import logging | |
from thespian.actors import * | |
from thespian.system.utilis import (thesplog, checkActorCapabilities, | |
foldl, join, fmap, AssocList, | |
actualActorClass) | |
from thespian.system.timing import ExpirationTimer, currentTime | |
from thespian.system.logdirector import LogAggregator | |
from thespian.system.admin.globalNames import GlobalNamesAdmin | |
from thespian.system.admin.adminCore import PendingSource | |
from thespian.system.transport import (TransmitIntent, ReceiveEnvelope, |
This file contains 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
############################ Ontology Nodes (64) ############################# | |
ns2:THING.ns2:AGENT.rack:AGENTS#ORGANIZATION :: owl:Class | |
An organization is a social or legal institution such as a company, society, etc. @ en | |
. ns6:definedIn -------------------------------------------------> FILE#FILE | |
. ns2:actedOnBehalfOf ----------------------------------------> PROV-S#AGENT | |
ns2:THING.ns2:AGENT.rack:AGENTS#PERSON :: owl:Class | |
Person agents are people - alias for User@en | |
. rack:AGENTS#emailAddress :: xsd:string |
This file contains 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
[Crux] Using pointer width: 64 for file crux-build/crux~ex3-undef.bc | |
[Crux] Simulating function "main" | |
[Crux] Attempting to prove verification conditions. | |
[Crux] Counter example for test-data/golden/ex3-undef.c:11:9: error: in generate_value | |
Failed to load function handle | |
Details: | |
No implementation or override found for pointer: "update_value" | |
[Crux] Failed to build counterexample executable | |
`clang` compilation failed. | |
*** Exit code: 1 |
This file contains 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
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE TypeOperators #-} | |
module Main where | |
import Data.Parameterized.Classes | |
import Data.Parameterized.Context | |
import qualified Data.Parameterized.Context.Unsafe as U | |
data (Show t) => MyMaybe t = MyJust t | MyNothing |
This file contains 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
:::: Use default logging config | |
WARNING:root:level 30 | |
ERROR:root:level 40 | |
WARNING:one:level 30 | |
ERROR:one:level 40 | |
::root | |
::one | |
end | |
:::: Configure both root and logger level |
This file contains 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
#!/usr/bin/env bash | |
trylog=" | |
def trylog(l): | |
for e in range(0,50,10): | |
l.log(e, 'level %s'%e) | |
" | |
script() { # $1 is logdict | |
cat <<EOF |
This file contains 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
.file "saturate_add-good.c" | |
.text | |
.globl saturate_add | |
.type saturate_add, @function | |
saturate_add: | |
.LFB0: | |
.cfi_startproc | |
pushq %rbp | |
.cfi_def_cfa_offset 16 | |
.cfi_offset 6, -16 |
This file contains 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
Up to date | |
baggage-handler | |
saturate_add-good.x86.contract: UTC-2020-12-10_00:14:38.469 I [User-Op] uploading binary file | |
UTC-2020-12-10_00:14:38.469 Dbg [entered] op=load bkend=renovate-binary-analyzer Analyzer.loadBytesAsElf | |
UTC-2020-12-10_00:14:38.469 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Setup Renovate ELF configuration | |
UTC-2020-12-10_00:14:38.469 Dbg [entered] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Renovate.analyzeElf | |
UTC-2020-12-10_00:14:40.501 I [completed] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Renovate.analyzeElf, executed for 2.031766994s | |
UTC-2020-12-10_00:14:40.501 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Finished Renovate ELF analysis | |
UTC-2020-12-10_00:14:40.501 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Binary loaded | |
UTC-2020-12-10_00:14:40.501 Warn [misc] op=load bkend=renovate-binary-anal |
NewerOlder