diff options
| author | N. Engelhardt <nak@yosyshq.com> | 2023-01-11 16:05:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-11 16:05:56 +0100 |
| commit | 41ce00e82a358f9cbb19474be7202899c6af5daa (patch) | |
| tree | ead4a7e07b69dc3acb3d0fb4461da59497052d77 /guidelines | |
| parent | 7b476996df962b63656152f643ff2181143f516e (diff) | |
| parent | 4fc5207b1e12d52b247de5f102c2ae9a8518ecc4 (diff) | |
| download | yosys-41ce00e82a358f9cbb19474be7202899c6af5daa.tar.gz yosys-41ce00e82a358f9cbb19474be7202899c6af5daa.tar.bz2 yosys-41ce00e82a358f9cbb19474be7202899c6af5daa.zip | |
Merge pull request #3620 from YosysHQ/gcc48_remove
Diffstat (limited to 'guidelines')
| -rw-r--r-- | guidelines/Checklists | 2 | ||||
| -rw-r--r-- | guidelines/CodingStyle | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/guidelines/Checklists b/guidelines/Checklists index 51756cfd7..75af12fa9 100644 --- a/guidelines/Checklists +++ b/guidelines/Checklists @@ -72,7 +72,7 @@ And if a version of the verific library is currently available: ../../yosys test_navre.ys -Finally run all tests with "make config-{clang,gcc,gcc-4.8}": +Finally run all tests with "make config-{clang,gcc}": cd ~yosys make clean diff --git a/guidelines/CodingStyle b/guidelines/CodingStyle index d3d3a7134..ee1e1a2b6 100644 --- a/guidelines/CodingStyle +++ b/guidelines/CodingStyle @@ -25,8 +25,7 @@ Formatting of code C++ Language ------------- -Yosys is written in C++11. At the moment only constructs supported by -gcc 4.8 are allowed in Yosys code. This will change in future releases. +Yosys is written in C++11. In general Yosys uses "int" instead of "size_t". To avoid compiler warnings for implicit type casts, always use "GetSize(foobar)" instead |