Skip to content

Pull requests: rems-project/cerberus

New pull request New
Clear current search query, filters, and sorts
11 Open 366 Closed
11 Open 366 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Tidy up CN symbol printing functions
#941 by dc-mak was merged Mar 24, 2025
Tidying exec-spec switch for Ail pprint functions
#940 by kmemarian was merged Mar 21, 2025
1
Remove unused type from annot.lem
#939 by dc-mak was merged Mar 24, 2025
Use menhir 3.0 in dune-project (fix #927)
#937 by dc-mak was merged Mar 21, 2025
3
CN: Support else-if syntax (fix #811)
#936 by dc-mak was merged Mar 13, 2025
CN: Use member_shift<ctype> syntax (fix #728)
#935 by dc-mak was merged Mar 13, 2025
1
[CI] removing cn's CI
#933 by kmemarian was merged Mar 11, 2025
Remove unused annotation (fix #919)
#932 by dc-mak was merged Mar 11, 2025
CN: Refactor compile.ml
#931 by dc-mak was closed Mar 11, 2025 • Draft
1
Fix #926: Update Makefile
#929 by dc-mak was merged Mar 10, 2025
[CN-Test-Gen] Update defaults for errors CN spec testing cn
#924 by ZippeyKeys12 was merged Mar 9, 2025
@ZippeyKeys12
Tidy the parser definition of magic_comment_list
#920 by dc-mak was merged Mar 8, 2025
(vip) moving vip to the cerberus-lib package
#918 by kmemarian was merged Mar 7, 2025
@kmemarian
Preparing For cn's migration
#917 by kmemarian was merged Mar 7, 2025
@kmemarian
[CN-Test-Gen] Fix trace-granularity options bug Something isn't working CN spec testing cn
#916 by ZippeyKeys12 was merged Mar 6, 2025
@ZippeyKeys12
CN: Use mem_vip backend (fix #850)
#915 by dc-mak was merged Mar 7, 2025
4
[CN-Test-Gen] Bug replication code CN spec testing cn enhancement New feature or request
#910 by ZippeyKeys12 was merged Mar 5, 2025
@ZippeyKeys12
[CN-Test-Gen] Fix issue with printing errors bug Something isn't working CN spec testing cn
#908 by ZippeyKeys12 was merged Mar 5, 2025
@ZippeyKeys12
CN: Fix #860, escape ampersand in pp string HTML
#907 by dc-mak was merged Mar 5, 2025
CN VIP: add unsupported C type conv err msg cn ui/ux Issue with presentation or user experience
#905 by dc-mak was merged Mar 5, 2025
1
CN: Deprecate use of Generic error constructor cn technical debt Something for internal cleanup
#904 by dc-mak was merged Mar 5, 2025
CN: Do translation validation of resource inference steps in Rocq [work in progress] cn enhancement New feature or request lemmas/prover resource reasoning Related to reasources in specs
#898 by vzaliva was merged Mar 7, 2025
7
Makefile: replace which with command -v (#895)
#896 by quinn-dougherty was merged Mar 3, 2025
1
@kmemarian
2
CN: Support accesses in specifications (fix #371)
#892 by dc-mak was merged Mar 4, 2025
2
CN: Tidy up function specification parsing
#889 by dc-mak was merged Feb 27, 2025
ProTip! Follow long discussions with comments:>50.