HomeIsabelle/Phabricator

Merge branch 'master' of github.com:dcjm/polyml

Authored by dcjm on Wed, Jul 29, 6:24 PM.

Description

Merge branch 'master' of github.com:dcjm/polyml

Merged Changes

CommitAuthorDetailsCommitted
7e214665fa88dcjm
Remove push and pop of rcx/ecx in CALL_EXTRA macro. This seems to be a relic… 
Jul 24
b9e4e5128d56dcjm
Merge commit '196ac3bc7d11b43f488fb945077aac162144bd31' 
Jul 24
196ac3bc7d11dcjm
Move the test for the result of PolyCompareArbitrary up to the top-level of… 
Jul 7
f186be011f67dcjm
Add PointerEq as a binary operation and reserve WordComparison for the tagged… 
Jul 6