Commits

Branch selector

 native-dev-par

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 25, 2024

• updated the help description

  gaperez64

  committed
  a455607

  Copy full SHA for a455607

Commits on Jul 22, 2020

• made build script slightly more explicit

  gaperez64

  committed
  a921106

  Copy full SHA for a921106

Commits on May 29, 2020

• Update README.md

  gaperez64

  authored
  a011764

  Copy full SHA for a011764

• Update README.md

  gaperez64

  authored
  9c28ba3

  Copy full SHA for 9c28ba3

Commits on Mar 29, 2020

• fixed order dependency

  gaperez64

  committed
  3808301

  Copy full SHA for 3808301

Commits on Mar 17, 2020

• more small changes

  gaperez64

  committed
  fe683a5

  Copy full SHA for fe683a5

• updated a few things in the readme

  gaperez64

  committed
  7df1a1b

  Copy full SHA for 7df1a1b

• removed duplicated LICENSE file

  gaperez64

  committed
  5fa595f

  Copy full SHA for 5fa595f

• more information in the readme

  gaperez64

  committed
  304700b

  Copy full SHA for 304700b

• changes to presentation

  gaperez64

  committed
  6c6b0df

  Copy full SHA for 6c6b0df

Commits on Oct 18, 2018

• changed the location of the flag if in the option parsing

  

  Guillermo A. Perez

  committed
  f0c4878

  Copy full SHA for f0c4878

Commits on May 16, 2017

• updated configuration

  

  Guillermo Perez

  authored and

  Guillermo Perez

  committed
  9d031ff

  Copy full SHA for 9d031ff

• updated readme

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  bb3e7db

  Copy full SHA for bb3e7db

• fixed the synthesis step for compositional algos

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  9d169a3

  Copy full SHA for 9d169a3

• changed sequential configurations

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  9f753fe

  Copy full SHA for 9f753fe

Commits on Apr 5, 2017

• changes

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  497d1a8

  Copy full SHA for 497d1a8

Commits on Apr 3, 2017

• the refactoring for reordering bdds works

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  5abf243

  Copy full SHA for 5abf243

Commits on Mar 31, 2017

• added a way to force reordering before making the circuit

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  1840218

  Copy full SHA for 1840218

• new folding idea

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  dc0a159

  Copy full SHA for dc0a159

Commits on Mar 24, 2017

• made the rsynth option safely better

  

  Guillermo Pérez

  authored and

  Guillermo Pérez

  committed
  c3f4a05

  Copy full SHA for c3f4a05

Commits on Mar 21, 2017

• new synthesis possibility

  

  Guillermo A. Perez

  committed
  c32f5ff

  Copy full SHA for c32f5ff

Commits on Mar 16, 2017

• certificates now possible in aiger

  

  Guillermo A. Perez

  committed
  8062246

  Copy full SHA for 8062246

• changed long name for parameter v

  

  Guillermo A. Perez

  committed
  83bfe07

  Copy full SHA for 83bfe07

• more comments

  

  Guillermo A. Perez

  committed
  cff915e

  Copy full SHA for cff915e

Commits on Aug 6, 2016

• Update abssynthe.cpp

  gaperez64

  authored
  dc2c048

  Copy full SHA for dc2c048

Commits on Jun 22, 2016

• reset makefile to remove declare NDEBUG

  

  Guillermo A. Perez

  committed
  427ac6f

  Copy full SHA for 427ac6f

• kinda solved some bugs

  

  Guillermo A. Perez

  committed
  2559d63

  Copy full SHA for 2559d63

Commits on Jun 21, 2016

• fixed a strange error when NDEBUG

  

  Guillermo A. Perez

  committed
  642e81b

  Copy full SHA for 642e81b

• fixed winning region production for abstraction and merged romains fix for abstract algorithm

  

  Guillermo A. Perez

  committed
  23b2340

  Copy full SHA for 23b2340

Commits on May 25, 2016

• updated configurations to add winning region in synthesis ones

  

  Guillermo A. Perez

  committed
  1d2189b

  Copy full SHA for 1d2189b

Commits on May 19, 2016

• new configurations for competition

  

  Guillermo A. Perez

  committed
  6e89180

  Copy full SHA for 6e89180

Commits on May 17, 2016

• final version for competition 2016 maybe

  

  Guillermo A. Perez

  committed
  036d398

  Copy full SHA for 036d398

Commits on May 13, 2016

• fxied new bug

  

  Guillermo A. Perez

  committed
  fb89671

  Copy full SHA for fb89671

• chanes

  

  Guillermo A. Perez

  committed
  b0d9c5d

  Copy full SHA for b0d9c5d

Commits on May 12, 2016

• added the abstraction with threshold algo

  

  Guillermo A. Perez

  committed
  20eaa01

  Copy full SHA for 20eaa01

Pagination

Previous

Next