- Apr 19, 2022
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
FIFO: renamed the extraction files and some minor modifications on the implementation, proofs and simulation
-
- Mar 28, 2022
-
-
Felipe Lisboa authored
-
- Mar 22, 2022
-
-
Felipe Lisboa authored
-
- Mar 07, 2022
-
-
Felipe Lisboa authored
-
- Jan 21, 2022
-
-
Felipe Lisboa authored
-
- Jan 20, 2022
-
-
Felipe Lisboa authored
-
- Jan 17, 2022
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Dec 10, 2021
-
-
Felipe Lisboa authored
coq3: Implemented refresh, additional proof obligations, reworked default_arbitration and DDR4 support
-
- Nov 21, 2021
-
-
Felipe Lisboa authored
-
- Nov 20, 2021
-
-
Felipe Lisboa authored
-
- Nov 19, 2021
-
-
Felipe Lisboa authored
-
- Nov 18, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Nov 15, 2021
-
-
Felipe Lisboa authored
-
- Nov 14, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Oct 26, 2021
-
-
Felipe Lisboa authored
-
- Oct 12, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- Oct 11, 2021
-
-
Florian Brandner authored
-
Florian Brandner authored
-
Florian Brandner authored
-
Florian Brandner authored
* the timing proofs are incomplete, but should be easy to do (copy-paste) * add some helper proofs (mostly related to filtering/removing in lists)
-
Florian Brandner authored
-
- Oct 08, 2021
-
-
Felipe Lisboa authored
-
- Jul 27, 2021
-
-
Felipe Lisboa authored
-
- Jul 19, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
Requestor_t as an eqType and later instantiated as unit_eqType generated problems to operate it as a natural number. Hence, the change.
-
- Jul 08, 2021
-
-
Florian Brandner authored
-
- May 26, 2021
-
-
Felipe Lisboa authored
-
- May 21, 2021
-
-
Felipe Lisboa authored
-
Felipe Lisboa authored
-
- May 19, 2021
-
-
Felipe Lisboa authored
-
