new experiments

This commit is contained in:
Vitor Santos Costa 2016-04-05 08:06:46 +01:00
parent dfbdce4240
commit e485dbc59b
1 changed files with 10 additions and 1 deletions

11
.gitignore vendored
View File

@ -128,6 +128,7 @@ packages/cplint/L
packages/CLPBN/horus/hcli
tmp
Eclipse
packages/bdd/simplecudd/problogbdd
trace
packages/bdd/cudd_config.h
@ -139,6 +140,7 @@ Release
Build
xcode
Threads
android
mxe
caret
codelite
@ -153,4 +155,11 @@ CBlocks
yPQ
*.tmp
YAP.sublime*
yap32/CMakeCache.txt
yap32
Eclipse
yap-6.3.tags
yap.prj
yap.VITORs-MBP.vsc.pui