Commits

Branch selector

 msr-propgraph

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 19, 2020

• Merge branch 'live-msr-propgraph' into msr-propgraph

  thepalbi

  committed
  a0b5e1c

Commits on Sep 18, 2020

• change name to query

  garbervetsky

  committed
  0373413

Commits on Sep 17, 2020

• Merge branch 'live-msr-propgraph' into msr-propgraph

  thepalbi

  committed
  478e89a

• Adding support for results directory. Thanks @thepbalbi

  garbervetsky

  committed
  c9ed23a

• Merge branch 'live-msr-propgraph' into msr-propgraph

  thepalbi

  committed
  fcf3a22

• Merge branch 'live-msr-propgraph' into msr-propgraph

  thepalbi

  committed
  f6de2dc

• Adding support for working directory

  

  Ubuntu

  authored and

  Ubuntu

  committed
  60e23f0

Commits on Sep 14, 2020

• Setup Azure Pipelines (#2)

  thepalbi

  authored
  79b7111

Commits on Sep 12, 2020

• add more comments

  garbervetsky

  committed
  dc0fc61

• optimizing constraint generation with san-src san-snk dict

  garbervetsky

  committed
  a795b6b

• WIP: optimization of generation of flow constraints

  garbervetsky

  committed
  ed105fc

Commits on Sep 11, 2020

• WIP: Keep working of using pairs instead of triples

  garbervetsky

  committed
  79c1348

• WIP: First attempt of using paris (src,san) (san,snk) instead of triples

  garbervetsky

  committed
  02b726d

Commits on Sep 10, 2020

• Adapt floats from gurobi to decimals for codeql format

  garbervetsky

  committed
  d0d1d58

• WIP: Adding an option to analyze a list or project (individually)

  garbervetsky

  committed
  403279e

• Fixes in constraint generations

  garbervetsky

  committed
  4c86161

Commits on Sep 9, 2020

• Comments and refactors on constraint generation. Thanks @thepbalbi

  garbervetsky

  committed
  807cee5

Commits on Sep 7, 2020

• Refactoring and adding comment and loging to generateMetrics.py

  garbervetsky

  committed
  1747ab4

Commits on Sep 6, 2020

• WIP: Refactoring generateMetrics.py, adding comments

  garbervetsky

  committed
  6fd5c88

• WIP: Refactoring generateMetrics.py

  garbervetsky

  committed
  e816d1a

• small refactor to reduce repetitive code

  garbervetsky

  committed
  08b6fc1

Commits on Sep 4, 2020

• Add function for modelling the minimun ocurrences of a candidate and moving NodeRepresentation to de the TSM folder

  garbervetsky

  committed
  57868a9

Commits on Sep 3, 2020

• Merge branch 'msr-propgraph' of github.com:shuvendu-lahiri/ql into msr-propgraph

  garbervetsky

  committed
  0e907d5

• fix query name

  garbervetsky

  committed
  9dc566d

Commits on Sep 1, 2020

• minimal refactor to combineScores

  garbervetsky

  committed
  73f3049

Commits on Aug 31, 2020

• Moving PropagationGraphs to TSM folder

  garbervetsky

  committed
  d9fe3dd

• WIP: moving TSM related files to TSM folder

  garbervetsky

  committed
  548e994

• WIP: Moving TSM related files to TSM folder

  garbervetsky

  committed
  cc38368

• Merge branch 'msr-propgraph' of github.com:shuvendu-lahiri/ql into msr-propgraph

  garbervetsky

  committed
  c52c2e6

• WIP: Adding support for config.json file instead of environment variables (thanks @thepalbi)

  garbervetsky

  committed
  a9646e6

Commits on Aug 30, 2020

• Minimal reorg in Readm.md

  garbervetsky

  committed
  9f88f47

• Fix missing query_type parameter in SolverConfig. Minimal reorg in Readm.md

  garbervetsky

  committed
  7177353

Commits on Aug 29, 2020

• WIP: A new orchestator to perform end-to-end analysis (thanks @thepbalbi)

  garbervetsky

  committed
  0ff92c7

Commits on Aug 28, 2020

• minor fixes

  garbervetsky

  committed
  0f23de6

• fix minor typos/bugs

  garbervetsky

  committed
  1ba36db

Pagination

PreviousNext