AlloyTools alloytools.github.io issues

AlloyTools / alloytools.github.io

Website for Alloytools

MIT License

13 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump rexml from 3.2.8 to 3.3.9

#63 dependabot[bot] opened 1 week ago
0
Bump rexml from 3.2.8 to 3.3.6

#62 dependabot[bot] closed 1 week ago
1
Bump rexml from 3.2.8 to 3.3.3

#61 dependabot[bot] closed 2 months ago
1
Bump rexml from 3.2.5 to 3.2.8

#60 dependabot[bot] closed 5 months ago
0
Bump nokogiri from 1.16.2 to 1.16.5

#59 dependabot[bot] closed 5 months ago
0
Bump nokogiri from 1.14.3 to 1.16.2

#58 dependabot[bot] closed 8 months ago
0
fix wording/grammar and expression display

#57 jvoigtlaender closed 9 months ago
0
fix typo in documentation

#56 jvoigtlaender closed 9 months ago
0
Bump nokogiri from 1.13.6 to 1.14.3

#55 dependabot[bot] closed 1 year ago
0
Bump activesupport from 6.0.4 to 6.0.6.1

#54 dependabot[bot] closed 1 year ago
0
Fix typos

#53 ligurio closed 1 year ago
2
Update models.md

#52 ligurio closed 1 year ago
0
Document new features in Alloy 6 as syntactic sugars

#51 leavens opened 1 year ago
0
Mistaken lexical grammar for 'greater than or equal to' token

#50 leavens closed 1 year ago
1
Bump nokogiri from 1.13.6 to 1.13.9

#49 dependabot[bot] closed 1 year ago
1
Bump tzinfo from 1.2.9 to 1.2.10

#48 dependabot[bot] closed 1 year ago
1
Bump nokogiri from 1.13.3 to 1.13.6

#47 dependabot[bot] closed 2 years ago
1
Bump nokogiri from 1.13.3 to 1.13.4

#46 dependabot[bot] closed 2 years ago
1
[Links] : Ensure links liveliness.

#45 ma7madsayed closed 2 years ago
0
Ensure liveliness of links on Alloy's public website

#44 ma7madsayed closed 2 years ago
1
Bump nokogiri from 1.12.5 to 1.13.3

#43 dependabot[bot] closed 2 years ago
0
Fix a link to source code of lexer

#42 ligurio closed 2 years ago
0
Fix release date of Alloy 6

#41 jiribenes closed 2 years ago
0
Update download.md

#40 grayswandyr closed 2 years ago
0
Improve message concerning the Alloy 6 release.

#39 grayswandyr closed 2 years ago
0
Fix and add more explanations to alloy6.md

#38 grayswandyr closed 2 years ago
0
Alloy6 image links broken

#37 hwayne closed 2 years ago
2
Bump nokogiri from 1.11.7 to 1.12.5

#36 dependabot[bot] closed 3 years ago
0
Bump nokogiri from 1.11.7 to 1.12.5

#35 dependabot[bot] closed 3 years ago
0
Bump addressable from 2.7.0 to 2.8.0

#34 dependabot[bot] closed 3 years ago
0
Bump nokogiri from 1.10.8 to 1.11.4

#33 dependabot[bot] closed 3 years ago
1
cup file link broken

#32 langston-barrett opened 4 years ago
1
"will be held [...] 2018" in community.md

#30 lemmy opened 4 years ago
1
Update Alloy Extensions to include Sterling

#29 atdyer closed 4 years ago
0
Add recent publications

#28 atdyer closed 1 year ago
1
update jar name and remove "4"

#27 jessitron closed 4 years ago
0
update name of jar

#26 jessitron closed 4 years ago
0
Fix download URLs in quickguide

#25 note closed 4 years ago
0
Fix link to Alloy main site

#24 jessitron closed 4 years ago
1
Bump rubyzip from 1.2.2 to 2.2.0

#23 dependabot[bot] closed 4 years ago
0
Bump nokogiri from 1.10.4 to 1.10.8

#22 dependabot[bot] closed 4 years ago
0
Needs more recent versions on the downloads page?

#21 zsfre closed 1 year ago
3
Fix single typo in maintext-FS-1

#20 rezarastak closed 5 years ago
0
Fix missing link for Electrum web page

#19 grayswandyr closed 5 years ago
0
Add Electrum section

#18 grayswandyr closed 5 years ago
0
Browsers give HTTPS certificate warning for https://alloytools.org/

#17 pfctdayelise opened 5 years ago
1
Update MIT Press link

#16 alexashley closed 5 years ago
0
Bump nokogiri from 1.10.1 to 1.10.4

#15 dependabot[bot] closed 5 years ago
0
Create foo.md

#14 pkriens closed 5 years ago
1
update documentation of sequences w.r.t. preconditions (solves issue #12)

#13 wysiib closed 5 years ago
1