AdaCore/RecordFlux

Issues

• `make prove` fails with `gnatprove: unrecognized option '--checks-as-errors=on'`

  #1303 opened a month ago by mgrojo
  2

• Processing/iterating a sequence in a session

  #1302 opened a month ago by NickFoubert
  3

• "ERROR Manifest missing field: version" while building vscode extension

  #1300 opened a month ago by mgrojo
  2

• VS Code extension: identifiers with numbers are wrongly highlighted

  #1301 opened a month ago by mgrojo
  1

• Missing `alr build` step either in instructions or in Makefile

  #1296 opened a month ago by mgrojo
  5

• issue installing 0.23.0: error: [Errno 2] No such file or directory: 'cargo'

  #1299 opened 2 months ago by dalybrown
  4

• `KeyError: 'data'` converting IANA Constrained RESTful Environments (CoRE) Parameters

  #1297 opened 4 months ago by mgrojo
  4

• Command line switch `rflx --no-verification --unsafe generate` doesn't seem to work

  #1295 opened 9 months ago by dalybrown
  3

• Very long build times for anything besides a trivial specification

  #1293 opened 10 months ago by dalybrown
  21

• Bug when comparing opaque values

  #1294 opened 10 months ago by NickFoubert
  2

• Documentation for released versions

  #1257 opened 10 months ago by treiher
  1

• Update langkit

  #1242 opened 10 months ago by senier
  1

• Allow setting the GNATCOLL_ICONV_OPT environment variable in Makefile

  #1292 opened a year ago by dalybrown
  9

• Bug when including a condition on a field that is a message type

  #1291 opened a year ago by NickFoubert
  4

• Allow setting the GNATCOLL_ICONV_OPT environment variable when installing RecordFlux

  #1289 opened a year ago by dalybrown
  1

• Mathematical expression for first and last of integer types does not support parentheses to ensure the order of operations

  #1290 opened a year ago by dalybrown
  2

• Intermediate representation for sessions

  #1204 opened a year ago by treiher
  1

• Invalid "always true" error for enum with `Always_Valid` aspect

  #1276 opened a year ago by treiher
  1

• AssertionError caused by comparison of integer field and aggregate

  #1251 opened a year ago by treiher
  1

• Style error leads to parser and model errors

  #1268 opened a year ago by treiher
  1

• Add missing quotes to error message about invalid aspects

  #1267 opened a year ago by treiher
  1

• Allow updating of generated files

  #1275 opened a year ago by treiher
  1

• Scalar types represented by complex structure

  #1254 opened 2 years ago by treiher
  0

• Problems trying to specify HDLC

  #1288 opened 2 years ago by ThyMYthOS
  1

• Refactoring of expressions

  #1287 opened 2 years ago by jklmnn
  4

• C code generator

  #1286 opened 2 years ago by jklmnn
  0

• Release 0.9.0

  #1281 opened 2 years ago by treiher
  1

• Measure coverage of test cases

  #1190 opened 2 years ago by senier
  2

• Shorter syntax for integer types covering entire value range

  #1250 opened 2 years ago by treiher
  0

• Use `why3server`

  #1263 opened 2 years ago by treiher
  3

• Release 0.8.0

  #1269 opened 2 years ago by treiher
  1

• Sequence type is not referenced anywhere in LR

  #1235 opened 2 years ago by senier
  0

• Ping example is not proven

  #1256 opened 2 years ago by treiher
  0

• Enable DHCP client tests without Docker

  #1259 opened 2 years ago by treiher
  0

• Change RecordFluxError.propagate to only raise exceptions on errors

  #1255 opened 2 years ago by jklmnn
  0

• Remove `model.declaration.TypeDeclaration`

  #1186 opened 2 years ago by treiher
  0

• Release 0.7.1

  #1243 opened 2 years ago by treiher
  1

• Add possibility to only check syntax of Ada code blocks

  #1240 opened 2 years ago by treiher
  0

• Allow Ada code blocks with main procedures with arbitrary name

  #1241 opened 2 years ago by treiher
  1

• Include expression type into expression comparison

  #1236 opened 2 years ago by jklmnn
  0

• Bug box caused by non-boolean expression as field condition

  #1195 opened 2 years ago by treiher
  0

• Undefined `True`/`False`

  #1200 opened 2 years ago by treiher
  0

• Language reference does not link `first`/`last` of `range_type`

  #1203 opened 2 years ago by senier
  0

• Statically determine field locations in message model

  #1228 opened 2 years ago by treiher
  0

• Use statically determined field locations in SPARK code

  #1229 opened 2 years ago by treiher
  0

• Drop submodules

  #1188 opened 2 years ago by senier
  1

• Release 0.7.0

  #1210 opened 2 years ago by treiher
  1

• Move check for illegal redefinition of built-in types into model

  #1208 opened 2 years ago by treiher
  0

• Refactor unit tests for `cli` module

  #1207 opened 2 years ago by treiher
  0

• Invalid use of literals in expressions

  #1194 opened 2 years ago by treiher
  0