Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2023

• Merge pull request #163 from Dargones/Testing

  Show description for 33dd98e
  rakamaric

  authored
  33dd98e

  Copy full SHA for 33dd98e

• Add new lines at the end of files

  Dargones

  committed
  fb2abc1

  Copy full SHA for fb2abc1

Commits on Mar 21, 2023

• Update tests for z3 4.8.8

  Dargones

  committed
  64dc827

  Copy full SHA for 64dc827

• disable propinst tests

  Dargones

  committed
  473f2a4

  Copy full SHA for 473f2a4

• Updated expected output for av-regressions

  Dargones

  committed
  729b213

  Copy full SHA for 729b213

• Revert "Revert attempts at making AV Suit pass"

  Show description for 8762297
  Dargones

  committed
  8762297

  Copy full SHA for 8762297

Commits on Mar 6, 2023

• Revert attempts at making AV Suit pass

  Dargones

  committed
  b853ca9

  Copy full SHA for b853ca9

Commits on Mar 5, 2023

• Remove map test

  Dargones

  committed
  074de4b

  Copy full SHA for 074de4b

• Update GitIgnore

  Dargones

  committed
  91380d4

  Copy full SHA for 91380d4

• Activate PropInst regressions

  Dargones

  committed
  75749fc

  Copy full SHA for 75749fc

• Remove a test that was never executed

  Dargones

  committed
  45861ba

  Copy full SHA for 45861ba

• Run fwdbck tests

  Dargones

  committed
  7e70c5a

  Copy full SHA for 7e70c5a

• Try testing Angelic Verifier

  Dargones

  committed
  7d8077a

  Copy full SHA for 7d8077a

• Remove Dual Houdini tests

  Dargones

  committed
  7fc2607

  Copy full SHA for 7fc2607

• Remove Concurrent Houdini tests

  Dargones

  committed
  d231e65

  Copy full SHA for d231e65

• Build AV as part of testing

  Dargones

  committed
  857d02e

  Copy full SHA for 857d02e

• Make tests work with both Debug and Release configurations

  Dargones

  committed
  2be13c1

  Copy full SHA for 2be13c1

• Attempt to fix yaml errors

  Dargones

  committed
  d632056

  Copy full SHA for d632056

• Fix yaml syntax

  Dargones

  committed
  57c5a1a

  Copy full SHA for 57c5a1a

• Run AliasAnalysis tests on Linux

  Dargones

  committed
  b00bade

  Copy full SHA for b00bade

• Make AngelicVerifier compile

  Dargones

  committed
  320c7ae

  Copy full SHA for 320c7ae

• Use net6.0 for tests to make them pass

  Dargones

  committed
  1039dde

  Copy full SHA for 1039dde

• Revert "Update .gitignore to use Rider"

  Show description for 5c41240
  Dargones

  committed
  5c41240

  Copy full SHA for 5c41240

• Update .gitignore to use Rider

  Dargones

  committed
  54e7f0b

  Copy full SHA for 54e7f0b

Commits on Apr 5, 2022

• Merge pull request #158 from markxb/net6.0

  Show description for 030bf6c
  rakamaric

  authored
  030bf6c

  Copy full SHA for 030bf6c

• Allow Corral to be built for .NET 6.0

  markxb

  committed
  ebd8c24

  Copy full SHA for ebd8c24

Commits on Jul 9, 2021

• Small cleanup in terms of triggers for CI action

  zvonimir

  committed
  a4b3b88

  Copy full SHA for a4b3b88

• Revert "Minor fix of how the package is selected"

  Show description for e14bdc4
  zvonimir

  committed
  e14bdc4

  Copy full SHA for e14bdc4

• Minor fix of how the package is selected

  zvonimir

  committed
  f9ea33f

  Copy full SHA for f9ea33f

• Fixed the release action

  zvonimir

  committed
  134e7c8

  Copy full SHA for 134e7c8

Commits on Jul 8, 2021

• Trigger release when making GitHub release

  Show description for fa85ed6
  zvonimir

  committed
  fa85ed6

  Copy full SHA for fa85ed6

• updated version to test

  shazqadeer

  committed
  8a66b52

  Copy full SHA for 8a66b52

• Release version v1.1.6

  zvonimir

  committed
  c637730

  Copy full SHA for c637730

• Release version v1.1.5

  zvonimir

  committed
  7e84d6a

  Copy full SHA for 7e84d6a

• Release version v1.1.3

  zvonimir

  committed
  38179aa

  Copy full SHA for 38179aa

Pagination

Previous

Next