Skip to content

Activity

Showing most recent first

[Civl] Remove ISR code (#1007)

Pull request merge
shazqadeerpushed 1 commit to master • 475cc43…2af8e63 • 
yesterday

set time limit to be unbounded to reduce flakiness

shazqadeerpushed 1 commit to remove-isr • ae24945…5cbb6e1 • 
yesterday

removed ISR code

shazqadeercreated remove-isr • ae24945 • 
yesterday

Fix issue #1005 (#1006)

Pull request merge
shazqadeerpushed 1 commit to master • 63942e4…475cc43 • 
2 days ago

fix issue 1005

shazqadeercreated issue-1005 • 2221145 • 
2 days ago

Move modifies inference immediately after resolution (#1004)

Pull request merge
shazqadeerpushed 1 commit to master • 6c21aff…63942e4 • 
5 days ago

fix for issue 1001

shazqadeercreated issue-1001 • 6203d83 • 
5 days ago

Update version number (#999)

Pull request merge
keyboardDrummerpushed 1 commit to master • dcfad54…6c21aff • 
17 days ago

Cce rename (#998)

Pull request merge
keyboardDrummerpushed 1 commit to master • c1b83b6…dcfad54 • 
22 days ago

Fix split printing (#996)

Pull request merge
keyboardDrummerpushed 1 commit to master • 7f9f784…c1b83b6 • 
on Jan 23

Fixed type resolution crash (#992)

Pull request merge
shazqadeerpushed 1 commit to master • 3a23efe…7f9f784 • 
on Dec 2, 2024

third commit

shazqadeerpushed 1 commit to blah-blah • 4fa978c…60e7ad8 • 
on Dec 2, 2024

second commit

shazqadeerpushed 1 commit to blah-blah • f01a4b9…4fa978c • 
on Dec 2, 2024

first commit

shazqadeercreated blah-blah • f01a4b9 • 
on Dec 2, 2024

[Civl] rename procedures in cache coherence and add more comments (#991)

Pull request merge
shazqadeerpushed 1 commit to master • 517cdac…3a23efe • 
on Nov 28, 2024

first commit

shazqadeercreated var-rename • d3d60a4 • 
on Nov 28, 2024

Export hidden functions (#989)

Pull request merge
keyboardDrummerpushed 1 commit to master • e2b326d…517cdac • 
on Nov 26, 2024

[Civl] Cache coherence improvements (#990)

Pull request merge
shazqadeerpushed 1 commit to master • 7a74d2a…e2b326d • 
on Nov 24, 2024

more comments

shazqadeerpushed 1 commit to coherence-cleanup • 6842296…c24c996 • 
on Nov 24, 2024

comments

shazqadeerpushed 1 commit to coherence-cleanup • cf5923e…6842296 • 
on Nov 23, 2024

fourth commit

shazqadeerpushed 1 commit to coherence-cleanup • f5fffc0…cf5923e • 
on Nov 23, 2024

third commit

shazqadeercreated coherence-cleanup • f5fffc0 • 
on Nov 23, 2024

[Civl] Cache coherence protocol (#988)

Pull request merge
shazqadeerpushed 1 commit to master • 0089082…7a74d2a • 
on Nov 22, 2024

rearrange things

shazqadeerpushed 1 commit to coherence-proof • 7c5ff7c…f72d12c • 
on Nov 22, 2024

added top level API

shazqadeerpushed 5 commits to coherence-proof • b949025…7c5ff7c • 
on Nov 22, 2024

first commit

shazqadeerpushed 1 commit to coherence-proof • 0089082…b949025 • 
on Nov 22, 2024

[Civl] Turn modset analysis on (#987)

shazqadeercreated coherence-proof • 0089082 • 
on Nov 22, 2024

[Civl] Turn modset analysis on (#987)

Pull request merge
shazqadeerpushed 1 commit to master • e7695f0…0089082 • 
on Nov 21, 2024

allow names for actions in refines clause

shazqadeercreated modset-analysis-on • 3b68356 • 
on Nov 21, 2024

Convert TypecheckingContext.CheckModifies to a property (#986)

Pull request merge
shazqadeerpushed 1 commit to master • 6b8fbed…e7695f0 • 
on Nov 17, 2024