Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 22, 2023

• Link to new version of Binsec/Rel!

  

  Lesly-Ann

  committedSep 22, 2023
  8f4dd2a

Commits on Jan 31, 2023

• [relse] Handle asserts

  Lesly-Ann

  committedJan 31, 2023
  2297928

Commits on Jan 30, 2023

• [disasm] dhunk substitution address is now a binary loc (credit to Frederic Recoules)

  Lesly-Ann

  committedJan 30, 2023
  eb98041

Commits on Jan 27, 2023

• Add special case in loader for .tbss

  Lesly-Ann

  committedJan 27, 2023
  5abcaa0

Commits on Jan 25, 2023

• cleaning

  Lesly-Ann

  committedJan 25, 2023
  af67962

• Fix indirect call with ESP

  Lesly-Ann

  committedJan 25, 2023
  b49fa18

Commits on Jun 16, 2022

• Merge branch 'master' of github.com:binsec/Rel

  Lesly-Ann

  committedJun 16, 2022
  73d3234

• Fix compilation with latest 'menhir' version

  Lesly-Ann

  committedJun 16, 2022
  f2801a7

• Merge pull request #3 from JoaoDDuarte/master

  

  Lesly-Ann

  committedJun 16, 2022
  cb07f9b

Commits on Jun 13, 2022

• Added yojson <2.0.0 dep

  

  Joao Duarte

  committedJun 13, 2022
  0a91844

Commits on May 30, 2022

• Fix labels in result csv

  Lesly-Ann

  committedMay 30, 2022
  34486de

Commits on Feb 25, 2022

• Fix opam dependencies

  

  LeslyAnn

  committedFeb 25, 2022
  2e2e41d

Commits on Dec 9, 2021

• Update readme with new build instructions

  

  LeslyAnn

  committedDec 9, 2021
  314dc6a

• Merge branch 'relse/thumb'

  

  LeslyAnn

  committedDec 9, 2021
  20b7865

• fix generated files

  recoules

  committedDec 9, 2021
  ed694cc

• Merge branch 'relse/thumb'

  

  LeslyAnn

  committedDec 9, 2021
  ecf215e

• Add __build to gitignore

  

  LeslyAnn

  committedDec 9, 2021
  c25fd26

Commits on Dec 8, 2021

• [repo] deep cleaning + dune

  recoules

  committedDec 8, 2021
  72ec67a

• [disasm] add support for Arm/Thumb

  recoules

  committedDec 8, 2021
  8f38df0

• Update Readme.md

  

  Lesly-Ann

  authored and

  recoules

  committedDec 8, 2021
  e339db7

Commits on Dec 2, 2021

• Merge branch 'master' of github.com:binsec/Rel

  

  LeslyAnn

  committedDec 2, 2021
  073a771

• Count conditional jumps

  

  LeslyAnn

  committedDec 2, 2021
  3eca0ea

• Fix what is considered a conditional jump (because of ARM).

  

  LeslyAnn

  committedDec 2, 2021
  76c7fd3

Commits on Dec 1, 2021

• Fix end of main address

  

  LeslyAnn

  committedDec 1, 2021
  efa2d9e

Commits on Nov 24, 2021

• Update Readme.md

  

  Lesly-Ann

  committedNov 24, 2021
  6a51a30

Commits on Jul 5, 2021

• Fix old command line argument for boolector

  

  Lesly-Ann Daniel

  committedJul 5, 2021
  6e27019

Commits on Jun 23, 2021

• Fix typo

  

  LeslyAnn

  committedJun 23, 2021
  126124f

• Add documentation

  

  LeslyAnn

  committedJun 23, 2021
  96778dd

Commits on May 8, 2021

• Update Readme

  

  LeslyAnn

  committedMay 8, 2021
  3da4eaf

• Add support for secret-erasure

  

  LeslyAnn

  committedMay 8, 2021
  ba54581

Commits on Nov 24, 2020

• Update Readme.md

  michaelmarcozzi

  committedNov 24, 2020
  a7cd873

Commits on Oct 8, 2020

• Add docker instructions to the Readme

  

  Lesly-Ann

  committedOct 8, 2020
  eb4b07b

Commits on Oct 2, 2020

• Add reference to benchmarks

  

  Lesly-Ann Daniel

  committedOct 2, 2020
  8a8a08c

• Change name of option to activate the relational store

  

  Lesly-Ann Daniel

  committedOct 2, 2020
  b8a3fef

Commits on Sep 27, 2020

• Merge branch 'master' of github.com:binsec/Rel into master

  

  Lesly-Ann Daniel

  committedSep 27, 2020
  093c8e6

Pagination

PreviousNext