FilesExpand file tree

main

/

Coq.gitignore

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

45 lines (44 loc) · 489 Bytes

main

/

Coq.gitignore

Copy path

Top

File metadata and controls

• Code
• Blame

45 lines (44 loc) · 489 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

.*.aux

.*.d

*.a

*.cma

*.cmi

*.cmo

*.cmx

*.cmxa

*.cmxs

*.glob

*.ml.d

*.ml4.d

*.mlg.d

*.mli.d

*.mllib.d

*.mlpack.d

*.native

*.o

*.v.d

*.vio

*.vo

*.vok

*.vos

.coq-native

.csdp.cache

.lia.cache

.nia.cache

.nlia.cache

.nra.cache

csdp.cache

lia.cache

nia.cache

nlia.cache

nra.cache

native_compute_profile_*.data

# generated timing files

*.timing.diff

*.v.after-timing

*.v.before-timing

*.v.timing

time-of-build-after.log

time-of-build-before.log

time-of-build-both.log

time-of-build-pretty.log