Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 16, 2022

• Add license (#33)

  wmdietl

  authored
  1a53cbb

  Copy full SHA for 1a53cbb

Commits on Aug 1, 2022

• Split CI into smaller jobs; add module flags (#32)

  AndrewShf

  authored
  0f3b85a

  Copy full SHA for 0f3b85a

Commits on Jul 14, 2022

• Change Travis CI to GitHub Actions (#31)

  AndrewShf

  authored
  a577875

  Copy full SHA for a577875

Commits on May 28, 2021

• Upgrade to GitHub-native Dependabot (#23)

  dependabot-preview[bot]

  authored
  6741016

  Copy full SHA for 6741016

Commits on Feb 15, 2021

• Bump org.ow2.sat4j.core from 2.3.5 to 2.3.6 (#18)

  dependabot-preview[bot]

  authored
  7486813

  Copy full SHA for 7486813

• Bump org.ow2.sat4j.maxsat from 2.3.5 to 2.3.6 (#17)

  dependabot-preview[bot]

  authored
  f4a3c7f

  Copy full SHA for f4a3c7f

• Bump junit from 4.13 to 4.13.2 (#19)

  dependabot-preview[bot]

  authored
  d9db7df

  Copy full SHA for d9db7df

• Bump slf4j-api from 1.7.29 to 1.7.30 (#14)

  dependabot-preview[bot]

  authored
  ad9c1a7

  Copy full SHA for ad9c1a7

Commits on Jan 2, 2020

• Bump junit from 4.12 to 4.13 (#15)

  Show description for d5a1478
  

  dependabot-preview[bot]

  authored and

  wmdietl

  committed
  d5a1478

  Copy full SHA for d5a1478

Commits on Nov 22, 2019

• Update README.md

  Show description for 1dca1d2
  xingweitian

  authored
  1dca1d2

  Copy full SHA for 1dca1d2

Commits on Nov 9, 2019

• Update README.md

  Show description for 38afb07
  xingweitian

  authored
  38afb07

  Copy full SHA for 38afb07

Commits on Nov 8, 2019

• Bump org.ow2.sat4j.maxsat from 2.3.4 to 2.3.5 (#11)

  Show description for 6b4ddd3
  

  dependabot-preview[bot]

  authored and

  wmdietl

  committed
  6b4ddd3

  Copy full SHA for 6b4ddd3

• Bump org.ow2.sat4j.core from 2.3.4 to 2.3.5 (#12)

  Show description for a4bb24b
  

  dependabot-preview[bot]

  authored and

  wmdietl

  committed
  a4bb24b

  Copy full SHA for a4bb24b

• Bump slf4j-api from 1.7.13 to 1.7.29 (#13)

  Show description for 879b7a6
  

  dependabot-preview[bot]

  authored and

  wmdietl

  committed
  879b7a6

  Copy full SHA for 879b7a6

Commits on Dec 2, 2018

• fix eclipse classpath

  jyluo

  committed
  7030cb3

  Copy full SHA for 7030cb3

• update readme with opprop travis status icon

  jyluo

  committed
  e3962b1

  Copy full SHA for e3962b1

• Merge branch 'master' of https://github.com/jyluo/immutability

  jyluo

  committed
  12b9957

  Copy full SHA for 12b9957

• fix eclipse classpath

  jyluo

  committed
  2bd1cc3

  Copy full SHA for 2bd1cc3

• Merge branch 'CFI_upstream_update'

  jyluo

  committed
  d7dd367

  Copy full SHA for d7dd367

• fix a few more things

  jyluo

  committed
  479254d

  Copy full SHA for 479254d

Commits on Sep 8, 2018

• Update README.md

  jyluo

  authored
  5d182a5

  Copy full SHA for 5d182a5

• add eclipse project

  jyluo

  committed
  03a0363

  Copy full SHA for 03a0363

• disable google java format

  jyluo

  committed
  9597fcd

  Copy full SHA for 9597fcd

• Revert "google java format sources"

  Show description for ddc685d
  jyluo

  committed
  ddc685d

  Copy full SHA for ddc685d

• update scripts, add jar for eclipse project

  jyluo

  committed
  0c4117c

  Copy full SHA for 0c4117c

• clean up build script

  jyluo

  committed
  1a531ed

  Copy full SHA for 1a531ed

• update typecheck script

  jyluo

  committed
  67a6e40

  Copy full SHA for 67a6e40

• update gradle clean target

  jyluo

  committed
  afede7b

  Copy full SHA for afede7b

• google java format sources

  jyluo

  committed
  accb298

  Copy full SHA for accb298

• add gradle wrapper

  jyluo

  committed
  f3a02bf

  Copy full SHA for f3a02bf

• update travis build

  jyluo

  committed
  3f72f46

  Copy full SHA for 3f72f46

Commits on Sep 6, 2018

• add demo scripts

  jyluo

  committed
  fc467f1

  Copy full SHA for fc467f1

• upgrade build script, add dependent jars for eclipse project, tried to fix some imports and upgrade code to comply with API changes in opprop/CFI

  Show description for 6e1588c
  jyluo

  committed
  6e1588c

  Copy full SHA for 6e1588c

• script clean up

  jyluo

  committed
  a07c997

  Copy full SHA for a07c997

Commits on Aug 20, 2018

• Hardcode travis file to download everything from topnessman

  topnessman

  committed
  58a412c

  Copy full SHA for 58a412c

Pagination

Previous

Next