Skip to content
This repository has been archived by the owner on May 23, 2022. It is now read-only.

Issues: sorellabs/claire

14 Open 16 Closed
14 Open 16 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The documentation site 'Discover Claire' doesn't work
#33 opened Dec 31, 2014 by xarling
Custom serialization of failed tests' arguments
#32 opened Sep 5, 2014 by ashnur
Generator.next should be of type seed → A C-api Lv-Would be nice
#31 opened Mar 21, 2014 by robotlolita
Fix merge on index.ls C-bug Lv-Annoyance
#29 opened Jan 15, 2014 by robotlolita
Auto-lifting generators makes things too complex C-bug Lv-Annoyance
#28 opened Dec 25, 2013 by robotlolita
Move generator to a separate library Lv-Big deal
#24 opened May 14, 2013 by robotlolita
5
Rename? C-discussion
#16 opened Mar 26, 2013 by robotlolita
3
Make invariants return true by default? C-discussion Lv-Annoyance
#15 opened Mar 25, 2013 by robotlolita
2
Add test cases for Property and Check modules. Lv-Big deal
#13 opened Mar 10, 2013 by robotlolita 1.0.0
Add other kinds of quantifications? ∃x. p(x)? C-discussion
#8 opened Mar 7, 2013 by robotlolita
Narrated documentation / User Guide C-docs Lv-Big deal
#6 opened Feb 28, 2013 by robotlolita 1.0.0
Support random program generation for testing impure stuff C-feature Lv-Big deal
#3 opened Feb 28, 2013 by robotlolita 1.0.0
Support shrinking failed test cases C-feature Lv-Big deal
#2 opened Feb 28, 2013 by robotlolita 1.0.0
Consider supporting asynchronous properties (maybe with Promise) Lv-Would be nice
#1 opened Feb 27, 2013 by robotlolita
2
ProTip! no:milestone will show everything without a milestone.