gjurgensen
Follow
Pinned Loading
421 contributions in the last year
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Contributed to
acl2/acl2,
gjurgensen/gjurgensen.github.io,
gjurgensen/dotfiles
and 3 other
repositories
Loading
Contribution activity
April 2025
Created 30 commits in 2 repositories
Created a pull request in acl2/acl2 that received 12 comments
[C$] Add typedef definitions to validation
This adds definitions to the typedef entries in the validation table. Redefined typedefs are checked for the conditions outlined in the standard, i…
+200
−37
lines changed
•
12
comments
Opened 3 other pull requests in 1 repository
acl2/acl2
3
merged
-
[C$] Add optional tag to struct types
This contribution was made on Apr 15
-
[XDOC] Don't suppress error messages in
defsectionThis contribution was made on Apr 5 -
[FTY] Make
defsetanddefomapmore robustThis contribution was made on Apr 5
Reviewed 4 pull requests in 1 repository
acl2/acl2
4 pull requests
-
[C$] Add optional tag to struct types
This contribution was made on Apr 16
-
[FTY] Make a generated proof more robust.
This contribution was made on Apr 9
-
[C$] Add
typedefdefinitions to validationThis contribution was made on Apr 5 -
[FTY] Make some generated proofs more robust.
This contribution was made on Apr 5
4
contributions
in private repositories
Apr 3