Pinned Repositories
brunch
Data processing and execution
chc-ldv-LIA-NonLin-Arrays
ciao-search-examples
igcontreras.github.io
personal website
LIA-ADT
LRA-ADT
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
seahorn
SeaHorn Verification Framework
spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
tfm-plantilla
Plantilla en LaTeX para la Tesis Fin de Máster (MUIA-UPM)
igcontreras's Repositories
igcontreras/tfm-plantilla
Plantilla en LaTeX para la Tesis Fin de Máster (MUIA-UPM)
igcontreras/brunch
Data processing and execution
igcontreras/chc-ldv-LIA-NonLin-Arrays
igcontreras/ciao-search-examples
igcontreras/igcontreras.github.io
personal website
igcontreras/LIA-ADT
igcontreras/LRA-ADT
igcontreras/sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
igcontreras/seahorn
SeaHorn Verification Framework
igcontreras/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
igcontreras/z3
The Z3 Theorem Prover