issues
search
aticu
/
pre
A rust crate to offer compile-time assistance for working with unsafe code.
Apache License 2.0
121
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Use the new `const_adt_params` feature for nightly
#40
aticu
closed
3 years ago
0
`pre` no longer compiles as of `nightly-2021-09-01`
#39
Aaron-Hartwig
closed
3 years ago
4
Minor improvements to prepare for turning in the thesis
#38
aticu
closed
4 years ago
0
Apply `assure` and `forward` directly to expressions
#37
ErichDonGubler
opened
4 years ago
3
Prepare for release of version 0.2.0
#36
aticu
closed
4 years ago
0
Add `pointer` primitive preconditions
#35
aticu
closed
4 years ago
0
Limited support for `cfg_attr` inner attributes
#34
aticu
closed
4 years ago
0
Improve the preconditions in `core::slice`
#33
aticu
closed
4 years ago
0
Add proper alignment precondition
#32
aticu
closed
4 years ago
0
Update to 1.45.0 error message
#31
aticu
closed
4 years ago
0
Update stable error msg
#30
aticu
closed
4 years ago
0
Add `core::slice` module preconditions
#29
aticu
closed
4 years ago
0
ci(docs): add workflow for auto. doc generation
#28
mainrs
opened
4 years ago
2
chore(readme): fix type
#27
mainrs
closed
4 years ago
1
Remove keywords down to the allowed maximum of 5
#26
aticu
closed
4 years ago
0
Remove the line from the README.md again
#25
aticu
closed
4 years ago
0
Prepare for release of version 0.1
#24
aticu
closed
4 years ago
0
Fix spans for missing preconditions for unsafe
#23
aticu
closed
4 years ago
0
Initial support for preconditions of `std` and `core` libraries
#22
aticu
closed
4 years ago
0
Don't use default features in test workflows
#21
aticu
closed
4 years ago
0
Use attribute span for the struct name for assure
#20
aticu
closed
4 years ago
0
Add metadata to Cargo.toml and update license
#19
aticu
closed
4 years ago
0
Change order of `pre` syntax paragraphs
#18
aticu
closed
4 years ago
0
Improve documentation
#17
aticu
closed
4 years ago
0
Add a lot more tests
#16
aticu
closed
4 years ago
0
Add boolean preconditions and various improvements
#15
aticu
closed
4 years ago
0
Add/update a lot of public documentation
#14
aticu
closed
4 years ago
0
Improve and rename `pre_defs_for`
#13
aticu
closed
4 years ago
0
Generate documentation for items with `pre` attributes
#12
aticu
closed
4 years ago
0
Allow usage in more contexts
#11
aticu
closed
4 years ago
0
Rename `assert_pre` to `assure`
#10
aticu
closed
4 years ago
0
Basic support for `impl` blocks in `pre_defs_for`
#9
aticu
closed
4 years ago
0
Polishing work
#8
aticu
closed
4 years ago
0
Fix handling of the original `pre` attribute
#7
aticu
closed
4 years ago
0
Refactor the whole library
#6
aticu
closed
4 years ago
0
Fix unused import warning
#5
aticu
closed
4 years ago
0
Fix date in license
#4
aticu
closed
4 years ago
0
Add MIT license
#3
aticu
closed
4 years ago
0
Methods
#2
aticu
closed
4 years ago
0
Fix example in README
#1
aticu
closed
4 years ago
0