Aswin C officialcjunior

Loading a workbook:

wb = load_workbook(filename = pruned_bugs_path, data_only=False)

sheet = wb['sheetname']

Apart from filename, there are some parameters such as data_only, read_only, keep_vba, data_only, keep_links.

How to install frama-c on *nix

I had wasted almost half of a day trying to properly install frama-c on my Linux. I was surprised to see no much documentation or troubleshooting online, so that's the whole point of me putting this note as a public gist.

Ubuntu

If you read the official documentation, you'll come across the names of these two packages:

frama-c and frama-c-base

If you are on Ubuntu 18.04 LTS, you can directly install it using apt install frama-c, and it will work. You can not do this on a 20.04 LTS Focal Fossa, because apparently, it's not included in the official packages.

	//! Virtual Device Module

	use kernel::prelude::*;

	use kernel::file::{File, Operations};
	use kernel::io_buffer::{IoBufferReader, IoBufferWriter};
	use kernel::sync::smutex::Mutex;
	use kernel::sync::{Arc, ArcBorrow};
	use kernel::{miscdev, Module};

	use std::fmt;
	use std::io;

	// Since, we don't have `NULL` in Rust, we will use Option for
	// each of the smart pointers- `Box`es. Basically, each of the Node contains a
	// Some() or a None()
	struct Node {
	value: u32,
	next: Option<Box<Node>>,
	}

	import math

	invphi = (math.sqrt(5) - 1) / 2 # 1 / phi
	invphi2 = (3 - math.sqrt(5)) / 2 # 1 / phi^2 ig

	def gssrec(f, a, b, tol=1e-5, h=None, c=None, d=None, fc=None, fd=None):

	(a, b) = (min(a, b), max(a, b))
	if h is None: h = b - a
	if h <= tol: return (a, b)

	import math
	def fibu(n):
	if n <= 1:
	return n
	else:
	return(fibu(n-1) + fibu(n-2))

	#for i in range (10):
	# print (i-1, ",", fibu(i))

	#!/bin/sh

	# fetches the new stuff from upstream. I hope you've added the link to the original repo as 'upstream'
	git fetch upstream
	git checkout master

	# prunes unwanted branches
	git fetch --all --prune

	# merges without your master

	#0.7 for Silicon and 0.3 for Germanium diodes
	vbe=0.7

	vcc=
	vbb=

	re=
	rc=
	rb= #10*3
	#put rb=0, if rb isn't there. same for all

	# shitposter.py
	# Requirements : Toot https://github.com/ihabunek/toot and a Unix-like system


	import urllib.request
	import random
	import subprocess

	word_url = "http://svnweb.freebsd.org/csrg/share/dict/words?view=co&content-type=text/plain"
	response = urllib.request.urlopen(word_url)

	import subprocess
	import os

	branch_name=input("Enter the target branch name, I mean, => target-repository:")
	title=input("Enter the title or the Merge Request\n")
	description=input("Enter description \n")

	bool_origin=input("Is this branch already added in remote? (y/n) \n")
	if bool_origin=='n':
	origin = input("Input the branch name \n")