issues
search
marcellussiegburg
/
call-alloy
MIT License
3
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix ci
#16
marcellussiegburg
closed
5 months ago
0
Fix ci
#15
marcellussiegburg
closed
8 months ago
0
call-alloy-0.4.1 testsuite failing for Stackage LTS
#14
juhp
closed
8 months ago
3
Fix ci
#13
marcellussiegburg
closed
8 months ago
0
Do not embed the Alloy library
#12
marcellussiegburg
closed
1 year ago
0
Issue with "------State 0-------" line in getRawInstances output
#11
AthenaSchulz
closed
2 years ago
2
fix typos in README
#10
jvoigtlaender
closed
2 years ago
0
lts-19/ghc-9: src/Language/Alloy/Call.hs:36:42: error: Module ‘Control.Lens.Internal.ByteString’ does not export ‘unpackStrict8’
#9
jwaldmann
closed
1 year ago
1
make error message more readable
#8
jvoigtlaender
closed
2 years ago
0
Fix killing processes after timeout
#7
marcellussiegburg
closed
1 year ago
0
Raw output of Alloy Instances
#6
marcellussiegburg
closed
3 years ago
0
Document what things "look like"
#5
jvoigtlaender
closed
1 year ago
1
What is the point of having 'relToMap' as part of the external API?
#4
jvoigtlaender
closed
2 years ago
1
language corrections in documentation
#3
jvoigtlaender
closed
4 years ago
0
Make overflow behaviour changeable & document default
#2
marcellussiegburg
closed
4 years ago
3
Fix tests & make ready to publish
#1
marcellussiegburg
closed
4 years ago
0