logiccomp lsl issues - Githubissues

logiccomp / lsl

4 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

start-gui window displaying outside the screen in 1080p resolution screens

#28 OppositeNor opened 6 months ago
0
Document `define-struct`

#27 lukejianu closed 7 months ago
1
ticks should increment all parent parameters

#26 camoy opened 8 months ago
0
Improve error messages for existentials

#25 dbp closed 8 months ago
1
generated values should satisfy contract

#24 camoy opened 9 months ago
0
top-interactions should reset vc

#23 camoy closed 8 months ago
0
Rename "Flat" to "Immediate"

#22 dbp closed 9 months ago
1
Allow structs to be mutable

#21 dbp closed 9 months ago
3
Contract violations on trace contracts a little confusing

#20 dbp closed 9 months ago
1
Improve error messages for primitive functions from Rosette

#19 dbp opened 9 months ago
1
Be able to change how many tests `check-contract` runs

#18 dbp closed 9 months ago
2
Have `check-contract` errors show inputs when outputs fail contract?

#17 dbp closed 9 months ago
1
Fall-through predicate case for define-contract doesn't work for contracts with parameters

#16 dbp closed 9 months ago
2
Allow `check-contract` to work at interactions

#15 dbp closed 9 months ago
0
Have LSL have a regular release cadence (weekly, biweekly) and print a warning when running "out of date" version

#14 dbp closed 9 months ago
4
Make generator for -> be pure?

#13 dbp closed 9 months ago
1
check-contract on functions that may error?

#12 dbp closed 9 months ago
7
Check-contract on trees?

#11 dbp closed 9 months ago
0
check-satisfied error when arguments swapped links to location within rackunit

#10 dbp closed 10 months ago
1
Parametric signatures?

#9 dbp closed 8 months ago
4
Special list contract don't seem to be generating correctly

#8 dbp closed 10 months ago
0
Recursive contract expanding infinitely?

#7 dbp closed 10 months ago
3
OneOf not working with Constant

#6 dbp closed 10 months ago
0
"size" argument for generators, shrinking?

#5 dbp closed 9 months ago
2
No more blame highlighting

#4 dbp closed 10 months ago
4
Figure out how to express "timing" for constant time assignment(s)

#3 dbp closed 9 months ago
2
verify-contract not showing counter-examples

#2 dbp closed 9 months ago
0
Error messages (or something) going on with `verify-contract`

#1 dbp closed 10 months ago
1