Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
C
coqdram
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
sdram20
coqdram
Graph
5581bb3344c0554ba4e005c914349410094c76cd
Select Git revision
Branches
5
_frozen_version_
default
finaldev
master
protected
newimpl
newimpl_14_12_23
5 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
19
Apr
8
14
Mar
11
8
1
21
Feb
13
12
8
30
Jan
2
14
Dec
6
16
Nov
27
Oct
24
Aug
20
Jul
10
5
Jan
3
2
30
Dec
29
25
20
18
Nov
16
8
Sep
2
1
31
Aug
27
May
8
4
1
26
Apr
25
20
19
28
Mar
22
7
21
Jan
20
17
10
Dec
21
Nov
20
19
18
15
14
26
Oct
12
11
8
27
Jul
19
8
26
May
21
19
18
17
16
7
6
5
4
3
29
Apr
28
23
11
Mar
10
5
3
26
Feb
23
22
20
12
10
27
Jan
Updated README
_frozen_version_
_frozen_version_
Removed irrelevant submodules
Revert submodules change
Changed submodules
CavaDRAM
Updated TDMShelve -- RefreshGrant
Changed axiom about private bank mapping in TDM; Renamed things to TDMShelve
Example for thesis is fully functional. Corrected some errors
Fixed scheduling alg error: looks to be OK now
dsTDMimpSL function, implemented grants
First complete implementation of dsTDM. Updated some CavaDRAM proofs
Re-structured CavaDRAM library, updated some things in CoqDRAM
Correction on sub-module url
Added silveroak as submodule
Cleanning CavaDRAM code, added silveroak recompiled to sub-module list
Stable, clean, version
Added refresh version of normal implementations
Succesfull merge between CavaDRAM most updated version and CoqDRAM
Updated gitignore
newimpl_14_12_23
newimpl_14_12_23
New version of TDM fully functional
Finished refactoring FIFO conforming the new version of the framework
First proof (T_RCD) of bank machine completed
Stable development, proof almost finished
Update on dev
Update code
newimpl
newimpl
Re-structuring the code base, new implementation interface
finaldev
finaldev
New version of the framework
Added new scheduling algorithms: dynamic TDM
Updated ddr4controller submodule
master
master
Recent changes in CavaDRAM proofs
Finished subtractor proof, moved proofs to UtilSM, changed request definition
Six cases complete, separated proofs
Fourth case completed / Got rid of the pop signal
Equivalence proof: 4th case
Equivalence proof: 3rd case
Equivalence proof: two cases complete
FIFO proof breakpoint: changing refresh counter implementation
Updated README
Updated CavaDRAM proofs
Renamed file path to match CoqDRAM / CavaDRAM
Loading