Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | . | jacopograndi | 3 years | |
Age | Commit message | Author | ||
2022-01-07 | .HEADmain | jacopograndi | ||
2022-01-07 | rm | jacopograndi | ||
2022-01-04 | Update README.md | jacopograndi | ||
2022-01-04 | Update README.md | jacopograndi | ||
2022-01-04 | Create README.md | jacopograndi | ||
2022-01-04 | linux build config and imgs | jacopograndi | ||
2022-01-04 | rm wrong imgs | jacopograndi | ||
2022-01-04 | linux compile and imgs | jacopograndi | ||
2021-09-06 | started ai | jacopograndi | ||
2021-09-05 | invariant added as 'inv' | jacopograndi | ||
[...] |