Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 9, 2024

• chore: update README.md

  bliutech

  authored
  d69fa1b

  Copy full SHA for d69fa1b

• Delete parser/README.md

  bliutech

  authored
  faf59fc

  Copy full SHA for faf59fc

• chore(doc): explain usage

  bliutech

  committed
  2d5e352

  Copy full SHA for 2d5e352

• feat: update setup to support running experiments

  bliutech

  committed
  f06fe6c

  Copy full SHA for f06fe6c

• feat: combined modules for publication

  bliutech

  committed
  066ad51

  Copy full SHA for 066ad51

• fix: add typing_extensions to allow for Python versions < 3.12

  bliutech

  committed
  85e8b89

  Copy full SHA for 85e8b89

• chore(doc): update README.md

  bliutech

  committed
  776b67e

  Copy full SHA for 776b67e

Commits on Jul 24, 2024

• Merge pull request #44 from bliutech/add-option-to-graph-result

  Show description for 6b7f39f
  bliutech

  authored
  6b7f39f

  Copy full SHA for 6b7f39f

Commits on Jul 22, 2024

• feat: add ability to set number of passes with the --npasses command line option

  timoslater

  committed
  5b86870

  Copy full SHA for 5b86870

• feat: add line and bar graphs for variable and operator counts

  timoslater

  committed
  013375f

  Copy full SHA for 013375f

Commits on Jul 20, 2024

• Merge pull request #42 from bliutech/add-var-counter

  bliutech

  authored
  57669e5

  Copy full SHA for 57669e5

• add: VarCounter and add output for each expression to run_experiment

  timoslater

  committed
  094e5c5

  Copy full SHA for 094e5c5

• feat(experiments): implemented experiment framework

  Show description for 5e17b4c
  bliutech

  committed
  5e17b4c

  Copy full SHA for 5e17b4c

• feat: update AST to reflect new grammar

  Show description for 52ddb53
  

  5 peoplecommitted
  52ddb53

  Copy full SHA for 52ddb53

Commits on Jul 19, 2024

• fix: regex edge case

  bliutech

  committed
  b88d1ba

  Copy full SHA for b88d1ba

• feat(experiments): add support code for running experiments

  bliutech

  committed
  b77f92f

  Copy full SHA for b77f92f

• chore: update LICENSE

  bliutech

  committed
  3658be7

  Copy full SHA for 3658be7

• fix(z3): catch edge case with regex with nested XORs

  bliutech

  committed
  da4e1e5

  Copy full SHA for da4e1e5

• feat(z3): add quick fix on parsing from z3 expressions

  Show description for 030c08d
  bliutech

  committed
  030c08d

  Copy full SHA for 030c08d

• fix(ci): update lint check

  bliutech

  committed
  3eb0b72

  Copy full SHA for 3eb0b72

• chore: add pip dependencies

  bliutech

  committed
  19a3be9

  Copy full SHA for 19a3be9

• Merge pull request #38 from bliutech/22-solver-implement-sympy-simplifier

  Show description for 56be238
  bliutech

  authored
  56be238

  Copy full SHA for 56be238

• Update sympy_pass.py

  sanjanamandadi

  authored
  ea7a540

  Copy full SHA for ea7a540

• Merge pull request #36 from bliutech/21-solver-implement-z3-simplifier

  Show description for 7b8f948
  bliutech

  authored
  7b8f948

  Copy full SHA for 7b8f948

• fix: Update z3_pass

  Show description for 597a01e
  sanjanamandadi

  authored
  597a01e

  Copy full SHA for 597a01e

• fix: add override

  timoslater

  committed
  3f8c779

  Copy full SHA for 3f8c779

• fix: remove breakponit

  timoslater

  committed
  bbeec1d

  Copy full SHA for bbeec1d

• refactor: use isinstance instead of acceptParamRet

  timoslater

  committed
  8747514

  Copy full SHA for 8747514

• Merge pull request #35 from bliutech/Utils-create-a-dictionary-decoder

  Show description for 8d4e845
  bliutech

  authored
  8d4e845

  Copy full SHA for 8d4e845

• chore: comment on test_coding.py

  bliutech

  committed
  d069e6e

  Copy full SHA for d069e6e

• fix: imports on test case for coding.py

  bliutech

  committed
  b285c07

  Copy full SHA for b285c07

• fix: some nit fixes

  bliutech

  committed
  4a8027d

  Copy full SHA for 4a8027d

• Merge branch 'main' into Utils-create-a-dictionary-decoder

  Nytro1O1

  committed
  80b9f2f

  Copy full SHA for 80b9f2f

• Merge pull request #37 from bliutech/18-utils-add-a-benchmark-to-count-the-number-of-boolean-operations

  Show description for 61bde0f
  bliutech

  authored
  61bde0f

  Copy full SHA for 61bde0f

• Update metrics.py

  bliutech

  authored
  a967a57

  Copy full SHA for a967a57

Pagination

Previous

Next