Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Adapt code to saucisson/layeredata changes #2

Open
saucisson opened this issue Jan 28, 2016 · 0 comments
Open

Adapt code to saucisson/layeredata changes #2

saucisson opened this issue Jan 28, 2016 · 0 comments
Assignees
@saucisson
Labels
bug

Comments

@saucisson
Copy link
Contributor

Special keys have been replaced by tables (instead of strings) in saucisson/layeredata#29.
@saucisson saucisson self-assigned this Jan 28, 2016
@saucisson saucisson added the bug label Jan 28, 2016
saucisson pushed a commit that referenced this issue Jan 28, 2016
@alban-linard
Fix #2.
ae7c4ee
Seriane pushed a commit to Seriane/formalisms that referenced this issue Jun 8, 2016
@alban-linard
Fix handling of placeholder as key, while dumping.
82bd456 
Fix cosyverif#2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@saucisson saucisson

Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@saucisson