alpha
Login
or
Join now
jonmsterling.com
/
project-pterodactyl
Star
6
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
This repository has no description
www.jonmsterling.com/01HC/
dependent-types
proof-assistant
Star
6
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
project-pterodactyl
/
swift-pterodactyl
/
Sources
/
PterodactylBuild
/
at
main
1 folder
8 files
András Kovács
notes, fix nondeterministic JSON encoder
3w ago
6db234c4
Resources
Switch to monorepo, add Visual Studio Code stuff
5 months ago
AssistantHtmlContent.swift
Tweak name of method
1 month ago
DriverDelta.swift
Add missing copyright headers
1 month ago
DriverEnv.swift
notes, fix nondeterministic JSON encoder
3 weeks ago
Graph.swift
Add some tests for topological sorting
1 month ago
HashChain.swift
Add missing copyright headers
1 month ago
Queries.swift
Add missing copyright headers
1 month ago
QueryEngine.swift
Add missing copyright headers
1 month ago
SourceTree.swift
SourceTree bugfix - Without the .ptero extension check, if there are any non-utf8 files in the folder, the decoding fails and so does the workspace initialization (we'd like to gracefully handle non-utf8 .ptero files too...) - The "files[url]" update looks bogus because self.id never gets updated that way.
3 weeks ago