Movatterモバイル変換

Skip to content

NotificationsYou must be signed in to change notification settings
Fork205
Star3.5k

Commits

Branch selector

User selector

Datepicker

Commit History

Commits on Sep 30, 2025

Fix list tests lists duplicated tests (#912)
ChristineZh0u
and
Christine Zhou
authored

Commits on Sep 18, 2025

Fix PVerifier pages not showing up on P wiki (#911)
ChristineZh0u
and
Christine Zhou
authored

Commits on Aug 18, 2025

Fix tutorial tests and change pex.yml to use and test pex maven library (#907)
ChristineZh0u
and
Christine Zhou
authored

Commits on Aug 15, 2025

Commits on Aug 13, 2025

Major/p3.0 (#903)
authored

Commits on Aug 8, 2025

Add Pre Announcement for P 3.0 Release of P Verifier (#896)
FedericoAureliano
authored

Commits on Aug 6, 2025

Update java generator code to generate updated imports from maven (#894)
mchadalavada
authored

Commits on Jul 22, 2025

Prevent liveness issues due to timers (#881)
b-hilprecht
authored

Commits on May 15, 2025

Add Java equality and hash functions to machines in pobser… (#861)
lewisbru
authored

Commits on Apr 24, 2025

Commits on Apr 23, 2025

Change p compiler to return a syntax error for lexical errors (#846)
lewisbru
authored

Commits on Apr 21, 2025

Add toString() to generated Java code for spec machines in pobserve mode (#844)
lewisbru
authored

Commits on Mar 27, 2025

Use foreground color in p cli text for theme compatibility (#836)
mchadalavada
authored

Commits on Mar 17, 2025

Commits on Mar 13, 2025

Added better error messages for assertion and ran auto code cleanup. (#831)
ankushdesai
authored

Commits on Mar 12, 2025

Remove feedback strategy stats dump in console (#832)
ChristineZh0u
authored

Commits on Mar 11, 2025

Commits on Feb 24, 2025

Commits on Feb 18, 2025

Commits on Jan 28, 2025

Added test for generated PChecker logs (#815)
ChristineZh0u
and
Christine Zhou
authored

Commits on Jan 16, 2025

Fixed json log generation bug (#812)
ChristineZh0u
and
Christine Zhou
authored

Commits on Jan 8, 2025

Fix odd indenting of "else" in generated Java code (#810)
lewisbru
and
ankushdesai
authored
Java code generation fixes (#809)
ChristineZh0u
and
Christine Zhou
authored

Commits on Dec 10, 2024

Fix divide by zero exception. (#808)
aoli-al
authored

Commits on Nov 20, 2024

Commits on Oct 18, 2024

Add feedback-guided scheduling algorithms (#791)
authored

Pagination

[8]ページ先頭

©2009-2025 Movatter.jp