mantognini’s gists

mantognini / log

Last active June 14, 2017 07:52

Stats on `deconstruct` for benchmarks/verification/valid/*.scala

	10672516x: inox.ast.Expressions.Variable

	3104508x: inox.ast.Expressions.ADTSelector
	2849013x: inox.ast.Expressions.Not
	2778717x: inox.ast.Expressions.AsInstanceOf
	1829754x: inox.ast.Expressions.FunctionInvocation
	1638668x: inox.ast.Expressions.Let
	1463700x: inox.ast.Expressions.IntegerLiteral
	1434624x: inox.ast.Expressions.IsInstanceOf
	1423687x: inox.ast.Expressions.Equals

mantognini / gist:eb9cd3b3d0114c2b3175b4fa39a363d8

Created August 10, 2016 14:59

LoC command

find src/ include/ -type f \( -regex '.*\.[mh]' -o -regex '.*\.mm' -o -regex '.*\.[hc]pp' -o -regex '.*\.inl' \) -print0 | xargs -0 cat | wc -l

mantognini / MiniRelation.cpp

Created April 28, 2016 14:36

	//
	// main.cpp
	// MiniRelation
	//
	// Created by Marco Antognini on 28/04/16.
	// Copyright © 2016 Marco Antognini. All rights reserved.
	//

	#include <algorithm>
	#include <cassert>

mantognini / # z3 - 2016-04-25_16-12-28.txt

Created April 25, 2016 14:16

z3 on Mac OS X 10.10.5 - Homebrew build logs

	Homebrew build logs for z3 on Mac OS X 10.10.5
	Build date: 2016-04-25 16:12:28

mantognini / info.txt

Last active March 9, 2016 09:36

vim --version

	VIM - Vi IMproved 7.4 (2013 Aug 10, compiled Mar 9 2016 10:31:40)
	MacOS X (unix) version
	Included patches: 1-1468
	Compiled by Homebrew
	Huge version without GUI. Features included (+) or not (-):
	+acl +farsi +mouse_netterm +tag_binary
	+arabic +file_in_path +mouse_sgr +tag_old_static
	+autocmd +find_in_path -mouse_sysmouse -tag_any_white
	-balloon_eval +float +mouse_urxvt -tcl
	-browse +folding +mouse_xterm +terminfo

mantognini / local.buildbot.slave.plist

Created October 26, 2015 16:34

Build bot agent for login time

	<?xml version="1.0" encoding="UTF-8"?>
	<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
	<plist version="1.0">
	<dict>
	<key>Label</key>
	<string>local.buildbot.slave</string>

	<key>ProgramArguments</key>
	<array>
	<string>/usr/local/bin/buildslave</string>

mantognini / local.teamviewer-demonizer.plist

Created October 25, 2015 21:11

Agent to keep TeamViewer alive; place it in ~/Library/LaunchAgents

	<?xml version="1.0" encoding="UTF-8"?>
	<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
	<plist version="1.0">
	<dict>
	<key>KeepAlive</key>
	<true/>
	<key>Label</key>
	<string>local.teamviewer-demonizer</string>
	<key>ProgramArguments</key>
	<array>

mantognini / build_package.sh

Last active May 9, 2018 05:49

Packaging script for SFML 2.x & CSFML 2.x

	#!/bin/sh

	VERSION="2.5.0"
	VERSION_C="2.5"
	BUILD_CSFML=FALSE
	# BUILD_CSFML=TRUE

mantognini / test.scala

Created May 25, 2015 12:53

leon doesn't like equals(Any)

	import leon.lang._

	case class Rational (n: BigInt, d: BigInt) {

	def +(that: Rational): Rational = {
	require(isRational && that.isRational)
	Rational(n * that.d + that.n * d, d * that.d)
	} ensuring { _.isRational }

	def *(that: Rational): Rational = {

mantognini / trace.new.log

Created May 23, 2015 12:55

trace log of Sherlok before and after commit 06eb9fbb19749c197277da0dd1dc1fa3ec11515b (workaround for multiple trove4j versions conflicting with each others)

	,---.\| \| \|
	`---.\|---.,---.,---.\| ,---.\|__/
	\|\| \|\|---'\| \| \| \|\| \
	`---'` '`---'` `---'`---'` `

	Sherlok Server v. 224af9bc74
	INFO Done loading from local File store (local_repo): 11 bundles, 29 engines, 16 pipelines [o.s.Controller 14:50:22]
	== Spark has ignited ...
	>> Listening on 0.0.0.0:9600
	WARN Could not validate integrity of download from file:/Users/m/.m2/repository/ch/epfl/bbp/nlp/bluima_commons/1.0.2-SNAPSHOT/bluima_commons-1.0.2-SNAPSHOT.pom: Checksum validation failed, no checksums available [o.e.a.i.i.WarnChecksumPolicy 14:50:35]

Marco Borgeaud mantognini