Code

Ben/use solang parser parse tree#30

Code

Open

BenTheKush wants to merge 206 commits intomasterCertora/gambit:masterfrom ben/use-solang-parser-parse-treeCertora/gambit:ben/use-solang-parser-parse-treeCopy head branch name to clipboard

+28,375-54,517

Commits

Commits on May 18, 2023

• Added dependency

  BenTheKush

  committed
  53688d9

  Copy full SHA for 53688d9

• Temp commit: Removed AST and some initial refactors before using solang parser

  BenTheKush

  committed
  d51202c

  Copy full SHA for d51202c

• Reorganized things, boilerplate stuff

  BenTheKush

  committed
  58078a3

  Copy full SHA for 58078a3

• Started reimplementing mutation

  BenTheKush

  committed
  75c7c50

  Copy full SHA for 75c7c50

Commits on May 27, 2023

• Using solang, everytrhing is broken but it compiles

  BenTheKush

  committed
  79a0cd8

  Copy full SHA for 79a0cd8

• fix

  BenTheKush

  committed
  e158f1f

  Copy full SHA for e158f1f

Commits on May 29, 2023

• Temp commit: trying to remove llvm dependency

  BenTheKush

  committed
  3e3b936

  Copy full SHA for 3e3b936

Commits on May 30, 2023

• ROR, some small tweaks

  BenTheKush

  committed
  3c8c0f0

  Copy full SHA for 3c8c0f0

• ROR.sol

  BenTheKush

  committed
  7d3ab18

  Copy full SHA for 7d3ab18

• bitwise operator replacement and logical operator replacement

  BenTheKush

  committed
  bd61842

  Copy full SHA for bd61842

• Changed benchmark dir names

  BenTheKush

  committed
  8972854

  Copy full SHA for 8972854

Commits on May 31, 2023

• LVR

  BenTheKush

  committed
  0cced1e

  Copy full SHA for 0cced1e

• UOR

  BenTheKush

  committed
  c686ec9

  Copy full SHA for c686ec9

• Typo, comments in LOR

  BenTheKush

  committed
  de1a528

  Copy full SHA for de1a528

• Commented LVR benchmark

  BenTheKush

  committed
  80655be

  Copy full SHA for 80655be

• Update traversal to handle not-equals

  BenTheKush

  committed
  ba9e5b0

  Copy full SHA for ba9e5b0

Commits on Jun 1, 2023

• fixed bug in operator locations

  BenTheKush

  committed
  896c8cf

  Copy full SHA for 896c8cf

Commits on Jun 5, 2023

• Removed llvm dependency

  BenTheKush

  committed
  c444d75

  Copy full SHA for c444d75

• Removed hack from not-equals relational op after pointing to fixed solang version

  BenTheKush

  committed
  ee703f5

  Copy full SHA for ee703f5

• config-jsons

  BenTheKush

  committed
  549efc1

  Copy full SHA for 549efc1

• Added nicer mutation operator names

  BenTheKush

  committed
  621554d

  Copy full SHA for 621554d

Commits on Jun 6, 2023

• Many updates

  BenTheKush

  committed
  547c0ad

  Copy full SHA for 547c0ad

• Do not delete destructure statements

  BenTheKush

  committed
  c44e994

  Copy full SHA for c44e994

Commits on Jun 28, 2023

• Logging

  BenTheKush

  committed
  4119747

  Copy full SHA for 4119747

• Updated solang version

  BenTheKush

  committed
  f716f6f

  Copy full SHA for f716f6f

Commits on Jun 29, 2023

• Updated solang version (again)

  BenTheKush

  committed
  e91b74b

  Copy full SHA for e91b74b

Commits on Jun 30, 2023

• Temp commit: got things to build again after lots of refactors

  BenTheKush

  committed
  3e5085f

  Copy full SHA for 3e5085f

Commits on Jul 10, 2023

• Logging

  BenTheKush

  committed
  b3f81e8

  Copy full SHA for b3f81e8

Commits on Jul 14, 2023

• Updated solang rev

  BenTheKush

  committed
  4ceecd3

  Copy full SHA for 4ceecd3

Commits on Jul 18, 2023

• Got new paths and imports working for lor

  BenTheKush

  committed
  28d1176

  Copy full SHA for 28d1176

• Removed dumb comment

  BenTheKush

  committed
  d884f5e

  Copy full SHA for d884f5e

• Simplified implementation of JSON parsing

  BenTheKush

  committed
  983222c

  Copy full SHA for 983222c

• Reorganized so logging is in block

  BenTheKush

  committed
  20fbcd4

  Copy full SHA for 20fbcd4

• Removed print statemnts

  BenTheKush

  committed
  2209314

  Copy full SHA for 2209314

• Changed logging levels

  BenTheKush

  committed
  0abee98

  Copy full SHA for 0abee98

• Comment

  BenTheKush

  committed
  c2e6974

  Copy full SHA for c2e6974

Commits on Jul 19, 2023

• Fixed mutation operator expansion, suppressed debug

  BenTheKush

  committed
  f71519b

  Copy full SHA for f71519b

• Updated aor.json

  BenTheKush

  committed
  d9be1e0

  Copy full SHA for d9be1e0

Commits on Jul 24, 2023

• Bug fix in conf file basepath

  BenTheKush

  committed
  960ae54

  Copy full SHA for 960ae54

Commits on Jul 26, 2023

• Updated tests to match new impl

  BenTheKush

  committed
  6672d47

  Copy full SHA for 6672d47

• Cleaned up mutation ops, renamed elimdelmutation to elimdelcall

  BenTheKush

  committed
  097202a

  Copy full SHA for 097202a

• Reorg of benchmarks (tmp commit)

  BenTheKush

  committed
  0ac76ba

  Copy full SHA for 0ac76ba

• Better error message on bad file path

  BenTheKush

  committed
  343da73

  Copy full SHA for 343da73

• operator config jsons working

  BenTheKush

  committed
  5252edc

  Copy full SHA for 5252edc

• updated multiple-contracts configs

  BenTheKush

  committed
  c4e6a88

  Copy full SHA for c4e6a88

• Reorganized configs

  BenTheKush

  committed
  62175cd

  Copy full SHA for 62175cd

• Updated regressions

  BenTheKush

  committed
  8c6730b

  Copy full SHA for 8c6730b

• Fixed bug in benchmarks

  BenTheKush

  committed
  5d77798

  Copy full SHA for 5d77798

• Updated regressions

  BenTheKush

  committed
  b003096

  Copy full SHA for b003096

• Updated regressions

  BenTheKush

  committed
  223cd37

  Copy full SHA for 223cd37

• Fixed bugt in make_regressions

  BenTheKush

  committed
  c3e6a8a

  Copy full SHA for c3e6a8a

• Updated version to 1.0.0

  BenTheKush

  committed
  1172a4b

  Copy full SHA for 1172a4b

Commits on Jul 28, 2023

• Updated cli with deprecations, cleanre filename invocation

  BenTheKush

  committed
  82d0637

  Copy full SHA for 82d0637

• Newer solang version

  BenTheKush

  committed
  26d22dc

  Copy full SHA for 26d22dc

• Refactored main function

  BenTheKush

  committed
  1774302

  Copy full SHA for 1774302

• Updated confs with snake_case

  BenTheKush

  committed
  4125b0e

  Copy full SHA for 4125b0e

• Fixed import_path bug

  BenTheKush

  committed
  87cc081

  Copy full SHA for 87cc081

• modified validation to only use solc values, not manually specified args

  BenTheKush

  committed
  be23351

  Copy full SHA for be23351

• Deprecate, fixes to cli, fix test

  BenTheKush

  committed
  2bb2ec9

  Copy full SHA for 2bb2ec9

• Updated run_regressions.sh and make_regressions.sh

  BenTheKush

  committed
  ff8df9c

  Copy full SHA for ff8df9c

Commits on Jul 29, 2023

• Temp Commit

  Show description for 34d598a
  BenTheKush

  committed
  34d598a

  Copy full SHA for 34d598a

Commits on Jul 31, 2023

• Cleaned up some unused args

  BenTheKush

  committed
  db698c7

  Copy full SHA for db698c7

• Fix bug in remapping, solc building

  BenTheKush

  committed
  08f3a18

  Copy full SHA for 08f3a18

• Regenerated regressions with fix

  BenTheKush

  committed
  f77ba05

  Copy full SHA for f77ba05

• Created new tests, added to regressions

  BenTheKush

  committed
  7205d45

  Copy full SHA for 7205d45

Commits on Aug 1, 2023

• Added regression test for no exports

  BenTheKush

  committed
  c1c1ece

  Copy full SHA for c1c1ece

• pass-through arguments

  BenTheKush

  committed
  0572fee

  Copy full SHA for 0572fee

• removed unused import

  BenTheKush

  committed
  49b2a6b

  Copy full SHA for 49b2a6b

• regression test

  BenTheKush

  committed
  f61212d

  Copy full SHA for f61212d

• Depracated sourceroot

  BenTheKush

  committed
  83d4c38

  Copy full SHA for 83d4c38

Commits on Aug 2, 2023

• Removed todo!()

  BenTheKush

  committed
  0e31516

  Copy full SHA for 0e31516

• Fixed diff bug (line off by 1)

  BenTheKush

  committed
  e8a89cc

  Copy full SHA for e8a89cc

• Updated regressions after bug fix

  BenTheKush

  committed
  49cc3ff

  Copy full SHA for 49cc3ff

• Removed sourceroot from outputs

  BenTheKush

  committed
  eb114e0

  Copy full SHA for eb114e0

• Updated make_regressions and deleted unused script

  BenTheKush

  committed
  74be1bd

  Copy full SHA for 74be1bd

Commits on Aug 3, 2023

• Removed some printlns

  BenTheKush

  committed
  e1a14aa

  Copy full SHA for e1a14aa

• Improved regression outputs

  BenTheKush

  committed
  31e013c

  Copy full SHA for 31e013c

• Suppress shellcheck warnings

  BenTheKush

  committed
  721dd44

  Copy full SHA for 721dd44

• Fixed bug in AOR

  BenTheKush

  committed
  bc3bffc

  Copy full SHA for bc3bffc

• Improved run_regressions output

  BenTheKush

  committed
  3b0e579

  Copy full SHA for 3b0e579

• Update regressions

  BenTheKush

  committed
  5694adb

  Copy full SHA for 5694adb

Commits on Aug 4, 2023

• Added fallback operators and fixed bug

  BenTheKush

  committed
  b6eccbc

  Copy full SHA for b6eccbc

Commits on Aug 5, 2023

• EVR (first pass, still buggy)

  BenTheKush

  committed
  de60254

  Copy full SHA for de60254

• Added regression tests for EVR (double check these!)

  BenTheKush

  committed
  7b967c8

  Copy full SHA for 7b967c8

• BIG COMMIT: lots of changes to src and regressions

  BenTheKush

  committed
  4d084da

  Copy full SHA for 4d084da

• Improvements to summary

  BenTheKush

  committed
  fd110fd

  Copy full SHA for fd110fd

• Fix line/col bug and report in gambit_results.json

  BenTheKush

  committed
  76f934d

  Copy full SHA for 76f934d

• Regenerate regressions

  BenTheKush

  committed
  6d76c02

  Copy full SHA for 6d76c02

• Print error message instead of log

  BenTheKush

  committed
  67d1008

  Copy full SHA for 67d1008

• Updated summary

  BenTheKush

  committed
  1ca08b6

  Copy full SHA for 1ca08b6

Commits on Aug 8, 2023

• Updates

  BenTheKush

  committed
  51fef5b

  Copy full SHA for 51fef5b

• Reran regressions with updates

  BenTheKush

  committed
  f00d8a1

  Copy full SHA for f00d8a1

• Added evr and mutation ops as an experimental feature, and improved deprecation warning printing

  BenTheKush

  committed
  cdd5a2a

  Copy full SHA for cdd5a2a

• Updated regressions

  BenTheKush

  committed
  f28be6c

  Copy full SHA for f28be6c

• Removed EVR from default mutations

  BenTheKush

  committed
  9d06701

  Copy full SHA for 9d06701

Commits on Aug 10, 2023

• Fix some cli stuff

  BenTheKush

  committed
  60ab6f1

  Copy full SHA for 60ab6f1

• Made gambit summary experimental

  BenTheKush

  committed
  903d354

  Copy full SHA for 903d354

Commits on Aug 11, 2023

• Updated test to match updates to mutation ops

  BenTheKush

  committed
  eae3d5b

  Copy full SHA for eae3d5b

• Finished merge

  BenTheKush

  committed
  3cd0e44

  Copy full SHA for 3cd0e44

• Fix merge

  BenTheKush

  committed
  fa6c0a9

  Copy full SHA for fa6c0a9

• Fixes

  BenTheKush

  committed
  2d9ef4b

  Copy full SHA for 2d9ef4b

Commits on Aug 16, 2023

• Fix cli names

  BenTheKush

  committed
  ebb4c1e

  Copy full SHA for ebb4c1e

Commits on Aug 28, 2023

• Added a mutate_function fn to mutation

  BenTheKush

  committed
  6fafe88

  Copy full SHA for 6fafe88

• Updated warning, added benchmark

  BenTheKush

  committed
  98aa765

  Copy full SHA for 98aa765

• Work around to solang import resolution bug

  BenTheKush

  committed
  4ee1b6b

  Copy full SHA for 4ee1b6b

• added better error messages

  BenTheKush

  committed
  d1311c6

  Copy full SHA for d1311c6

• Added broken configuration jsons

  BenTheKush

  committed
  8774fd9

  Copy full SHA for 8774fd9

• Added regressions

  BenTheKush

  committed
  69269b6

  Copy full SHA for 69269b6

Commits on Aug 30, 2023

• Removed stray file

  BenTheKush

  committed
  48b9137

  Copy full SHA for 48b9137

• Prettified output

  BenTheKush

  committed
  3aa784a

  Copy full SHA for 3aa784a

• Fixed small bug

  BenTheKush

  committed
  d7146a0

  Copy full SHA for d7146a0

Commits on Aug 31, 2023

• Updated to point at solang PR, fixed some breakages, fixed clippy warnings

  BenTheKush

  committed
  cf24610

  Copy full SHA for cf24610

Commits on Sep 6, 2023

• Some readme fixes

  BenTheKush

  committed
  446344f

  Copy full SHA for 446344f

• Updated README

  BenTheKush

  committed
  b2b0fa6

  Copy full SHA for b2b0fa6

Commits on Sep 7, 2023

• Updated readme

  BenTheKush

  committed
  9acc90e

  Copy full SHA for 9acc90e

• Added a script to generate rtd docs

  BenTheKush

  committed
  06638e5

  Copy full SHA for 06638e5

• Updated CI

  BenTheKush

  committed
  53f1627

  Copy full SHA for 53f1627

• Updated README and added scripts for synching w/ RTD

  BenTheKush

  committed
  5d40c54

  Copy full SHA for 5d40c54

• Merge branch 'master' into fix_readme

  BenTheKush

  committed
  6f6fa97

  Copy full SHA for 6f6fa97

• Fix ci

  BenTheKush

  committed
  dec736d

  Copy full SHA for dec736d

• Testing c

  BenTheKush

  committed
  fffccee

  Copy full SHA for fffccee

• Updated CI to point documentation checking to master

  BenTheKush

  committed
  a17fe27

  Copy full SHA for a17fe27

Commits on Sep 8, 2023

• Merge branch 'fix_readme' into ben/use-solang-parser-parse-tree

  BenTheKush

  committed
  365e969

  Copy full SHA for 365e969

• Moved warnings to above header

  BenTheKush

  committed
  6273b89

  Copy full SHA for 6273b89

• Fix bug

  BenTheKush

  committed
  3d77a53

  Copy full SHA for 3d77a53

• Updated: changed to compare actual contents, no checksum

  BenTheKush

  committed
  e205014

  Copy full SHA for e205014

• Updated README

  BenTheKush

  committed
  768e245

  Copy full SHA for 768e245

• Fixed bugs

  BenTheKush

  committed
  23cfcf5

  Copy full SHA for 23cfcf5

Commits on Sep 9, 2023

• tmp commit: modified readme

  BenTheKush

  committed
  db98acd

  Copy full SHA for db98acd

• tmp commit: updates to README

  BenTheKush

  committed
  fc60e2d

  Copy full SHA for fc60e2d

• Fixed readme translation syntax, updates to readme

  BenTheKush

  committed
  e367303

  Copy full SHA for e367303

• Fix

  BenTheKush

  committed
  875b8c6

  Copy full SHA for 875b8c6

• Typo

  BenTheKush

  committed
  562c608

  Copy full SHA for 562c608

• Typo

  BenTheKush

  committed
  472dd16

  Copy full SHA for 472dd16

• Small update

  BenTheKush

  committed
  a0d6b3c

  Copy full SHA for a0d6b3c

• Small updates to README

  BenTheKush

  committed
  af995ae

  Copy full SHA for af995ae

• Improved doc checks

  BenTheKush

  committed
  852a6b9

  Copy full SHA for 852a6b9

• workflow

  BenTheKush

  committed
  e4b8b73

  Copy full SHA for e4b8b73

• Fixes

  BenTheKush

  committed
  51623b6

  Copy full SHA for 51623b6

• Fix bug

  BenTheKush

  committed
  44831a9

  Copy full SHA for 44831a9

• Pulled in updates to README preamble from fix_readme branch

  BenTheKush

  committed
  78e4300

  Copy full SHA for 78e4300

• Fixed scripts (pulled changes from fix_readme)

  BenTheKush

  committed
  5bbb07f

  Copy full SHA for 5bbb07f

• Updates to README

  BenTheKush

  committed
  f9de058

  Copy full SHA for f9de058

Commits on Sep 10, 2023

• Updated README

  BenTheKush

  committed
  05247e5

  Copy full SHA for 05247e5

• Merged changes from fix_readme

  BenTheKush

  committed
  32457a1

  Copy full SHA for 32457a1

• merge again, first time didn't take

  BenTheKush

  committed
  81fca94

  Copy full SHA for 81fca94

• tmp commit

  BenTheKush

  committed
  9b81ad7

  Copy full SHA for 9b81ad7

• README

  bkushigian

  committed
  39619d8

  Copy full SHA for 39619d8

• README

  bkushigian

  committed
  36ad3d2

  Copy full SHA for 36ad3d2

• README

  bkushigian

  committed
  e349124

  Copy full SHA for e349124

• README

  bkushigian

  committed
  ea407e2

  Copy full SHA for ea407e2

• README

  bkushigian

  committed
  497fe4f

  Copy full SHA for 497fe4f

• Removed examples from README

  bkushigian

  committed
  4caf735

  Copy full SHA for 4caf735

Commits on Sep 11, 2023

• Updated CLI to --import_maps and --import_paths

  bkushigian

  committed
  e205525

  Copy full SHA for e205525

• Updated Rust docs to say --import_paths --import_maps

  BenTheKush

  committed
  0927a79

  Copy full SHA for 0927a79

• README

  BenTheKush

  committed
  688051e

  Copy full SHA for 688051e

• Reorder, bug fix

  BenTheKush

  committed
  311ad06

  Copy full SHA for 311ad06

• Updated regressions after fixing/modifying mutation operators

  BenTheKush

  committed
  c5303ab

  Copy full SHA for c5303ab

• nits

  chandrakananandi

  committed
  c20ad99

  Copy full SHA for c20ad99

Commits on Sep 12, 2023

• Refactor main to modularize warnings

  BenTheKush

  committed
  422926a

  Copy full SHA for 422926a

• Added warnings about deprecated mutate params

  BenTheKush

  committed
  110a021

  Copy full SHA for 110a021

• comment

  BenTheKush

  committed
  dc30fc4

  Copy full SHA for dc30fc4

• comments

  BenTheKush

  committed
  a9c74b9

  Copy full SHA for a9c74b9

• minor nit

  chandrakananandi

  committed
  c7afc9f

  Copy full SHA for c7afc9f

• Cleaned up a thing

  BenTheKush

  committed
  b546868

  Copy full SHA for b546868

• Removed buggy log statement

  BenTheKush

  committed
  f935fdb

  Copy full SHA for f935fdb

• STUFF

  BenTheKush

  committed
  3f73905

  Copy full SHA for 3f73905

• solc is a passthrough arg

  BenTheKush

  committed
  fc99e68

  Copy full SHA for fc99e68

• Fix contract/function filtering regression

  BenTheKush

  committed
  1c44c7e

  Copy full SHA for 1c44c7e

• Changed python to python3

  BenTheKush

  committed
  d15dfdc

  Copy full SHA for d15dfdc

• print gambit_executable instead of gambit

  BenTheKush

  committed
  e0facd0

  Copy full SHA for e0facd0

• sol patch

  BenTheKush

  committed
  aba1c8e

  Copy full SHA for aba1c8e

• updated regressions

  chandrakananandi

  committed
  98c133e

  Copy full SHA for 98c133e

• Fixed invalid.log output path (not absolute anymore)

  BenTheKush

  committed
  1d58b41

  Copy full SHA for 1d58b41

• Added solc version

  BenTheKush

  committed
  33e2945

  Copy full SHA for 33e2945

• Unshot my self in the foot

  BenTheKush

  committed
  3e4732c

  Copy full SHA for 3e4732c

• update the regressions again

  chandrakananandi

  committed
  6554d3a

  Copy full SHA for 6554d3a

• readme

  BenTheKush

  committed
  b3a1ddb

  Copy full SHA for b3a1ddb

• Fixed some comments

  BenTheKush

  committed
  251e149

  Copy full SHA for 251e149

• Fix regression

  BenTheKush

  committed
  64e95b5

  Copy full SHA for 64e95b5

• things to clean up code

  chandrakananandi

  committed
  6ecf83c

  Copy full SHA for 6ecf83c

• Merge branch 'ben/use-solang-parser-parse-tree' of github.com:Certora/gambit into ben/use-solang-parser-parse-tree

  chandrakananandi

  committed
  2c6d990

  Copy full SHA for 2c6d990

• fall back tests

  chandrakananandi

  committed
  010e776

  Copy full SHA for 010e776

• update readme

  chandrakananandi

  committed
  07dff72

  Copy full SHA for 07dff72

• remove comment

  chandrakananandi

  committed
  d6a2e2f

  Copy full SHA for d6a2e2f

Commits on Sep 13, 2023

• Removed filenames from mutator (useless)

  BenTheKush

  committed
  7207804

  Copy full SHA for 7207804

• Merge branch 'ben/use-solang-parser-parse-tree' of https://github.com/certora/Gambit into ben/use-solang-parser-parse-tree

  BenTheKush

  committed
  5e9ab9a

  Copy full SHA for 5e9ab9a

• Fixes to README

  BenTheKush

  committed
  d432eff

  Copy full SHA for d432eff

• Fixed outdated comment

  BenTheKush

  committed
  a153ef3

  Copy full SHA for a153ef3

• Renamed sol_path to vfs_path

  BenTheKush

  committed
  30c7834

  Copy full SHA for 30c7834

• added note

  BenTheKush

  committed
  ca50512

  Copy full SHA for ca50512

• added comments, and return slice of generated mutants from apply_operators*

  BenTheKush

  committed
  7982488

  Copy full SHA for 7982488

• Fix typo

  BenTheKush

  committed
  e6c8f84

  Copy full SHA for e6c8f84

• readme

  BenTheKush

  committed
  d3cbe31

  Copy full SHA for d3cbe31

• typo

  BenTheKush

  committed
  3ded860

  Copy full SHA for 3ded860

• Added warning to generate_rtd_markdown

  BenTheKush

  committed
  007836c

  Copy full SHA for 007836c

• minor fix

  BenTheKush

  committed
  0075f05

  Copy full SHA for 0075f05

• Fixed internal link across two lines error, updated readme

  BenTheKush

  committed
  56b0852

  Copy full SHA for 56b0852

Commits on Sep 14, 2023

• Fix in mutator: add diagnostics

  BenTheKush

  committed
  8a77563

  Copy full SHA for 8a77563

• Some bug fixes and cleanup

  BenTheKush

  committed
  f6b1042

  Copy full SHA for f6b1042

• Fixed my email

  BenTheKush

  committed
  439755a

  Copy full SHA for 439755a

• Change to generating rtd docs

  BenTheKush

  committed
  d2a3043

  Copy full SHA for d2a3043

• Removed debug print from diagnostics

  BenTheKush

  committed
  c019e88

  Copy full SHA for c019e88

• Updated README

  BenTheKush

  committed
  5747e0d

  Copy full SHA for 5747e0d

• Updated readme

  BenTheKush

  committed
  88f41da

  Copy full SHA for 88f41da

Commits on Sep 15, 2023

• Removed hack since solang removed a bug

  bkushigian

  committed
  9782119

  Copy full SHA for 9782119