aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/async2sync.cc
Commit message (Expand)AuthorAgeFilesLines
* FfData: some refactoring.Marcelina Kościelnicka2021-10-071-7/+4
* kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-021-15/+46
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
* async2sync: Support all FF types.Marcelina Kościelnicka2020-07-301-101/+159
* async2sync: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-53/+11
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* kernel: big fat patch to use more ID::*, otherwise ID(*)Eddie Hung2020-04-021-49/+49
* Fix $dlatch handling in async2syncClifford Wolf2019-09-301-0/+1
* Add $dlatch support to async2syncClifford Wolf2019-08-281-1/+36
* Add $dffsr support to async2syncClifford Wolf2019-03-091-2/+51
* Consistent use of 'override' for virtual methods in derived classes.Henner Zeller2018-07-201-2/+2
* Add async2sync passClifford Wolf2018-07-191-0/+147