8000 Tags · utwente-fmt/dftcalc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: utwente-fmt/dftcalc

Tags

v1.4.1

Toggle v1.4.1's commit message

Verified

This commit was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Update github actions

v1.4.0

Toggle v1.4.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Version 1.4.0

* Support for Windows operation
* Support non-exact analysis by Storm in non-CADP mode
* Store cache files in a per-user directory instead of a global directory.

v1.3.4

Toggle v1.3.4's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Version 1.3.4

* Fix bug affecting models with multi-phase BEs
8000

v1.3.3

Toggle v1.3.3's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Version 1.3.3

* Add non-CADP PAND support
* Modest default fix

v1.3.2

Toggle v1.3.2's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Various bugfixes

v1.3.1

Toggle v1.3.1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Bugfixes in CADP-less mode.

v1.3.0

Toggle v1.3.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Version 1.3.0

Various changes, most notably CADP-less operation.

v1.2.0

Toggle v1.2.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ennoruijters Enno Ruijters
GPG key ID: 4CBD82850BDC002A
Expired
Verified
Learn about vigilant mode 
Release for dependencies.

We haven't officially released for a long time, and the previous release
is no longer usable due to dependencies.

This version appears to be mostly stable.

v1.1-beta

Toggle v1.1-beta's commit message 
Merge pull request #1 from utwente-fmt/next

Next into Master
Caution with repair functionality!

v1.1.0

Toggle v1.1.0's commit message 
- added priority repair TEMPLATE

- added priority key prio for BEs
- extended DFTCalc with priority repair
0