profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/manasij7479/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Manasij Mukherjee manasij7479 Kolkata, India

google/souper 1663

A superoptimizer for LLVM IR

manasij7479/graph 4

Graph Library for Spider Framework

manasij7479/minlisp 3

A minimal Interpreter of a lisp-like script, written in C++.

manasij7479/pedant 2

Pedant is a clang tool for catching inconsistent identifier names in your code.

manasij7479/flake 1

OpenGL Vector Graphics Library

manasij7479/gl 1

Graphics Framework on top of OpenGL

manasij7479/llai 1

Simple abstract interpreter for LLVM IR

manasij7479/mat 1

Mathematics Library

push eventmanasij7479/souper

Martin Monperrus

commit sha ab9a314a6a078a75639e1a2d775a475ee56f1965

doc: add link to arxiv paper (#811)

view details

Manasij Mukherjee

commit sha 934244831211dde570d05c1c1dda55c264df68dc

Misc fixes to make Souper work better with SPEC 2017 (#813)

view details

Manasij Mukherjee

commit sha 30806dd344f310d6a2fbe32e1b5a2cceb0c2f31d

Keep up with alive2 API (#814)

view details

John Regehr

commit sha 1494a8b895c3b0b2a07212a23c692806ea2369ff

update to llvm 12, update to latest Z3, fixup fragile tests (#815)

view details

John Regehr

commit sha 02a10f27c46171a2ccc3492aab2e19f57c3cc96c

Remove references to master (#816) * update to llvm 12, update to latest Z3, fixup fragile tests * remove references to master branch

view details

John Regehr

commit sha 7eabcbf5a4c49c60fc23fc5601467c76afe522e9

use llvm-mca as a cost model -- this implements that, but the work is unfinished and it isn't used anywhere, still work to do (#816)

view details

John Regehr

commit sha a1fb8922f6310444d3d0bd3b3d6208df0a1a48f4

remove go stuff (#818)

view details

Zhengyang Liu

commit sha 3a7aa1a107746f43c9b586c8bd1c524c9b117583

GCC compiled Souper failed to synthsize constants for some range synthesis tests within 30 Tries, Use MaxTries=60 for those tests (#819)

view details

Zhengyang Liu

commit sha 28c88d882e8b19a43e36698102a8bda0a478eb61

cleanup dockerfile (#820)

view details

Manasij Mukherjee

commit sha 08bd23c2d467189a116815b4b1092fb4b3e7b4e6

Switch to using assume for encoding PCs (#822)

view details

John Regehr

commit sha 081d878eafd66d8fbab74c6e6def062a06187a41

fix issue 821 (#823)

view details

Manasij Mukherjee

commit sha e888ac146519c249e1ef8c1183958d68febfd792

Increase alive2 solver timeout to a minute (#826)

view details

John Regehr

commit sha 8220bdf3fe87c4f39aa424b85a76689902b22377

a few random cleanups (#825)

view details

John Regehr

commit sha 1af29166cd70aa802bca98d3f0611d24f05d1678

oops, didn't notice a problem caused by hiredis bump (#828)

view details

Manasij Mukherjee

commit sha 0bb88f25fa083fd914dca682d6c195d554ae43e5

Make constant shrinking optional, defaulting to false (#827)

view details

John Regehr

commit sha ac139a23694817bb50ffcb80d4e74f536d9c9429

new verison of patched LLVM 12 and Z3 (#829)

view details

Manasij Mukherjee

commit sha 73ca4ad685297f9f0e44fe6af48e253df3fd8047

Mask out not-demanded bits for concrete interpreter (#830)

view details

Manasij Mukherjee

commit sha 6cc0615c16cd6c200d50b70aec799584c8071aee

Generalization tool

view details

Manasij Mukherjee

commit sha a098f3cf969c904b68efa6bc4a456465ccb92c30

temp

view details

Manasij Mukherjee

commit sha 4b785dbd2ace8229a19506e476a874a18fa3b251

foo

view details

push time in 6 days

PR closed google/souper

Native Z3 interface

*.with.overflow encoding seems mysteriously broken. Other things work, and is about 20-30% faster than our klee+smtlib interface. Don't merge yet.

+961 -168

19 comments

10 changed files

manasij7479

pr closed time in 13 days

pull request commentgoogle/souper

Native Z3 interface

See the newer PR

manasij7479

comment created time in 13 days

PR opened google/souper

In-process Z3 interface
+1328 -181

0 comment

13 changed files

pr created time in 13 days

create barnchmanasij7479/souper

branch : z3model

created branch time in 13 days

push eventmanasij7479/souper

Manasij Mukherjee

commit sha ad9b07ca0e9c7892e91cca8d692a69e60191a32f

foo

view details

push time in 14 days

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 174e9515a8e1431d09332a00b5b68f51f62153a3

foo

view details

push time in 2 months

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 9e7445478315a2dcda01de13ee7d4a107240ae25

foo

view details

push time in 2 months

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 40a5d8ea66c72fab322411125e7fbf7d803b830e

foo

view details

push time in 2 months

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 8f47e109be65d8a617bae815e056e03c4d950e73

foo

view details

push time in 2 months

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 3b2b8e98e88c65a81d9a4f057b469b5dcbb562ab

foo

view details

push time in 2 months

push eventmanasij7479/souper

Manasij Mukherjee

commit sha 7ae4ad3da972f52457c470932fc50aefa1cd6379

foo

view details

push time in 2 months

create barnchmanasij7479/souper

branch : biasing

created branch time in 2 months