search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
696 stars 124 forks source link

order signatures at table view #131

Closed pfeodrippe closed 3 years ago

pfeodrippe commented 3 years ago

The order of the atoms at the table view for more than 10 atoms (for the same signature) was confusing because it was only being sorted by the string itself without taking in consideration the index after $.

I'am using the following code as an example

module Eita
open util/ordering[Time]

sig Time {
    state: one State
}

sig State {}

run {} for 20

Before the table was like Screenshot from 2020-09-26 15-32-32

Now it's like Screenshot from 2020-09-26 15-23-01

If you don't need it to be solved or think this is not a problem, fell free to close.

Thank you for this awesome project =D

pkriens commented 3 years ago

Could you remove the unchanged files from the commit?

For the rest, it looks good. I've another rather big change prepared where the atoms become a special class instead of a string. I'd postponed this change until we get the merge with Electrum.

pfeodrippe commented 3 years ago

Could you remove the unchanged files from the commit?

Yes yes, I've removed now, sorry, the build created these and I've thought that it was supposed to be commited, thank you!

For the rest, it looks good. I've another rather big change prepared where the atoms become a special class instead of a string. I'd postponed this change until we get the merge with Electrum.

Great!