issues
search
pmatos
/
rattle
Experimental Scheme-like implementation
Apache License 2.0
1
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Include GCC Static Analysis in CI
#34
pmatos
closed
4 years ago
0
Coverity shows wrong version
#33
pmatos
opened
4 years ago
0
Simple tests using make and git-diff
#32
pmatos
opened
4 years ago
0
Logging library support
#31
pmatos
opened
4 years ago
0
Consider coz-profiling integration
#30
pmatos
opened
4 years ago
0
Test map2check
#29
pmatos
opened
4 years ago
0
Add multi-architecture support
#28
pmatos
opened
4 years ago
0
Scan build workflow
#27
pmatos
closed
4 years ago
0
Implementation of let* support
#26
pmatos
closed
4 years ago
0
Split rattle into multiple file structure
#25
pmatos
closed
4 years ago
0
Rattle helper images
#24
pmatos
closed
4 years ago
1
Fix crashes found by AFL
#23
pmatos
closed
4 years ago
1
Implement support for unnamed let construct
#22
pmatos
closed
4 years ago
1
Add coverity file
#21
pmatos
closed
4 years ago
1
Implementation of stack and binary primitives
#20
pmatos
closed
4 years ago
1
Add support for if
#19
pmatos
closed
4 years ago
1
Initial implementation of primitive operations
#18
pmatos
closed
4 years ago
1
Add infer CI to PRs
#17
pmatos
closed
4 years ago
1
Add infer CI to master branch
#16
pmatos
closed
4 years ago
1
Check property testing in c
#15
pmatos
opened
4 years ago
0
Support fuzzing with afl
#14
pmatos
opened
4 years ago
3
Use Facebook infer for static analysis
#13
pmatos
closed
4 years ago
1
MacOS CI
#12
pmatos
closed
4 years ago
1
Use dlopen instead of compiling all the way to binary
#11
pmatos
closed
4 years ago
1
Replace CMake system with Makefile
#10
pmatos
closed
4 years ago
0
Handle 9 new special characters like #\alarm
#9
pmatos
closed
4 years ago
0
Get codecov working by fixing gcov paths
#8
pmatos
closed
4 years ago
1
Fix precedence not to load incorrect pointer value
#7
pmatos
closed
4 years ago
0
Run tests under valgrind
#6
pmatos
closed
4 years ago
0
Add build and test in musl using alpine
#5
pmatos
closed
4 years ago
0
Add integration tests and gcov support with codecov.io
#4
pmatos
closed
4 years ago
0
Add fossa ci workflow
#3
pmatos
closed
4 years ago
1
Create initial CI file
#2
pmatos
closed
4 years ago
0
Add license scan report and status
#1
fossabot
closed
4 years ago
1