Skip to content

Run fstardoc (with some modifications) over standard library #14

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Run fstardoc (with some modifications) over standard library #14

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
fa316e4
New documentation from fstardoc.
mgritter Nov 7, 2021
aa586ca
Add introductions to index file, extracted from individual MD files
mgritter Nov 7, 2021
06840b4
Add github CSS instead of embedding it in every file.
mgritter Nov 8, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
50 changes: 50 additions & 0 deletions docs/FStar.Algebra.CommMonoid.Equiv.html
View file
Open in desktop

Large diffs are not rendered by default.

38 changes: 28 additions & 10 deletions docs/FStar.Algebra.CommMonoid.html
View file
Open in desktop

Large diffs are not rendered by default.

224 changes: 175 additions & 49 deletions docs/FStar.Algebra.Monoid.html
View file
Open in desktop

Large diffs are not rendered by default.

47 changes: 37 additions & 10 deletions docs/FStar.All.html
View file
Open in desktop

Large diffs are not rendered by default.

219 changes: 209 additions & 10 deletions docs/FStar.BV.html
View file
Open in desktop

Large diffs are not rendered by default.

33 changes: 23 additions & 10 deletions docs/FStar.BaseTypes.html
View file
Open in desktop

Large diffs are not rendered by default.

289 changes: 279 additions & 10 deletions docs/FStar.BigOps.html
View file
Open in desktop

Large diffs are not rendered by default.

251 changes: 196 additions & 55 deletions docs/FStar.BitVector.html
View file
Open in desktop

Large diffs are not rendered by default.

327 changes: 270 additions & 57 deletions docs/FStar.Bytes.html
View file
Open in desktop

Large diffs are not rendered by default.

90 changes: 80 additions & 10 deletions docs/FStar.Calc.html
View file
Open in desktop

Large diffs are not rendered by default.

79 changes: 69 additions & 10 deletions docs/FStar.Char.html
View file
Open in desktop

Large diffs are not rendered by default.

181 changes: 181 additions & 0 deletions docs/FStar.Classical.Sugar.html
View file
Open in desktop

Large diffs are not rendered by default.

400 changes: 390 additions & 10 deletions docs/FStar.Classical.html
View file
Open in desktop

Large diffs are not rendered by default.

32 changes: 22 additions & 10 deletions docs/FStar.Date.html
View file
Open in desktop

Large diffs are not rendered by default.

269 changes: 259 additions & 10 deletions docs/FStar.DependentMap.html
View file
Open in desktop

Large diffs are not rendered by default.

37 changes: 27 additions & 10 deletions docs/FStar.Dyn.html
View file
Open in desktop

Large diffs are not rendered by default.

345 changes: 335 additions & 10 deletions docs/FStar.Endianness.html
View file
Open in desktop

Large diffs are not rendered by default.

23 changes: 13 additions & 10 deletions docs/FStar.Exn.html
View file
Open in desktop

Large diffs are not rendered by default.

91 changes: 81 additions & 10 deletions docs/FStar.Fin.html
View file
Open in desktop

Large diffs are not rendered by default.

24 changes: 14 additions & 10 deletions docs/FStar.Float.html
View file
Open in desktop

Large diffs are not rendered by default.

244 changes: 192 additions & 52 deletions docs/FStar.FunctionalExtensionality.html
View file
Open in desktop

Large diffs are not rendered by default.

142 changes: 94 additions & 48 deletions docs/FStar.GSet.html
View file
Open in desktop

Large diffs are not rendered by default.

165 changes: 155 additions & 10 deletions docs/FStar.Ghost.html
View file
Open in desktop

Large diffs are not rendered by default.

24 changes: 14 additions & 10 deletions docs/FStar.Heap.html
View file
Open in desktop

Large diffs are not rendered by default.

40 changes: 30 additions & 10 deletions docs/FStar.HyperStack.All.html
View file
Open in desktop

Large diffs are not rendered by default.

607 changes: 518 additions & 89 deletions docs/FStar.HyperStack.ST.html
View file
Open in desktop

Large diffs are not rendered by default.

41 changes: 31 additions & 10 deletions docs/FStar.HyperStack.html
View file
Open in desktop

Large diffs are not rendered by default.

182 changes: 130 additions & 52 deletions docs/FStar.IFC.html
View file
Open in desktop

Large diffs are not rendered by default.

69 changes: 59 additions & 10 deletions docs/FStar.IO.html
View file
Open in desktop

Large diffs are not rendered by default.

106 changes: 96 additions & 10 deletions docs/FStar.IndefiniteDescription.html
View file
Open in desktop

Large diffs are not rendered by default.

36 changes: 26 additions & 10 deletions docs/FStar.Int.Cast.Full.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 182 additions & 10 deletions docs/FStar.Int.Cast.html
View file
Open in desktop

Large diffs are not rendered by default.

390 changes: 341 additions & 49 deletions docs/FStar.Int.html
View file
Open in desktop

Large diffs are not rendered by default.

195 changes: 146 additions & 49 deletions docs/FStar.Int128.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 143 additions & 49 deletions docs/FStar.Int16.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 143 additions & 49 deletions docs/FStar.Int32.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 143 additions & 49 deletions docs/FStar.Int64.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 143 additions & 49 deletions docs/FStar.Int8.html
View file
Open in desktop

Large diffs are not rendered by default.

540 changes: 530 additions & 10 deletions docs/FStar.Integers.html
View file
Open in desktop

Large diffs are not rendered by default.

179 changes: 179 additions & 0 deletions docs/FStar.LexicographicOrdering.html
View file
Open in desktop

Large diffs are not rendered by default.

122 changes: 66 additions & 56 deletions docs/FStar.List.Pure.Base.html
View file
Open in desktop

Large diffs are not rendered by default.

343 changes: 265 additions & 78 deletions docs/FStar.List.Pure.Properties.html
View file
Open in desktop

Large diffs are not rendered by default.

25 changes: 15 additions & 10 deletions docs/FStar.List.Pure.html
View file
Open in desktop

Large diffs are not rendered by default.

755 changes: 585 additions & 170 deletions docs/FStar.List.Tot.Base.html
View file
Open in desktop

Large diffs are not rendered by default.

1,120 changes: 1,002 additions & 118 deletions docs/FStar.List.Tot.Properties.html
View file
Open in desktop

Large diffs are not rendered by default.

23 changes: 13 additions & 10 deletions docs/FStar.List.Tot.html
View file
Open in desktop

Large diffs are not rendered by default.

494 changes: 373 additions & 121 deletions docs/FStar.List.html
View file
Open in desktop

Large diffs are not rendered by default.

49 changes: 39 additions & 10 deletions docs/FStar.MRef.html
View file
Open in desktop

Large diffs are not rendered by default.

175 changes: 126 additions & 49 deletions docs/FStar.Map.html
View file
Open in desktop

Large diffs are not rendered by default.

25 changes: 15 additions & 10 deletions docs/FStar.MarkovsPrinciple.html
View file
Open in desktop

Large diffs are not rendered by default.

112 changes: 102 additions & 10 deletions docs/FStar.Math.Euclid.html
View file
Open in desktop

Large diffs are not rendered by default.

44 changes: 34 additions & 10 deletions docs/FStar.Math.Fermat.html
View file
Open in desktop

Large diffs are not rendered by default.

856 changes: 807 additions & 49 deletions docs/FStar.Math.Lemmas.html
View file
Open in desktop

Large diffs are not rendered by default.

162 changes: 114 additions & 48 deletions docs/FStar.Math.Lib.html
View file
Open in desktop

Large diffs are not rendered by default.

811 changes: 758 additions & 53 deletions docs/FStar.Modifies.html
View file
Open in desktop

Large diffs are not rendered by default.

1,132 changes: 1,077 additions & 55 deletions docs/FStar.ModifiesGen.html
View file
Open in desktop

Large diffs are not rendered by default.

309 changes: 260 additions & 49 deletions docs/FStar.Monotonic.DependentMap.html
View file
Open in desktop

Large diffs are not rendered by default.

389 changes: 341 additions & 48 deletions docs/FStar.Monotonic.Heap.html
View file
Open in desktop

Large diffs are not rendered by default.

156 changes: 146 additions & 10 deletions docs/FStar.Monotonic.HyperHeap.html
View file
Open in desktop

Large diffs are not rendered by default.

567 changes: 508 additions & 59 deletions docs/FStar.Monotonic.HyperStack.html
View file
Open in desktop

Large diffs are not rendered by default.

116 changes: 107 additions & 9 deletions docs/FStar.Monotonic.Map.html
View file
Open in desktop

Large diffs are not rendered by default.

59 changes: 59 additions & 0 deletions docs/FStar.Monotonic.Pure.html
View file
Open in desktop

Large diffs are not rendered by default.

439 changes: 390 additions & 49 deletions docs/FStar.Monotonic.Seq.html
View file
Open in desktop

Large diffs are not rendered by default.

74 changes: 64 additions & 10 deletions docs/FStar.Monotonic.Witnessed.html
View file
Open in desktop

Large diffs are not rendered by default.

20 changes: 10 additions & 10 deletions docs/FStar.Mul.html
View file
Open in desktop

Large diffs are not rendered by default.

50 changes: 40 additions & 10 deletions docs/FStar.Option.html
View file
Open in desktop

Large diffs are not rendered by default.

47 changes: 37 additions & 10 deletions docs/FStar.OrdSetProps.html
View file
Open in desktop

Large diffs are not rendered by default.

65 changes: 55 additions & 10 deletions docs/FStar.Order.html
View file
Open in desktop

Large diffs are not rendered by default.

248 changes: 248 additions & 0 deletions docs/FStar.PCM.html
View file
Open in desktop

Large diffs are not rendered by default.

163 changes: 153 additions & 10 deletions docs/FStar.Pervasives.Native.html
View file
Open in desktop

Large diffs are not rendered by default.

1,133 changes: 1,022 additions & 111 deletions docs/FStar.Pervasives.html
View file
Open in desktop

Large diffs are not rendered by default.

31 changes: 21 additions & 10 deletions docs/FStar.PredicateExtensionality.html
View file
Open in desktop

Large diffs are not rendered by default.

29 changes: 19 additions & 10 deletions docs/FStar.Preorder.html
View file
Open in desktop

Large diffs are not rendered by default.

218 changes: 208 additions & 10 deletions docs/FStar.Printf.html
View file
Open in desktop

Large diffs are not rendered by default.

47 changes: 37 additions & 10 deletions docs/FStar.PropositionalExtensionality.html
View file
Open in desktop

Large diffs are not rendered by default.

19 changes: 9 additions & 10 deletions docs/FStar.Range.html
View file
Open in desktop

Large diffs are not rendered by default.

81 changes: 71 additions & 10 deletions docs/FStar.Real.html
View file
Open in desktop

Large diffs are not rendered by default.

69 changes: 59 additions & 10 deletions docs/FStar.Ref.html
View file
Open in desktop

Large diffs are not rendered by default.

246 changes: 236 additions & 10 deletions docs/FStar.Reflection.Arith.html
View file
Open in desktop

Large diffs are not rendered by default.

92 changes: 92 additions & 0 deletions docs/FStar.Reflection.Builtins.html
View file
Open in desktop

Large diffs are not rendered by default.

70 changes: 60 additions & 10 deletions docs/FStar.Reflection.Const.html
View file
Open in desktop

Large diffs are not rendered by default.

77 changes: 67 additions & 10 deletions docs/FStar.Reflection.Derived.Lemmas.html
View file
Open in desktop

Large diffs are not rendered by default.

314 changes: 304 additions & 10 deletions docs/FStar.Reflection.Derived.html
View file
Open in desktop

Large diffs are not rendered by default.

219 changes: 209 additions & 10 deletions docs/FStar.Reflection.Formula.html
View file
Open in desktop

Large diffs are not rendered by default.

35 changes: 25 additions & 10 deletions docs/FStar.Reflection.Types.html
View file
Open in desktop

Large diffs are not rendered by default.

31 changes: 21 additions & 10 deletions docs/FStar.Reflection.html
View file
Open in desktop

Large diffs are not rendered by default.

101 changes: 49 additions & 52 deletions docs/FStar.ReflexiveTransitiveClosure.html
View file
Open in desktop

Large diffs are not rendered by default.

154 changes: 105 additions & 49 deletions docs/FStar.ST.html
View file
Open in desktop

Large diffs are not rendered by default.

157 changes: 147 additions & 10 deletions docs/FStar.Seq.Base.html
View file
Open in desktop

Large diffs are not rendered by default.

93 changes: 93 additions & 0 deletions docs/FStar.Seq.Permutation.html
View file
Open in desktop

Large diffs are not rendered by default.

659 changes: 607 additions & 52 deletions docs/FStar.Seq.Properties.html
View file
Open in desktop

Large diffs are not rendered by default.

121 changes: 111 additions & 10 deletions docs/FStar.Seq.Sorted.html
View file
Open in desktop

Large diffs are not rendered by default.

23 changes: 13 additions & 10 deletions docs/FStar.Seq.html
View file
Open in desktop

Large diffs are not rendered by default.

137 changes: 89 additions & 48 deletions docs/FStar.Set.html
View file
Open in desktop

Large diffs are not rendered by default.

99 changes: 89 additions & 10 deletions docs/FStar.Squash.html
View file
Open in desktop

Large diffs are not rendered by default.

153 changes: 143 additions & 10 deletions docs/FStar.SquashProperties.html
View file
Open in desktop

Large diffs are not rendered by default.

148 changes: 138 additions & 10 deletions docs/FStar.String.html
View file
Open in desktop

Large diffs are not rendered by default.

19 changes: 9 additions & 10 deletions docs/FStar.StrongExcludedMiddle.html
View file
Open in desktop

Large diffs are not rendered by default.

102 changes: 93 additions & 9 deletions docs/FStar.TSet.html
View file
Open in desktop

Large diffs are not rendered by default.

55 changes: 45 additions & 10 deletions docs/FStar.Tactics.Arith.html
View file
Open in desktop

Large diffs are not rendered by default.

192 changes: 182 additions & 10 deletions docs/FStar.Tactics.BV.html
View file
Open in desktop

Large diffs are not rendered by default.

572 changes: 411 additions & 161 deletions docs/FStar.Tactics.Builtins.html
View file
Open in desktop

Large diffs are not rendered by default.

239 changes: 229 additions & 10 deletions docs/FStar.Tactics.Canon.html
View file
Open in desktop

Large diffs are not rendered by default.

1,675 changes: 1,600 additions & 75 deletions docs/FStar.Tactics.CanonCommSemiring.html
View file
Open in desktop

Large diffs are not rendered by default.

133 changes: 123 additions & 10 deletions docs/FStar.Tactics.CanonCommSwaps.html
View file
Open in desktop

Large diffs are not rendered by default.

121 changes: 111 additions & 10 deletions docs/FStar.Tactics.CanonMonoid.html
View file
Open in desktop

Large diffs are not rendered by default.

19 changes: 19 additions & 0 deletions docs/FStar.Tactics.Common.html
View file
Open in desktop

Large diffs are not rendered by default.

1,050 changes: 947 additions & 103 deletions docs/FStar.Tactics.Derived.html
View file
Open in desktop

Large diffs are not rendered by default.

173 changes: 163 additions & 10 deletions docs/FStar.Tactics.Effect.html
View file
Open in desktop

Large diffs are not rendered by default.

270 changes: 260 additions & 10 deletions docs/FStar.Tactics.Logic.html
View file
Open in desktop

Large diffs are not rendered by default.

913 changes: 822 additions & 91 deletions docs/FStar.Tactics.PatternMatching.html
View file
Open in desktop

Large diffs are not rendered by default.

89 changes: 89 additions & 0 deletions docs/FStar.Tactics.Print.html
View file
Open in desktop

Large diffs are not rendered by default.

35 changes: 25 additions & 10 deletions docs/FStar.Tactics.Result.html
View file
Open in desktop

Large diffs are not rendered by default.

244 changes: 234 additions & 10 deletions docs/FStar.Tactics.Simplifier.html
View file
Open in desktop

Large diffs are not rendered by default.

81 changes: 71 additions & 10 deletions docs/FStar.Tactics.SyntaxHelpers.html
View file
Open in desktop

Large diffs are not rendered by default.

187 changes: 139 additions & 48 deletions docs/FStar.Tactics.Typeclasses.html
View file
Open in desktop

Large diffs are not rendered by default.

55 changes: 45 additions & 10 deletions docs/FStar.Tactics.Types.html
View file
Open in desktop

Large diffs are not rendered by default.

106 changes: 96 additions & 10 deletions docs/FStar.Tactics.Util.html
View file
Open in desktop

Large diffs are not rendered by default.

62 changes: 52 additions & 10 deletions docs/FStar.Tactics.html
View file
Open in desktop

Large diffs are not rendered by default.

49 changes: 39 additions & 10 deletions docs/FStar.Tcp.html
View file
Open in desktop

Large diffs are not rendered by default.

516 changes: 464 additions & 52 deletions docs/FStar.UInt.html
View file
Open in desktop

Large diffs are not rendered by default.

145 changes: 135 additions & 10 deletions docs/FStar.UInt128.html
View file
Open in desktop

Large diffs are not rendered by default.

380 changes: 370 additions & 10 deletions docs/FStar.UInt16.html
View file
Open in desktop

Large diffs are not rendered by default.

380 changes: 370 additions & 10 deletions docs/FStar.UInt32.html
View file
Open in desktop

Large diffs are not rendered by default.

380 changes: 370 additions & 10 deletions docs/FStar.UInt64.html
View file
Open in desktop

Large diffs are not rendered by default.

381 changes: 371 additions & 10 deletions docs/FStar.UInt8.html
View file
Open in desktop

Large diffs are not rendered by default.

44 changes: 34 additions & 10 deletions docs/FStar.Udp.html
View file
Open in desktop

Large diffs are not rendered by default.

98 changes: 41 additions & 57 deletions docs/FStar.Universe.html
View file
Open in desktop

Large diffs are not rendered by default.

30 changes: 20 additions & 10 deletions docs/FStar.Util.html
View file
Open in desktop

Large diffs are not rendered by default.

48 changes: 48 additions & 0 deletions docs/FStar.VConfig.html
View file
Open in desktop

Large diffs are not rendered by default.

413 changes: 362 additions & 51 deletions docs/FStar.Vector.Base.html
View file
Open in desktop

Large diffs are not rendered by default.

104 changes: 94 additions & 10 deletions docs/FStar.Vector.Properties.html
View file
Open in desktop

Large diffs are not rendered by default.

23 changes: 13 additions & 10 deletions docs/FStar.Vector.html
View file
Open in desktop

Large diffs are not rendered by default.

148 changes: 138 additions & 10 deletions docs/FStar.WellFounded.html
View file
Open in desktop

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions docs/gh-style.css
View file
Open in desktop

Large diffs are not rendered by default.

138 changes: 56 additions & 82 deletions docs/index.html
View file
Open in desktop

Large diffs are not rendered by default.