Commits

Branch selector

 v1.1.5

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 15, 2021

• Merge pull request #132 from jad-hamza/cvc4-1.8

  Show description for 93550f1
  vkuncak

  authored
  93550f1

• Remove # and leading space in ascii only mode

  jad-hamza

  committed
  d51ea2c

• Minor fixes for CVC4 1.8

  jad-hamza

  committed
  4273e35

Commits on Apr 13, 2021

• Merge pull request #130 from jad-hamza/signed-unsigned

  Show description for 6dfb351
  vkuncak

  authored
  6dfb351

• Add support for signed/unsigned conversions

  jad-hamza

  committed
  f28331b

• Merge pull request #131 from jad-hamza/ascii

  Show description for 3977209
  vkuncak

  authored
  3977209

• Replace tabs for proper alignment when displaying positions

  jad-hamza

  committed
  4e7466c

Commits on Mar 31, 2021

• Add option to remove colors and non-ascii characters, and to format errors for IDEs

  jad-hamza

  committed
  04580dc

Commits on Feb 23, 2021

• Merge pull request #129 from jad-hamza/no-view

  Show description for 1b17cb4
  vkuncak

  authored
  1b17cb4

• Remove Views from fold operation

  jad-hamza

  committed
  dba5c1f

• Merge pull request #128 from jad-hamza/allow-insecure

  Show description for 01999bb
  samarion

  authored
  01999bb

Commits on Feb 19, 2021

• Use to-string modifier for mdoc (thanks @samarion)

  jad-hamza

  committed
  03d45dd

• Disable link hygiene in mdoc due to false positives

  jad-hamza

  committed
  a799b3d

• Recompile documentation

  jad-hamza

  committed
  afeb7bc

• Fix broken link in documentation

  jad-hamza

  committed
  e1166f5

• Fix line numbers in documentation

  jad-hamza

  committed
  7ced974

Commits on Feb 18, 2021

• Use mdoc in documentation

  jad-hamza

  committed
  198e513

• Silence exhaustive match warning

  jad-hamza

  committed
  82f6a2d

• Remove unnecessary withAllowInsecureProtocol calls

  jad-hamza

  committed
  2c3095e

• typo

  jad-hamza

  committed
  d63c0d2

• Change larabot commands for 2.12.13

  jad-hamza

  committed
  f07926f

• Bump Scala version to 2.12.13, sbt version to 1.3.0, and change tut to mdoc

  jad-hamza

  committed
  db42176

• Allow Insecure Protocol to prevent warnings during build

  jad-hamza

  committed
  3dd75e5

• Merge pull request #127 from jad-hamza/variable-copy

  Show description for 5256164
  samarion

  authored
  5256164

• Merge branch 'master' into variable-copy

  samarion

  authored
  4a25008

• Merge pull request #126 from jad-hamza/fix-inlinePosts

  Show description for 5ff4143
  samarion

  authored
  5ff4143

• Minor comments fixes

  jad-hamza

  committed
  2314122

Commits on Feb 17, 2021

• Make interface nicer for overrides

  jad-hamza

  committed
  d94cfd6

• Transform identifiers

  jad-hamza

  committed
  6048f68

• Readd freshenChooses parameter for freshenLocals

  jad-hamza

  committed
  7e5ed12

Commits on Feb 15, 2021

• Revert freshening in subst, and add new Freshener

  jad-hamza

  committed
  348ad79

• Add .vscode folder to .gitignore

  jad-hamza

  committed
  f4df126

• Deduplication in freshenLocals and freshening on substitutions

  jad-hamza

  committed
  c660dd1

• Add error messages to Paths extensions errors

  jad-hamza

  committed
  5dd19c2

Commits on Feb 12, 2021

• Add .vscode folder to .gitignore

  jad-hamza

  committed
  a4d8262

Pagination

PreviousNext