L

ltsmin

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 8 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 25, 2023 — Apr 25, 2024 Showing page 1 of 126 Search / Filter on:
changed refferences from aux to auxiliary to increase compatability with windows	Codermann63	More...				5 months ago
changed aux to auxiliary to increase compability with windows	Codermann63	More...				5 months ago
Upgrade Sylvan to 1.8.1	Tom van Dijk	More...				5 months ago
Update ltl2ba	Tom van Dijk	More...				5 months ago
Fix build problems under certain Linux versions	Tom van Dijk	More...				5 months ago
Patch missing action label in LTL context	Yann Thierry-Mieg	More...				10 months ago
Fix weak Buchi (thanks to Yann Thierry-Mieg)	Alfons Laarman	More...				about 2 years ago
document new --hoa flag interaction with buchi-type	Yann Thierry-Mieg	More...				about 2 years ago
with @adl honor --buchi-type flag by converting HOA to appropriate type	Yann Thierry-Mieg	More...				about 2 years ago
with @alaarman : drop "weak" algorithm if in TGBA mode	Yann Thierry-Mieg	More...				about 2 years ago
we should default to Spin semantics not LTSmin (EVAR case)	Yann Thierry-Mieg	More...				about 2 years ago
revert separate initialization of env	Yann Thierry-Mieg	More...				about 2 years ago
separate env initialization is no longer required in current workflow	Yann Thierry-Mieg	More...				about 2 years ago
separate env initialization is no longer required in current workflow	Yann Thierry-Mieg	More...				about 2 years ago
parse of the HOA unfortunately now requires the ltstype	Yann Thierry-Mieg	More...				about 2 years ago
remove all whitespace from predicate keys used in lookup	Yann Thierry-Mieg	More...				about 2 years ago
drop cast now that list def is patched + add const to char * argument	Yann Thierry-Mieg	More...				about 2 years ago
patch typo in list definition + add const to char * argument	Yann Thierry-Mieg	More...				about 2 years ago
a Changelog entry	Yann Thierry-Mieg	More...				about 2 years ago
documenting the --buchi-type and --hoa flag	Yann Thierry-Mieg	More...				about 2 years ago
make sure the type of the HOA is consistent with the --buchi-type flag	Yann Thierry-Mieg	More...				about 2 years ago
extend API to add a to_tgba flag similar to ltl2spot function	Yann Thierry-Mieg	More...				about 2 years ago
support TGBA in conjunction with --hoa	Yann Thierry-Mieg	More...				about 2 years ago
upgrade to C++17 : it is required by (recent) Spot	Yann Thierry-Mieg	More...				about 2 years ago
treat warning on recent gcc : also copy \0 terminating byte.	Yann Thierry-Mieg	More...				about 2 years ago
Force LTSmin LTL semantics in HOA mode	Yann Thierry-Mieg	More...				about 2 years ago
remember to setup the le list, it used when translating to buchi	Yann Thierry-Mieg	More...				about 2 years ago
implementation of the direct HOA parse route to Buchi	Yann Thierry-Mieg	More...				about 2 years ago
a new flag --hoa to parse from a HOA	Yann Thierry-Mieg	More...				about 2 years ago
implement init_ltl_env + refactor to avoid code duplication	Yann Thierry-Mieg	More...				about 2 years ago

←
1
2
3
4
5
6
7
8
9
…
125
126
→