H

hst's hst

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 6 hours ago. based on code collected about 9 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 25, 2023 — Apr 25, 2024 Showing page 1 of 3 Search / Filter on:
Merge branch 'simple-csp' into master	Douglas Creager	More...				over 3 years ago
Add SequentialComposition process	Douglas Creager	More...				over 3 years ago
Add ExternalProcess process	Douglas Creager	More...				over 3 years ago
Add InternalChoice process	Douglas Creager	More...				over 3 years ago
Add Prefix process	Douglas Creager	More...				over 3 years ago
Add Skip process	Douglas Creager	More...				over 3 years ago
Add new CSP type	Douglas Creager	More...				over 3 years ago
Move MaximalTraces into hst-processes crate	Douglas Creager	More...				over 3 years ago
Add Stop process	Douglas Creager	More...				over 3 years ago
Add iterators for each event set type	Douglas Creager	More...				over 3 years ago
Add DisjointSum type	Douglas Creager	More...				over 3 years ago
Add Tau and Tick traits	Douglas Creager	More...				over 3 years ago
Add hst-processes trait	Douglas Creager	More...				over 3 years ago
Use 16 bits for numbered events	Douglas Creager	More...				over 3 years ago
Add maximal_finite_traces for new CSP type	Douglas Creager	More...				over 3 years ago
Add NumberedEvents type	Douglas Creager	More...				over 3 years ago
Add EventSet trait	Douglas Creager	More...				over 3 years ago
Replace custom auto_from with derive_more	Douglas Creager	More...				over 3 years ago
Merge branch 'update-deps' into master	Douglas Creager	More...				over 3 years ago
Update proptest to 0.10	Douglas Creager	More...				over 3 years ago
Update smallvec to 1.4	Douglas Creager	More...				over 3 years ago
Update auto_enums to 0.7	Douglas Creager	More...				over 3 years ago
Hide internal modules	Douglas Creager	More...				about 4 years ago
Reformat using latest rustfmt	Douglas Creager	More...				about 4 years ago
Use GitHub Actions instead of Travis for CI	Douglas Creager	More...				about 4 years ago
Merge branch 'alphabets'	Douglas Creager	More...				about 4 years ago
Clear P side of seq-comp after performing ✔	Douglas Creager	More...				over 4 years ago
Remove events and can_perform methods from Cursor	Douglas Creager	More...				over 4 years ago
Add IntoIterator impls for all alphabets	Douglas Creager	More...				over 4 years ago
Add Alphabet impl for SequentialComposition	Douglas Creager	More...				over 4 years ago

←
1
2
3
→