| Category | Topics |
|---|---|
Epoch InfinityThis category is for communicating on Epoch Infinity’s administrative issues - meeting times, reviews, certifications, badger CARE-X, etc.
|
5
|
SuggestionsThis category is for discussing anything you’d like Certora to do differently.
|
1
|
|
11
|
|
CVL SupportThis category is for support in spec language (CVL) - questions about syntax, features and real-life problems.
|
32
|
General DiscussionThis category is for things you aren’t sure how to categorize or for general chit-chat related to Certora topics.
|
7
|
WelcomeThis is a place for welcome notes and guidelines on how to use this community forum.
|
2
|
Site FeedbackDiscussion about this site, its organization, how it works, and how we can improve it. |
0
|
AnnouncementsIn this category there will be announcements of webinars, conventions, up coming releases, etc.
|
0
|