Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 20, 2021

• Create LICENSE

  heryxpc

  authored
  45c9c61

  Copy full SHA for 45c9c61

Commits on Sep 6, 2015

• Updated README instructions for scripts

  

  Hector Eryx Paredes Camacho

  committed
  c7bdb22

  Copy full SHA for c7bdb22

• renamed all experiment's directories names

  

  Hector Eryx Paredes Camacho

  committed
  338d072

  Copy full SHA for 338d072

• Push with latest version

  

  Hector Eryx Paredes Camacho

  committed
  86dd442

  Copy full SHA for 86dd442

Commits on Aug 20, 2015

• Full lifecycle of ABS and BMC automated

  

  Hector Eryx Paredes Camacho

  committed
  befab42

  Copy full SHA for befab42

Commits on Aug 19, 2015

• New version of prototype. Including transform definition for paga2pyc and pyc to cbmc

  

  Hector Eryx Paredes Camacho

  committed
  bb0806e

  Copy full SHA for bb0806e

Commits on Aug 18, 2015

• Added tests with CSeq and PIPS

  

  Hector Eryx Paredes Camacho

  committed
  330dbbb

  Copy full SHA for 330dbbb

Commits on Aug 14, 2015

• Testing input/output file format

  

  Hector Eryx Paredes Camacho

  committed
  bb5b20c

  Copy full SHA for bb5b20c

• Reading arguments from command line

  

  Hector Eryx Paredes Camacho

  committed
  beb4284

  Copy full SHA for beb4284

Commits on Aug 10, 2015

• Added design modules of alpha version

  

  Hector Eryx Paredes Camacho

  committed
  5ab9c13

  Copy full SHA for 5ab9c13

• Latest beta code, auto insert assertation

  

  Hector Eryx Paredes Camacho

  committed
  b73907d

  Copy full SHA for b73907d

Commits on Aug 4, 2015

• _CPROVER_assume added after loops

  

  Hector Eryx Paredes Camacho

  committed
  a2ab94c

  Copy full SHA for a2ab94c

• Added prototype beta version

  

  Hector Eryx Paredes Camacho

  committed
  f2672d6

  Copy full SHA for f2672d6

Commits on Jul 31, 2015

• Added test4 with frama-c value analysis results

  

  Hector Eryx Paredes Camacho

  committed
  fb7fea0

  Copy full SHA for fb7fea0

Commits on Jul 26, 2015

• Added results from loop-invgen tests

  

  Hector Eryx Paredes Camacho

  committed
  504cf3b

  Copy full SHA for 504cf3b

Commits on Jul 19, 2015

• Added tests with CBMC

  

  Hector Eryx Paredes Camacho

  committed
  5f68d77

  Copy full SHA for 5f68d77

Commits on Jul 14, 2015

• Reformatted the README.md

  

  Hector Eryx Paredes Camacho

  committed
  ebc0fc0

  Copy full SHA for ebc0fc0

• Reformatted the README.md

  

  Hector Eryx Paredes Camacho

  committed
  fa82eee

  Copy full SHA for fa82eee

• Reformatted the README.md whit lists

  

  Hector Eryx Paredes Camacho

  committed
  d20496b

  Copy full SHA for d20496b

• Reformatted the README.md

  

  Hector Eryx Paredes Camacho

  committed
  5a00daf

  Copy full SHA for 5a00daf

• Formatted the README.md

  

  Hector Eryx Paredes Camacho

  committed
  c336132

  Copy full SHA for c336132

• Added prototype 0.1 and results from unit tests on July 13rd 2015

  

  Hector Eryx Paredes Camacho

  committed
  19c8b88

  Copy full SHA for 19c8b88

• Initial commit

  heryxpc

  committed
  a9737b5

  Copy full SHA for a9737b5