Skip to content

Instantly share code, notes, and snippets.

View FAMILIAR-project's full-sized avatar

FAMILIAR project FAMILIAR-project

33 followers · 3 following
View GitHub Profile
@FAMILIAR-project
FAMILIAR-project / pysat-addclause.py
Created January 23, 2020 16:16
from pysat.formula import CNF
from pysat.solvers import Solver, Glucose3
formula = CNF()
formula.append([-1, 2])
l = Solver(bootstrap_with=formula.clauses)
assert(l.nof_clauses() == 1) # OK
l.add_clause([1, 2])
assert(l.nof_clauses() == 2) # normal
@FAMILIAR-project
FAMILIAR-project / TuxFamil100.png
Last active July 11, 2019 13:46
Tux family
TuxFamil100.png
@FAMILIAR-project
FAMILIAR-project / diff1011
Last active July 9, 2019 10:02
diff between 4.14.10 and 4.14.11
diff -ar linux-4.14.11/Documentation/admin-guide/kernel-parameters.txt linux-4.14.10/Documentation/admin-guide/kernel-parameters.txt
2688,2689d2687
< nopti [X86-64] Disable kernel page table isolation
<
3257,3262d3254
<
< pti= [X86_64]
< Control user/kernel address space isolation:
< on - enable
< off - disable
@FAMILIAR-project
FAMILIAR-project / config-tiny-local
Last active July 3, 2019 08:47
--tiny 4.15 vs local tiny 4.15
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.15.0 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
@FAMILIAR-project
FAMILIAR-project / compilations-config_file-4.13.3
Created May 27, 2019 11:58
.config for 4.13.3, 4.14.1, 4.15.1
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.13.3 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
@FAMILIAR-project
FAMILIAR-project / logsbuild
Created May 2, 2019 15:02
cid 80924 (build with the classical build process of Linux)
HOSTCC scripts/basic/fixdep
HOSTCC scripts/kconfig/conf.o
SHIPPED scripts/kconfig/zconf.tab.c
SHIPPED scripts/kconfig/zconf.lex.c
SHIPPED scripts/kconfig/zconf.hash.c
HOSTCC scripts/kconfig/zconf.tab.o
HOSTLD scripts/kconfig/conf
scripts/kconfig/conf --silentoldconfig Kconfig
SYSTBL arch/x86/entry/syscalls/../../include/generated/asm/syscalls_32.h
SYSHDR arch/x86/entry/syscalls/../../include/generated/asm/unistd_32_ia32.h
@FAMILIAR-project
FAMILIAR-project / error_messages.txt
Last active April 25, 2019 09:37
Error: call to '__read_overflow2' declared with attribute error: detected read beyond size of object passed as 2nd parameter
######## configuration cid 30730
./include/linux/string.h:305:4: error: call to '__read_overflow2' declared with attribute error: detected read beyond size of object passed as 2nd parameter
__read_overflow2();
######### (end)
######## configuration cid 32700
./include/linux/string.h:305:4: error: call to '__read_overflow2' declared with attribute error: detected read beyond size of object passed as 2nd parameter
__read_overflow2();
######### (end)
@FAMILIAR-project
FAMILIAR-project / statsFSEVary.csv
Created January 9, 2018 06:25
nbPages (4 or 5) is the "class" to predict
We can make this file beautiful and searchable if this error is corrected: Unclosed quoted field in line 8.
idConfiguration,ACK,BIB,BOLD_ACK,BREF,EMAIL,JS_FOOTNOTESIZE,JS_SCRIPTSIZE,JS_STYLE,JS_TINY,LONG_ACK,LONG_AFFILIATION,PARAGRAPH_ACK,PL_FOOTNOTE,VARY_LATEX,bref_size,cserver_size,vspace_bib,nbPages,sizePDF
10,"true","true","true","true","true","false","true","true","false","false","true","false","true","true",1.0,0.8,1.7,5,220
100,"true","true","false","true","false","false","false","true","true","true","false","true","false","true",0.7,0.9,2.3,4,224
101,"false","true","false","true","false","false","true","true","false","false","true","false","false","true",0.7,0.7,0.4,4,216
102,"true","true","false","true","true","false","true","true","false","true","true","true","false","true",0.8,0.9,4.6,5,224
103,"true","true","true","true","false","false","true","true","false","false","false","false","false","true",0.9,0.9,0.4,5,216
104,"false","true","false","true","true","false","false","true","true","false","true","false","true","true",0.9,0.9,2.0,4,216
105,"true","true","false","true","false","false","false","true","t
@FAMILIAR-project
FAMILIAR-project / config
Created December 13, 2017 11:01
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.13.3 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
@FAMILIAR-project
FAMILIAR-project / config
Created December 13, 2017 10:29
Configuration issue bis (kernel Linux)
#
# Automatically generated file; DO NOT EDIT.
# Linux/x86 4.13.3 Kernel Configuration
#
CONFIG_64BIT=y
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_INSTRUCTION_DECODER=y
CONFIG_OUTPUT_FORMAT="elf64-x86-64"
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"