juodaspaulius clafer issues

juodaspaulius / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Hierarchy constraints issue

#21 wasowski opened 8 years ago
1
Power window model results

#20 juodaspaulius opened 8 years ago
8
Most appropriate way to translate references

#19 juodaspaulius opened 8 years ago
4
testcase: (tmp_TrafficLight,cfr)

#18 RaoMukkamala opened 9 years ago
0
eventually pattern (tmp_eventually04.cfr)

#17 RaoMukkamala opened 9 years ago
1
eventually pattern (tmp_eventually02.cfr)

#16 RaoMukkamala opened 9 years ago
0
eventually pattern (tmp_eventually01.cfr)

#15 RaoMukkamala opened 9 years ago
2
TLS Handshake Protocol (tmp_TLSHandshakeProtocol_distributed.cfr)

#14 RaoMukkamala opened 9 years ago
0
Power Window Total (tmp_powerwindow_total.cfr)

#13 RaoMukkamala opened 9 years ago
1
combined constraints (tmp_combinedEGX02.cfr)

#12 RaoMukkamala opened 9 years ago
0
combined constraints (tmp_combinedEGX01.cfr)

#11 RaoMukkamala opened 9 years ago
0
transitions (testcase: tmp_clafertransitions02.cfr)

#10 RaoMukkamala closed 9 years ago
1
transitions (testcase: tmp_clafertransitions01.cfr)

#9 RaoMukkamala closed 9 years ago
2
Between pattern (Test case: tmp_betweenand01.cfr)

#8 RaoMukkamala opened 9 years ago
3
before pattern (testcase: tmp_before01.cfr)

#7 RaoMukkamala opened 9 years ago
0
'once' keyword not supported (tmp_before01.cfr)

#6 RaoMukkamala opened 9 years ago
2
After until pattern (test case: tmp_afteruntil01.cfr)

#5 RaoMukkamala opened 9 years ago
2
Node without parent

#4 RaoMukkamala closed 9 years ago
1
Constraint language not fully supported in assertions

#3 RaoMukkamala opened 9 years ago
3
testcase: tmp_after01.cfr

#2 RaoMukkamala opened 9 years ago
0
Testcase:positive/tmp_DefaultGlobal.cfr

#1 RaoMukkamala opened 9 years ago
2