Andres Toom
a61b4d9100
Update keyword highlighting
...
Ref. eng/recordflux/RecordFlux#1815
2024-11-27 11:39:45 +00:00
Andres Toom
ee8bcb9759
Document the RecordFlux definition and updates in the development guide
...
Ref. eng/recordflux/RecordFlux#1815
2024-11-27 11:39:45 +00:00
Andres Toom
ccf0857ecb
Explain default annotations in the user guide
...
Ref. None
2024-11-05 20:33:14 +00:00
Tobias Reiher
d7efdefed8
Fix creation of VS Code extension
...
Ref. AdaCore/RecordFlux#1300 , eng/recordflux/RecordFlux#1777
2024-09-03 13:54:51 +02:00
Corentin Machu
db4d5ad0ab
Update error message guideline
...
Ref. eng/recordflux/RecordFlux#1771
2024-08-29 14:52:57 +00:00
Corentin Machu
ac0a783fde
Correct typo in development guide
...
Ref. None
2024-08-29 14:52:57 +00:00
Tobias Reiher
32972a9cd8
Update development guide
...
Ref. None
2024-07-11 14:27:12 +02:00
Corentin Machu
ce749ed450
Add Rust testing documentation
...
Ref. eng/recordflux/RecordFlux#1653
2024-07-03 12:45:42 +03:00
Tobias Reiher
959d3bbc88
Unify installation procedure
...
Ref. eng/recordflux/RecordFlux#1677
2024-07-03 12:45:41 +03:00
Andres Toom
9dcfaa7b21
Clarify virtual environment handling in the development_guide
...
Ref. None
2024-07-03 12:45:41 +03:00
Johannes Kanig
a7cf434c8a
Some more documentation for testing
...
- Documentation of a proposed development loop
- Section about when and where to add tests
- How to debug property testing
- Explanation of common Makefile targets
Ref. eng/recordflux/RecordFlux#1543
2024-07-03 12:45:41 +03:00
Tobias Reiher
f9ce684182
Adapt FSF GNAT installation to Alire 2.0.1
...
Ref. AdaCore/RecordFlux#1296 , eng/recordflux/RecordFlux#1639
2024-07-03 12:45:41 +03:00
Tobias Reiher
e5851da34c
Prevent unnecessary changes to Poetry lock file
...
Ref. None
2024-07-03 12:45:41 +03:00
Alexander Senier
d31d15c5cf
Apply reviewer's suggestions
...
Ref. None
2024-07-03 12:45:41 +03:00
Corentin Machu
f30039adb6
Add Rust setup instructions in development guide
...
Ref. None
2024-07-03 12:45:41 +03:00
Tobias Reiher
698baee542
Fix formatting in development guide
...
Ref. None
2024-07-03 12:45:41 +03:00
Tobias Reiher
49c257f1f5
Remove Tarpaulin remnants
...
Ref. None
2024-07-03 12:45:41 +03:00
Corentin Machu
e3a5c628ce
Add error guideline in development guide
...
Ref. eng/recordflux/RecordFlux#1580
2024-07-03 12:45:40 +03:00
Tobias Reiher
899dd52e9f
Restructure Rust project
...
Ref. eng/recordflux/RecordFlux#1586
2024-07-03 12:45:40 +03:00
Tobias Reiher
da0853d76f
Add Rust-based Python module
...
Ref. eng/recordflux/RecordFlux#1552
2024-07-03 12:45:40 +03:00
Tobias Reiher
bf61e34c21
Ensure state of devutils is reflected in poetry.lock
...
Ref. eng/recordflux/RecordFlux!1490
2024-03-22 17:38:48 +01:00
Tobias Reiher
d85a19440e
Update devutils
...
Ref. None
2024-03-22 16:18:23 +01:00
Tobias Reiher
95d925388c
Improve documentation of Node.js installation
...
Ref. eng/recordflux/RecordFlux#1547
2024-03-06 09:53:47 +00:00
Tobias Reiher
db5c42d5bf
Simplify deactivation of development environment
...
Ref. None
2024-02-27 17:09:37 +01:00
Tobias Reiher
7a85cf09f4
Update development guide
...
Ref. None
2024-02-26 15:12:01 +01:00
