Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
61 lines (60 sloc) 492 Bytes
*.acn
*.acr
*.alg
*.aux
*.bbl
*.blg
*.dvi
*.fdb_latexmk
*.glg
*.glo
*.gls
*.idx
*.ilg
*.ind
*.ist
*.lof
*.log
*.lot
*.maf
*.mtc
*.mtc0
*.nav
*.nlo
*.out
*.pdfsync
*.ps
*.snm
*.swp
*.synctex.gz
*.tdo
*.toc
*.vrb
*.xdy
*~
_build/
*.byte
*.native
*.ll
llvmutop
*.o
*.bc
*.s
final
.vscode
*.ast.ml
*.tast.ml
*.xftast.ml
*.core.ml
*.z3
test/test_*.h
test/testbin*
test/testbin_sem
!ct-verif/sort.ll
!ct-verif/examples/*.ll
!ct-verif/examples/*.bc
setup.data
setup.ml
configure
*.pseudo.fact
factc
You can’t perform that action at this time.