Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 4, 2022

• Remove dead code.

  remysucre

  committed
  dda7fa9

  Copy full SHA for dda7fa9

Commits on Aug 3, 2022

• Add search_with_limit (egraphs-good#197)

  Show description for ae8af88
  yihozhang

  authored
  ae8af88

  Copy full SHA for ae8af88

Commits on Aug 1, 2022

• Add a parents iterator to eclass

  mwillsey

  committed
  af69de3

  Copy full SHA for af69de3

Commits on Jun 12, 2022

• Release 0.9.0

  mwillsey

  committed
  4be41e3

  Copy full SHA for 4be41e3

• Add explanations for union

  Show description for 3d180a7
  mwillsey

  committed
  3d180a7

  Copy full SHA for 3d180a7

• Make some minor changes for tutorial

  mwillsey

  committed
  d88bf6d

  Copy full SHA for d88bf6d

Commits on May 9, 2022

• Correct typo (egraphs-good#176)

  tomjaguarpaw

  authored
  cbca073

  Copy full SHA for cbca073

Commits on May 4, 2022

• Improve docs for features

  Show description for bb52f73
  mwillsey

  committed
  bb52f73

  Copy full SHA for bb52f73

Commits on Apr 28, 2022

• Update changelog; prep for 0.8.0

  mwillsey

  committed
  1fca6dd

  Copy full SHA for 1fca6dd

• Use symbol_table for Symbols

  mwillsey

  committed
  ed1faf1

  Copy full SHA for ed1faf1

• Change the multipattern syntax to =>

  mwillsey

  committed
  46df807

  Copy full SHA for 46df807

• Clean up; add a couple tests

  mwillsey

  committed
  f3cfa4e

  Copy full SHA for f3cfa4e

• formatting

  

  philzook58

  authored and

  mwillsey

  committed
  3f471ba

  Copy full SHA for 3f471ba

• changed behavior of multipattern in applier

  

  philzook58

  authored and

  mwillsey

  committed
  f6dff22

  Copy full SHA for f6dff22

• Add some documentation

  mwillsey

  committed
  aff1b4a

  Copy full SHA for aff1b4a

• Implement a multipattern api

  mwillsey

  committed
  2f27223

  Copy full SHA for 2f27223

• attempt at labelled pattern

  

  philzook58

  authored and

  mwillsey

  committed
  e2cf2e9

  Copy full SHA for e2cf2e9

• basic multipatterns

  

  philzook58

  authored and

  mwillsey

  committed
  d76c2b5

  Copy full SHA for d76c2b5

Commits on Apr 20, 2022

• Note test dependencies in README

  Show description for 4c0f359
  mwillsey

  committed
  4c0f359

  Copy full SHA for 4c0f359

Commits on Apr 14, 2022

• Merge branch 'lp'

  mwillsey

  committed
  1717911

  Copy full SHA for 1717911

• Fix new clippy lints

  mwillsey

  committed
  6950137

  Copy full SHA for 6950137

• Update docs, bump MSRV to 1.60

  mwillsey

  committed
  16d23df

  Copy full SHA for 16d23df

• Fix docs typo

  mwillsey

  committed
  582fce6

  Copy full SHA for 582fce6

Commits on Apr 8, 2022

• Canonicalize roots in lp_extract

  mwillsey

  committed
  04ea6b9

  Copy full SHA for 04ea6b9

Commits on Mar 8, 2022

• Tweak the pattern compilation heuristic

  Show description for f1238e3
  mwillsey

  committed
  f1238e3

  Copy full SHA for f1238e3

• Add more patterns to e-matching benchmark

  mwillsey

  committed
  96913b3

  Copy full SHA for 96913b3

Commits on Feb 18, 2022

• Fix a failing assertion

  mwillsey

  committed
  db3e97d

  Copy full SHA for db3e97d

Commits on Feb 14, 2022

• Fix some typos in docs (egraphs-good#166)

  Show description for cb9835c
  jakevossen5

  authored
  cb9835c

  Copy full SHA for cb9835c

• Make unions occur instantly again (egraphs-good#165)

  Show description for 6c352ec
  

  oflatt

  and

  mwillsey

  authored
  6c352ec

  Copy full SHA for 6c352ec

Commits on Jan 20, 2022

• Replace Mutex with RwLock in string interning code. (egraphs-good#162)

  Show description for 6353a6b
  mmp

  authored
  6353a6b

  Copy full SHA for 6353a6b

Commits on Jan 12, 2022

• Remove print statements

  mwillsey

  committed
  57da5ca

  Copy full SHA for 57da5ca

• Fix Explanation Initialization to Share Subexpressions (egraphs-good#155)

  oflatt

  authored
  d0acf72

  Copy full SHA for d0acf72

Commits on Dec 16, 2021

• Add fallible build_recexpr

  mwillsey

  committed
  cfdce7f

  Copy full SHA for cfdce7f

Commits on Dec 15, 2021

• Merge branch 'main' into lp

  mwillsey

  committed
  269c786

  Copy full SHA for 269c786

• Release 0.7.1

  mwillsey

  committed
  2d8657f

  Copy full SHA for 2d8657f

Pagination

Previous

Next