Skip to content

Instantly share code, notes, and snippets.

View mantognini's full-sized avatar

Marco Antognini mantognini

72 followers · 20 following
View GitHub Profile
@mantognini
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
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
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
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
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
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
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
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
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
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]