Skip to content

Ben/use solang parser parse tree #30

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
BenTheKush wants to merge 206 commits into
base: master
Choose a base branch
from
Open

Ben/use solang parser parse tree #30

BenTheKush wants to merge 206 commits into from

Conversation

@BenTheKush
Copy link
Contributor

@BenTheKush BenTheKush commented Aug 1, 2023

No description provided.

BenTheKush added 30 commits May 18, 2023 11:02
@BenTheKush
Added dependency
53688d9
@BenTheKush
Temp commit: Removed AST and some initial refactors before using sola…
d51202c 
…ng parser
@BenTheKush
Reorganized things, boilerplate stuff
58078a3
@BenTheKush
Started reimplementing mutation
75c7c50
@BenTheKush
Using solang, everytrhing is broken but it compiles
79a0cd8
@BenTheKush
fix
e158f1f
@BenTheKush
Temp commit: trying to remove llvm dependency
3e3b936
@BenTheKush
ROR, some small tweaks
3c8c0f0
@BenTheKush
ROR.sol
7d3ab18
@BenTheKush
bitwise operator replacement and logical operator replacement
bd61842
@BenTheKush
Changed benchmark dir names
8972854
@BenTheKush
LVR
0cced1e
@BenTheKush
UOR
c686ec9
@BenTheKush
Typo, comments in LOR
de1a528
@BenTheKush
Commented LVR benchmark
80655be
@BenTheKush
Update traversal to handle not-equals
ba9e5b0
@BenTheKush
fixed bug in operator locations
896c8cf
@BenTheKush
Removed llvm dependency
c444d75
@BenTheKush
Removed hack from not-equals relational op after pointing to fixed so…
ee703f5 
…lang version
@BenTheKush
config-jsons
549efc1
@BenTheKush
Added nicer mutation operator names
621554d
@BenTheKush
Many updates
547c0ad
@BenTheKush
Do not delete destructure statements
c44e994
@BenTheKush
Logging
4119747
@BenTheKush
Updated solang version
f716f6f
@BenTheKush
Updated solang version (again)
e91b74b
@BenTheKush
Temp commit: got things to build again after lots of refactors
3e5085f
@BenTheKush
Logging
b3f81e8
@BenTheKush
Updated solang rev
4ceecd3
@BenTheKush
Got new paths and imports working for lor
28d1176
BenTheKush and others added 27 commits September 12, 2023 16:05
@BenTheKush
Fix regression
64e95b5
@chandrakananandi
things to clean up code
6ecf83c
@chandrakananandi
Merge branch 'ben/use-solang-parser-parse-tree' of github.com:Certora…
2c6d990 
…/gambit into ben/use-solang-parser-parse-tree
@chandrakananandi
fall back tests
010e776
@chandrakananandi
update readme
07dff72
@chandrakananandi
remove comment
d6a2e2f
@BenTheKush
Removed filenames from mutator (useless)
7207804
@BenTheKush
Merge branch 'ben/use-solang-parser-parse-tree' of https://github.com…
5e9ab9a 
…/certora/Gambit into ben/use-solang-parser-parse-tree
@BenTheKush
Fixes to README
d432eff
@BenTheKush
Fixed outdated comment
a153ef3
@BenTheKush
Renamed sol_path to vfs_path
30c7834
@BenTheKush
added note
ca50512
@BenTheKush
added comments, and return slice of generated mutants from apply_oper…
7982488 
…ators*
@BenTheKush
Fix typo
e6c8f84
@BenTheKush
readme
d3cbe31
@BenTheKush
typo
3ded860
@BenTheKush
Added warning to generate_rtd_markdown
007836c
@BenTheKush
minor fix
0075f05
@BenTheKush
Fixed internal link across two lines error, updated readme
56b0852
@BenTheKush
Fix in mutator: add diagnostics
8a77563
@BenTheKush
Some bug fixes and cleanup
f6b1042
@BenTheKush
Fixed my email
439755a
@BenTheKush
Change to generating rtd docs
d2a3043
@BenTheKush
Removed debug print from diagnostics
c019e88
@BenTheKush
Updated README
5747e0d
@BenTheKush
Updated readme
88f41da
@bkushigian
Removed hack since solang removed a bug
9782119
@samparsky
Copy link
Collaborator

samparsky commented Dec 15, 2023

@BenTheKush when do you think this will be ready? or are you planning on finishing this?

@samparsky
Copy link
Collaborator

samparsky commented Dec 15, 2023

I have made progress on integrating Gambit with Foundry you can find out the progress here

I highlighted that some changes on Gambit will make the integration much better, I listed them here #36

Please let me know what you think

@chandrakananandi chandrakananandi mentioned this pull request Mar 28, 2025
Closed
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@BenTheKush @samparsky @bkushigian @chandrakananandi