Commit 7001366
Jonathan D.A. Jewell
reset: rebuild repository history
0 parents commit 7001366
File tree
2,520 files changed
+77067
-0
lines changed- .claude
- .github
- ISSUE_TEMPLATE
- workflows
- .machine_readable
- .meta
- docs
- ffi/rust
- src
- hooks
- impl
- elixir
- _build
- dev/lib
- earmark_parser
- .mix
- ebin
- elixir_make
- .mix
- ebin
- ex_doc
- .mix
- ebin
- jason
- .mix
- ebin
- makeup_elixir
- .mix
- ebin
- makeup_erlang
- .mix
- ebin
- makeup
- .mix
- ebin
- nimble_parsec
- .mix
- ebin
- vsh
- .mix
- consolidated
- ebin
- test/lib
- elixir_make
- .mix
- ebin
- jason
- .mix
- ebin
- vsh
- .mix
- consolidated
- ebin
- c_src
- deps
- earmark_parser
- lib
- earmark_parser
- ast
- renderer
- block
- enum
- helpers
- line_scanner
- parser
- src
- elixir_make
- lib
- elixir_make
- downloader
- mix/tasks
- ex_doc
- formatters
- epub
- dist
- metainfo
- html/dist
- lib
- ex_doc
- formatter
- epub
- templates
- html
- templates
- language
- markdown
- mix/tasks
- jason
- lib
- makeup_elixir
- lib/makeup/lexers
- elixir_lexer
- makeup_erlang
- lib/makeup/lexers
- erlang_lexer
- makeup
- lib
- makeup
- formatters/html
- scripts
- lexer
- styles/html
- token
- utils
- nimble_parsec
- lib
- mix/tasks
- nimble_parsec
- lib
- mix/tasks
- vsh
- priv
- test
- mcp
- src
- bindings
- ocaml
- rust-cli
- src
- target
- debug
- .fingerprint
- allocator-api2-302c8aaff85fe901
- anstream-ac99c5c12d3c7aee
- anstyle-abcb25e3dde70769
- anstyle-parse-926948edb075e3f4
- anstyle-query-73fe42fb77c51cb0
- anyhow-514e94604e57560e
- anyhow-5eeff344f551b50f
- anyhow-e1830ac0a1147c61
- autocfg-3b49e0afa777d415
- bitflags-d6b73c956113621d
- bytes-bed3f7f1f917de81
- cassowary-12456f031c31e0a9
- cfg-if-2262c59ed30cbfdf
- chrono-c74387d065c0d92f
- clap-bcc5e83079093fc0
- clap_builder-209ddf31211bd3b9
- clap_derive-ea0a22ec519082d3
- clap_lex-ac15a2c28e689723
- colorchoice-e4a0c70eb199cf46
- colored-0faa21e5507b9ae0
- crossterm-1923f24db05a97ea
- dirs-1722b41a2e0be197
- dirs-sys-06cfc853afb66bd7
- either-9a78d543324cf6ff
- equivalent-3ff77df1ac69f53a
- errno-6ff9029f3c647b4a
- foldhash-abf39bc0971f8ebd
- getrandom-0054371bf7b99291
- getrandom-79b705722eb3fb45
- getrandom-fa4d6093152b1f09
- hashbrown-442e9194e2875e37
- heck-20e948fc986d72b6
- heck-88cc6c4a41ddc6f3
- iana-time-zone-3ce355481ebfb6ce
- indoc-6344f3ee413f10e0
- is_terminal_polyfill-2a2616ab4e156c2c
- itertools-333b19e83cafecc5
- itoa-58f88d7481f2effe
- lazy_static-87c02066b6621a70
- libc-437ff09f19b669dd
- libc-443e945ec9a6ab70
- libc-4d672843298dc282
- lock_api-9fd6913848ac39ce
- log-853433100b10785a
- lru-fe6d05144251596c
- memchr-3dd7c4eee1e54167
- mio-671537c72ab4e659
- mio-7edc0b1b951854e1
- num-traits-13da7cb12d60f597
- num-traits-691f21aeab2a5193
- num-traits-e6a9bd2e3372d362
- option-ext-a93c7cec780bc445
- parking_lot-bae08d19b7a2cbbe
- parking_lot_core-a3c039569b8f43c6
- parking_lot_core-b32c7a16e0905562
- parking_lot_core-d0c8bb8610eea6c9
- paste-9245072c691d01c9
- paste-de1ab307929da351
- paste-eca74fcf65bbc237
- pin-project-lite-8ceaaa5d1655a324
- proc-macro2-7dbfc7e450e58b2e
- proc-macro2-99b67ee1cb110b65
- proc-macro2-bb401d0acfaba837
- quote-451587dd2666e6b1
- quote-617eebc53bcdbb46
- quote-f14c48d1c4fb57ce
- ratatui-7c2fc3377f4de27c
- rustversion-1aa62060b018d449
- rustversion-40be1d7cd574670a
- rustversion-4d54e02e1efb0411
- scopeguard-cfa69166bd4da734
- serde-4c6639c325e28d82
- serde-77bdd74bab5807b0
- serde-7cb83828cf096ff7
- serde_core-0239ce017d00b9f5
- serde_core-b09189df0b0454e9
- serde_core-c44f039cd676198c
- serde_derive-a876c27047e26dc6
- serde_json-42186c2bad94fd42
- serde_json-7289daf40443091f
- serde_json-81ae7dee27ba8e6b
- signal-hook-45325232d755107b
- signal-hook-a4c773d0271420c7
- signal-hook-cb0b34d04ab5dbc3
- signal-hook-mio-f9f3b0a30e781a04
- signal-hook-registry-edc085e530cf5556
- smallvec-83ffde712cc68410
- socket2-f71caddf400e014e
- stability-cc153bef58b694ff
- strsim-5cdf9c8c121387d0
- strum-dcee6005cc8b1882
- strum_macros-0d46bc4f7aa1a86f
- syn-374b80f8eb3e1fbc
- syn-e25bb4f8630f8f89
- syn-e6b2105ef72c534e
- syn-f772270f3ea97685
- thiserror-360a2b8fbf6ad95b
- thiserror-f8f9355bdc7b7cdb
- thiserror-faab551a6ed83879
- thiserror-impl-220d6039aa487960
- tokio-0e2d44dc29d1bf88
- tokio-macros-e33c3e2aac445327
- unicode-ident-12c495887fb81e30
- unicode-segmentation-745c28ea3c19c6e9
- unicode-width-a614de29542a0d82
- utf8parse-97e8d7c35760ee10
- uuid-646eb06381dfd3ae
- vsh-64ba2dae5289fbf8
- vsh-c9d23761889f6c94
- vsh-de144de48118b9bd
- zmij-722b76b31c565655
- zmij-72ce0379a46dd715
- zmij-9e1de464767eb203
- build
- anyhow-5eeff344f551b50f
- anyhow-e1830ac0a1147c61
- getrandom-0054371bf7b99291
- getrandom-79b705722eb3fb45
- libc-437ff09f19b669dd
- libc-4d672843298dc282
- num-traits-13da7cb12d60f597
- num-traits-e6a9bd2e3372d362
- parking_lot_core-a3c039569b8f43c6
- parking_lot_core-b32c7a16e0905562
- paste-9245072c691d01c9
- paste-eca74fcf65bbc237
- proc-macro2-7dbfc7e450e58b2e
- proc-macro2-99b67ee1cb110b65
- quote-617eebc53bcdbb46
- quote-f14c48d1c4fb57ce
- rustversion-1aa62060b018d449
- out
- rustversion-40be1d7cd574670a
- serde-4c6639c325e28d82
- serde-77bdd74bab5807b0
- out
- serde_core-b09189df0b0454e9
- out
- serde_core-c44f039cd676198c
- serde_json-42186c2bad94fd42
- serde_json-81ae7dee27ba8e6b
- signal-hook-a4c773d0271420c7
- signal-hook-cb0b34d04ab5dbc3
- syn-e6b2105ef72c534e
- syn-f772270f3ea97685
- thiserror-360a2b8fbf6ad95b
- thiserror-faab551a6ed83879
- zmij-722b76b31c565655
- zmij-9e1de464767eb203
- deps
- incremental
- integration_test-1zvly0o036vp3
- s-heef5njiau-1e4n1f6-2djsj8si8ix0xdqcxzg4alxl3
- vsh-13n5mhsopi70j
- s-heeds9lyzr-08bx7lw-349xhht1137xfyn1nm03uwmud
- vsh-2qvnh1ohuqtdl
- s-heef5njlcq-025u9du-eru6mlglxjyq5xsxmd4gwvhgt
- release
- .fingerprint
- allocator-api2-180779e432bf21f3
- anstream-73d9f21fef3a0774
- anstyle-a48b0b973be75f01
- anstyle-parse-84bf18e85c7e1684
- anstyle-query-7edf3175ae7a5fff
- anyhow-aeb342a7927e7651
- anyhow-e7113b68563e4882
- anyhow-eed24f6551a3e544
- autocfg-bde4f3fb88940f9a
- bitflags-6fa0ce85f067144a
- bytes-e77338d1824efcd8
- cassowary-013b8a242d26b227
- cfg-if-00df3f8434ea1801
- chrono-be87480bcc28b529
- clap-ff34b02fe29530a8
- clap_builder-222755d73fff51f9
- clap_derive-1f5742bb1b177722
- clap_lex-082381a50be00e92
- colorchoice-008402f75ea666cc
- colored-0b667acd24d821f3
- crossterm-5ee8ecefb39a0a3b
- dirs-84675d0b62c5225a
- dirs-sys-e04a5118d2c79b63
- either-403e29d98281d77a
- equivalent-17001add8b2ea86f
- errno-fd690ae2fe9e2f77
- foldhash-510eb40639878be4
- getrandom-1e321e6255daf437
- getrandom-6437dfcc2d04e90c
- getrandom-d1a7f9e80b8b44b1
- hashbrown-0d6505b4f5dea6e9
- heck-c8e8633f4466e1b3
- heck-ed0ea2f2bf4b8cf6
- iana-time-zone-25515f66f225c9f0
- indoc-44ddb5e129326387
- is_terminal_polyfill-6b879379a9ee33ac
- itertools-7a68ce5783fbb2aa
- itoa-43ed0adbe6b8f784
- lazy_static-30ad9ebe54dcf11e
- libc-515227747fc3c4e0
- libc-f85d003df0e0c626
- libc-f9f278729c659c02
- lock_api-5ef7cb44294973fe
- log-81b14fbfb0d5d79c
- lru-500d61b0162983ef
- memchr-001c382afc472bf9
- mio-12eef1c98fef2455
- mio-a16eca9247607c24
- num-traits-88d464d2e1465470
- num-traits-d242cfc2a77b11a6
- num-traits-e74a3787128ae03d
- option-ext-570e2c1dc59dc3bf
- parking_lot-2b8f4707f0af0f6b
- parking_lot_core-87b962a6df532b22
- parking_lot_core-8ae1878347213ad2
- parking_lot_core-f78659791e1b82d7
- paste-6aa1f7d8f8f7b6b0
- paste-b7d4d40419876e09
- paste-e6e156b4ddefb02b
- pin-project-lite-447e3d7273a256bf
- proc-macro2-b17cb5d20e885cee
- proc-macro2-b6922a78eff494c8
- proc-macro2-e4f2fe7df5f17f4d
- quote-2fa722fa77a0e490
- quote-e13c88a41de7e827
- quote-f3cbcfbab0d4bd61
- ratatui-810ebab1503ad3f4
- rustversion-9a81e8c493f464ad
- rustversion-9fdbda404036a67b
- rustversion-cf5ffece16c6edda
- scopeguard-483a476509943e1b
- serde-149b6498f92277ad
- serde-253c55ed8ca08501
- serde-f70136c0c16f4e9a
- serde_core-396c14aa17a56c2a
- serde_core-5a3830055c86a7e9
- serde_core-ded960e99f294703
- serde_derive-790c5ee33dff2d66
- serde_json-41a6d46f31a599bb
- serde_json-d8ac3ed8bc4a3f42
- serde_json-dd175b2836bf6d97
- signal-hook-0a72cfc8ce8d6f13
- signal-hook-5133385fe492f242
- signal-hook-7029537d26369aa4
- signal-hook-mio-068b6fcd4a5691cf
- signal-hook-registry-cf0b8b005fce4927
- smallvec-b6cf7bcd9b936b38
- socket2-66425c4ceb37afbe
- stability-6a32667a071462c3
- strsim-c4a220b2f5569802
- strum-8496531b893e48bf
- strum_macros-07da80d1a7f5ddc7
- syn-8853434778f687ff
- syn-916f42d73d29323a
- syn-a05023127f530060
- syn-b9349571c3f48869
- thiserror-091c90b6d445ea20
- thiserror-220d4dda91f8a68c
- thiserror-9509b50c2e294609
- thiserror-impl-5161ca32d87ec4ff
- tokio-777fa1e3e4a39f3e
- tokio-macros-cbf81c87bf869b82
- unicode-ident-13f801a7bdc85a10
- unicode-segmentation-b1be0956d8fec292
- unicode-width-e0becdd47cd696c9
- utf8parse-46ed09b386adcec1
- uuid-0713861d194c620e
- uuid-6ad8e30686e1e1c0
- vsh-4c6a7119554c21c4
- vsh-4dfdfc9143bcf284
- zmij-b2c3abd4aa248dff
- zmij-d4db3f6627294123
- zmij-f131c697704dd22a
- build
- anyhow-aeb342a7927e7651
- anyhow-eed24f6551a3e544
- getrandom-1e321e6255daf437
- getrandom-6437dfcc2d04e90c
- libc-515227747fc3c4e0
- libc-f9f278729c659c02
- num-traits-d242cfc2a77b11a6
- num-traits-e74a3787128ae03d
- parking_lot_core-87b962a6df532b22
- parking_lot_core-f78659791e1b82d7
- paste-6aa1f7d8f8f7b6b0
- paste-e6e156b4ddefb02b
- proc-macro2-b17cb5d20e885cee
- proc-macro2-b6922a78eff494c8
- quote-2fa722fa77a0e490
- quote-e13c88a41de7e827
- rustversion-9a81e8c493f464ad
- out
- rustversion-9fdbda404036a67b
- serde-253c55ed8ca08501
- out
- serde-f70136c0c16f4e9a
- serde_core-396c14aa17a56c2a
- out
- serde_core-ded960e99f294703
- serde_json-41a6d46f31a599bb
- serde_json-dd175b2836bf6d97
- signal-hook-5133385fe492f242
- signal-hook-7029537d26369aa4
- syn-8853434778f687ff
- syn-a05023127f530060
- thiserror-091c90b6d445ea20
- thiserror-9509b50c2e294609
- zmij-d4db3f6627294123
- zmij-f131c697704dd22a
- deps
- tests
- rust-ffi
- src
- zig
- src
- proofs
- agda
- coq
- isabelle
- lean4
- .lake
- build
- ir
- lib
- mizar
- z3
- scripts
- tests
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
2,520 files changed
+77067
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
| 77 | + | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
| 81 | + | |
| 82 | + | |
| 83 | + | |
| 84 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 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 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
0 commit comments