HomeIsabelle/Phabricator

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

Authored by dcjm on Wed, Jun 24, 7:15 PM.

Description

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

Merged Changes

CommitAuthorDetailsCommitted
0ad5aa87ea7bdcjm
Fix the transformation that chains SetContainers. This was changed as a result… 
Jun 19
c355b21bdbf7dcjm
When loading a container address use native-word rather than poly-word. 
Jun 19
a908a017547fdcjm
When loading from the stack always load a native word, i.e. 64-bits in 32-in-64. 
Jun 19