MarkusRabe/cadet - GitHub Explorer | GitHub Explorer | Trending

Stars

26

Forks

13

Watchers

26

Open Issues

3

Repository Health Score

❤️

30/100

Poor

Overall repository health assessment

Score Breakdown

Activity

Inactive - no updates in 3+ months

0/30

0%

Recent Commits

Merge pull request #14 from meelgroup/fix

Markus N. Rabe•11 months ago

40f9683View on GitHub

Fixing compilation

Mate Soos•1 year ago

3beb89aView on GitHub

Merge pull request #10 from MalteSchledjewski/fix-implicit-function-definition

Markus N. Rabe•5 years ago

5fb4003View on GitHub

add missing import of time.h

Malte Schledjewski•5 years ago

43982aeView on GitHub

merged dev branch into master to get latest RL flags

Markus N Rabe•6 years ago

60dd426View on GitHub

slimmed slim state

Markus N Rabe•6 years ago

db5f07aView on GitHub

updated README and configure (pip -> pip3)

mrabe•6 years ago

b6b683fView on GitHub

Merge branch 'feat/simple_projection'

Markus N Rabe•7 years ago

d08aeedView on GitHub

hopefully fixed c99 issue

Markus N Rabe•7 years ago

5b7f4c3View on GitHub

improved run.py

Markus N Rabe•7 years ago

6151c48View on GitHub

fixed help output

Markus N Rabe•7 years ago

2bcf0e0View on GitHub

added --dontverify option

Markus N Rabe•7 years ago

1843f13View on GitHub

updated functional synthesis paths in instances and fixed small problem in run.py with crashing runs

Markus N Rabe•7 years ago

6f8ad12View on GitHub

removed deprecated flag from tester.py

Markus N Rabe•7 years ago

71e25a2View on GitHub

fixed bug in functional synthesis due to outdated encoding in global conflict check

Markus N Rabe•7 years ago

d5c46c7View on GitHub

View all commits

GitHub Explorer

cadet

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues