├── .github └── workflows │ └── playwright.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── assets ├── Inter-VariableFont_opsz,wght.ttf ├── Roboto-VariableFont_wdth,wght.ttf ├── back-svgrepo-com.svg ├── bug.svg ├── code-svgrepo-com.svg ├── crown.svg ├── css │ ├── bootstrap-icons-1.11.3 │ │ ├── 0-circle-fill.svg │ │ ├── 0-circle.svg │ │ ├── 0-square-fill.svg │ │ ├── 0-square.svg │ │ ├── 1-circle-fill.svg │ │ ├── 1-circle.svg │ │ ├── 1-square-fill.svg │ │ ├── 1-square.svg │ │ ├── 123.svg │ │ ├── 2-circle-fill.svg │ │ ├── 2-circle.svg │ │ ├── 2-square-fill.svg │ │ ├── 2-square.svg │ │ ├── 3-circle-fill.svg │ │ ├── 3-circle.svg │ │ ├── 3-square-fill.svg │ │ ├── 3-square.svg │ │ ├── 4-circle-fill.svg │ │ ├── 4-circle.svg │ │ ├── 4-square-fill.svg │ │ ├── 4-square.svg │ │ ├── 5-circle-fill.svg │ │ ├── 5-circle.svg │ │ ├── 5-square-fill.svg │ │ ├── 5-square.svg │ │ ├── 6-circle-fill.svg │ │ ├── 6-circle.svg │ │ ├── 6-square-fill.svg │ │ ├── 6-square.svg │ │ ├── 7-circle-fill.svg │ │ ├── 7-circle.svg │ │ ├── 7-square-fill.svg │ │ ├── 7-square.svg │ │ ├── 8-circle-fill.svg │ │ ├── 8-circle.svg │ │ ├── 8-square-fill.svg │ │ ├── 8-square.svg │ │ ├── 9-circle-fill.svg │ │ ├── 9-circle.svg │ │ ├── 9-square-fill.svg │ │ ├── 9-square.svg │ │ ├── activity.svg │ │ ├── airplane-engines-fill.svg │ │ ├── airplane-engines.svg │ │ ├── airplane-fill.svg │ │ ├── airplane.svg │ │ ├── alarm-fill.svg │ │ ├── alarm.svg │ │ ├── alexa.svg │ │ ├── align-bottom.svg │ │ ├── align-center.svg │ │ ├── align-end.svg │ │ ├── align-middle.svg │ │ ├── align-start.svg │ │ ├── align-top.svg │ │ ├── alipay.svg │ │ ├── alphabet-uppercase.svg │ │ ├── alphabet.svg │ │ ├── alt.svg │ │ ├── amazon.svg │ │ ├── amd.svg │ │ ├── android.svg │ │ ├── android2.svg │ │ ├── app-indicator.svg │ │ ├── app.svg │ │ ├── apple.svg │ │ ├── archive-fill.svg │ │ ├── archive.svg │ │ ├── arrow-90deg-down.svg │ │ ├── arrow-90deg-left.svg │ │ ├── arrow-90deg-right.svg │ │ ├── arrow-90deg-up.svg │ │ ├── arrow-bar-down.svg │ │ ├── arrow-bar-left.svg │ │ ├── arrow-bar-right.svg │ │ ├── arrow-bar-up.svg │ │ ├── arrow-clockwise.svg │ │ ├── arrow-counterclockwise.svg │ │ ├── arrow-down-circle-fill.svg │ │ ├── arrow-down-circle.svg │ │ ├── arrow-down-left-circle-fill.svg │ │ ├── arrow-down-left-circle.svg │ │ ├── arrow-down-left-square-fill.svg │ │ ├── arrow-down-left-square.svg │ │ ├── arrow-down-left.svg │ │ ├── arrow-down-right-circle-fill.svg │ │ ├── arrow-down-right-circle.svg │ │ ├── arrow-down-right-square-fill.svg │ │ ├── arrow-down-right-square.svg │ │ ├── arrow-down-right.svg │ │ ├── arrow-down-short.svg │ │ ├── arrow-down-square-fill.svg │ │ ├── arrow-down-square.svg │ │ ├── arrow-down-up.svg │ │ ├── arrow-down.svg │ │ ├── arrow-left-circle-fill.svg │ │ ├── arrow-left-circle.svg │ │ ├── arrow-left-right.svg │ │ ├── arrow-left-short.svg │ │ ├── arrow-left-square-fill.svg │ │ ├── arrow-left-square.svg │ │ ├── arrow-left.svg │ │ ├── arrow-repeat.svg │ │ ├── arrow-return-left.svg │ │ ├── arrow-return-right.svg │ │ ├── arrow-right-circle-fill.svg │ │ ├── arrow-right-circle.svg │ │ ├── arrow-right-short.svg │ │ ├── arrow-right-square-fill.svg │ │ ├── arrow-right-square.svg │ │ ├── arrow-right.svg │ │ ├── arrow-through-heart-fill.svg │ │ ├── arrow-through-heart.svg │ │ ├── arrow-up-circle-fill.svg │ │ ├── arrow-up-circle.svg │ │ ├── arrow-up-left-circle-fill.svg │ │ ├── arrow-up-left-circle.svg │ │ ├── arrow-up-left-square-fill.svg │ │ ├── arrow-up-left-square.svg │ │ ├── arrow-up-left.svg │ │ ├── arrow-up-right-circle-fill.svg │ │ ├── arrow-up-right-circle.svg │ │ ├── arrow-up-right-square-fill.svg │ │ ├── arrow-up-right-square.svg │ │ ├── arrow-up-right.svg │ │ ├── arrow-up-short.svg │ │ ├── arrow-up-square-fill.svg │ │ ├── arrow-up-square.svg │ │ ├── arrow-up.svg │ │ ├── arrows-angle-contract.svg │ │ ├── arrows-angle-expand.svg │ │ ├── arrows-collapse-vertical.svg │ │ ├── arrows-collapse.svg │ │ ├── arrows-expand-vertical.svg │ │ ├── arrows-expand.svg │ │ ├── arrows-fullscreen.svg │ │ ├── arrows-move.svg │ │ ├── arrows-vertical.svg │ │ ├── arrows.svg │ │ ├── aspect-ratio-fill.svg │ │ ├── aspect-ratio.svg │ │ ├── asterisk.svg │ │ ├── at.svg │ │ ├── award-fill.svg │ │ ├── award.svg │ │ ├── back.svg │ │ ├── backpack-fill.svg │ │ ├── backpack.svg │ │ ├── backpack2-fill.svg │ │ ├── backpack2.svg │ │ ├── backpack3-fill.svg │ │ ├── backpack3.svg │ │ ├── backpack4-fill.svg │ │ ├── backpack4.svg │ │ ├── backspace-fill.svg │ │ ├── backspace-reverse-fill.svg │ │ ├── backspace-reverse.svg │ │ ├── backspace.svg │ │ ├── badge-3d-fill.svg │ │ ├── badge-3d.svg │ │ ├── badge-4k-fill.svg │ │ ├── badge-4k.svg │ │ ├── badge-8k-fill.svg │ │ ├── badge-8k.svg │ │ ├── badge-ad-fill.svg │ │ ├── badge-ad.svg │ │ ├── badge-ar-fill.svg │ │ ├── badge-ar.svg │ │ ├── badge-cc-fill.svg │ │ ├── badge-cc.svg │ │ ├── badge-hd-fill.svg │ │ ├── badge-hd.svg │ │ ├── badge-sd-fill.svg │ │ ├── badge-sd.svg │ │ ├── badge-tm-fill.svg │ │ ├── badge-tm.svg │ │ ├── badge-vo-fill.svg │ │ ├── badge-vo.svg │ │ ├── badge-vr-fill.svg │ │ ├── badge-vr.svg │ │ ├── badge-wc-fill.svg │ │ ├── badge-wc.svg │ │ ├── bag-check-fill.svg │ │ ├── bag-check.svg │ │ ├── bag-dash-fill.svg │ │ ├── bag-dash.svg │ │ ├── bag-fill.svg │ │ ├── bag-heart-fill.svg │ │ ├── bag-heart.svg │ │ ├── bag-plus-fill.svg │ │ ├── bag-plus.svg │ │ ├── bag-x-fill.svg │ │ ├── bag-x.svg │ │ ├── bag.svg │ │ ├── balloon-fill.svg │ │ ├── balloon-heart-fill.svg │ │ ├── balloon-heart.svg │ │ ├── balloon.svg │ │ ├── ban-fill.svg │ │ ├── ban.svg │ │ ├── bandaid-fill.svg │ │ ├── bandaid.svg │ │ ├── bank.svg │ │ ├── bank2.svg │ │ ├── bar-chart-fill.svg │ │ ├── bar-chart-line-fill.svg │ │ ├── bar-chart-line.svg │ │ ├── bar-chart-steps.svg │ │ ├── bar-chart.svg │ │ ├── basket-fill.svg │ │ ├── basket.svg │ │ ├── basket2-fill.svg │ │ ├── basket2.svg │ │ ├── basket3-fill.svg │ │ ├── basket3.svg │ │ ├── battery-charging.svg │ │ ├── battery-full.svg │ │ ├── battery-half.svg │ │ ├── battery.svg │ │ ├── behance.svg │ │ ├── bell-fill.svg │ │ ├── bell-slash-fill.svg │ │ ├── bell-slash.svg │ │ ├── bell.svg │ │ ├── bezier.svg │ │ ├── bezier2.svg │ │ ├── bicycle.svg │ │ ├── bing.svg │ │ ├── binoculars-fill.svg │ │ ├── binoculars.svg │ │ ├── blockquote-left.svg │ │ ├── blockquote-right.svg │ │ ├── bluetooth.svg │ │ ├── body-text.svg │ │ ├── book-fill.svg │ │ ├── book-half.svg │ │ ├── book.svg │ │ ├── bookmark-check-fill.svg │ │ ├── bookmark-check.svg │ │ ├── bookmark-dash-fill.svg │ │ ├── bookmark-dash.svg │ │ ├── bookmark-fill.svg │ │ ├── bookmark-heart-fill.svg │ │ ├── bookmark-heart.svg │ │ ├── bookmark-plus-fill.svg │ │ ├── bookmark-plus.svg │ │ ├── bookmark-star-fill.svg │ │ ├── bookmark-star.svg │ │ ├── bookmark-x-fill.svg │ │ ├── bookmark-x.svg │ │ ├── bookmark.svg │ │ ├── bookmarks-fill.svg │ │ ├── bookmarks.svg │ │ ├── bookshelf.svg │ │ ├── boombox-fill.svg │ │ ├── boombox.svg │ │ ├── bootstrap-fill.svg │ │ ├── bootstrap-icons.svg │ │ ├── bootstrap-reboot.svg │ │ ├── bootstrap.svg │ │ ├── border-all.svg │ │ ├── border-bottom.svg │ │ ├── border-center.svg │ │ ├── border-inner.svg │ │ ├── border-left.svg │ │ ├── border-middle.svg │ │ ├── border-outer.svg │ │ ├── border-right.svg │ │ ├── border-style.svg │ │ ├── border-top.svg │ │ ├── border-width.svg │ │ ├── border.svg │ │ ├── bounding-box-circles.svg │ │ ├── bounding-box.svg │ │ ├── box-arrow-down-left.svg │ │ ├── box-arrow-down-right.svg │ │ ├── box-arrow-down.svg │ │ ├── box-arrow-in-down-left.svg │ │ ├── box-arrow-in-down-right.svg │ │ ├── box-arrow-in-down.svg │ │ ├── box-arrow-in-left.svg │ │ ├── box-arrow-in-right.svg │ │ ├── box-arrow-in-up-left.svg │ │ ├── box-arrow-in-up-right.svg │ │ ├── box-arrow-in-up.svg │ │ ├── box-arrow-left.svg │ │ ├── box-arrow-right.svg │ │ ├── box-arrow-up-left.svg │ │ ├── box-arrow-up-right.svg │ │ ├── box-arrow-up.svg │ │ ├── box-fill.svg │ │ ├── box-seam-fill.svg │ │ ├── box-seam.svg │ │ ├── box.svg │ │ ├── box2-fill.svg │ │ ├── box2-heart-fill.svg │ │ ├── box2-heart.svg │ │ ├── box2.svg │ │ ├── boxes.svg │ │ ├── braces-asterisk.svg │ │ ├── braces.svg │ │ ├── bricks.svg │ │ ├── briefcase-fill.svg │ │ ├── briefcase.svg │ │ ├── brightness-alt-high-fill.svg │ │ ├── brightness-alt-high.svg │ │ ├── brightness-alt-low-fill.svg │ │ ├── brightness-alt-low.svg │ │ ├── brightness-high-fill.svg │ │ ├── brightness-high.svg │ │ ├── brightness-low-fill.svg │ │ ├── brightness-low.svg │ │ ├── brilliance.svg │ │ ├── broadcast-pin.svg │ │ ├── broadcast.svg │ │ ├── browser-chrome.svg │ │ ├── browser-edge.svg │ │ ├── browser-firefox.svg │ │ ├── browser-safari.svg │ │ ├── brush-fill.svg │ │ ├── brush.svg │ │ ├── bucket-fill.svg │ │ ├── bucket.svg │ │ ├── bug-fill.svg │ │ ├── bug.svg │ │ ├── building-add.svg │ │ ├── building-check.svg │ │ ├── building-dash.svg │ │ ├── building-down.svg │ │ ├── building-exclamation.svg │ │ ├── building-fill-add.svg │ │ ├── building-fill-check.svg │ │ ├── building-fill-dash.svg │ │ ├── building-fill-down.svg │ │ ├── building-fill-exclamation.svg │ │ ├── building-fill-gear.svg │ │ ├── building-fill-lock.svg │ │ ├── building-fill-slash.svg │ │ ├── building-fill-up.svg │ │ ├── building-fill-x.svg │ │ ├── building-fill.svg │ │ ├── building-gear.svg │ │ ├── building-lock.svg │ │ ├── building-slash.svg │ │ ├── building-up.svg │ │ ├── building-x.svg │ │ ├── building.svg │ │ ├── buildings-fill.svg │ │ ├── buildings.svg │ │ ├── bullseye.svg │ │ ├── bus-front-fill.svg │ │ ├── bus-front.svg │ │ ├── c-circle-fill.svg │ │ ├── c-circle.svg │ │ ├── c-square-fill.svg │ │ ├── c-square.svg │ │ ├── cake-fill.svg │ │ ├── cake.svg │ │ ├── cake2-fill.svg │ │ ├── cake2.svg │ │ ├── calculator-fill.svg │ │ ├── calculator.svg │ │ ├── calendar-check-fill.svg │ │ ├── calendar-check.svg │ │ ├── calendar-date-fill.svg │ │ ├── calendar-date.svg │ │ ├── calendar-day-fill.svg │ │ ├── calendar-day.svg │ │ ├── calendar-event-fill.svg │ │ ├── calendar-event.svg │ │ ├── calendar-fill.svg │ │ ├── calendar-heart-fill.svg │ │ ├── calendar-heart.svg │ │ ├── calendar-minus-fill.svg │ │ ├── calendar-minus.svg │ │ ├── calendar-month-fill.svg │ │ ├── calendar-month.svg │ │ ├── calendar-plus-fill.svg │ │ ├── calendar-plus.svg │ │ ├── calendar-range-fill.svg │ │ ├── calendar-range.svg │ │ ├── calendar-week-fill.svg │ │ ├── calendar-week.svg │ │ ├── calendar-x-fill.svg │ │ ├── calendar-x.svg │ │ ├── calendar.svg │ │ ├── calendar2-check-fill.svg │ │ ├── calendar2-check.svg │ │ ├── calendar2-date-fill.svg │ │ ├── calendar2-date.svg │ │ ├── calendar2-day-fill.svg │ │ ├── calendar2-day.svg │ │ ├── calendar2-event-fill.svg │ │ ├── calendar2-event.svg │ │ ├── calendar2-fill.svg │ │ ├── calendar2-heart-fill.svg │ │ ├── calendar2-heart.svg │ │ ├── calendar2-minus-fill.svg │ │ ├── calendar2-minus.svg │ │ ├── calendar2-month-fill.svg │ │ ├── calendar2-month.svg │ │ ├── calendar2-plus-fill.svg │ │ ├── calendar2-plus.svg │ │ ├── calendar2-range-fill.svg │ │ ├── calendar2-range.svg │ │ ├── calendar2-week-fill.svg │ │ ├── calendar2-week.svg │ │ ├── calendar2-x-fill.svg │ │ ├── calendar2-x.svg │ │ ├── calendar2.svg │ │ ├── calendar3-event-fill.svg │ │ ├── calendar3-event.svg │ │ ├── calendar3-fill.svg │ │ ├── calendar3-range-fill.svg │ │ ├── calendar3-range.svg │ │ ├── calendar3-week-fill.svg │ │ ├── calendar3-week.svg │ │ ├── calendar3.svg │ │ ├── calendar4-event.svg │ │ ├── calendar4-range.svg │ │ ├── calendar4-week.svg │ │ ├── calendar4.svg │ │ ├── camera-fill.svg │ │ ├── camera-reels-fill.svg │ │ ├── camera-reels.svg │ │ ├── camera-video-fill.svg │ │ ├── camera-video-off-fill.svg │ │ ├── camera-video-off.svg │ │ ├── camera-video.svg │ │ ├── camera.svg │ │ ├── camera2.svg │ │ ├── capslock-fill.svg │ │ ├── capslock.svg │ │ ├── capsule-pill.svg │ │ ├── capsule.svg │ │ ├── car-front-fill.svg │ │ ├── car-front.svg │ │ ├── card-checklist.svg │ │ ├── card-heading.svg │ │ ├── card-image.svg │ │ ├── card-list.svg │ │ ├── card-text.svg │ │ ├── caret-down-fill.svg │ │ ├── caret-down-square-fill.svg │ │ ├── caret-down-square.svg │ │ ├── caret-down.svg │ │ ├── caret-left-fill.svg │ │ ├── caret-left-square-fill.svg │ │ ├── caret-left-square.svg │ │ ├── caret-left.svg │ │ ├── caret-right-fill.svg │ │ ├── caret-right-square-fill.svg │ │ ├── caret-right-square.svg │ │ ├── caret-right.svg │ │ ├── caret-up-fill.svg │ │ ├── caret-up-square-fill.svg │ │ ├── caret-up-square.svg │ │ ├── caret-up.svg │ │ ├── cart-check-fill.svg │ │ ├── cart-check.svg │ │ ├── cart-dash-fill.svg │ │ ├── cart-dash.svg │ │ ├── cart-fill.svg │ │ ├── cart-plus-fill.svg │ │ ├── cart-plus.svg │ │ ├── cart-x-fill.svg │ │ ├── cart-x.svg │ │ ├── cart.svg │ │ ├── cart2.svg │ │ ├── cart3.svg │ │ ├── cart4.svg │ │ ├── cash-coin.svg │ │ ├── cash-stack.svg │ │ ├── cash.svg │ │ ├── cassette-fill.svg │ │ ├── cassette.svg │ │ ├── cast.svg │ │ ├── cc-circle-fill.svg │ │ ├── cc-circle.svg │ │ ├── cc-square-fill.svg │ │ ├── cc-square.svg │ │ ├── chat-dots-fill.svg │ │ ├── chat-dots.svg │ │ ├── chat-fill.svg │ │ ├── chat-heart-fill.svg │ │ ├── chat-heart.svg │ │ ├── chat-left-dots-fill.svg │ │ ├── chat-left-dots.svg │ │ ├── chat-left-fill.svg │ │ ├── chat-left-heart-fill.svg │ │ ├── chat-left-heart.svg │ │ ├── chat-left-quote-fill.svg │ │ ├── chat-left-quote.svg │ │ ├── chat-left-text-fill.svg │ │ ├── chat-left-text.svg │ │ ├── chat-left.svg │ │ ├── chat-quote-fill.svg │ │ ├── chat-quote.svg │ │ ├── chat-right-dots-fill.svg │ │ ├── chat-right-dots.svg │ │ ├── chat-right-fill.svg │ │ ├── chat-right-heart-fill.svg │ │ ├── chat-right-heart.svg │ │ ├── chat-right-quote-fill.svg │ │ ├── chat-right-quote.svg │ │ ├── chat-right-text-fill.svg │ │ ├── chat-right-text.svg │ │ ├── chat-right.svg │ │ ├── chat-square-dots-fill.svg │ │ ├── chat-square-dots.svg │ │ ├── chat-square-fill.svg │ │ ├── chat-square-heart-fill.svg │ │ ├── chat-square-heart.svg │ │ ├── chat-square-quote-fill.svg │ │ ├── chat-square-quote.svg │ │ ├── chat-square-text-fill.svg │ │ ├── chat-square-text.svg │ │ ├── chat-square.svg │ │ ├── chat-text-fill.svg │ │ ├── chat-text.svg │ │ ├── chat.svg │ │ ├── check-all.svg │ │ ├── check-circle-fill.svg │ │ ├── check-circle.svg │ │ ├── check-lg.svg │ │ ├── check-square-fill.svg │ │ ├── check-square.svg │ │ ├── check.svg │ │ ├── check2-all.svg │ │ ├── check2-circle.svg │ │ ├── check2-square.svg │ │ ├── check2.svg │ │ ├── chevron-bar-contract.svg │ │ ├── chevron-bar-down.svg │ │ ├── chevron-bar-expand.svg │ │ ├── chevron-bar-left.svg │ │ ├── chevron-bar-right.svg │ │ ├── chevron-bar-up.svg │ │ ├── chevron-compact-down.svg │ │ ├── chevron-compact-left.svg │ │ ├── chevron-compact-right.svg │ │ ├── chevron-compact-up.svg │ │ ├── chevron-contract.svg │ │ ├── chevron-double-down.svg │ │ ├── chevron-double-left.svg │ │ ├── chevron-double-right.svg │ │ ├── chevron-double-up.svg │ │ ├── chevron-down.svg │ │ ├── chevron-expand.svg │ │ ├── chevron-left.svg │ │ ├── chevron-right.svg │ │ ├── chevron-up.svg │ │ ├── circle-fill.svg │ │ ├── circle-half.svg │ │ ├── circle-square.svg │ │ ├── circle.svg │ │ ├── clipboard-check-fill.svg │ │ ├── clipboard-check.svg │ │ ├── clipboard-data-fill.svg │ │ ├── clipboard-data.svg │ │ ├── clipboard-fill.svg │ │ ├── clipboard-heart-fill.svg │ │ ├── clipboard-heart.svg │ │ ├── clipboard-minus-fill.svg │ │ ├── clipboard-minus.svg │ │ ├── clipboard-plus-fill.svg │ │ ├── clipboard-plus.svg │ │ ├── clipboard-pulse.svg │ │ ├── clipboard-x-fill.svg │ │ ├── clipboard-x.svg │ │ ├── clipboard.svg │ │ ├── clipboard2-check-fill.svg │ │ ├── clipboard2-check.svg │ │ ├── clipboard2-data-fill.svg │ │ ├── clipboard2-data.svg │ │ ├── clipboard2-fill.svg │ │ ├── clipboard2-heart-fill.svg │ │ ├── clipboard2-heart.svg │ │ ├── clipboard2-minus-fill.svg │ │ ├── clipboard2-minus.svg │ │ ├── clipboard2-plus-fill.svg │ │ ├── clipboard2-plus.svg │ │ ├── clipboard2-pulse-fill.svg │ │ ├── clipboard2-pulse.svg │ │ ├── clipboard2-x-fill.svg │ │ ├── clipboard2-x.svg │ │ ├── clipboard2.svg │ │ ├── clock-fill.svg │ │ ├── clock-history.svg │ │ ├── clock.svg │ │ ├── cloud-arrow-down-fill.svg │ │ ├── cloud-arrow-down.svg │ │ ├── cloud-arrow-up-fill.svg │ │ ├── cloud-arrow-up.svg │ │ ├── cloud-check-fill.svg │ │ ├── cloud-check.svg │ │ ├── cloud-download-fill.svg │ │ ├── cloud-download.svg │ │ ├── cloud-drizzle-fill.svg │ │ ├── cloud-drizzle.svg │ │ ├── cloud-fill.svg │ │ ├── cloud-fog-fill.svg │ │ ├── cloud-fog.svg │ │ ├── cloud-fog2-fill.svg │ │ ├── cloud-fog2.svg │ │ ├── cloud-hail-fill.svg │ │ ├── cloud-hail.svg │ │ ├── cloud-haze-fill.svg │ │ ├── cloud-haze.svg │ │ ├── cloud-haze2-fill.svg │ │ ├── cloud-haze2.svg │ │ ├── cloud-lightning-fill.svg │ │ ├── cloud-lightning-rain-fill.svg │ │ ├── cloud-lightning-rain.svg │ │ ├── cloud-lightning.svg │ │ ├── cloud-minus-fill.svg │ │ ├── cloud-minus.svg │ │ ├── cloud-moon-fill.svg │ │ ├── cloud-moon.svg │ │ ├── cloud-plus-fill.svg │ │ ├── cloud-plus.svg │ │ ├── cloud-rain-fill.svg │ │ ├── cloud-rain-heavy-fill.svg │ │ ├── cloud-rain-heavy.svg │ │ ├── cloud-rain.svg │ │ ├── cloud-slash-fill.svg │ │ ├── cloud-slash.svg │ │ ├── cloud-sleet-fill.svg │ │ ├── cloud-sleet.svg │ │ ├── cloud-snow-fill.svg │ │ ├── cloud-snow.svg │ │ ├── cloud-sun-fill.svg │ │ ├── cloud-sun.svg │ │ ├── cloud-upload-fill.svg │ │ ├── cloud-upload.svg │ │ ├── cloud.svg │ │ ├── clouds-fill.svg │ │ ├── clouds.svg │ │ ├── cloudy-fill.svg │ │ ├── cloudy.svg │ │ ├── code-slash.svg │ │ ├── code-square.svg │ │ ├── code.svg │ │ ├── coin.svg │ │ ├── collection-fill.svg │ │ ├── collection-play-fill.svg │ │ ├── collection-play.svg │ │ ├── collection.svg │ │ ├── columns-gap.svg │ │ ├── columns.svg │ │ ├── command.svg │ │ ├── compass-fill.svg │ │ ├── compass.svg │ │ ├── cone-striped.svg │ │ ├── cone.svg │ │ ├── controller.svg │ │ ├── cookie.svg │ │ ├── copy.svg │ │ ├── cpu-fill.svg │ │ ├── cpu.svg │ │ ├── credit-card-2-back-fill.svg │ │ ├── credit-card-2-back.svg │ │ ├── credit-card-2-front-fill.svg │ │ ├── credit-card-2-front.svg │ │ ├── credit-card-fill.svg │ │ ├── credit-card.svg │ │ ├── crop.svg │ │ ├── crosshair.svg │ │ ├── crosshair2.svg │ │ ├── cup-fill.svg │ │ ├── cup-hot-fill.svg │ │ ├── cup-hot.svg │ │ ├── cup-straw.svg │ │ ├── cup.svg │ │ ├── currency-bitcoin.svg │ │ ├── currency-dollar.svg │ │ ├── currency-euro.svg │ │ ├── currency-exchange.svg │ │ ├── currency-pound.svg │ │ ├── currency-rupee.svg │ │ ├── currency-yen.svg │ │ ├── cursor-fill.svg │ │ ├── cursor-text.svg │ │ ├── cursor.svg │ │ ├── dash-circle-dotted.svg │ │ ├── dash-circle-fill.svg │ │ ├── dash-circle.svg │ │ ├── dash-lg.svg │ │ ├── dash-square-dotted.svg │ │ ├── dash-square-fill.svg │ │ ├── dash-square.svg │ │ ├── dash.svg │ │ ├── database-add.svg │ │ ├── database-check.svg │ │ ├── database-dash.svg │ │ ├── database-down.svg │ │ ├── database-exclamation.svg │ │ ├── database-fill-add.svg │ │ ├── database-fill-check.svg │ │ ├── database-fill-dash.svg │ │ ├── database-fill-down.svg │ │ ├── database-fill-exclamation.svg │ │ ├── database-fill-gear.svg │ │ ├── database-fill-lock.svg │ │ ├── database-fill-slash.svg │ │ ├── database-fill-up.svg │ │ ├── database-fill-x.svg │ │ ├── database-fill.svg │ │ ├── database-gear.svg │ │ ├── database-lock.svg │ │ ├── database-slash.svg │ │ ├── database-up.svg │ │ ├── database-x.svg │ │ ├── database.svg │ │ ├── device-hdd-fill.svg │ │ ├── device-hdd.svg │ │ ├── device-ssd-fill.svg │ │ ├── device-ssd.svg │ │ ├── diagram-2-fill.svg │ │ ├── diagram-2.svg │ │ ├── diagram-3-fill.svg │ │ ├── diagram-3.svg │ │ ├── diamond-fill.svg │ │ ├── diamond-half.svg │ │ ├── diamond.svg │ │ ├── dice-1-fill.svg │ │ ├── dice-1.svg │ │ ├── dice-2-fill.svg │ │ ├── dice-2.svg │ │ ├── dice-3-fill.svg │ │ ├── dice-3.svg │ │ ├── dice-4-fill.svg │ │ ├── dice-4.svg │ │ ├── dice-5-fill.svg │ │ ├── dice-5.svg │ │ ├── dice-6-fill.svg │ │ ├── dice-6.svg │ │ ├── disc-fill.svg │ │ ├── disc.svg │ │ ├── discord.svg │ │ ├── display-fill.svg │ │ ├── display.svg │ │ ├── displayport-fill.svg │ │ ├── displayport.svg │ │ ├── distribute-horizontal.svg │ │ ├── distribute-vertical.svg │ │ ├── door-closed-fill.svg │ │ ├── door-closed.svg │ │ ├── door-open-fill.svg │ │ ├── door-open.svg │ │ ├── dot.svg │ │ ├── download.svg │ │ ├── dpad-fill.svg │ │ ├── dpad.svg │ │ ├── dribbble.svg │ │ ├── dropbox.svg │ │ ├── droplet-fill.svg │ │ ├── droplet-half.svg │ │ ├── droplet.svg │ │ ├── duffle-fill.svg │ │ ├── duffle.svg │ │ ├── ear-fill.svg │ │ ├── ear.svg │ │ ├── earbuds.svg │ │ ├── easel-fill.svg │ │ ├── easel.svg │ │ ├── easel2-fill.svg │ │ ├── easel2.svg │ │ ├── easel3-fill.svg │ │ ├── easel3.svg │ │ ├── egg-fill.svg │ │ ├── egg-fried.svg │ │ ├── egg.svg │ │ ├── eject-fill.svg │ │ ├── eject.svg │ │ ├── emoji-angry-fill.svg │ │ ├── emoji-angry.svg │ │ ├── emoji-astonished-fill.svg │ │ ├── emoji-astonished.svg │ │ ├── emoji-dizzy-fill.svg │ │ ├── emoji-dizzy.svg │ │ ├── emoji-expressionless-fill.svg │ │ ├── emoji-expressionless.svg │ │ ├── emoji-frown-fill.svg │ │ ├── emoji-frown.svg │ │ ├── emoji-grimace-fill.svg │ │ ├── emoji-grimace.svg │ │ ├── emoji-grin-fill.svg │ │ ├── emoji-grin.svg │ │ ├── emoji-heart-eyes-fill.svg │ │ ├── emoji-heart-eyes.svg │ │ ├── emoji-kiss-fill.svg │ │ ├── emoji-kiss.svg │ │ ├── emoji-laughing-fill.svg │ │ ├── emoji-laughing.svg │ │ ├── emoji-neutral-fill.svg │ │ ├── emoji-neutral.svg │ │ ├── emoji-smile-fill.svg │ │ ├── emoji-smile-upside-down-fill.svg │ │ ├── emoji-smile-upside-down.svg │ │ ├── emoji-smile.svg │ │ ├── emoji-sunglasses-fill.svg │ │ ├── emoji-sunglasses.svg │ │ ├── emoji-surprise-fill.svg │ │ ├── emoji-surprise.svg │ │ ├── emoji-tear-fill.svg │ │ ├── emoji-tear.svg │ │ ├── emoji-wink-fill.svg │ │ ├── emoji-wink.svg │ │ ├── envelope-arrow-down-fill.svg │ │ ├── envelope-arrow-down.svg │ │ ├── envelope-arrow-up-fill.svg │ │ ├── envelope-arrow-up.svg │ │ ├── envelope-at-fill.svg │ │ ├── envelope-at.svg │ │ ├── envelope-check-fill.svg │ │ ├── envelope-check.svg │ │ ├── envelope-dash-fill.svg │ │ ├── envelope-dash.svg │ │ ├── envelope-exclamation-fill.svg │ │ ├── envelope-exclamation.svg │ │ ├── envelope-fill.svg │ │ ├── envelope-heart-fill.svg │ │ ├── envelope-heart.svg │ │ ├── envelope-open-fill.svg │ │ ├── envelope-open-heart-fill.svg │ │ ├── envelope-open-heart.svg │ │ ├── envelope-open.svg │ │ ├── envelope-paper-fill.svg │ │ ├── envelope-paper-heart-fill.svg │ │ ├── envelope-paper-heart.svg │ │ ├── envelope-paper.svg │ │ ├── envelope-plus-fill.svg │ │ ├── envelope-plus.svg │ │ ├── envelope-slash-fill.svg │ │ ├── envelope-slash.svg │ │ ├── envelope-x-fill.svg │ │ ├── envelope-x.svg │ │ ├── envelope.svg │ │ ├── eraser-fill.svg │ │ ├── eraser.svg │ │ ├── escape.svg │ │ ├── ethernet.svg │ │ ├── ev-front-fill.svg │ │ ├── ev-front.svg │ │ ├── ev-station-fill.svg │ │ ├── ev-station.svg │ │ ├── exclamation-circle-fill.svg │ │ ├── exclamation-circle.svg │ │ ├── exclamation-diamond-fill.svg │ │ ├── exclamation-diamond.svg │ │ ├── exclamation-lg.svg │ │ ├── exclamation-octagon-fill.svg │ │ ├── exclamation-octagon.svg │ │ ├── exclamation-square-fill.svg │ │ ├── exclamation-square.svg │ │ ├── exclamation-triangle-fill.svg │ │ ├── exclamation-triangle.svg │ │ ├── exclamation.svg │ │ ├── exclude.svg │ │ ├── explicit-fill.svg │ │ ├── explicit.svg │ │ ├── exposure.svg │ │ ├── eye-fill.svg │ │ ├── eye-slash-fill.svg │ │ ├── eye-slash.svg │ │ ├── eye.svg │ │ ├── eyedropper.svg │ │ ├── eyeglasses.svg │ │ ├── facebook.svg │ │ ├── fan.svg │ │ ├── fast-forward-btn-fill.svg │ │ ├── fast-forward-btn.svg │ │ ├── fast-forward-circle-fill.svg │ │ ├── fast-forward-circle.svg │ │ ├── fast-forward-fill.svg │ │ ├── fast-forward.svg │ │ ├── feather.svg │ │ ├── feather2.svg │ │ ├── file-arrow-down-fill.svg │ │ ├── file-arrow-down.svg │ │ ├── file-arrow-up-fill.svg │ │ ├── file-arrow-up.svg │ │ ├── file-bar-graph-fill.svg │ │ ├── file-bar-graph.svg │ │ ├── file-binary-fill.svg │ │ ├── file-binary.svg │ │ ├── file-break-fill.svg │ │ ├── file-break.svg │ │ ├── file-check-fill.svg │ │ ├── file-check.svg │ │ ├── file-code-fill.svg │ │ ├── file-code.svg │ │ ├── file-diff-fill.svg │ │ ├── file-diff.svg │ │ ├── file-earmark-arrow-down-fill.svg │ │ ├── file-earmark-arrow-down.svg │ │ ├── file-earmark-arrow-up-fill.svg │ │ ├── file-earmark-arrow-up.svg │ │ ├── file-earmark-bar-graph-fill.svg │ │ ├── file-earmark-bar-graph.svg │ │ ├── file-earmark-binary-fill.svg │ │ ├── file-earmark-binary.svg │ │ ├── file-earmark-break-fill.svg │ │ ├── file-earmark-break.svg │ │ ├── file-earmark-check-fill.svg │ │ ├── file-earmark-check.svg │ │ ├── file-earmark-code-fill.svg │ │ ├── file-earmark-code.svg │ │ ├── file-earmark-diff-fill.svg │ │ ├── file-earmark-diff.svg │ │ ├── file-earmark-easel-fill.svg │ │ ├── file-earmark-easel.svg │ │ ├── file-earmark-excel-fill.svg │ │ ├── file-earmark-excel.svg │ │ ├── file-earmark-fill.svg │ │ ├── file-earmark-font-fill.svg │ │ ├── file-earmark-font.svg │ │ ├── file-earmark-image-fill.svg │ │ ├── file-earmark-image.svg │ │ ├── file-earmark-lock-fill.svg │ │ ├── file-earmark-lock.svg │ │ ├── file-earmark-lock2-fill.svg │ │ ├── file-earmark-lock2.svg │ │ ├── file-earmark-medical-fill.svg │ │ ├── file-earmark-medical.svg │ │ ├── file-earmark-minus-fill.svg │ │ ├── file-earmark-minus.svg │ │ ├── file-earmark-music-fill.svg │ │ ├── file-earmark-music.svg │ │ ├── file-earmark-pdf-fill.svg │ │ ├── file-earmark-pdf.svg │ │ ├── file-earmark-person-fill.svg │ │ ├── file-earmark-person.svg │ │ ├── file-earmark-play-fill.svg │ │ ├── file-earmark-play.svg │ │ ├── file-earmark-plus-fill.svg │ │ ├── file-earmark-plus.svg │ │ ├── file-earmark-post-fill.svg │ │ ├── file-earmark-post.svg │ │ ├── file-earmark-ppt-fill.svg │ │ ├── file-earmark-ppt.svg │ │ ├── file-earmark-richtext-fill.svg │ │ ├── file-earmark-richtext.svg │ │ ├── file-earmark-ruled-fill.svg │ │ ├── file-earmark-ruled.svg │ │ ├── file-earmark-slides-fill.svg │ │ ├── file-earmark-slides.svg │ │ ├── file-earmark-spreadsheet-fill.svg │ │ ├── file-earmark-spreadsheet.svg │ │ ├── file-earmark-text-fill.svg │ │ ├── file-earmark-text.svg │ │ ├── file-earmark-word-fill.svg │ │ ├── file-earmark-word.svg │ │ ├── file-earmark-x-fill.svg │ │ ├── file-earmark-x.svg │ │ ├── file-earmark-zip-fill.svg │ │ ├── file-earmark-zip.svg │ │ ├── file-earmark.svg │ │ ├── file-easel-fill.svg │ │ ├── file-easel.svg │ │ ├── file-excel-fill.svg │ │ ├── file-excel.svg │ │ ├── file-fill.svg │ │ ├── file-font-fill.svg │ │ ├── file-font.svg │ │ ├── file-image-fill.svg │ │ ├── file-image.svg │ │ ├── file-lock-fill.svg │ │ ├── file-lock.svg │ │ ├── file-lock2-fill.svg │ │ ├── file-lock2.svg │ │ ├── file-medical-fill.svg │ │ ├── file-medical.svg │ │ ├── file-minus-fill.svg │ │ ├── file-minus.svg │ │ ├── file-music-fill.svg │ │ ├── file-music.svg │ │ ├── file-pdf-fill.svg │ │ ├── file-pdf.svg │ │ ├── file-person-fill.svg │ │ ├── file-person.svg │ │ ├── file-play-fill.svg │ │ ├── file-play.svg │ │ ├── file-plus-fill.svg │ │ ├── file-plus.svg │ │ ├── file-post-fill.svg │ │ ├── file-post.svg │ │ ├── file-ppt-fill.svg │ │ ├── file-ppt.svg │ │ ├── file-richtext-fill.svg │ │ ├── file-richtext.svg │ │ ├── file-ruled-fill.svg │ │ ├── file-ruled.svg │ │ ├── file-slides-fill.svg │ │ ├── file-slides.svg │ │ ├── file-spreadsheet-fill.svg │ │ ├── file-spreadsheet.svg │ │ ├── file-text-fill.svg │ │ ├── file-text.svg │ │ ├── file-word-fill.svg │ │ ├── file-word.svg │ │ ├── file-x-fill.svg │ │ ├── file-x.svg │ │ ├── file-zip-fill.svg │ │ ├── file-zip.svg │ │ ├── file.svg │ │ ├── files-alt.svg │ │ ├── files.svg │ │ ├── filetype-aac.svg │ │ ├── filetype-ai.svg │ │ ├── filetype-bmp.svg │ │ ├── filetype-cs.svg │ │ ├── filetype-css.svg │ │ ├── filetype-csv.svg │ │ ├── filetype-doc.svg │ │ ├── filetype-docx.svg │ │ ├── filetype-exe.svg │ │ ├── filetype-gif.svg │ │ ├── filetype-heic.svg │ │ ├── filetype-html.svg │ │ ├── filetype-java.svg │ │ ├── filetype-jpg.svg │ │ ├── filetype-js.svg │ │ ├── filetype-json.svg │ │ ├── filetype-jsx.svg │ │ ├── filetype-key.svg │ │ ├── filetype-m4p.svg │ │ ├── filetype-md.svg │ │ ├── filetype-mdx.svg │ │ ├── filetype-mov.svg │ │ ├── filetype-mp3.svg │ │ ├── filetype-mp4.svg │ │ ├── filetype-otf.svg │ │ ├── filetype-pdf.svg │ │ ├── filetype-php.svg │ │ ├── filetype-png.svg │ │ ├── filetype-ppt.svg │ │ ├── filetype-pptx.svg │ │ ├── filetype-psd.svg │ │ ├── filetype-py.svg │ │ ├── filetype-raw.svg │ │ ├── filetype-rb.svg │ │ ├── filetype-sass.svg │ │ ├── filetype-scss.svg │ │ ├── filetype-sh.svg │ │ ├── filetype-sql.svg │ │ ├── filetype-svg.svg │ │ ├── filetype-tiff.svg │ │ ├── filetype-tsx.svg │ │ ├── filetype-ttf.svg │ │ ├── filetype-txt.svg │ │ ├── filetype-wav.svg │ │ ├── filetype-woff.svg │ │ ├── filetype-xls.svg │ │ ├── filetype-xlsx.svg │ │ ├── filetype-xml.svg │ │ ├── filetype-yml.svg │ │ ├── film.svg │ │ ├── filter-circle-fill.svg │ │ ├── filter-circle.svg │ │ ├── filter-left.svg │ │ ├── filter-right.svg │ │ ├── filter-square-fill.svg │ │ ├── filter-square.svg │ │ ├── filter.svg │ │ ├── fingerprint.svg │ │ ├── fire.svg │ │ ├── flag-fill.svg │ │ ├── flag.svg │ │ ├── floppy-fill.svg │ │ ├── floppy.svg │ │ ├── floppy2-fill.svg │ │ ├── floppy2.svg │ │ ├── flower1.svg │ │ ├── flower2.svg │ │ ├── flower3.svg │ │ ├── folder-check.svg │ │ ├── folder-fill.svg │ │ ├── folder-minus.svg │ │ ├── folder-plus.svg │ │ ├── folder-symlink-fill.svg │ │ ├── folder-symlink.svg │ │ ├── folder-x.svg │ │ ├── folder.svg │ │ ├── folder2-open.svg │ │ ├── folder2.svg │ │ ├── font │ │ │ ├── bootstrap-icons.css │ │ │ ├── bootstrap-icons.json │ │ │ ├── bootstrap-icons.min.css │ │ │ ├── bootstrap-icons.scss │ │ │ └── fonts │ │ │ │ ├── bootstrap-icons.woff │ │ │ │ └── bootstrap-icons.woff2 │ │ ├── fonts.svg │ │ ├── forward-fill.svg │ │ ├── forward.svg │ │ ├── front.svg │ │ ├── fuel-pump-diesel-fill.svg │ │ ├── fuel-pump-diesel.svg │ │ ├── fuel-pump-fill.svg │ │ ├── fuel-pump.svg │ │ ├── fullscreen-exit.svg │ │ ├── fullscreen.svg │ │ ├── funnel-fill.svg │ │ ├── funnel.svg │ │ ├── gear-fill.svg │ │ ├── gear-wide-connected.svg │ │ ├── gear-wide.svg │ │ ├── gear.svg │ │ ├── gem.svg │ │ ├── gender-ambiguous.svg │ │ ├── gender-female.svg │ │ ├── gender-male.svg │ │ ├── gender-neuter.svg │ │ ├── gender-trans.svg │ │ ├── geo-alt-fill.svg │ │ ├── geo-alt.svg │ │ ├── geo-fill.svg │ │ ├── geo.svg │ │ ├── gift-fill.svg │ │ ├── gift.svg │ │ ├── git.svg │ │ ├── github.svg │ │ ├── gitlab.svg │ │ ├── globe-americas.svg │ │ ├── globe-asia-australia.svg │ │ ├── globe-central-south-asia.svg │ │ ├── globe-europe-africa.svg │ │ ├── globe.svg │ │ ├── globe2.svg │ │ ├── google-play.svg │ │ ├── google.svg │ │ ├── gpu-card.svg │ │ ├── graph-down-arrow.svg │ │ ├── graph-down.svg │ │ ├── graph-up-arrow.svg │ │ ├── graph-up.svg │ │ ├── grid-1x2-fill.svg │ │ ├── grid-1x2.svg │ │ ├── grid-3x2-gap-fill.svg │ │ ├── grid-3x2-gap.svg │ │ ├── grid-3x2.svg │ │ ├── grid-3x3-gap-fill.svg │ │ ├── grid-3x3-gap.svg │ │ ├── grid-3x3.svg │ │ ├── grid-fill.svg │ │ ├── grid.svg │ │ ├── grip-horizontal.svg │ │ ├── grip-vertical.svg │ │ ├── h-circle-fill.svg │ │ ├── h-circle.svg │ │ ├── h-square-fill.svg │ │ ├── h-square.svg │ │ ├── hammer.svg │ │ ├── hand-index-fill.svg │ │ ├── hand-index-thumb-fill.svg │ │ ├── hand-index-thumb.svg │ │ ├── hand-index.svg │ │ ├── hand-thumbs-down-fill.svg │ │ ├── hand-thumbs-down.svg │ │ ├── hand-thumbs-up-fill.svg │ │ ├── hand-thumbs-up.svg │ │ ├── handbag-fill.svg │ │ ├── handbag.svg │ │ ├── hash.svg │ │ ├── hdd-fill.svg │ │ ├── hdd-network-fill.svg │ │ ├── hdd-network.svg │ │ ├── hdd-rack-fill.svg │ │ ├── hdd-rack.svg │ │ ├── hdd-stack-fill.svg │ │ ├── hdd-stack.svg │ │ ├── hdd.svg │ │ ├── hdmi-fill.svg │ │ ├── hdmi.svg │ │ ├── headphones.svg │ │ ├── headset-vr.svg │ │ ├── headset.svg │ │ ├── heart-arrow.svg │ │ ├── heart-fill.svg │ │ ├── heart-half.svg │ │ ├── heart-pulse-fill.svg │ │ ├── heart-pulse.svg │ │ ├── heart.svg │ │ ├── heartbreak-fill.svg │ │ ├── heartbreak.svg │ │ ├── hearts.svg │ │ ├── heptagon-fill.svg │ │ ├── heptagon-half.svg │ │ ├── heptagon.svg │ │ ├── hexagon-fill.svg │ │ ├── hexagon-half.svg │ │ ├── hexagon.svg │ │ ├── highlighter.svg │ │ ├── highlights.svg │ │ ├── hospital-fill.svg │ │ ├── hospital.svg │ │ ├── hourglass-bottom.svg │ │ ├── hourglass-split.svg │ │ ├── hourglass-top.svg │ │ ├── hourglass.svg │ │ ├── house-add-fill.svg │ │ ├── house-add.svg │ │ ├── house-check-fill.svg │ │ ├── house-check.svg │ │ ├── house-dash-fill.svg │ │ ├── house-dash.svg │ │ ├── house-door-fill.svg │ │ ├── house-door.svg │ │ ├── house-down-fill.svg │ │ ├── house-down.svg │ │ ├── house-exclamation-fill.svg │ │ ├── house-exclamation.svg │ │ ├── house-fill.svg │ │ ├── house-gear-fill.svg │ │ ├── house-gear.svg │ │ ├── house-heart-fill.svg │ │ ├── house-heart.svg │ │ ├── house-lock-fill.svg │ │ ├── house-lock.svg │ │ ├── house-slash-fill.svg │ │ ├── house-slash.svg │ │ ├── house-up-fill.svg │ │ ├── house-up.svg │ │ ├── house-x-fill.svg │ │ ├── house-x.svg │ │ ├── house.svg │ │ ├── houses-fill.svg │ │ ├── houses.svg │ │ ├── hr.svg │ │ ├── hurricane.svg │ │ ├── hypnotize.svg │ │ ├── image-alt.svg │ │ ├── image-fill.svg │ │ ├── image.svg │ │ ├── images.svg │ │ ├── inbox-fill.svg │ │ ├── inbox.svg │ │ ├── inboxes-fill.svg │ │ ├── inboxes.svg │ │ ├── incognito.svg │ │ ├── indent.svg │ │ ├── infinity.svg │ │ ├── info-circle-fill.svg │ │ ├── info-circle.svg │ │ ├── info-lg.svg │ │ ├── info-square-fill.svg │ │ ├── info-square.svg │ │ ├── info.svg │ │ ├── input-cursor-text.svg │ │ ├── input-cursor.svg │ │ ├── instagram.svg │ │ ├── intersect.svg │ │ ├── journal-album.svg │ │ ├── journal-arrow-down.svg │ │ ├── journal-arrow-up.svg │ │ ├── journal-bookmark-fill.svg │ │ ├── journal-bookmark.svg │ │ ├── journal-check.svg │ │ ├── journal-code.svg │ │ ├── journal-medical.svg │ │ ├── journal-minus.svg │ │ ├── journal-plus.svg │ │ ├── journal-richtext.svg │ │ ├── journal-text.svg │ │ ├── journal-x.svg │ │ ├── journal.svg │ │ ├── journals.svg │ │ ├── joystick.svg │ │ ├── justify-left.svg │ │ ├── justify-right.svg │ │ ├── justify.svg │ │ ├── kanban-fill.svg │ │ ├── kanban.svg │ │ ├── key-fill.svg │ │ ├── key.svg │ │ ├── keyboard-fill.svg │ │ ├── keyboard.svg │ │ ├── ladder.svg │ │ ├── lamp-fill.svg │ │ ├── lamp.svg │ │ ├── laptop-fill.svg │ │ ├── laptop.svg │ │ ├── layer-backward.svg │ │ ├── layer-forward.svg │ │ ├── layers-fill.svg │ │ ├── layers-half.svg │ │ ├── layers.svg │ │ ├── layout-sidebar-inset-reverse.svg │ │ ├── layout-sidebar-inset.svg │ │ ├── layout-sidebar-reverse.svg │ │ ├── layout-sidebar.svg │ │ ├── layout-split.svg │ │ ├── layout-text-sidebar-reverse.svg │ │ ├── layout-text-sidebar.svg │ │ ├── layout-text-window-reverse.svg │ │ ├── layout-text-window.svg │ │ ├── layout-three-columns.svg │ │ ├── layout-wtf.svg │ │ ├── life-preserver.svg │ │ ├── lightbulb-fill.svg │ │ ├── lightbulb-off-fill.svg │ │ ├── lightbulb-off.svg │ │ ├── lightbulb.svg │ │ ├── lightning-charge-fill.svg │ │ ├── lightning-charge.svg │ │ ├── lightning-fill.svg │ │ ├── lightning.svg │ │ ├── line.svg │ │ ├── link-45deg.svg │ │ ├── link.svg │ │ ├── linkedin.svg │ │ ├── list-check.svg │ │ ├── list-columns-reverse.svg │ │ ├── list-columns.svg │ │ ├── list-nested.svg │ │ ├── list-ol.svg │ │ ├── list-stars.svg │ │ ├── list-task.svg │ │ ├── list-ul.svg │ │ ├── list.svg │ │ ├── lock-fill.svg │ │ ├── lock.svg │ │ ├── luggage-fill.svg │ │ ├── luggage.svg │ │ ├── lungs-fill.svg │ │ ├── lungs.svg │ │ ├── magic.svg │ │ ├── magnet-fill.svg │ │ ├── magnet.svg │ │ ├── mailbox-flag.svg │ │ ├── mailbox.svg │ │ ├── mailbox2-flag.svg │ │ ├── mailbox2.svg │ │ ├── map-fill.svg │ │ ├── map.svg │ │ ├── markdown-fill.svg │ │ ├── markdown.svg │ │ ├── marker-tip.svg │ │ ├── mask.svg │ │ ├── mastodon.svg │ │ ├── medium.svg │ │ ├── megaphone-fill.svg │ │ ├── megaphone.svg │ │ ├── memory.svg │ │ ├── menu-app-fill.svg │ │ ├── menu-app.svg │ │ ├── menu-button-fill.svg │ │ ├── menu-button-wide-fill.svg │ │ ├── menu-button-wide.svg │ │ ├── menu-button.svg │ │ ├── menu-down.svg │ │ ├── menu-up.svg │ │ ├── messenger.svg │ │ ├── meta.svg │ │ ├── mic-fill.svg │ │ ├── mic-mute-fill.svg │ │ ├── mic-mute.svg │ │ ├── mic.svg │ │ ├── microsoft-teams.svg │ │ ├── microsoft.svg │ │ ├── minecart-loaded.svg │ │ ├── minecart.svg │ │ ├── modem-fill.svg │ │ ├── modem.svg │ │ ├── moisture.svg │ │ ├── moon-fill.svg │ │ ├── moon-stars-fill.svg │ │ ├── moon-stars.svg │ │ ├── moon.svg │ │ ├── mortarboard-fill.svg │ │ ├── mortarboard.svg │ │ ├── motherboard-fill.svg │ │ ├── motherboard.svg │ │ ├── mouse-fill.svg │ │ ├── mouse.svg │ │ ├── mouse2-fill.svg │ │ ├── mouse2.svg │ │ ├── mouse3-fill.svg │ │ ├── mouse3.svg │ │ ├── music-note-beamed.svg │ │ ├── music-note-list.svg │ │ ├── music-note.svg │ │ ├── music-player-fill.svg │ │ ├── music-player.svg │ │ ├── newspaper.svg │ │ ├── nintendo-switch.svg │ │ ├── node-minus-fill.svg │ │ ├── node-minus.svg │ │ ├── node-plus-fill.svg │ │ ├── node-plus.svg │ │ ├── noise-reduction.svg │ │ ├── nut-fill.svg │ │ ├── nut.svg │ │ ├── nvidia.svg │ │ ├── nvme-fill.svg │ │ ├── nvme.svg │ │ ├── octagon-fill.svg │ │ ├── octagon-half.svg │ │ ├── octagon.svg │ │ ├── opencollective.svg │ │ ├── optical-audio-fill.svg │ │ ├── optical-audio.svg │ │ ├── option.svg │ │ ├── outlet.svg │ │ ├── p-circle-fill.svg │ │ ├── p-circle.svg │ │ ├── p-square-fill.svg │ │ ├── p-square.svg │ │ ├── paint-bucket.svg │ │ ├── palette-fill.svg │ │ ├── palette.svg │ │ ├── palette2.svg │ │ ├── paperclip.svg │ │ ├── paragraph.svg │ │ ├── pass-fill.svg │ │ ├── pass.svg │ │ ├── passport-fill.svg │ │ ├── passport.svg │ │ ├── patch-check-fill.svg │ │ ├── patch-check.svg │ │ ├── patch-exclamation-fill.svg │ │ ├── patch-exclamation.svg │ │ ├── patch-minus-fill.svg │ │ ├── patch-minus.svg │ │ ├── patch-plus-fill.svg │ │ ├── patch-plus.svg │ │ ├── patch-question-fill.svg │ │ ├── patch-question.svg │ │ ├── pause-btn-fill.svg │ │ ├── pause-btn.svg │ │ ├── pause-circle-fill.svg │ │ ├── pause-circle.svg │ │ ├── pause-fill.svg │ │ ├── pause.svg │ │ ├── paypal.svg │ │ ├── pc-display-horizontal.svg │ │ ├── pc-display.svg │ │ ├── pc-horizontal.svg │ │ ├── pc.svg │ │ ├── pci-card-network.svg │ │ ├── pci-card-sound.svg │ │ ├── pci-card.svg │ │ ├── peace-fill.svg │ │ ├── peace.svg │ │ ├── pen-fill.svg │ │ ├── pen.svg │ │ ├── pencil-fill.svg │ │ ├── pencil-square.svg │ │ ├── pencil.svg │ │ ├── pentagon-fill.svg │ │ ├── pentagon-half.svg │ │ ├── pentagon.svg │ │ ├── people-fill.svg │ │ ├── people.svg │ │ ├── percent.svg │ │ ├── person-add.svg │ │ ├── person-arms-up.svg │ │ ├── person-badge-fill.svg │ │ ├── person-badge.svg │ │ ├── person-bounding-box.svg │ │ ├── person-check-fill.svg │ │ ├── person-check.svg │ │ ├── person-circle.svg │ │ ├── person-dash-fill.svg │ │ ├── person-dash.svg │ │ ├── person-down.svg │ │ ├── person-exclamation.svg │ │ ├── person-fill-add.svg │ │ ├── person-fill-check.svg │ │ ├── person-fill-dash.svg │ │ ├── person-fill-down.svg │ │ ├── person-fill-exclamation.svg │ │ ├── person-fill-gear.svg │ │ ├── person-fill-lock.svg │ │ ├── person-fill-slash.svg │ │ ├── person-fill-up.svg │ │ ├── person-fill-x.svg │ │ ├── person-fill.svg │ │ ├── person-gear.svg │ │ ├── person-heart.svg │ │ ├── person-hearts.svg │ │ ├── person-lines-fill.svg │ │ ├── person-lock.svg │ │ ├── person-plus-fill.svg │ │ ├── person-plus.svg │ │ ├── person-raised-hand.svg │ │ ├── person-rolodex.svg │ │ ├── person-slash.svg │ │ ├── person-square.svg │ │ ├── person-standing-dress.svg │ │ ├── person-standing.svg │ │ ├── person-up.svg │ │ ├── person-vcard-fill.svg │ │ ├── person-vcard.svg │ │ ├── person-video.svg │ │ ├── person-video2.svg │ │ ├── person-video3.svg │ │ ├── person-walking.svg │ │ ├── person-wheelchair.svg │ │ ├── person-workspace.svg │ │ ├── person-x-fill.svg │ │ ├── person-x.svg │ │ ├── person.svg │ │ ├── phone-fill.svg │ │ ├── phone-flip.svg │ │ ├── phone-landscape-fill.svg │ │ ├── phone-landscape.svg │ │ ├── phone-vibrate-fill.svg │ │ ├── phone-vibrate.svg │ │ ├── phone.svg │ │ ├── pie-chart-fill.svg │ │ ├── pie-chart.svg │ │ ├── piggy-bank-fill.svg │ │ ├── piggy-bank.svg │ │ ├── pin-angle-fill.svg │ │ ├── pin-angle.svg │ │ ├── pin-fill.svg │ │ ├── pin-map-fill.svg │ │ ├── pin-map.svg │ │ ├── pin.svg │ │ ├── pinterest.svg │ │ ├── pip-fill.svg │ │ ├── pip.svg │ │ ├── play-btn-fill.svg │ │ ├── play-btn.svg │ │ ├── play-circle-fill.svg │ │ ├── play-circle.svg │ │ ├── play-fill.svg │ │ ├── play.svg │ │ ├── playstation.svg │ │ ├── plug-fill.svg │ │ ├── plug.svg │ │ ├── plugin.svg │ │ ├── plus-circle-dotted.svg │ │ ├── plus-circle-fill.svg │ │ ├── plus-circle.svg │ │ ├── plus-lg.svg │ │ ├── plus-slash-minus.svg │ │ ├── plus-square-dotted.svg │ │ ├── plus-square-fill.svg │ │ ├── plus-square.svg │ │ ├── plus.svg │ │ ├── postage-fill.svg │ │ ├── postage-heart-fill.svg │ │ ├── postage-heart.svg │ │ ├── postage.svg │ │ ├── postcard-fill.svg │ │ ├── postcard-heart-fill.svg │ │ ├── postcard-heart.svg │ │ ├── postcard.svg │ │ ├── power.svg │ │ ├── prescription.svg │ │ ├── prescription2.svg │ │ ├── printer-fill.svg │ │ ├── printer.svg │ │ ├── projector-fill.svg │ │ ├── projector.svg │ │ ├── puzzle-fill.svg │ │ ├── puzzle.svg │ │ ├── qr-code-scan.svg │ │ ├── qr-code.svg │ │ ├── question-circle-fill.svg │ │ ├── question-circle.svg │ │ ├── question-diamond-fill.svg │ │ ├── question-diamond.svg │ │ ├── question-lg.svg │ │ ├── question-octagon-fill.svg │ │ ├── question-octagon.svg │ │ ├── question-square-fill.svg │ │ ├── question-square.svg │ │ ├── question.svg │ │ ├── quora.svg │ │ ├── quote.svg │ │ ├── r-circle-fill.svg │ │ ├── r-circle.svg │ │ ├── r-square-fill.svg │ │ ├── r-square.svg │ │ ├── radar.svg │ │ ├── radioactive.svg │ │ ├── rainbow.svg │ │ ├── receipt-cutoff.svg │ │ ├── receipt.svg │ │ ├── reception-0.svg │ │ ├── reception-1.svg │ │ ├── reception-2.svg │ │ ├── reception-3.svg │ │ ├── reception-4.svg │ │ ├── record-btn-fill.svg │ │ ├── record-btn.svg │ │ ├── record-circle-fill.svg │ │ ├── record-circle.svg │ │ ├── record-fill.svg │ │ ├── record.svg │ │ ├── record2-fill.svg │ │ ├── record2.svg │ │ ├── recycle.svg │ │ ├── reddit.svg │ │ ├── regex.svg │ │ ├── repeat-1.svg │ │ ├── repeat.svg │ │ ├── reply-all-fill.svg │ │ ├── reply-all.svg │ │ ├── reply-fill.svg │ │ ├── reply.svg │ │ ├── rewind-btn-fill.svg │ │ ├── rewind-btn.svg │ │ ├── rewind-circle-fill.svg │ │ ├── rewind-circle.svg │ │ ├── rewind-fill.svg │ │ ├── rewind.svg │ │ ├── robot.svg │ │ ├── rocket-fill.svg │ │ ├── rocket-takeoff-fill.svg │ │ ├── rocket-takeoff.svg │ │ ├── rocket.svg │ │ ├── router-fill.svg │ │ ├── router.svg │ │ ├── rss-fill.svg │ │ ├── rss.svg │ │ ├── rulers.svg │ │ ├── safe-fill.svg │ │ ├── safe.svg │ │ ├── safe2-fill.svg │ │ ├── safe2.svg │ │ ├── save-fill.svg │ │ ├── save.svg │ │ ├── save2-fill.svg │ │ ├── save2.svg │ │ ├── scissors.svg │ │ ├── scooter.svg │ │ ├── screwdriver.svg │ │ ├── sd-card-fill.svg │ │ ├── sd-card.svg │ │ ├── search-heart-fill.svg │ │ ├── search-heart.svg │ │ ├── search.svg │ │ ├── segmented-nav.svg │ │ ├── send-arrow-down-fill.svg │ │ ├── send-arrow-down.svg │ │ ├── send-arrow-up-fill.svg │ │ ├── send-arrow-up.svg │ │ ├── send-check-fill.svg │ │ ├── send-check.svg │ │ ├── send-dash-fill.svg │ │ ├── send-dash.svg │ │ ├── send-exclamation-fill.svg │ │ ├── send-exclamation.svg │ │ ├── send-fill.svg │ │ ├── send-plus-fill.svg │ │ ├── send-plus.svg │ │ ├── send-slash-fill.svg │ │ ├── send-slash.svg │ │ ├── send-x-fill.svg │ │ ├── send-x.svg │ │ ├── send.svg │ │ ├── server.svg │ │ ├── shadows.svg │ │ ├── share-fill.svg │ │ ├── share.svg │ │ ├── shield-check.svg │ │ ├── shield-exclamation.svg │ │ ├── shield-fill-check.svg │ │ ├── shield-fill-exclamation.svg │ │ ├── shield-fill-minus.svg │ │ ├── shield-fill-plus.svg │ │ ├── shield-fill-x.svg │ │ ├── shield-fill.svg │ │ ├── shield-lock-fill.svg │ │ ├── shield-lock.svg │ │ ├── shield-minus.svg │ │ ├── shield-plus.svg │ │ ├── shield-shaded.svg │ │ ├── shield-slash-fill.svg │ │ ├── shield-slash.svg │ │ ├── shield-x.svg │ │ ├── shield.svg │ │ ├── shift-fill.svg │ │ ├── shift.svg │ │ ├── shop-window.svg │ │ ├── shop.svg │ │ ├── shuffle.svg │ │ ├── sign-dead-end-fill.svg │ │ ├── sign-dead-end.svg │ │ ├── sign-do-not-enter-fill.svg │ │ ├── sign-do-not-enter.svg │ │ ├── sign-intersection-fill.svg │ │ ├── sign-intersection-side-fill.svg │ │ ├── sign-intersection-side.svg │ │ ├── sign-intersection-t-fill.svg │ │ ├── sign-intersection-t.svg │ │ ├── sign-intersection-y-fill.svg │ │ ├── sign-intersection-y.svg │ │ ├── sign-intersection.svg │ │ ├── sign-merge-left-fill.svg │ │ ├── sign-merge-left.svg │ │ ├── sign-merge-right-fill.svg │ │ ├── sign-merge-right.svg │ │ ├── sign-no-left-turn-fill.svg │ │ ├── sign-no-left-turn.svg │ │ ├── sign-no-parking-fill.svg │ │ ├── sign-no-parking.svg │ │ ├── sign-no-right-turn-fill.svg │ │ ├── sign-no-right-turn.svg │ │ ├── sign-railroad-fill.svg │ │ ├── sign-railroad.svg │ │ ├── sign-stop-fill.svg │ │ ├── sign-stop-lights-fill.svg │ │ ├── sign-stop-lights.svg │ │ ├── sign-stop.svg │ │ ├── sign-turn-left-fill.svg │ │ ├── sign-turn-left.svg │ │ ├── sign-turn-right-fill.svg │ │ ├── sign-turn-right.svg │ │ ├── sign-turn-slight-left-fill.svg │ │ ├── sign-turn-slight-left.svg │ │ ├── sign-turn-slight-right-fill.svg │ │ ├── sign-turn-slight-right.svg │ │ ├── sign-yield-fill.svg │ │ ├── sign-yield.svg │ │ ├── signal.svg │ │ ├── signpost-2-fill.svg │ │ ├── signpost-2.svg │ │ ├── signpost-fill.svg │ │ ├── signpost-split-fill.svg │ │ ├── signpost-split.svg │ │ ├── signpost.svg │ │ ├── sim-fill.svg │ │ ├── sim-slash-fill.svg │ │ ├── sim-slash.svg │ │ ├── sim.svg │ │ ├── sina-weibo.svg │ │ ├── skip-backward-btn-fill.svg │ │ ├── skip-backward-btn.svg │ │ ├── skip-backward-circle-fill.svg │ │ ├── skip-backward-circle.svg │ │ ├── skip-backward-fill.svg │ │ ├── skip-backward.svg │ │ ├── skip-end-btn-fill.svg │ │ ├── skip-end-btn.svg │ │ ├── skip-end-circle-fill.svg │ │ ├── skip-end-circle.svg │ │ ├── skip-end-fill.svg │ │ ├── skip-end.svg │ │ ├── skip-forward-btn-fill.svg │ │ ├── skip-forward-btn.svg │ │ ├── skip-forward-circle-fill.svg │ │ ├── skip-forward-circle.svg │ │ ├── skip-forward-fill.svg │ │ ├── skip-forward.svg │ │ ├── skip-start-btn-fill.svg │ │ ├── skip-start-btn.svg │ │ ├── skip-start-circle-fill.svg │ │ ├── skip-start-circle.svg │ │ ├── skip-start-fill.svg │ │ ├── skip-start.svg │ │ ├── skype.svg │ │ ├── slack.svg │ │ ├── slash-circle-fill.svg │ │ ├── slash-circle.svg │ │ ├── slash-lg.svg │ │ ├── slash-square-fill.svg │ │ ├── slash-square.svg │ │ ├── slash.svg │ │ ├── sliders.svg │ │ ├── sliders2-vertical.svg │ │ ├── sliders2.svg │ │ ├── smartwatch.svg │ │ ├── snapchat.svg │ │ ├── snow.svg │ │ ├── snow2.svg │ │ ├── snow3.svg │ │ ├── sort-alpha-down-alt.svg │ │ ├── sort-alpha-down.svg │ │ ├── sort-alpha-up-alt.svg │ │ ├── sort-alpha-up.svg │ │ ├── sort-down-alt.svg │ │ ├── sort-down.svg │ │ ├── sort-numeric-down-alt.svg │ │ ├── sort-numeric-down.svg │ │ ├── sort-numeric-up-alt.svg │ │ ├── sort-numeric-up.svg │ │ ├── sort-up-alt.svg │ │ ├── sort-up.svg │ │ ├── soundwave.svg │ │ ├── sourceforge.svg │ │ ├── speaker-fill.svg │ │ ├── speaker.svg │ │ ├── speedometer.svg │ │ ├── speedometer2.svg │ │ ├── spellcheck.svg │ │ ├── spotify.svg │ │ ├── square-fill.svg │ │ ├── square-half.svg │ │ ├── square.svg │ │ ├── stack-overflow.svg │ │ ├── stack.svg │ │ ├── star-fill.svg │ │ ├── star-half.svg │ │ ├── star.svg │ │ ├── stars.svg │ │ ├── steam.svg │ │ ├── stickies-fill.svg │ │ ├── stickies.svg │ │ ├── sticky-fill.svg │ │ ├── sticky.svg │ │ ├── stop-btn-fill.svg │ │ ├── stop-btn.svg │ │ ├── stop-circle-fill.svg │ │ ├── stop-circle.svg │ │ ├── stop-fill.svg │ │ ├── stop.svg │ │ ├── stoplights-fill.svg │ │ ├── stoplights.svg │ │ ├── stopwatch-fill.svg │ │ ├── stopwatch.svg │ │ ├── strava.svg │ │ ├── stripe.svg │ │ ├── subscript.svg │ │ ├── substack.svg │ │ ├── subtract.svg │ │ ├── suit-club-fill.svg │ │ ├── suit-club.svg │ │ ├── suit-diamond-fill.svg │ │ ├── suit-diamond.svg │ │ ├── suit-heart-fill.svg │ │ ├── suit-heart.svg │ │ ├── suit-spade-fill.svg │ │ ├── suit-spade.svg │ │ ├── suitcase-fill.svg │ │ ├── suitcase-lg-fill.svg │ │ ├── suitcase-lg.svg │ │ ├── suitcase.svg │ │ ├── suitcase2-fill.svg │ │ ├── suitcase2.svg │ │ ├── sun-fill.svg │ │ ├── sun.svg │ │ ├── sunglasses.svg │ │ ├── sunrise-fill.svg │ │ ├── sunrise.svg │ │ ├── sunset-fill.svg │ │ ├── sunset.svg │ │ ├── superscript.svg │ │ ├── symmetry-horizontal.svg │ │ ├── symmetry-vertical.svg │ │ ├── table.svg │ │ ├── tablet-fill.svg │ │ ├── tablet-landscape-fill.svg │ │ ├── tablet-landscape.svg │ │ ├── tablet.svg │ │ ├── tag-fill.svg │ │ ├── tag.svg │ │ ├── tags-fill.svg │ │ ├── tags.svg │ │ ├── taxi-front-fill.svg │ │ ├── taxi-front.svg │ │ ├── telegram.svg │ │ ├── telephone-fill.svg │ │ ├── telephone-forward-fill.svg │ │ ├── telephone-forward.svg │ │ ├── telephone-inbound-fill.svg │ │ ├── telephone-inbound.svg │ │ ├── telephone-minus-fill.svg │ │ ├── telephone-minus.svg │ │ ├── telephone-outbound-fill.svg │ │ ├── telephone-outbound.svg │ │ ├── telephone-plus-fill.svg │ │ ├── telephone-plus.svg │ │ ├── telephone-x-fill.svg │ │ ├── telephone-x.svg │ │ ├── telephone.svg │ │ ├── tencent-qq.svg │ │ ├── terminal-dash.svg │ │ ├── terminal-fill.svg │ │ ├── terminal-plus.svg │ │ ├── terminal-split.svg │ │ ├── terminal-x.svg │ │ ├── terminal.svg │ │ ├── text-center.svg │ │ ├── text-indent-left.svg │ │ ├── text-indent-right.svg │ │ ├── text-left.svg │ │ ├── text-paragraph.svg │ │ ├── text-right.svg │ │ ├── text-wrap.svg │ │ ├── textarea-resize.svg │ │ ├── textarea-t.svg │ │ ├── textarea.svg │ │ ├── thermometer-half.svg │ │ ├── thermometer-high.svg │ │ ├── thermometer-low.svg │ │ ├── thermometer-snow.svg │ │ ├── thermometer-sun.svg │ │ ├── thermometer.svg │ │ ├── threads-fill.svg │ │ ├── threads.svg │ │ ├── three-dots-vertical.svg │ │ ├── three-dots.svg │ │ ├── thunderbolt-fill.svg │ │ ├── thunderbolt.svg │ │ ├── ticket-detailed-fill.svg │ │ ├── ticket-detailed.svg │ │ ├── ticket-fill.svg │ │ ├── ticket-perforated-fill.svg │ │ ├── ticket-perforated.svg │ │ ├── ticket.svg │ │ ├── tiktok.svg │ │ ├── toggle-off.svg │ │ ├── toggle-on.svg │ │ ├── toggle2-off.svg │ │ ├── toggle2-on.svg │ │ ├── toggles.svg │ │ ├── toggles2.svg │ │ ├── tools.svg │ │ ├── tornado.svg │ │ ├── train-freight-front-fill.svg │ │ ├── train-freight-front.svg │ │ ├── train-front-fill.svg │ │ ├── train-front.svg │ │ ├── train-lightrail-front-fill.svg │ │ ├── train-lightrail-front.svg │ │ ├── translate.svg │ │ ├── transparency.svg │ │ ├── trash-fill.svg │ │ ├── trash.svg │ │ ├── trash2-fill.svg │ │ ├── trash2.svg │ │ ├── trash3-fill.svg │ │ ├── trash3.svg │ │ ├── tree-fill.svg │ │ ├── tree.svg │ │ ├── trello.svg │ │ ├── triangle-fill.svg │ │ ├── triangle-half.svg │ │ ├── triangle.svg │ │ ├── trophy-fill.svg │ │ ├── trophy.svg │ │ ├── tropical-storm.svg │ │ ├── truck-flatbed.svg │ │ ├── truck-front-fill.svg │ │ ├── truck-front.svg │ │ ├── truck.svg │ │ ├── tsunami.svg │ │ ├── tv-fill.svg │ │ ├── tv.svg │ │ ├── twitch.svg │ │ ├── twitter-x.svg │ │ ├── twitter.svg │ │ ├── type-bold.svg │ │ ├── type-h1.svg │ │ ├── type-h2.svg │ │ ├── type-h3.svg │ │ ├── type-h4.svg │ │ ├── type-h5.svg │ │ ├── type-h6.svg │ │ ├── type-italic.svg │ │ ├── type-strikethrough.svg │ │ ├── type-underline.svg │ │ ├── type.svg │ │ ├── ubuntu.svg │ │ ├── ui-checks-grid.svg │ │ ├── ui-checks.svg │ │ ├── ui-radios-grid.svg │ │ ├── ui-radios.svg │ │ ├── umbrella-fill.svg │ │ ├── umbrella.svg │ │ ├── unindent.svg │ │ ├── union.svg │ │ ├── unity.svg │ │ ├── universal-access-circle.svg │ │ ├── universal-access.svg │ │ ├── unlock-fill.svg │ │ ├── unlock.svg │ │ ├── upc-scan.svg │ │ ├── upc.svg │ │ ├── upload.svg │ │ ├── usb-c-fill.svg │ │ ├── usb-c.svg │ │ ├── usb-drive-fill.svg │ │ ├── usb-drive.svg │ │ ├── usb-fill.svg │ │ ├── usb-micro-fill.svg │ │ ├── usb-micro.svg │ │ ├── usb-mini-fill.svg │ │ ├── usb-mini.svg │ │ ├── usb-plug-fill.svg │ │ ├── usb-plug.svg │ │ ├── usb-symbol.svg │ │ ├── usb.svg │ │ ├── valentine.svg │ │ ├── valentine2.svg │ │ ├── vector-pen.svg │ │ ├── view-list.svg │ │ ├── view-stacked.svg │ │ ├── vignette.svg │ │ ├── vimeo.svg │ │ ├── vinyl-fill.svg │ │ ├── vinyl.svg │ │ ├── virus.svg │ │ ├── virus2.svg │ │ ├── voicemail.svg │ │ ├── volume-down-fill.svg │ │ ├── volume-down.svg │ │ ├── volume-mute-fill.svg │ │ ├── volume-mute.svg │ │ ├── volume-off-fill.svg │ │ ├── volume-off.svg │ │ ├── volume-up-fill.svg │ │ ├── volume-up.svg │ │ ├── vr.svg │ │ ├── wallet-fill.svg │ │ ├── wallet.svg │ │ ├── wallet2.svg │ │ ├── watch.svg │ │ ├── water.svg │ │ ├── webcam-fill.svg │ │ ├── webcam.svg │ │ ├── wechat.svg │ │ ├── whatsapp.svg │ │ ├── wifi-1.svg │ │ ├── wifi-2.svg │ │ ├── wifi-off.svg │ │ ├── wifi.svg │ │ ├── wikipedia.svg │ │ ├── wind.svg │ │ ├── window-dash.svg │ │ ├── window-desktop.svg │ │ ├── window-dock.svg │ │ ├── window-fullscreen.svg │ │ ├── window-plus.svg │ │ ├── window-sidebar.svg │ │ ├── window-split.svg │ │ ├── window-stack.svg │ │ ├── window-x.svg │ │ ├── window.svg │ │ ├── windows.svg │ │ ├── wordpress.svg │ │ ├── wrench-adjustable-circle-fill.svg │ │ ├── wrench-adjustable-circle.svg │ │ ├── wrench-adjustable.svg │ │ ├── wrench.svg │ │ ├── x-circle-fill.svg │ │ ├── x-circle.svg │ │ ├── x-diamond-fill.svg │ │ ├── x-diamond.svg │ │ ├── x-lg.svg │ │ ├── x-octagon-fill.svg │ │ ├── x-octagon.svg │ │ ├── x-square-fill.svg │ │ ├── x-square.svg │ │ ├── x.svg │ │ ├── xbox.svg │ │ ├── yelp.svg │ │ ├── yin-yang.svg │ │ ├── youtube.svg │ │ ├── zoom-in.svg │ │ └── zoom-out.svg │ ├── bootstrap.min.css │ ├── clusterize.min.css │ ├── codemirror.min.css │ └── fonts_JetBrainsMono_SourceCodePro.css ├── danger-svgrepo-com.svg ├── delete-button-svgrepo-com.svg ├── drag-handle-svgrepo-com.svg ├── favicon │ ├── apple-touch-icon.png │ ├── favicon-96x96.png │ ├── favicon.ico │ ├── favicon.svg │ ├── site.webmanifest │ ├── web-app-manifest-192x192.png │ └── web-app-manifest-512x512.png ├── gear-spinner.svg ├── glasses-svgrepo-com.png ├── glasses-svgrepo-com.svg ├── glassestall.png ├── glassestall2.png ├── glassestall3.png ├── hide-icon.svg ├── hide-icon2.svg ├── link-icon.svg └── play-previous-svgrepo-com.svg ├── benchmark.html ├── doc ├── README.md ├── animation.md ├── definitions-contexts-and-modules.md ├── diagrams │ ├── eval-tree-constant1 │ │ ├── convert.sh │ │ ├── eval-tree-constant1.pdf │ │ ├── eval-tree-constant1.png │ │ └── eval-tree-constant1.tex │ └── eval-tree-states1 │ │ ├── convert.sh │ │ ├── eval-tree-states1.pdf │ │ ├── eval-tree-states1.png │ │ └── eval-tree-states1.tex ├── embed.html ├── embedding.md ├── how-tlc-computes-states.md ├── notes │ ├── 22nondeterminism.pdf │ ├── A Simple Graph-Based Intermediate Representation.pdf │ ├── Non-Deterministic Algorithms.pdf │ ├── constraint-dynamic.pdf │ ├── log.md │ ├── renesse-tla-lecture.pdf │ ├── spec-systems-ch17_the-meaning-of-a-module.pdf │ ├── specifying-systems-how-tlc-computes-states.pdf │ ├── specifying-systems-how-tlc-evaluates-expressions.pdf │ ├── tla2-guide.pdf │ ├── todo.md │ └── toolbox-trace-view.png ├── testing.md ├── tla-evaluation.md └── tla-modules.md ├── examples └── node │ ├── index.js │ ├── package-lock.json │ └── package.json ├── index.html ├── js ├── addon │ └── mode │ │ └── simple.js ├── app.js ├── benchmark.js ├── eval.js ├── hash-sum │ ├── hash-sum.js │ ├── license │ └── readme.md ├── lib │ ├── bootstrap.bundle.min.js │ ├── clusterize.min.js │ ├── codemirror.min.js │ ├── cytoscape-dagre.min.js │ ├── cytoscape.min.js │ ├── dagre.js │ ├── immutable.min.js │ ├── jquery-3.3.1.min.js │ ├── jquery-ui.min.js │ ├── lodash.js │ ├── lodash.min.js │ ├── mithril.min.js │ ├── popper.min.js │ └── viz-standalone.js ├── main.js ├── object_hash.js ├── old_tests.js ├── test.js ├── test_spec.js ├── tlamode.js ├── tree-sitter-tlaplus.wasm ├── tree-sitter.js ├── tree-sitter.wasm └── worker.js ├── package.json ├── playwright.config.js ├── serve.py ├── specs ├── AbstractDynamicRaft.tla ├── AbstractRaft.cfg ├── AbstractRaft.tla ├── AbstractRaft_anim.tla ├── AsyncGameOfLife.tla ├── AsyncGameOfLife_anim.cfg ├── AsyncGameOfLife_anim.svg ├── AsyncGameOfLife_anim.tla ├── AsyncRaft.tla ├── AwsDNSRace.cfg ├── AwsDNSRace.md ├── AwsDNSRace.tla ├── AwsDNSRace_anim.cfg ├── AwsDNSRace_anim.gif ├── AwsDNSRace_anim.tla ├── Bakery.cfg ├── Bakery.tla ├── BatteryRelay.tla ├── BatteryRelay_anim.cfg ├── BatteryRelay_anim.svg ├── BatteryRelay_anim.tla ├── BlockingQueue.tla ├── BlockingQueue_anim.cfg ├── BlockingQueue_anim.svg ├── BlockingQueue_anim.tla ├── CabbageGoatWolf.cfg ├── CabbageGoatWolf.tla ├── CabbageGoatWolf_anim.cfg ├── CabbageGoatWolf_anim.svg ├── CabbageGoatWolf_anim.tla ├── DiningPhilosophers.cfg ├── DiningPhilosophers.tla ├── DiningPhilosophers_anim.cfg ├── DiningPhilosophers_anim.svg ├── DiningPhilosophers_anim.tla ├── EWD998.tla ├── EWD998_anim.cfg ├── EWD998_anim.svg ├── EWD998_anim.tla ├── Elevator_anim.tla ├── FlexiblePaxos.tla ├── GameOfLife.tla ├── LamportMutex.tla ├── LargeInit.tla ├── LogExample.tla ├── MongoLoglessDynamicRaft.tla ├── MongoRaftReconfig.cfg ├── MongoRaftReconfig.tla ├── MongoRaftReconfig_anim.cfg ├── MongoRaftReconfig_anim.svg ├── MongoRaftReconfig_anim.tla ├── MultiPaxos.tla ├── Paxos.tla ├── QuorumProfiling.tla ├── RaftWithReconfigBroken.cfg ├── RaftWithReconfigBroken.tla ├── RaftWithReconfigBroken_anim.tla ├── RaftWithReconfigJointConsensus.cfg ├── RaftWithReconfigJointConsensus.tla ├── RaftWithReconfigSingleServer.cfg ├── RaftWithReconfigSingleServer.tla ├── Simple.cfg ├── Simple.tla ├── SingleNode1.tla ├── SingleNode2.tla ├── SnapshotIsolation.tla ├── SnapshotIsolationWithGraphs.tla ├── TwoPhase.cfg ├── TwoPhase.tla ├── TwoPhase_alt.tla ├── TwoPhase_anim.cfg ├── TwoPhase_anim.svg ├── TwoPhase_anim.tla ├── TwoPhase_demo.tla ├── TwoPhase_demo_anim.tla ├── VectorClocks.tla ├── ambiguous_actions.tla ├── bfs.tla ├── bfs_anim.cfg ├── bfs_anim.tla ├── btree.tla ├── btree_anim.tla ├── counter.c ├── counter.cfg ├── counter.tla ├── gfd.cfg ├── gfd.tla ├── gfd_anim.tla ├── lockserver.cfg ├── lockserver.tla ├── lockserver_anim.tla ├── lockserver_comments.tla ├── lockserver_nodefs.tla ├── lockserver_nodefs_anim.tla ├── queue.cfg ├── queue.tla ├── queue_anim.tla ├── quicksort.cfg ├── quicksort.tla ├── raft_reconfig_cex_trace.txt ├── repl.tla ├── simple0.tla ├── simple1.cfg ├── simple1.tla ├── simple2.tla ├── simple3.tla ├── simple4.tla ├── simple5.tla ├── simple_bad_op.tla ├── simple_election.tla ├── simple_inc.cfg ├── simple_inc.tla ├── simple_len.tla ├── simple_lockserver.tla ├── simple_lockserver_with_constants.tla ├── simple_nondet1.tla ├── simple_nums.tla ├── simple_test.tla ├── simple_test_ambiguous.tla ├── states.json ├── test_missing_assigned_vars.tla └── with_state_graphs │ ├── A1.tla │ ├── A1_var_y.tla │ ├── A1_var_y_const_d.tla │ ├── A2.tla │ ├── AbstractRaft_BecomeLeader.cfg │ ├── AbstractRaft_BecomeLeader.tla │ ├── AbstractRaft_BecomeLeader.tla.dot │ ├── AbstractRaft_BecomeLeader.tla.dot.json │ ├── AsyncTerminationDetection.cfg │ ├── AsyncTerminationDetection.tla │ ├── AsyncTerminationDetection.tla.dot │ ├── AsyncTerminationDetection.tla.dot.json │ ├── AsyncTerminationDetection_init.cfg │ ├── AsyncTerminationDetection_init.tla │ ├── AsyncTerminationDetection_init.tla.dot │ ├── AsyncTerminationDetection_init.tla.dot.json │ ├── ClientCentric.tla │ ├── ClientCentricExecutable.tla │ ├── CommunityModules-deps.jar │ ├── CommunityModules.jar │ ├── Consistency.cfg │ ├── Consistency.tla │ ├── Consistency.tla.dot │ ├── Consistency.tla.dot.json │ ├── CosmosDB.tla │ ├── CosmosDBClient.tla │ ├── DieHard.cfg │ ├── DieHard.tla │ ├── DieHard.tla.dot │ ├── DieHard.tla.dot.json │ ├── DieHarder.cfg │ ├── DieHarder.tla │ ├── DieHarder.tla.dot │ ├── DieHarder.tla.dot.json │ ├── DieHarder.tla.json │ ├── EWD998_bounded1.cfg │ ├── EWD998_bounded1.tla │ ├── EWD998_bounded1.tla.dot │ ├── EWD998_bounded1.tla.dot.json │ ├── EWD998_depth_bounded1.cfg │ ├── EWD998_depth_bounded1.tla │ ├── EWD998_depth_bounded1.tla.dot │ ├── EWD998_depth_bounded1.tla.dot.json │ ├── EWD998_regression1.cfg │ ├── EWD998_regression1.tla │ ├── EWD998_regression1.tla.dot │ ├── EWD998_regression1.tla.dot.json │ ├── EWD998_regression1.tla.json │ ├── Elevator.cfg │ ├── Elevator.tla │ ├── Elevator.tla.dot │ ├── Elevator.tla.dot.json │ ├── LinQueue.tla │ ├── Linearizability.tla │ ├── LogExample_bounded.cfg │ ├── LogExample_bounded.tla │ ├── LogExample_bounded.tla.dot │ ├── LogExample_bounded.tla.dot.json │ ├── MDB.tla │ ├── Microwave.cfg │ ├── Microwave.tla │ ├── Microwave.tla.dot │ ├── Microwave.tla.dot.json │ ├── NQueens_N3.cfg │ ├── NQueens_N3.tla │ ├── NQueens_N3.tla.dot │ ├── NQueens_N3.tla.dot.json │ ├── NaiadClock.cfg │ ├── NaiadClock.tla │ ├── Paxos_1a.cfg │ ├── Paxos_1a.tla │ ├── Paxos_1a.tla.dot │ ├── Paxos_1a.tla.dot.json │ ├── Paxos_1b_case1.cfg │ ├── Paxos_1b_case1.tla │ ├── Paxos_1b_case1.tla.dot │ ├── Paxos_1b_case1.tla.dot.json │ ├── Prisoners.cfg │ ├── Prisoners.tla │ ├── Prisoners.tla.dot │ ├── Prisoners.tla.dot.json │ ├── README.md │ ├── RaftMongo.cfg │ ├── RaftMongo.tla │ ├── RaftMongo.tla.dot │ ├── RaftMongo.tla.dot.json │ ├── RaftWithReconfigBroken_Bounded.cfg │ ├── RaftWithReconfigBroken_Bounded.tla │ ├── RaftWithReconfigBroken_Bounded.tla.dot │ ├── RaftWithReconfigBroken_Bounded.tla.dot.json │ ├── S1.cfg │ ├── S1.tla │ ├── S1.tla.dot │ ├── S1.tla.dot.json │ ├── ShardTxn.cfg │ ├── ShardTxn.tla │ ├── ShardTxn.tla.dot │ ├── ShardTxn.tla.dot.json │ ├── TestLinQueue.cfg │ ├── TestLinQueue.tla │ ├── TestLinQueue.tla.dot │ ├── TestLinQueue.tla.dot.json │ ├── TwoPhase.cfg │ ├── TwoPhase.tla │ ├── TwoPhase.tla.dot │ ├── TwoPhase.tla.dot.json │ ├── TwoPhase.tla.json │ ├── TwoPhase_RMPrepare.cfg │ ├── TwoPhase_RMPrepare.tla │ ├── TwoPhase_RMPrepare.tla.dot │ ├── TwoPhase_RMPrepare.tla.dot.json │ ├── TwoPhase_broken1.tla │ ├── TxnsCollectionIncarnation.cfg │ ├── TxnsCollectionIncarnation.tla │ ├── TxnsMoveRange.cfg │ ├── TxnsMoveRange.tla │ ├── TxnsMoveRange.tla.dot │ ├── TxnsMoveRange.tla.dot.json │ ├── Util.tla │ ├── Utilities.tla │ ├── conj_parsing.cfg │ ├── conj_parsing.tla │ ├── conj_parsing.tla.dot │ ├── conj_parsing.tla.dot.json │ ├── def_before_var_decl.cfg │ ├── def_before_var_decl.tla │ ├── def_before_var_decl.tla.dot │ ├── def_before_var_decl.tla.dot.json │ ├── empty_domain_and_seq.cfg │ ├── empty_domain_and_seq.tla │ ├── empty_domain_and_seq.tla.dot │ ├── empty_domain_and_seq.tla.dot.json │ ├── gen_state_graphs.sh │ ├── lockserver_constant_comment.cfg │ ├── lockserver_constant_comment.tla │ ├── lockserver_constant_comment.tla.dot │ ├── lockserver_constant_comment.tla.dot.json │ ├── lockserver_constant_comment.tla.json │ ├── lockserver_nodefs.cfg │ ├── lockserver_nodefs.tla │ ├── lockserver_nodefs.tla.dot │ ├── lockserver_nodefs.tla.dot.json │ ├── lockserver_nodefs1.cfg │ ├── lockserver_nodefs1.tla │ ├── lockserver_nodefs1.tla.dot │ ├── lockserver_nodefs1.tla.dot.json │ ├── lockserver_nodefs_unchanged.cfg │ ├── lockserver_nodefs_unchanged.tla │ ├── lockserver_nodefs_unchanged.tla.dot │ ├── lockserver_nodefs_unchanged.tla.dot.json │ ├── mldr_init_only.cfg │ ├── mldr_init_only.tla │ ├── mldr_init_only.tla.dot │ ├── mldr_init_only.tla.dot.json │ ├── mldr_init_only.tla.json │ ├── operator_param_clash_before_const_def.cfg │ ├── operator_param_clash_before_const_def.tla │ ├── operator_param_clash_before_const_def.tla.dot │ ├── operator_param_clash_before_const_def.tla.dot.json │ ├── operator_param_clash_before_var_def.cfg │ ├── operator_param_clash_before_var_def.tla │ ├── operator_param_clash_before_var_def.tla.dot │ ├── operator_param_clash_before_var_def.tla.dot.json │ ├── operator_param_clash_before_var_def_inter.cfg │ ├── operator_param_clash_before_var_def_inter.tla │ ├── operator_param_clash_before_var_def_inter.tla.dot │ ├── operator_param_clash_before_var_def_inter.tla.dot.json │ ├── pre_module_comments.cfg │ ├── pre_module_comments.tla │ ├── pre_module_comments.tla.dot │ ├── pre_module_comments.tla.dot.json │ ├── primed_tuple.cfg │ ├── primed_tuple.tla │ ├── primed_tuple.tla.dot │ ├── primed_tuple.tla.dot.json │ ├── primed_tuple.tla.json │ ├── qspinlock.cfg │ ├── qspinlock.tla │ ├── record_literal_eval.cfg │ ├── record_literal_eval.tla │ ├── record_literal_eval.tla.dot │ ├── record_literal_eval.tla.dot.json │ ├── record_literal_eval.tla.json │ ├── semantic_error1.cfg │ ├── semantic_error1.tla │ ├── semantic_error1.tla.dot │ ├── semantic_error1.tla.dot.json │ ├── semantic_error2.tla │ ├── seq_append.cfg │ ├── seq_append.tla │ ├── seq_append.tla.dot │ ├── seq_append.tla.dot.json │ ├── seq_append.tla.json │ ├── set_dot_notation.cfg │ ├── set_dot_notation.tla │ ├── set_dot_notation.tla.dot │ ├── set_dot_notation.tla.dot.json │ ├── set_dot_notation.tla.json │ ├── show521677.cfg │ ├── show521677.tla │ ├── show521677.tla.dot │ ├── show521677.tla.dot.json │ ├── simple1.cfg │ ├── simple1.tla │ ├── simple1.tla.dot │ ├── simple1.tla.dot.json │ ├── simple1.tla.json │ ├── simple1_multiline_block_comment.cfg │ ├── simple1_multiline_block_comment.tla │ ├── simple1_multiline_block_comment.tla.dot │ ├── simple1_multiline_block_comment.tla.dot.json │ ├── simple1_multiline_block_comment.tla.json │ ├── simple2.cfg │ ├── simple2.tla │ ├── simple2.tla.dot │ ├── simple2.tla.dot.json │ ├── simple2.tla.json │ ├── simple3.cfg │ ├── simple3.tla │ ├── simple3.tla.dot │ ├── simple3.tla.dot.json │ ├── simple3.tla.json │ ├── simple5.cfg │ ├── simple5.tla │ ├── simple5.tla.dot │ ├── simple5.tla.dot.json │ ├── simple5.tla.json │ ├── simple6.cfg │ ├── simple6.tla │ ├── simple6.tla.dot │ ├── simple6.tla.dot.json │ ├── simple6.tla.json │ ├── simple7.cfg │ ├── simple7.dot │ ├── simple7.dot.json │ ├── simple7.tla │ ├── simple7.tla.dot │ ├── simple7.tla.dot.json │ ├── simple7.tla.json │ ├── simple8.cfg │ ├── simple8.tla │ ├── simple8.tla.dot │ ├── simple8.tla.dot.json │ ├── simple_arith.cfg │ ├── simple_arith.tla │ ├── simple_arith.tla.dot │ ├── simple_arith.tla.dot.json │ ├── simple_boolean.cfg │ ├── simple_boolean.tla │ ├── simple_boolean.tla.dot │ ├── simple_boolean.tla.dot.json │ ├── simple_choose.cfg │ ├── simple_choose.tla │ ├── simple_choose.tla.dot │ ├── simple_choose.tla.dot.json │ ├── simple_conjunction_constant.cfg │ ├── simple_conjunction_constant.tla │ ├── simple_conjunction_constant.tla.dot │ ├── simple_conjunction_constant.tla.dot.json │ ├── simple_constant_operator.cfg │ ├── simple_constant_operator.tla │ ├── simple_constant_operator.tla.dot │ ├── simple_constant_operator.tla.dot.json │ ├── simple_constant_operator_infix.cfg │ ├── simple_constant_operator_infix.tla │ ├── simple_constant_operator_infix.tla.dot │ ├── simple_constant_operator_infix.tla.dot.json │ ├── simple_defined_var_assignment.cfg │ ├── simple_defined_var_assignment.tla │ ├── simple_defined_var_assignment.tla.dot │ ├── simple_defined_var_assignment.tla.dot.json │ ├── simple_defined_var_assignment_transitive.cfg │ ├── simple_defined_var_assignment_transitive.tla │ ├── simple_defined_var_assignment_transitive.tla.dot │ ├── simple_defined_var_assignment_transitive.tla.dot.json │ ├── simple_definition.cfg │ ├── simple_definition.tla │ ├── simple_definition.tla.dot │ ├── simple_definition.tla.dot.json │ ├── simple_definition2.cfg │ ├── simple_definition2.tla │ ├── simple_definition2.tla.dot │ ├── simple_definition2.tla.dot.json │ ├── simple_disjunction_constant.cfg │ ├── simple_disjunction_constant.tla │ ├── simple_disjunction_constant.tla.dot │ ├── simple_disjunction_constant.tla.dot.json │ ├── simple_disjunction_init.cfg │ ├── simple_disjunction_init.tla │ ├── simple_disjunction_init.tla.dot │ ├── simple_disjunction_init.tla.dot.json │ ├── simple_domain.cfg │ ├── simple_domain.tla │ ├── simple_domain.tla.dot │ ├── simple_domain.tla.dot.json │ ├── simple_enabled.cfg │ ├── simple_enabled.tla │ ├── simple_enabled.tla.dot │ ├── simple_enabled.tla.dot.json │ ├── simple_extends.cfg │ ├── simple_extends.tla │ ├── simple_extends.tla.dot │ ├── simple_extends.tla.dot.json │ ├── simple_extends_M1.tla │ ├── simple_extends_M2.tla │ ├── simple_extends_M2b.tla │ ├── simple_extends_M2c.tla │ ├── simple_extends_M3.tla │ ├── simple_extends_M4.tla │ ├── simple_extends_M5.tla │ ├── simple_extends_M5b.tla │ ├── simple_extends_M5c.tla │ ├── simple_extends_M6.tla │ ├── simple_extends_M7.tla │ ├── simple_extends_M7_LOCAL_def.tla │ ├── simple_extends_M8.tla │ ├── simple_extends_M9.tla │ ├── simple_extends_instance.cfg │ ├── simple_extends_instance.tla │ ├── simple_extends_instance.tla.dot │ ├── simple_extends_instance.tla.dot.json │ ├── simple_extends_instance_def.cfg │ ├── simple_extends_instance_def.tla │ ├── simple_extends_instance_def.tla.dot │ ├── simple_extends_instance_def.tla.dot.json │ ├── simple_extends_instance_def_parameterized.cfg │ ├── simple_extends_instance_def_parameterized.tla │ ├── simple_extends_instance_def_parameterized.tla.dot │ ├── simple_extends_instance_def_parameterized.tla.dot.json │ ├── simple_extends_instance_def_parameterized_var_subst.tla.dot │ ├── simple_extends_instance_def_parameterized_var_subst.tla.dot.json │ ├── simple_extends_instance_def_parameterized_var_subst_no_clash.cfg │ ├── simple_extends_instance_def_parameterized_var_subst_no_clash.tla │ ├── simple_extends_instance_def_parameterized_var_subst_no_clash.tla.dot │ ├── simple_extends_instance_def_parameterized_var_subst_no_clash.tla.dot.json │ ├── simple_extends_instance_def_parameterized_var_subst_with_clash.cfg │ ├── simple_extends_instance_def_parameterized_var_subst_with_clash.tla │ ├── simple_extends_instance_def_parameterized_var_subst_with_clash.tla.dot │ ├── simple_extends_instance_def_parameterized_var_subst_with_clash.tla.dot.json │ ├── simple_extends_instance_def_transitive.cfg │ ├── simple_extends_instance_def_transitive.tla │ ├── simple_extends_instance_def_transitive.tla.dot │ ├── simple_extends_instance_def_transitive.tla.dot.json │ ├── simple_extends_instance_def_transitive_import.cfg │ ├── simple_extends_instance_def_transitive_import.tla │ ├── simple_extends_instance_def_transitive_import.tla.dot │ ├── simple_extends_instance_def_transitive_import.tla.dot.json │ ├── simple_extends_instance_def_user_infix_op.cfg │ ├── simple_extends_instance_def_user_infix_op.tla │ ├── simple_extends_instance_def_user_infix_op.tla.dot │ ├── simple_extends_instance_def_user_infix_op.tla.dot.json │ ├── simple_extends_instance_def_with_subst.cfg │ ├── simple_extends_instance_def_with_subst.tla │ ├── simple_extends_instance_def_with_subst.tla.dot │ ├── simple_extends_instance_def_with_subst.tla.dot.json │ ├── simple_extends_instance_def_with_var_subst.cfg │ ├── simple_extends_instance_def_with_var_subst.tla │ ├── simple_extends_instance_def_with_var_subst.tla.dot │ ├── simple_extends_instance_def_with_var_subst.tla.dot.json │ ├── simple_extends_instance_def_with_var_subst_and_primed_action.cfg │ ├── simple_extends_instance_def_with_var_subst_and_primed_action.tla │ ├── simple_extends_instance_def_with_var_subst_and_primed_action.tla.dot │ ├── simple_extends_instance_def_with_var_subst_and_primed_action.tla.dot.json │ ├── simple_extends_instance_def_with_var_subst_default_name.cfg │ ├── simple_extends_instance_def_with_var_subst_default_name.tla │ ├── simple_extends_instance_def_with_var_subst_default_name.tla.dot │ ├── simple_extends_instance_def_with_var_subst_default_name.tla.dot.json │ ├── simple_extends_instance_def_with_var_subst_one_implicit.cfg │ ├── simple_extends_instance_def_with_var_subst_one_implicit.tla │ ├── simple_extends_instance_def_with_var_subst_one_implicit.tla.dot │ ├── simple_extends_instance_def_with_var_subst_one_implicit.tla.dot.json │ ├── simple_extends_instance_def_with_var_subst_same_name.cfg │ ├── simple_extends_instance_def_with_var_subst_same_name.tla │ ├── simple_extends_instance_def_with_var_subst_same_name.tla.dot │ ├── simple_extends_instance_def_with_var_subst_same_name.tla.dot.json │ ├── simple_extends_instance_duplicate_def_names.cfg │ ├── simple_extends_instance_duplicate_def_names.tla │ ├── simple_extends_instance_duplicate_def_names.tla.dot │ ├── simple_extends_instance_duplicate_def_names.tla.dot.json │ ├── simple_extends_instance_transitive.cfg │ ├── simple_extends_instance_transitive.tla │ ├── simple_extends_instance_transitive.tla.dot │ ├── simple_extends_instance_transitive.tla.dot.json │ ├── simple_extends_instance_with_const_subst.cfg │ ├── simple_extends_instance_with_const_subst.tla │ ├── simple_extends_instance_with_const_subst.tla.dot │ ├── simple_extends_instance_with_const_subst.tla.dot.json │ ├── simple_extends_instance_with_var_and_const_subst.cfg │ ├── simple_extends_instance_with_var_and_const_subst.tla │ ├── simple_extends_instance_with_var_and_const_subst.tla.dot │ ├── simple_extends_instance_with_var_and_const_subst.tla.dot.json │ ├── simple_extends_instance_with_var_and_const_subst_transitive.cfg │ ├── simple_extends_instance_with_var_and_const_subst_transitive.tla │ ├── simple_extends_instance_with_var_and_const_subst_transitive.tla.dot │ ├── simple_extends_instance_with_var_and_const_subst_transitive.tla.dot.json │ ├── simple_extends_instance_with_var_subst.cfg │ ├── simple_extends_instance_with_var_subst.tla │ ├── simple_extends_instance_with_var_subst.tla.dot │ ├── simple_extends_instance_with_var_subst.tla.dot.json │ ├── simple_extends_instance_with_var_subst_identity.cfg │ ├── simple_extends_instance_with_var_subst_identity.tla │ ├── simple_extends_instance_with_var_subst_identity.tla.dot │ ├── simple_extends_instance_with_var_subst_identity.tla.dot.json │ ├── simple_extends_local_def.cfg │ ├── simple_extends_local_def.tla │ ├── simple_extends_local_def.tla.dot │ ├── simple_extends_local_def.tla.dot.json │ ├── simple_extends_with_var.cfg │ ├── simple_extends_with_var.tla │ ├── simple_extends_with_var.tla.dot │ ├── simple_extends_with_var.tla.dot.json │ ├── simple_extends_with_var_and_const.cfg │ ├── simple_extends_with_var_and_const.tla │ ├── simple_extends_with_var_and_const.tla.dot │ ├── simple_extends_with_var_and_const.tla.dot.json │ ├── simple_fcn_def.cfg │ ├── simple_fcn_def.tla │ ├── simple_fcn_def.tla.dot │ ├── simple_fcn_def.tla.dot.json │ ├── simple_fcn_literal.cfg │ ├── simple_fcn_literal.tla │ ├── simple_fcn_literal.tla.dot │ ├── simple_fcn_literal.tla.dot.json │ ├── simple_fcn_polymorphism.cfg │ ├── simple_fcn_polymorphism.tla │ ├── simple_fcn_polymorphism.tla.dot │ ├── simple_fcn_polymorphism.tla.dot.json │ ├── simple_folds.cfg │ ├── simple_folds.tla │ ├── simple_folds.tla.dot │ ├── simple_folds.tla.dot.json │ ├── simple_if_then.cfg │ ├── simple_if_then.tla │ ├── simple_if_then.tla.dot │ ├── simple_if_then.tla.dot.json │ ├── simple_implies.cfg │ ├── simple_implies.tla │ ├── simple_implies.tla.dot │ ├── simple_implies.tla.dot.json │ ├── simple_infix_def.cfg │ ├── simple_infix_def.tla │ ├── simple_infix_def.tla.dot │ ├── simple_infix_def.tla.dot.json │ ├── simple_inline_comment.cfg │ ├── simple_inline_comment.tla │ ├── simple_inline_comment.tla.dot │ ├── simple_inline_comment.tla.dot.json │ ├── simple_inline_comment_conj.cfg │ ├── simple_inline_comment_conj.tla │ ├── simple_inline_comment_conj.tla.dot │ ├── simple_inline_comment_conj.tla.dot.json │ ├── simple_inline_comment_constant.cfg │ ├── simple_inline_comment_constant.tla │ ├── simple_inline_comment_constant.tla.dot │ ├── simple_inline_comment_constant.tla.dot.json │ ├── simple_lambda.cfg │ ├── simple_lambda.tla │ ├── simple_lambda.tla.dot │ ├── simple_lambda.tla.dot.json │ ├── simple_lambda_letin.cfg │ ├── simple_lambda_letin.tla │ ├── simple_lambda_letin.tla.dot │ ├── simple_lambda_letin.tla.dot.json │ ├── simple_lazy.cfg │ ├── simple_lazy.tla │ ├── simple_lazy.tla.dot │ ├── simple_lazy.tla.dot.json │ ├── simple_letin.cfg │ ├── simple_letin.tla │ ├── simple_letin.tla.dot │ ├── simple_letin.tla.dot.json │ ├── simple_letin_fn_def.cfg │ ├── simple_letin_fn_def.tla │ ├── simple_letin_fn_def.tla.dot │ ├── simple_letin_fn_def.tla.dot.json │ ├── simple_mod3_counter.cfg │ ├── simple_mod3_counter.tla │ ├── simple_mod3_counter.tla.dot │ ├── simple_mod3_counter.tla.dot.json │ ├── simple_multiline.cfg │ ├── simple_multiline.tla │ ├── simple_multiline.tla.dot │ ├── simple_multiline.tla.dot.json │ ├── simple_negation.cfg │ ├── simple_negation.tla │ ├── simple_negation.tla.dot │ ├── simple_negation.tla.dot.json │ ├── simple_negation.tla.json │ ├── simple_nested_lambda.cfg │ ├── simple_nested_lambda.tla │ ├── simple_nested_lambda.tla.dot │ ├── simple_nested_lambda.tla.dot.json │ ├── simple_operator.cfg │ ├── simple_operator.tla │ ├── simple_operator.tla.dot │ ├── simple_operator.tla.dot.json │ ├── simple_primed.cfg │ ├── simple_primed.tla │ ├── simple_primed.tla.dot │ ├── simple_primed.tla.dot.json │ ├── simple_primed_defs.cfg │ ├── simple_primed_defs.tla │ ├── simple_primed_defs.tla.dot │ ├── simple_primed_defs.tla.dot.json │ ├── simple_quant.cfg │ ├── simple_quant.tla │ ├── simple_quant.tla.dot │ ├── simple_quant.tla.dot.json │ ├── simple_quant2.cfg │ ├── simple_quant2.tla │ ├── simple_quant2.tla.dot │ ├── simple_quant2.tla.dot.json │ ├── simple_quant_multi.cfg │ ├── simple_quant_multi.tla │ ├── simple_quant_multi.tla.dot │ ├── simple_quant_multi.tla.dot.json │ ├── simple_quant_tuple.cfg │ ├── simple_quant_tuple.tla │ ├── simple_quant_tuple.tla.dot │ ├── simple_quant_tuple.tla.dot.json │ ├── simple_record.cfg │ ├── simple_record.tla │ ├── simple_record.tla.dot │ ├── simple_record.tla.dot.json │ ├── simple_recursive.cfg │ ├── simple_recursive.tla │ ├── simple_recursive.tla.dot │ ├── simple_recursive.tla.dot.json │ ├── simple_seq.cfg │ ├── simple_seq.tla │ ├── simple_seq.tla.dot │ ├── simple_seq.tla.dot.json │ ├── simple_seq_ext.cfg │ ├── simple_seq_ext.tla │ ├── simple_seq_ext.tla.dot │ ├── simple_seq_update.cfg │ ├── simple_seq_update.tla │ ├── simple_seq_update.tla.dot │ ├── simple_seq_update.tla.dot.json │ ├── simple_seq_update2.cfg │ ├── simple_seq_update2.tla │ ├── simple_seq_update2.tla.dot │ ├── simple_seq_update2.tla.dot.json │ ├── simple_seq_update3.cfg │ ├── simple_seq_update3.tla │ ├── simple_seq_update3.tla.dot │ ├── simple_seq_update3.tla.dot.json │ ├── simple_set_of_fns.cfg │ ├── simple_set_of_fns.tla │ ├── simple_set_of_fns.tla.dot │ ├── simple_set_of_fns.tla.dot.json │ ├── simple_setfiltermap.cfg │ ├── simple_setfiltermap.tla │ ├── simple_setfiltermap.tla.dot │ ├── simple_setfiltermap.tla.dot.json │ ├── simple_sets.cfg │ ├── simple_sets.tla │ ├── simple_sets.tla.dot │ ├── simple_sets.tla.dot.json │ ├── simple_strings.cfg │ ├── simple_strings.tla │ ├── simple_strings.tla.dot │ ├── simple_strings.tla.dot.json │ ├── simple_subset.cfg │ ├── simple_subset.tla │ ├── simple_subset.tla.dot │ ├── simple_subset.tla.dot.json │ ├── simple_tlc_fn.cfg │ ├── simple_tlc_fn.tla │ ├── simple_tlc_fn.tla.dot │ ├── simple_tlc_fn.tla.dot.json │ ├── simple_tlc_fn_compose.cfg │ ├── simple_tlc_fn_compose.tla │ ├── simple_tlc_fn_compose.tla.dot │ ├── simple_tlc_fn_compose.tla.dot.json │ ├── simple_tlc_ops.cfg │ ├── simple_tlc_ops.tla │ ├── simple_tlc_ops.tla.dot │ ├── simple_tlc_ops.tla.dot.json │ ├── simple_unchanged.cfg │ ├── simple_unchanged.tla │ ├── simple_unchanged.tla.dot │ ├── simple_unchanged.tla.dot.json │ ├── simple_unchanged_nested_def.cfg │ ├── simple_unchanged_nested_def.tla │ ├── simple_unchanged_nested_def.tla.dot │ ├── simple_unchanged_nested_def.tla.dot.json │ ├── simple_unchanged_nested_tuple.cfg │ ├── simple_unchanged_nested_tuple.tla │ ├── simple_unchanged_nested_tuple.tla.dot │ ├── simple_unchanged_nested_tuple.tla.dot.json │ ├── simple_unchanged_nested_tuple_def.cfg │ ├── simple_unchanged_nested_tuple_def.tla │ ├── simple_unchanged_nested_tuple_def.tla.dot │ ├── simple_unchanged_nested_tuple_def.tla.dot.json │ ├── simple_unchanged_no_tuple.cfg │ ├── simple_unchanged_no_tuple.tla │ ├── simple_unchanged_no_tuple.tla.dot │ ├── simple_unchanged_no_tuple.tla.dot.json │ ├── simple_unchanged_with_quant.cfg │ ├── simple_unchanged_with_quant.tla │ ├── simple_unchanged_with_quant.tla.dot │ ├── simple_unchanged_with_quant.tla.dot.json │ ├── simple_var_tuple.cfg │ ├── simple_var_tuple.tla │ ├── simple_var_tuple.tla.dot │ ├── simple_var_tuple.tla.dot.json │ ├── tla2tools.jar │ ├── tla_case_with_state_assignment.cfg │ ├── tla_case_with_state_assignment.tla │ ├── tla_case_with_state_assignment.tla.dot │ ├── tla_case_with_state_assignment.tla.dot.json │ ├── tla_expr_eval.cfg │ ├── tla_expr_eval.dot │ ├── tla_expr_eval.dot.json │ ├── tla_expr_eval.tla │ ├── tla_expr_eval.tla.dot │ ├── tla_expr_eval.tla.dot.json │ └── tla_expr_eval.tla.json ├── spectacle.code-workspace ├── style.css ├── test.html └── tests └── basic.spec.js /.github/workflows/playwright.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/.github/workflows/playwright.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/README.md -------------------------------------------------------------------------------- /assets/Inter-VariableFont_opsz,wght.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/Inter-VariableFont_opsz,wght.ttf -------------------------------------------------------------------------------- /assets/Roboto-VariableFont_wdth,wght.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/Roboto-VariableFont_wdth,wght.ttf -------------------------------------------------------------------------------- /assets/back-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/back-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/bug.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/bug.svg -------------------------------------------------------------------------------- /assets/code-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/code-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/crown.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/crown.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/0-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/0-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/0-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/0-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/1-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/1-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/1-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/1-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/123.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/123.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/2-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/2-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/2-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/2-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/3-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/3-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/3-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/3-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/4-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/4-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/4-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/4-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/5-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/5-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/5-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/5-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/6-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/6-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/6-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/6-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/7-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/7-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/7-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/7-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/8-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/8-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/8-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/8-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/9-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/9-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/9-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/9-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/activity.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/activity.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/airplane.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/airplane.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/alarm.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/alarm.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/alexa.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/alexa.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/alipay.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/alipay.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/alphabet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/alphabet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/alt.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/alt.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/amazon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/amazon.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/amd.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/amd.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/android.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/android.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/android2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/android2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/app.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/app.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/apple.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/apple.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/archive.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/archive.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/arrow-up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/arrow-up.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/arrows.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/arrows.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/asterisk.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/asterisk.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/at.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/at.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/award.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/award.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/back.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/back.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/backpack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/backpack.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-3d.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-3d.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-4k.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-4k.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-8k.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-8k.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-ad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-ad.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-ar.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-ar.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-cc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-cc.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-hd.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-hd.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-sd.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-sd.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-tm.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-tm.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-vo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-vo.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-vr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-vr.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/badge-wc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/badge-wc.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bag-dash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bag-dash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bag-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bag-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bag-plus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bag-plus.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bag-x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bag-x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bag.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bag.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/balloon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/balloon.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ban-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ban-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ban.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ban.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bandaid.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bandaid.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bank.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bank.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bank2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bank2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/basket.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/basket.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/basket2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/basket2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/basket3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/basket3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/battery.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/battery.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/behance.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/behance.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bell.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bell.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bezier.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bezier.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bezier2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bezier2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bicycle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bicycle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bing.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bing.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/book.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/book.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bookmark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bookmark.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/boombox.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/boombox.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/border.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/border.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/box-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/box-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/box-seam.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/box-seam.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/box.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/box.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/box2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/box2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/boxes.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/boxes.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/braces.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/braces.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bricks.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bricks.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/brush.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/brush.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bucket.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bucket.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bug-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bug-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bug.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bug.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/building.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/building.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/bullseye.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/bullseye.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/c-circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/c-circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/c-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/c-square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cake.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cake.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cake2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cake2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/calendar.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/calendar.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/camera.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/camera.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/camera2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/camera2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/capslock.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/capslock.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/capsule.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/capsule.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/caret-up.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/caret-up.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cart-x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cart-x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cart.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cart.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cart2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cart2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cart3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cart3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cart4.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cart4.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cassette.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cassette.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cast.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cast.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/chat.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/chat.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/check-lg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/check-lg.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/check.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/check.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/check2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/check2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/circle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/circle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/clock.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/clock.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cloud.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cloud.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/clouds.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/clouds.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cloudy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cloudy.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/code.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/code.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/coin.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/coin.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/columns.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/columns.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/command.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/command.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/compass.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/compass.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cone.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cone.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cookie.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cookie.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/copy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/copy.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cpu-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cpu-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cpu.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cpu.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/crop.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/crop.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cup-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cup-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cup-hot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cup-hot.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cup.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cup.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/cursor.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/cursor.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dash-lg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dash-lg.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/database.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/database.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/diamond.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/diamond.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-1.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-4.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-4.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-5.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-5.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dice-6.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dice-6.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/disc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/disc.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/discord.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/discord.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/display.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/display.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dot.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/download.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/download.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dpad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dpad.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dribbble.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dribbble.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/dropbox.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/dropbox.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/droplet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/droplet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/duffle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/duffle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ear-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ear-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ear.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ear.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/earbuds.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/earbuds.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/easel.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/easel.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/easel2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/easel2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/easel3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/easel3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/egg-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/egg-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/egg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/egg.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/eject.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/eject.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/envelope.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/envelope.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/eraser.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/eraser.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/escape.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/escape.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ethernet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ethernet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ev-front.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ev-front.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/exclude.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/exclude.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/explicit.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/explicit.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/exposure.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/exposure.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/eye-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/eye-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/eye.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/eye.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/facebook.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/facebook.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/fan.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/fan.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/feather.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/feather.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/feather2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/feather2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/file-pdf.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/file-pdf.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/file-ppt.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/file-ppt.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/file-x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/file-x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/file-zip.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/file-zip.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/file.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/file.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/files.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/files.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/film.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/film.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/filter.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/filter.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/fire.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/fire.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/flag.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/flag.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/floppy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/floppy.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/floppy2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/floppy2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/flower1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/flower1.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/flower2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/flower2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/flower3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/flower3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/folder-x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/folder-x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/folder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/folder.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/folder2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/folder2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/fonts.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/fonts.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/forward.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/forward.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/front.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/front.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/funnel.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/funnel.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/gear.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/gear.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/gem.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/gem.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/geo-alt.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/geo-alt.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/geo-fill.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/geo-fill.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/geo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/geo.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/gift.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/gift.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/git.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/git.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/github.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/github.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/gitlab.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/gitlab.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/globe.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/globe.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/globe2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/globe2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/google.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/google.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/grid.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/grid.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hammer.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hammer.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hdd.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hdd.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hdmi.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hdmi.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/heart.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/heart.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hearts.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hearts.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/house.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/house.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/houses.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/houses.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/hr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/hr.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/image.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/image.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/images.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/images.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/inbox.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/inbox.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/indent.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/indent.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/info.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/info.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/kanban.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/kanban.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/key.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/key.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ladder.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ladder.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/lamp.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/lamp.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/laptop.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/laptop.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/layers.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/layers.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/line.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/line.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/link.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/link.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/list.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/list.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/lock.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/lock.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/lungs.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/lungs.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/magic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/magic.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/magnet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/magnet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/map.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/map.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/mask.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/mask.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/medium.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/medium.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/memory.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/memory.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/meta.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/meta.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/mic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/mic.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/modem.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/modem.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/moon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/moon.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/mouse.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/mouse.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/mouse2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/mouse2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/mouse3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/mouse3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/nut.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/nut.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/nvidia.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/nvidia.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/nvme.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/nvme.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/option.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/option.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/outlet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/outlet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pass.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pass.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pause.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pause.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/paypal.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/paypal.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pc.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/peace.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/peace.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pen.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pen.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pencil.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pencil.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/people.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/people.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/person.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/person.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/phone.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/phone.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pin.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pin.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/pip.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/pip.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/play.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/play.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/plug.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/plug.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/plugin.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/plugin.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/plus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/plus.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/power.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/power.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/puzzle.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/puzzle.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/quora.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/quora.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/quote.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/quote.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/radar.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/radar.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/record.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/record.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/reddit.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/reddit.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/regex.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/regex.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/repeat.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/repeat.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/reply.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/reply.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/rewind.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/rewind.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/robot.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/robot.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/rocket.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/rocket.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/router.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/router.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/rss.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/rss.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/rulers.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/rulers.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/safe.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/safe.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/safe2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/safe2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/save.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/save.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/save2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/save2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/search.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/search.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/send-x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/send-x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/send.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/send.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/server.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/server.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/share.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/share.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/shield.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/shield.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/shift.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/shift.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/shop.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/shop.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/signal.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/signal.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/sim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/sim.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/skype.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/skype.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/slack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/slack.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/slash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/slash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/snow.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/snow.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/snow2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/snow2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/snow3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/snow3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/square.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/stack.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/stack.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/star.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/star.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/stars.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/stars.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/steam.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/steam.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/sticky.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/sticky.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/stop.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/stop.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/strava.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/strava.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/stripe.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/stripe.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/sun.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/sun.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/sunset.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/sunset.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/table.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/table.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tablet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tablet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tag.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tag.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tags.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tags.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ticket.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ticket.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tiktok.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tiktok.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tools.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tools.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/trash.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/trash.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/trash2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/trash2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/trash3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/trash3.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tree.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tree.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/trello.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/trello.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/trophy.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/trophy.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/truck.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/truck.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/tv.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/tv.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/twitch.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/twitch.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/type.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/type.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/ubuntu.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/ubuntu.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/union.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/union.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/unity.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/unity.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/unlock.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/unlock.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/upc.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/upc.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/upload.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/upload.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/usb-c.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/usb-c.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/usb.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/usb.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/vimeo.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/vimeo.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/vinyl.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/vinyl.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/virus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/virus.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/virus2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/virus2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/vr.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/vr.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wallet.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wallet.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/watch.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/watch.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/water.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/water.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/webcam.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/webcam.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wechat.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wechat.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wifi-1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wifi-1.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wifi-2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wifi-2.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wifi.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wifi.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wind.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wind.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/window.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/window.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/wrench.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/wrench.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/x-lg.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/x-lg.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/x.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/x.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/xbox.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/xbox.svg -------------------------------------------------------------------------------- /assets/css/bootstrap-icons-1.11.3/yelp.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap-icons-1.11.3/yelp.svg -------------------------------------------------------------------------------- /assets/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/bootstrap.min.css -------------------------------------------------------------------------------- /assets/css/clusterize.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/clusterize.min.css -------------------------------------------------------------------------------- /assets/css/codemirror.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/css/codemirror.min.css -------------------------------------------------------------------------------- /assets/danger-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/danger-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/delete-button-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/delete-button-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/drag-handle-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/drag-handle-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/favicon/apple-touch-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/apple-touch-icon.png -------------------------------------------------------------------------------- /assets/favicon/favicon-96x96.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/favicon-96x96.png -------------------------------------------------------------------------------- /assets/favicon/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/favicon.ico -------------------------------------------------------------------------------- /assets/favicon/favicon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/favicon.svg -------------------------------------------------------------------------------- /assets/favicon/site.webmanifest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/site.webmanifest -------------------------------------------------------------------------------- /assets/favicon/web-app-manifest-192x192.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/web-app-manifest-192x192.png -------------------------------------------------------------------------------- /assets/favicon/web-app-manifest-512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/favicon/web-app-manifest-512x512.png -------------------------------------------------------------------------------- /assets/gear-spinner.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/gear-spinner.svg -------------------------------------------------------------------------------- /assets/glasses-svgrepo-com.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/glasses-svgrepo-com.png -------------------------------------------------------------------------------- /assets/glasses-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/glasses-svgrepo-com.svg -------------------------------------------------------------------------------- /assets/glassestall.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/glassestall.png -------------------------------------------------------------------------------- /assets/glassestall2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/glassestall2.png -------------------------------------------------------------------------------- /assets/glassestall3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/glassestall3.png -------------------------------------------------------------------------------- /assets/hide-icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/hide-icon.svg -------------------------------------------------------------------------------- /assets/hide-icon2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/hide-icon2.svg -------------------------------------------------------------------------------- /assets/link-icon.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/link-icon.svg -------------------------------------------------------------------------------- /assets/play-previous-svgrepo-com.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/assets/play-previous-svgrepo-com.svg -------------------------------------------------------------------------------- /benchmark.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/benchmark.html -------------------------------------------------------------------------------- /doc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/README.md -------------------------------------------------------------------------------- /doc/animation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/animation.md -------------------------------------------------------------------------------- /doc/definitions-contexts-and-modules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/definitions-contexts-and-modules.md -------------------------------------------------------------------------------- /doc/diagrams/eval-tree-constant1/convert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/diagrams/eval-tree-constant1/convert.sh -------------------------------------------------------------------------------- /doc/diagrams/eval-tree-states1/convert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/diagrams/eval-tree-states1/convert.sh -------------------------------------------------------------------------------- /doc/embed.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/embed.html -------------------------------------------------------------------------------- /doc/embedding.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/embedding.md -------------------------------------------------------------------------------- /doc/how-tlc-computes-states.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/how-tlc-computes-states.md -------------------------------------------------------------------------------- /doc/notes/22nondeterminism.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/22nondeterminism.pdf -------------------------------------------------------------------------------- /doc/notes/Non-Deterministic Algorithms.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/Non-Deterministic Algorithms.pdf -------------------------------------------------------------------------------- /doc/notes/constraint-dynamic.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/constraint-dynamic.pdf -------------------------------------------------------------------------------- /doc/notes/log.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/log.md -------------------------------------------------------------------------------- /doc/notes/renesse-tla-lecture.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/renesse-tla-lecture.pdf -------------------------------------------------------------------------------- /doc/notes/tla2-guide.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/tla2-guide.pdf -------------------------------------------------------------------------------- /doc/notes/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/todo.md -------------------------------------------------------------------------------- /doc/notes/toolbox-trace-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/notes/toolbox-trace-view.png -------------------------------------------------------------------------------- /doc/testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/testing.md -------------------------------------------------------------------------------- /doc/tla-evaluation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/tla-evaluation.md -------------------------------------------------------------------------------- /doc/tla-modules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/doc/tla-modules.md -------------------------------------------------------------------------------- /examples/node/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/examples/node/index.js -------------------------------------------------------------------------------- /examples/node/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/examples/node/package-lock.json -------------------------------------------------------------------------------- /examples/node/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/examples/node/package.json -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/index.html -------------------------------------------------------------------------------- /js/addon/mode/simple.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/addon/mode/simple.js -------------------------------------------------------------------------------- /js/app.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/app.js -------------------------------------------------------------------------------- /js/benchmark.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/benchmark.js -------------------------------------------------------------------------------- /js/eval.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/eval.js -------------------------------------------------------------------------------- /js/hash-sum/hash-sum.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/hash-sum/hash-sum.js -------------------------------------------------------------------------------- /js/hash-sum/license: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/hash-sum/license -------------------------------------------------------------------------------- /js/hash-sum/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/hash-sum/readme.md -------------------------------------------------------------------------------- /js/lib/bootstrap.bundle.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/bootstrap.bundle.min.js -------------------------------------------------------------------------------- /js/lib/clusterize.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/clusterize.min.js -------------------------------------------------------------------------------- /js/lib/codemirror.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/codemirror.min.js -------------------------------------------------------------------------------- /js/lib/cytoscape-dagre.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/cytoscape-dagre.min.js -------------------------------------------------------------------------------- /js/lib/cytoscape.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/cytoscape.min.js -------------------------------------------------------------------------------- /js/lib/dagre.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/dagre.js -------------------------------------------------------------------------------- /js/lib/immutable.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/immutable.min.js -------------------------------------------------------------------------------- /js/lib/jquery-3.3.1.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/jquery-3.3.1.min.js -------------------------------------------------------------------------------- /js/lib/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/jquery-ui.min.js -------------------------------------------------------------------------------- /js/lib/lodash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/lodash.js -------------------------------------------------------------------------------- /js/lib/lodash.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/lodash.min.js -------------------------------------------------------------------------------- /js/lib/mithril.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/mithril.min.js -------------------------------------------------------------------------------- /js/lib/popper.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/popper.min.js -------------------------------------------------------------------------------- /js/lib/viz-standalone.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/lib/viz-standalone.js -------------------------------------------------------------------------------- /js/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/main.js -------------------------------------------------------------------------------- /js/object_hash.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/object_hash.js -------------------------------------------------------------------------------- /js/old_tests.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/old_tests.js -------------------------------------------------------------------------------- /js/test.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/test.js -------------------------------------------------------------------------------- /js/test_spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/test_spec.js -------------------------------------------------------------------------------- /js/tlamode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/tlamode.js -------------------------------------------------------------------------------- /js/tree-sitter-tlaplus.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/tree-sitter-tlaplus.wasm -------------------------------------------------------------------------------- /js/tree-sitter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/tree-sitter.js -------------------------------------------------------------------------------- /js/tree-sitter.wasm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/tree-sitter.wasm -------------------------------------------------------------------------------- /js/worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/js/worker.js -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/package.json -------------------------------------------------------------------------------- /playwright.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/playwright.config.js -------------------------------------------------------------------------------- /serve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/serve.py -------------------------------------------------------------------------------- /specs/AbstractDynamicRaft.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AbstractDynamicRaft.tla -------------------------------------------------------------------------------- /specs/AbstractRaft.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AbstractRaft.cfg -------------------------------------------------------------------------------- /specs/AbstractRaft.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AbstractRaft.tla -------------------------------------------------------------------------------- /specs/AbstractRaft_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AbstractRaft_anim.tla -------------------------------------------------------------------------------- /specs/AsyncGameOfLife.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AsyncGameOfLife.tla -------------------------------------------------------------------------------- /specs/AsyncGameOfLife_anim.cfg: -------------------------------------------------------------------------------- 1 | SPECIFICATION Spec 2 | CONSTANTS N = 3 3 | ALIAS AnimAlias 4 | -------------------------------------------------------------------------------- /specs/AsyncGameOfLife_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AsyncGameOfLife_anim.svg -------------------------------------------------------------------------------- /specs/AsyncGameOfLife_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AsyncGameOfLife_anim.tla -------------------------------------------------------------------------------- /specs/AsyncRaft.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AsyncRaft.tla -------------------------------------------------------------------------------- /specs/AwsDNSRace.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace.cfg -------------------------------------------------------------------------------- /specs/AwsDNSRace.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace.md -------------------------------------------------------------------------------- /specs/AwsDNSRace.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace.tla -------------------------------------------------------------------------------- /specs/AwsDNSRace_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace_anim.cfg -------------------------------------------------------------------------------- /specs/AwsDNSRace_anim.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace_anim.gif -------------------------------------------------------------------------------- /specs/AwsDNSRace_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/AwsDNSRace_anim.tla -------------------------------------------------------------------------------- /specs/Bakery.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | CONSTANT N = 2 -------------------------------------------------------------------------------- /specs/Bakery.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/Bakery.tla -------------------------------------------------------------------------------- /specs/BatteryRelay.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BatteryRelay.tla -------------------------------------------------------------------------------- /specs/BatteryRelay_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BatteryRelay_anim.cfg -------------------------------------------------------------------------------- /specs/BatteryRelay_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BatteryRelay_anim.svg -------------------------------------------------------------------------------- /specs/BatteryRelay_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BatteryRelay_anim.tla -------------------------------------------------------------------------------- /specs/BlockingQueue.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BlockingQueue.tla -------------------------------------------------------------------------------- /specs/BlockingQueue_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BlockingQueue_anim.cfg -------------------------------------------------------------------------------- /specs/BlockingQueue_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BlockingQueue_anim.svg -------------------------------------------------------------------------------- /specs/BlockingQueue_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/BlockingQueue_anim.tla -------------------------------------------------------------------------------- /specs/CabbageGoatWolf.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/CabbageGoatWolf.cfg -------------------------------------------------------------------------------- /specs/CabbageGoatWolf.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/CabbageGoatWolf.tla -------------------------------------------------------------------------------- /specs/CabbageGoatWolf_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/CabbageGoatWolf_anim.cfg -------------------------------------------------------------------------------- /specs/CabbageGoatWolf_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/CabbageGoatWolf_anim.svg -------------------------------------------------------------------------------- /specs/CabbageGoatWolf_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/CabbageGoatWolf_anim.tla -------------------------------------------------------------------------------- /specs/DiningPhilosophers.cfg: -------------------------------------------------------------------------------- 1 | CONSTANTS N = 5 2 | SPECIFICATION Spec 3 | INVARIANT TypeOK 4 | PROPERTY NoStarvation 5 | 6 | -------------------------------------------------------------------------------- /specs/DiningPhilosophers.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/DiningPhilosophers.tla -------------------------------------------------------------------------------- /specs/DiningPhilosophers_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/DiningPhilosophers_anim.cfg -------------------------------------------------------------------------------- /specs/DiningPhilosophers_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/DiningPhilosophers_anim.svg -------------------------------------------------------------------------------- /specs/DiningPhilosophers_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/DiningPhilosophers_anim.tla -------------------------------------------------------------------------------- /specs/EWD998.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/EWD998.tla -------------------------------------------------------------------------------- /specs/EWD998_anim.cfg: -------------------------------------------------------------------------------- 1 | SPECIFICATION Spec 2 | CONSTANTS N = 3 3 | ALIAS AnimAlias 4 | 5 | -------------------------------------------------------------------------------- /specs/EWD998_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/EWD998_anim.svg -------------------------------------------------------------------------------- /specs/EWD998_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/EWD998_anim.tla -------------------------------------------------------------------------------- /specs/Elevator_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/Elevator_anim.tla -------------------------------------------------------------------------------- /specs/FlexiblePaxos.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/FlexiblePaxos.tla -------------------------------------------------------------------------------- /specs/GameOfLife.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/GameOfLife.tla -------------------------------------------------------------------------------- /specs/LamportMutex.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/LamportMutex.tla -------------------------------------------------------------------------------- /specs/LargeInit.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/LargeInit.tla -------------------------------------------------------------------------------- /specs/LogExample.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/LogExample.tla -------------------------------------------------------------------------------- /specs/MongoLoglessDynamicRaft.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoLoglessDynamicRaft.tla -------------------------------------------------------------------------------- /specs/MongoRaftReconfig.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoRaftReconfig.cfg -------------------------------------------------------------------------------- /specs/MongoRaftReconfig.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoRaftReconfig.tla -------------------------------------------------------------------------------- /specs/MongoRaftReconfig_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoRaftReconfig_anim.cfg -------------------------------------------------------------------------------- /specs/MongoRaftReconfig_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoRaftReconfig_anim.svg -------------------------------------------------------------------------------- /specs/MongoRaftReconfig_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MongoRaftReconfig_anim.tla -------------------------------------------------------------------------------- /specs/MultiPaxos.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/MultiPaxos.tla -------------------------------------------------------------------------------- /specs/Paxos.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/Paxos.tla -------------------------------------------------------------------------------- /specs/QuorumProfiling.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/QuorumProfiling.tla -------------------------------------------------------------------------------- /specs/RaftWithReconfigBroken.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigBroken.cfg -------------------------------------------------------------------------------- /specs/RaftWithReconfigBroken.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigBroken.tla -------------------------------------------------------------------------------- /specs/RaftWithReconfigBroken_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigBroken_anim.tla -------------------------------------------------------------------------------- /specs/RaftWithReconfigJointConsensus.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigJointConsensus.cfg -------------------------------------------------------------------------------- /specs/RaftWithReconfigJointConsensus.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigJointConsensus.tla -------------------------------------------------------------------------------- /specs/RaftWithReconfigSingleServer.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigSingleServer.cfg -------------------------------------------------------------------------------- /specs/RaftWithReconfigSingleServer.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/RaftWithReconfigSingleServer.tla -------------------------------------------------------------------------------- /specs/Simple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | CONSTANT N = 3 -------------------------------------------------------------------------------- /specs/Simple.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/Simple.tla -------------------------------------------------------------------------------- /specs/SingleNode1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/SingleNode1.tla -------------------------------------------------------------------------------- /specs/SingleNode2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/SingleNode2.tla -------------------------------------------------------------------------------- /specs/SnapshotIsolation.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/SnapshotIsolation.tla -------------------------------------------------------------------------------- /specs/SnapshotIsolationWithGraphs.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/SnapshotIsolationWithGraphs.tla -------------------------------------------------------------------------------- /specs/TwoPhase.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/TwoPhase.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase.tla -------------------------------------------------------------------------------- /specs/TwoPhase_alt.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase_alt.tla -------------------------------------------------------------------------------- /specs/TwoPhase_anim.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | ALIAS AnimAlias -------------------------------------------------------------------------------- /specs/TwoPhase_anim.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase_anim.svg -------------------------------------------------------------------------------- /specs/TwoPhase_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase_anim.tla -------------------------------------------------------------------------------- /specs/TwoPhase_demo.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase_demo.tla -------------------------------------------------------------------------------- /specs/TwoPhase_demo_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/TwoPhase_demo_anim.tla -------------------------------------------------------------------------------- /specs/VectorClocks.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/VectorClocks.tla -------------------------------------------------------------------------------- /specs/ambiguous_actions.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/ambiguous_actions.tla -------------------------------------------------------------------------------- /specs/bfs.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/bfs.tla -------------------------------------------------------------------------------- /specs/bfs_anim.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/bfs_anim.cfg -------------------------------------------------------------------------------- /specs/bfs_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/bfs_anim.tla -------------------------------------------------------------------------------- /specs/btree.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/btree.tla -------------------------------------------------------------------------------- /specs/btree_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/btree_anim.tla -------------------------------------------------------------------------------- /specs/counter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/counter.c -------------------------------------------------------------------------------- /specs/counter.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/counter.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/counter.tla -------------------------------------------------------------------------------- /specs/gfd.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | CONSTANT TableId = {t1,t2,t3} -------------------------------------------------------------------------------- /specs/gfd.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/gfd.tla -------------------------------------------------------------------------------- /specs/gfd_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/gfd_anim.tla -------------------------------------------------------------------------------- /specs/lockserver.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver.cfg -------------------------------------------------------------------------------- /specs/lockserver.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver.tla -------------------------------------------------------------------------------- /specs/lockserver_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver_anim.tla -------------------------------------------------------------------------------- /specs/lockserver_comments.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver_comments.tla -------------------------------------------------------------------------------- /specs/lockserver_nodefs.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver_nodefs.tla -------------------------------------------------------------------------------- /specs/lockserver_nodefs_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/lockserver_nodefs_anim.tla -------------------------------------------------------------------------------- /specs/queue.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | 4 | CONSTANT Capacity = 2 5 | Value = {1,2} -------------------------------------------------------------------------------- /specs/queue.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/queue.tla -------------------------------------------------------------------------------- /specs/queue_anim.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/queue_anim.tla -------------------------------------------------------------------------------- /specs/quicksort.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/quicksort.cfg -------------------------------------------------------------------------------- /specs/quicksort.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/quicksort.tla -------------------------------------------------------------------------------- /specs/raft_reconfig_cex_trace.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/raft_reconfig_cex_trace.txt -------------------------------------------------------------------------------- /specs/repl.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/repl.tla -------------------------------------------------------------------------------- /specs/simple0.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple0.tla -------------------------------------------------------------------------------- /specs/simple1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/simple1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple1.tla -------------------------------------------------------------------------------- /specs/simple2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple2.tla -------------------------------------------------------------------------------- /specs/simple3.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple3.tla -------------------------------------------------------------------------------- /specs/simple4.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple4.tla -------------------------------------------------------------------------------- /specs/simple5.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple5.tla -------------------------------------------------------------------------------- /specs/simple_bad_op.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_bad_op.tla -------------------------------------------------------------------------------- /specs/simple_election.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_election.tla -------------------------------------------------------------------------------- /specs/simple_inc.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/simple_inc.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_inc.tla -------------------------------------------------------------------------------- /specs/simple_len.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_len.tla -------------------------------------------------------------------------------- /specs/simple_lockserver.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_lockserver.tla -------------------------------------------------------------------------------- /specs/simple_lockserver_with_constants.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_lockserver_with_constants.tla -------------------------------------------------------------------------------- /specs/simple_nondet1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_nondet1.tla -------------------------------------------------------------------------------- /specs/simple_nums.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_nums.tla -------------------------------------------------------------------------------- /specs/simple_test.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_test.tla -------------------------------------------------------------------------------- /specs/simple_test_ambiguous.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/simple_test_ambiguous.tla -------------------------------------------------------------------------------- /specs/states.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/states.json -------------------------------------------------------------------------------- /specs/test_missing_assigned_vars.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/test_missing_assigned_vars.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/A1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/A1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/A1_var_y.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/A1_var_y.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/A1_var_y_const_d.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/A1_var_y_const_d.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/A2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/A2.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/AsyncTerminationDetection.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/AsyncTerminationDetection_init.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/ClientCentric.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/ClientCentric.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/CommunityModules.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/CommunityModules.jar -------------------------------------------------------------------------------- /specs/with_state_graphs/Consistency.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/Consistency.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Consistency.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Consistency.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Consistency.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/CosmosDB.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/CosmosDB.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/CosmosDBClient.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/CosmosDBClient.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHard.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHard.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHard.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHard.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHard.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHard.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHard.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHarder.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHarder.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHarder.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHarder.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHarder.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHarder.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/DieHarder.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/DieHarder.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/EWD998_bounded1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/EWD998_bounded1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/EWD998_bounded1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/EWD998_depth_bounded1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/EWD998_regression1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/Elevator.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/Elevator.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Elevator.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Elevator.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Elevator.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/LinQueue.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/LinQueue.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Linearizability.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Linearizability.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/LogExample_bounded.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/MDB.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/MDB.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Microwave.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Microwave.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/Microwave.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Microwave.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Microwave.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Microwave.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/NQueens_N3.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT PlaceQueen 3 | CONSTANT N=3 -------------------------------------------------------------------------------- /specs/with_state_graphs/NQueens_N3.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/NQueens_N3.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/NQueens_N3.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/NQueens_N3.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/NaiadClock.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/NaiadClock.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/NaiadClock.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/NaiadClock.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Paxos_1a.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/Paxos_1a.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Paxos_1a.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Paxos_1a.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Paxos_1a.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/Paxos_1b_case1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/Paxos_1b_case1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Paxos_1b_case1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Prisoners.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Prisoners.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/Prisoners.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Prisoners.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Prisoners.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Prisoners.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/README.md -------------------------------------------------------------------------------- /specs/with_state_graphs/RaftMongo.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/RaftMongo.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/RaftMongo.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/RaftMongo.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/RaftMongo.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/RaftMongo.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/S1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/S1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/S1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/S1.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/S1.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/S1.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/S1.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/ShardTxn.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/ShardTxn.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/ShardTxn.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/ShardTxn.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/ShardTxn.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/ShardTxn.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/TestLinQueue.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/TestLinQueue.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TestLinQueue.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/TestLinQueue.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TestLinQueue.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TwoPhase.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TwoPhase.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TwoPhase.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase_RMPrepare.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/TwoPhase_broken1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TwoPhase_broken1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/TxnsMoveRange.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TxnsMoveRange.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/TxnsMoveRange.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/TxnsMoveRange.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Util.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Util.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/Utilities.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/Utilities.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/conj_parsing.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/conj_parsing.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/conj_parsing.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/conj_parsing.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/conj_parsing.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/def_before_var_decl.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/empty_domain_and_seq.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/gen_state_graphs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/gen_state_graphs.sh -------------------------------------------------------------------------------- /specs/with_state_graphs/lockserver_nodefs.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/lockserver_nodefs1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/lockserver_nodefs_unchanged.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/mldr_init_only.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/mldr_init_only.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/mldr_init_only.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/operator_param_clash_before_const_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | CONSTANT c = 12 4 | -------------------------------------------------------------------------------- /specs/with_state_graphs/operator_param_clash_before_var_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/operator_param_clash_before_var_def_inter.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/pre_module_comments.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/primed_tuple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/primed_tuple.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/primed_tuple.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/primed_tuple.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/primed_tuple.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/qspinlock.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/qspinlock.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/qspinlock.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/qspinlock.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/record_literal_eval.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/semantic_error1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/semantic_error1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/semantic_error1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/semantic_error2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/semantic_error2.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/seq_append.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/seq_append.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/seq_append.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/seq_append.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/seq_append.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/seq_append.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/seq_append.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/set_dot_notation.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/set_dot_notation.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/set_dot_notation.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/show521677.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/show521677.cfg -------------------------------------------------------------------------------- /specs/with_state_graphs/show521677.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/show521677.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/show521677.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/show521677.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple1.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple1.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple1.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple1.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple1_multiline_block_comment.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple2.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple2.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple2.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple2.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple2.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple2.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple2.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple2.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple3.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple3.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple3.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple3.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple3.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple3.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple3.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple3.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple3.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple5.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple5.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple5.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple5.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple5.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple5.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple5.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple5.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple5.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple6.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple6.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple6.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple6.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple6.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple6.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple6.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple6.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple6.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple7.tla.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple7.tla.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple8.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple8.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple8.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple8.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple8.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple8.tla.dot.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple8.tla.dot.json -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_arith.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_arith.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_arith.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_arith.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_arith.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_boolean.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_boolean.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_boolean.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_choose.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_choose.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_choose.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_conjunction_constant.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_defined_var_assignment.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_defined_var_assignment_transitive.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_definition.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_definition2.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_disjunction_constant.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_disjunction_init.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_domain.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_domain.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_domain.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_enabled.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_enabled.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_enabled.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_extends.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_parameterized.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_parameterized_var_subst_no_clash.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_parameterized_var_subst_with_clash.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_transitive.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_transitive_import.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_user_infix_op.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_subst.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_var_subst.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_var_subst_and_primed_action.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_var_subst_default_name.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_var_subst_one_implicit.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_def_with_var_subst_same_name.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_duplicate_def_names.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_transitive.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_with_const_subst.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_with_var_and_const_subst.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_with_var_and_const_subst_transitive.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_with_var_subst.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_instance_with_var_subst_identity.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_local_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_with_var.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_extends_with_var_and_const.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | CONSTANT d = 22 -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_fcn_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_fcn_def.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_fcn_def.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_fcn_literal.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_fcn_polymorphism.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_folds.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_folds.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_folds.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_folds.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_folds.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_if_then.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_if_then.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_if_then.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_implies.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_implies.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_implies.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_infix_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_infix_def.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_infix_def.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_inline_comment.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_inline_comment_conj.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lambda.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lambda.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_lambda.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lambda_letin.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lazy.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lazy.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_lazy.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_lazy.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_lazy.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_letin.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_letin.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_letin.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_letin.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_letin.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_letin_fn_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_mod3_counter.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_multiline.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_multiline.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_multiline.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_negation.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_negation.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_negation.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_nested_lambda.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_operator.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_operator.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_operator.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_primed.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_primed.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_primed.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_primed_defs.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_quant.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_quant.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant2.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_quant2.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant_multi.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_quant_tuple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_record.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_record.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_record.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_recursive.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_recursive.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_recursive.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_seq.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_seq.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq_ext.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq_ext.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_seq_ext.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq_update.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq_update2.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_seq_update3.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_set_of_fns.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_setfiltermap.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_sets.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_sets.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_sets.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_sets.tla.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_sets.tla.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_strings.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_strings.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_strings.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_subset.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_subset.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_subset.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_tlc_fn.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_tlc_fn.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_tlc_fn.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_tlc_fn_compose.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_tlc_ops.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_tlc_ops.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_tlc_ops.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_unchanged.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged_nested_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged_nested_tuple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged_nested_tuple_def.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged_no_tuple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_unchanged_with_quant.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | 4 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_var_tuple.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/simple_var_tuple.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/simple_var_tuple.tla -------------------------------------------------------------------------------- /specs/with_state_graphs/tla2tools.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/tla2tools.jar -------------------------------------------------------------------------------- /specs/with_state_graphs/tla_case_with_state_assignment.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next -------------------------------------------------------------------------------- /specs/with_state_graphs/tla_expr_eval.cfg: -------------------------------------------------------------------------------- 1 | INIT Init 2 | NEXT Next 3 | -------------------------------------------------------------------------------- /specs/with_state_graphs/tla_expr_eval.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/tla_expr_eval.dot -------------------------------------------------------------------------------- /specs/with_state_graphs/tla_expr_eval.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/specs/with_state_graphs/tla_expr_eval.tla -------------------------------------------------------------------------------- /spectacle.code-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/spectacle.code-workspace -------------------------------------------------------------------------------- /style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/style.css -------------------------------------------------------------------------------- /test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/test.html -------------------------------------------------------------------------------- /tests/basic.spec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/will62794/spectacle/HEAD/tests/basic.spec.js --------------------------------------------------------------------------------