mirror of
https://github.com/nick8325/quickspec.git
synced 2024-09-11 08:35:32 +03:00
Update .gitignore.
This commit is contained in:
parent
eed5ca0649
commit
1db0aa2a77
48
.gitignore
vendored
48
.gitignore
vendored
@ -1,16 +1,42 @@
|
||||
*.sw*
|
||||
/dist
|
||||
examples/*
|
||||
!examples/*.hs
|
||||
!examples/tests
|
||||
examples/tests/*
|
||||
!examples/tests/*.hs
|
||||
!examples/tests/run
|
||||
!examples/tests/update
|
||||
!examples/tests/*.output
|
||||
!examples/weird
|
||||
examples/weird/*
|
||||
!examples/weird/*.hs
|
||||
cabal.sandbox.config
|
||||
.cabal-sandbox/
|
||||
.stack-work/
|
||||
bugs/
|
||||
examples/Arith
|
||||
examples/Bools
|
||||
examples/Composition
|
||||
examples/Curry
|
||||
examples/Geometry
|
||||
examples/Heaps
|
||||
examples/HugeLists
|
||||
examples/IntSet
|
||||
examples/ListHOF
|
||||
examples/ListMonad
|
||||
examples/Lists
|
||||
examples/Octonions
|
||||
examples/Parsing
|
||||
examples/PrettyPrinting
|
||||
examples/PrettyPrintingModel
|
||||
examples/Queues
|
||||
examples/QuickSpecConditionalBenchmarks/
|
||||
examples/Regex
|
||||
examples/Sorted
|
||||
examples/TinyWM
|
||||
examples/Zip
|
||||
examples/tests/AC
|
||||
examples/tests/ArithFloat
|
||||
examples/tests/Combinators
|
||||
examples/tests/Composition-bad
|
||||
examples/tests/Const
|
||||
examples/tests/Head
|
||||
examples/tests/MinMax
|
||||
examples/tests/Pairs
|
||||
examples/tests/PrettyPrinting-warnings
|
||||
examples/tests/Refinements
|
||||
examples/tests/Sorted-typeclass
|
||||
examples/tests/TypeClass
|
||||
examples/old-examples
|
||||
hacking-guide/
|
||||
statem-laws/
|
||||
|
Loading…
Reference in New Issue
Block a user