Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 8, 2025

• Update README.md

  jeremyThibault

  authored
  7a1e046

  Copy full SHA for 7a1e046

• Mention main contributors in README.md

  Show description for e849829
  

  jeremyThibault

  and

  cabate13

  authored
  e849829

  Copy full SHA for e849829

Commits on Aug 26, 2022

• Nit

  catalin-hritcu

  committed
  9ab3f8f

  Copy full SHA for 9ab3f8f

Commits on Oct 7, 2020

• Add a new criteria, variant of RSCHC

  jeremyThibault

  committed
  8b60d54

  Copy full SHA for 8b60d54

Commits on Jul 23, 2020

• Update README.md

  catalin-hritcu

  authored
  3422aa8

  Copy full SHA for 3422aa8

Commits on Apr 8, 2020

• Update _CoqProject and perform a whitespace cleanup

  jeremyThibault

  committed
  3efa660

  Copy full SHA for 3efa660

• Weaken the proj_input_merge lemma that was false

  Show description for 537675f
  jeremyThibault

  committed
  537675f

  Copy full SHA for 537675f

Commits on Apr 2, 2020

• False axiom

  catalin-hritcu

  committed
  49bf6b8

  Copy full SHA for 49bf6b8

Commits on Apr 1, 2020

• Simplify the setting of RBEP_IO_vs_State

  jeremyThibault

  committed
  dfb3de6

  Copy full SHA for dfb3de6

• merging is useful, but in direct conjunction with EE (see ndeval_merge)

  catalin-hritcu

  committed
  9dbf33c

  Copy full SHA for 9dbf33c

• Not yet convinced that merge is not a detour

  catalin-hritcu

  committed
  3ded0bc

  Copy full SHA for 3ded0bc

Commits on Mar 30, 2020

• Add a sketch of the proof of REP_State => REP_IO

  Show description for 060d2b3
  jeremyThibault

  committed
  060d2b3

  Copy full SHA for 060d2b3

• One more comment on inp_no_stutter

  catalin-hritcu

  committed
  03cd251

  Copy full SHA for 03cd251

• Also fixed steval_n and renamed things throughout

  catalin-hritcu

  committed
  f583727

  Copy full SHA for f583727

• Define our conjectures and show a few relations between them

  jeremyThibault

  committed
  054e15f

  Copy full SHA for 054e15f

Commits on Mar 26, 2020

• RBEP_IOvsState with Jeremy

  catalin-hritcu

  committed
  51a367c

  Copy full SHA for 51a367c

Commits on Mar 22, 2020

• Add interfaces to program and context types

  

  catalin-hritcu

  authored and

  jeremyThibault

  committed
  cd66a65

  Copy full SHA for cd66a65

Commits on Mar 19, 2020

• One note from meeting

  catalin-hritcu

  committed
  4fd3451

  Copy full SHA for 4fd3451

• Cleaned up RecompositionXPrefix

  catalin-hritcu

  committed
  29ad5dc

  Copy full SHA for 29ad5dc

Commits on Mar 18, 2020

• Cleaned up useless complication

  catalin-hritcu

  committed
  ecde0ec

  Copy full SHA for ecde0ec

• CP on RecompositionXPrefix

  catalin-hritcu

  committed
  21a5fba

  Copy full SHA for 21a5fba

• Some notes from the meeting

  catalin-hritcu

  committed
  2bf6c1c

  Copy full SHA for 2bf6c1c

• CP before starting the meeting

  catalin-hritcu

  committed
  e582d3e

  Copy full SHA for e582d3e

Commits on Mar 10, 2020

• Some more work on Recomposition.v for tomorrow

  catalin-hritcu

  committed
  aaf3591

  Copy full SHA for aaf3591

Commits on Mar 3, 2020

• Show a contradiction from the strong assumption used in Recomposition implies FATS proof

  Show description for 8eeeedb
  jeremyThibault

  committed
  8eeeedb

  Copy full SHA for 8eeeedb

Commits on Feb 29, 2020

• Documented a some doubts about our definitions

  catalin-hritcu

  committed
  4efefaf

  Copy full SHA for 4efefaf

Commits on Feb 28, 2020

• Merge branch 'master' of github.com:secure-compilation/exploring-robust-property-preservation

  catalin-hritcu

  committed
  c12edcf

  Copy full SHA for c12edcf

• Another way to fix this

  catalin-hritcu

  committed
  46e9243

  Copy full SHA for 46e9243

• comment on 'not_sem' in Recomposition.v

  

  Carmine Abate

  committed
  9357edf

  Copy full SHA for 9357edf

• Could prove recomposition_fats only under very strong assumption

  catalin-hritcu

  committed
  2430c8b

  Copy full SHA for 2430c8b

• Started formalizing our latest Recomposition results (almost done)

  catalin-hritcu

  committed
  2989f35

  Copy full SHA for 2989f35

Commits on May 9, 2019

• Update README.md

  catalin-hritcu

  authored
  e853e29

  Copy full SHA for e853e29

Commits on Apr 25, 2019

• Merge branch 'master' of https://github.com/secure-compilation/exploring-robust-property-preservation

  

  Carmine Abate

  committed
  0356a8d

  Copy full SHA for 0356a8d

• Definition of twoSC from Mastroeni & Pasqua SAS18

  

  Carmine Abate

  committed
  4b2f867

  Copy full SHA for 4b2f867

Commits on Feb 26, 2019

• Better names for more files

  catalin-hritcu

  committed
  0935b71

  Copy full SHA for 0935b71

Pagination

Previous

Next