Skip to content

Add initial support for verification and CI #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 30 commits into from
Feb 25, 2025
Merged

Add initial support for verification and CI #1

merged 30 commits into from
Feb 25, 2025

Conversation

passant5
Copy link
Contributor

No description provided.

M0stafaRady and others added 30 commits February 11, 2025 16:19
@M0stafaRady
inital push for cocotb
1ae9f9b
@M0stafaRady
update make file with cocotb targets
714a50d
@M0stafaRady
set frigate inside dependencies
e634170
@kareefardi
add ci to test make setup
7fd05fd 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
run internal make setup
763d2ef 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
use ssh for frigate-os-dev
ebd078d 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@M0stafaRady
use open source frigate
46cdc11
@kareefardi
run make setup
6cf337c 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
change frigate branch to main
b679e56 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
test ci
432f853 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@M0stafaRady
some renames
5867d33
@kareefardi
run rtl Verification
dcb6117 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
print log
7fabe53 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
export GITHUB_TOKEN for volare
5453965 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@M0stafaRady
Add CI to caravel_cocotb command to run in CI using makefile
2e07a7f
@M0stafaRady
Merge branch 'cocotb' of github.com:efabless/frigate-upw-example into…
f8c984e 
… cocotb
@kareefardi
setup cache
0937730 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
updates
f7012a2 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
make from FRIGATE_ROOT
64099be 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
fixes
7c59d36 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
export GITHUB_TOKEN
5e56c21 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
pass GITHUB_TOKEN as input
9cee49c 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
optimizations
a0b6d68 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
remove uneeded commands
f31602f 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
install nix and run openlane
e9f29d8 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
specify version
60f2868 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@kareefardi
install the manual way
ae98c45 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@M0stafaRady
Add user_proj_tests_gl.yaml and point to gen_default script
f735d2a
@kareefardi
tmp disable ci
d4d1a15 
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
@passant5
Merge branch 'main' into cocotb
c57c4c4
@passant5 passant5 merged commit bd9d7fa into main Feb 25, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@passant5 @M0stafaRady @kareefardi