Diffusion FreeBSD ports repository rP524469

Update to 0.6.2 release and enable all SMT solvers by default.
rP524469
Actions

Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Mute Notifications
Flag For Later
Award Token

Description

Update to 0.6.2 release and enable all SMT solvers by default.

Details

Provenance

ale	Authored on

Parents

rP524468: Upgrade to 0.35.

Branches

Unknown

Tags

Unknown

Event Timeline

ale committed rP524469: Update to 0.6.2 release and enable all SMT solvers by default..Jan 28 2020, 10:37 AM

Changes (5)

Path

Size

head/

lang/

solidity/

Makefile

distinfo

files/

patch-libdevcore_JSON.cpp

patch-libevmasm_Instruction.h

patch-libsolutil_JSON.cpp

rP524469

View Options

head/lang/solidity/Makefile

View Options

head/lang/solidity/distinfo

View Options

head/lang/solidity/files/patch-libdevcore_JSON.cpp

View Options

head/lang/solidity/files/patch-libevmasm_Instruction.h

View Options

head/lang/solidity/files/patch-libsolutil_JSON.cpp

Update to 0.6.2 release and enable all SMT solvers by default.rP524469Actions

Description

Details

Event Timeline

Changes (5)

rP524469

head/lang/solidity/Makefile

head/lang/solidity/distinfo

head/lang/solidity/files/patch-libdevcore_JSON.cpp

head/lang/solidity/files/patch-libevmasm_Instruction.h

head/lang/solidity/files/patch-libsolutil_JSON.cpp

Update to 0.6.2 release and enable all SMT solvers by default.
rP524469
Actions