Guillaume Martres smarter
This file contains hidden or 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/python3 | |
| from z3 import * | |
| def is_valid_n_bits(n, v): | |
| return And(v >= -(1 << (n-1)), v <= ((1 << (n-1)) - 1)) | |
| def are_valid_n_bits(n, *values): | |
| return And(*[is_valid_n_bits(n, v) for v in values]) |
smarter
/ App.scala
Last active
September 23, 2024 22:36
Macro to transform a type application `F[A, B, ...]` into `App[F, (A, B, ...)]` to work around https://github.com/scala/scala3/issues/16782
This file contains hidden or 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 scala.compiletime.erasedValue | |
| import scala.quoted.* | |
| /** Represent a type application F[Args*] | |
| * | |
| * @see [[App.erasedApp]] | |
| */ | |
| sealed trait App[F <: AnyKind, Args <: Tuple] | |
| object App: | |
| /** Transform a type application `F[A, B, ...]` into `App[F, (A, B, ...)]` |
This file contains hidden or 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
| //> using scala 3.nightly | |
| import scala.language.experimental.relaxedExtensionImports | |
| object A: | |
| extension (s: String) | |
| def wow: Unit = println(s) | |
| object B: | |
| extension (i: Int) | |
| def wow: Unit = println(i) |
This file contains hidden or 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
| From 8606ae2990c191766b5b7c9eca250f4569632abe Mon Sep 17 00:00:00 2001 | |
| From: Guillaume Martres <[email protected]> | |
| Date: Wed, 24 Mar 2021 12:37:44 +0100 | |
| Subject: [PATCH] CI: turn off option that runs git submodule foreach | |
| Because this is run without running git submodule update first, it seems | |
| to break whenever a submodule is deleted. | |
| --- | |
| .github/workflows/ci.yaml | 52 +++++++++++++++++++++++++++++++++++++++ | |
| 1 file changed, 52 insertions(+) |
smarter
/ Runner_20201002-191012-utc.log
Created
October 27, 2020 22:10
This file has been truncated, but you can view the full file.
This file contains hidden or 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
| [2020-10-02 19:10:12Z INFO HostContext] No proxy settings were found based on environmental variables (http_proxy/https_proxy/HTTP_PROXY/HTTPS_PROXY) | |
| [2020-10-02 19:10:12Z INFO HostContext] Well known directory 'Bin': '/home/drone/github-actions-runners/runner-1/bin.2.273.5' | |
| [2020-10-02 19:10:12Z INFO HostContext] Well known directory 'Root': '/home/drone/github-actions-runners/runner-1' | |
| [2020-10-02 19:10:12Z INFO HostContext] Well known config file 'Credentials': '/home/drone/github-actions-runners/runner-1/.credentials' | |
| [2020-10-02 19:10:12Z INFO Listener] Runner is built for Linux (X64) - linux-x64. | |
| [2020-10-02 19:10:12Z INFO Listener] RuntimeInformation: Linux 4.4.0-151-generic #178-Ubuntu SMP Tue Jun 11 08:30:22 UTC 2019. | |
| [2020-10-02 19:10:12Z INFO Listener] Version: 2.273.5 | |
| [2020-10-02 19:10:12Z INFO Listener] Commit: a79bab4b3c993a205a2d73d2b618299d8a96bd26 | |
| [2020-10-02 19:10:12Z INFO Listener] Culture: en-US | |
| [2020-10-02 19:10:12Z INFO Listener] UI Culture: en-US |
smarter
/ lockup.txt
Created
March 19, 2020 15:17
This file contains hidden or 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
| Lisp Backtrace: | |
| "looking-at" (0x91c61e70) | |
| "scala-syntax:looking-at-simplePattern-beginning" (0x91c620d0) | |
| "scala-font-lock:limit-pattern2" (0x91c623a0) | |
| "scala-font-lock:limit-pattern" (0x91c625f0) | |
| "eval" (0x91c627d0) | |
| "font-lock-fontify-keywords-region" (0x91c62d30) | |
| "font-lock-default-fontify-region" (0x91c63050) | |
| "font-lock-fontify-region" (0x91c632c8) | |
| 0x84976b0 PVEC_COMPILED |
smarter
/ broken.txt
Created
May 21, 2019 14:01
This file contains hidden or 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
| rep: Update report: | |
| Resolve time: -1 ms, Download time: -1 ms, Download size: -1 bytes | |
| test: | |
| ch.epfl.lamp:dotty-doc_0.14:0.14.0-RC1:default (artifactId=dotty-doc_0.14, project.version=0.14.0-RC1, pom.groupId=ch.epfl.lamp, groupId=ch.epfl.lamp, project.groupId=ch.epfl.lamp, version=0.14.0-RC1, pom.version=0.14.0-RC1, project.artifactId=dotty-doc_0.14, pom.artifactId=dotty-doc_0.14): (Artifact(dotty-doc_0.14, jar, jar, None, Vector(), Some(https://repo1.maven.org/maven2/ch/epfl/lamp/dotty-doc_0.14/0.14.0-RC1/dotty-doc_0.14-0.14.0-RC1.jar), Map(artifactId -> dotty-doc_0.14, project.version -> 0.14.0-RC1, pom.groupId -> ch.epfl.lamp, groupId -> ch.epfl.lamp, project.groupId -> ch.epfl.lamp, version -> 0.14.0-RC1, pom.version -> 0.14.0-RC1, project.artifactId -> dotty-doc_0.14, pom.artifactId -> dotty-doc_0.14), None),/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/ch/epfl/lamp/dotty-doc_0.14/0.14.0-RC1/dotty-doc_0.14-0.14.0-RC1.jar) | |
| org.scala-sbt:compi |
This file contains hidden or 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
| #!/bin/bash | |
| #SBT_OPTS="-Xms512M -Xmx4096M -XX:ReservedCodeCacheSize=1024M -XX:+CMSClassUnloadingEnabled" | |
| #SBT_OPTS="-Xms512M -Xmx1536M -XX:+CMSClassUnloadingEnabled -XX:MaxInlineLevel=35" | |
| SBT_OPTS="-Xms512M -Xmx6192M -XX:ReservedCodeCacheSize=1024M -XX:+CMSClassUnloadingEnabled -XX:MaxInlineLevel=35" | |
| ARGS=() | |
| while [ $# -ne 0 ]; do | |
| case $1 in | |
| -D*) |
smarter
/ .dotty-ide.json
Created
November 2, 2018 16:42
This file contains hidden or 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
| [ { | |
| "id" : "wsdPkgMetrics/compile", | |
| "compilerVersion" : "0.10.0-RC1", | |
| "compilerArguments" : [ ], | |
| "sourceDirectories" : [ "wsdPkgMetrics/src" ], | |
| "dependencyClasspath" : [ "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/ammonite-ops_2.12/1.3.2/ammonite-ops_2.12-1.3.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/ch/epfl/lamp/dotty-library_0.10/0.10.0-RC1/dotty-library_0.10-0.10.0-RC1.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/geny_2.12/0.1.2/geny_2.12-0.1.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.12.7/scala-library-2.12.7.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.25.2/sqlite-jdbc-3.25.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/ch/epfl/lamp/scala-library/0.10.0-RC1/scala-library-0.10.0-RC1.jar" ], | |
| "classDirectory" : "out/wsdPkgMetrics/compile/dest/classes" | |
| } ] |
smarter
/ .dotty-ide.json
Created
November 2, 2018 16:41
This file contains hidden or 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
| [ { | |
| "id" : "wsdPkgMetrics/compile", | |
| "compilerVersion" : "0.10.0-RC1", | |
| "compilerArguments" : [ ], | |
| "sourceDirectories" : [ "wsdPkgMetrics/src" ], | |
| "dependencyClasspath" : [ "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/ammonite-ops_2.12/1.3.2/ammonite-ops_2.12-1.3.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/ch/epfl/lamp/dotty-library_0.10/0.10.0-RC1/dotty-library_0.10-0.10.0-RC1.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/com/lihaoyi/geny_2.12/0.1.2/geny_2.12-0.1.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/org/scala-lang/scala-library/2.12.7/scala-library-2.12.7.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/org/xerial/sqlite-jdbc/3.25.2/sqlite-jdbc-3.25.2.jar", "/home/smarter/.cache/coursier/v1/https/repo1.maven.org/maven2/ch/epfl/lamp/scala-library/0.10.0-RC1/scala-library-0.10.0-RC1.jar" ], | |
| "classDirectory" : "out/wsdPkgMetrics/compile/dest/classes" | |
| } ] |
NewerOlder