Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 10, 2024

• chore: clean up old references

  jetafese

  committed
  6feb6ad

  Copy full SHA for 6feb6ad

• chore: create tag for crab support

  jetafese

  committed
  352eb93

  Copy full SHA for 352eb93

• chore: clean up folders

  jetafese

  committed
  868af7e

  Copy full SHA for 868af7e

Commits on Nov 22, 2023

• feat: concise support for btor2 witness generation

  jetafese

  committed
  4f6b445

  Copy full SHA for 4f6b445

Commits on Nov 30, 2022

• chore: bring to llvm14

  jetafese

  committed
  a7562f9

  Copy full SHA for a7562f9

Commits on Oct 2, 2022

• chore: upgrade crab dialect to llvm 15

  jetafese

  committed
  cfe7ae3

  Copy full SHA for cfe7ae3

• chore: upgrade smt dialect definitions to llvm-15

  jetafese

  committed
  af41e0d

  Copy full SHA for af41e0d

• fix: resolve infinite recursion, file names

  jetafese

  committed
  f2d5300

  Copy full SHA for f2d5300

• chore: upgrade binary operations, concat, overflow operations

  jetafese

  committed
  8d3d273

  Copy full SHA for 8d3d273

Commits on Dec 8, 2021

• feat: add crab translate driver

  

  jetafese

  authored and

  agurfinkel

  committed
  4cede66

  Copy full SHA for 4cede66

• feat: add lib files for crab ir

  

  jetafese

  authored and

  agurfinkel

  committed
  fd19b83

  Copy full SHA for fd19b83

Commits on Nov 22, 2021

• feat: add opt and translate drivers

  

  jetafese

  authored and

  agurfinkel

  committed
  a08b3d1

  Copy full SHA for a08b3d1

Commits on Sep 23, 2021

• chore: rename everything into btor2mlir

  agurfinkel

  committed
  013715a

  Copy full SHA for 013715a

Commits on Sep 22, 2021

• implement btor add operation

  

  jetafese

  authored and

  agurfinkel

  committed
  94bc596

  Copy full SHA for 94bc596

• feat: initial commit

  agurfinkel

  committed
  7d28b46

  Copy full SHA for 7d28b46

Loading