issues
search
CCR-project
/
CCR
MIT License
5
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix extraction
#192
SamuelArsac
closed
1 year ago
0
Fix imp_red tactic
#191
SamuelArsac
closed
1 year ago
0
Fix steps tactic
#190
minkiminki
opened
1 year ago
0
fix Imp compilation
#189
dongjaelee1
closed
2 years ago
0
Intro Example + README updates
#188
minkiminki
closed
2 years ago
0
Intro Map example
#187
minkiminki
closed
2 years ago
0
Affine iProp and Peristent Modality
#186
minkiminki
closed
2 years ago
1
Experiment layering
#185
alxest
opened
2 years ago
0
Hoare Sim in Iris
#184
minkiminki
closed
2 years ago
0
build pure spc without Imp
#183
MerHS
closed
2 years ago
0
Fixed compilation error
#182
dongjaelee1
closed
2 years ago
0
Better bind rule?
#181
alxest
opened
2 years ago
0
improved imp_steps
#180
dongjaelee1
closed
2 years ago
0
Simulation without index
#179
minkiminki
closed
2 years ago
2
bump up CompCert to 3.9
#178
MerHS
closed
2 years ago
0
fixed imp compiler extraction for echo
#177
alxest
closed
2 years ago
0
Mw example && more
#176
alxest
closed
2 years ago
0
Add initial_mr in MemOpen by adding "consume_list"
#175
alxest
closed
2 years ago
0
[WIP] Strengthen parg Tint
#174
alxest
opened
2 years ago
0
WIP
#173
alxest
closed
2 years ago
1
Make APC unbounded (i.e., remove Kappa)?
#172
alxest
closed
2 years ago
1
Make steps smarter: unwarpU/N, ccallU, etc
#171
alxest
opened
3 years ago
0
add bound checking in pargs
#170
alxest
opened
3 years ago
1
Intro examples
#169
alxest
closed
3 years ago
0
Tweaking Imp
#168
alxest
closed
3 years ago
0
[Ready to be merged] Double Index
#167
minkiminki
closed
3 years ago
0
fix cannon
#166
dongjaelee1
closed
3 years ago
0
fix compilation(gcc linking)
#165
dongjaelee1
closed
3 years ago
0
Submission
#164
minkiminki
closed
3 years ago
0
Refactor
#163
dongjaelee1
closed
3 years ago
0
WIP
#162
alxest
closed
3 years ago
0
Skld
#161
minkiminki
closed
3 years ago
0
Examples
#160
minkiminki
closed
3 years ago
0
APC notation
#159
minkiminki
closed
3 years ago
0
Safety
#158
minkiminki
closed
3 years ago
0
No more admit
#157
minkiminki
closed
3 years ago
0
added improves lemma
#156
dongjaelee1
closed
3 years ago
0
restructured
#155
dongjaelee1
closed
3 years ago
0
Refactor
#154
dongjaelee1
closed
3 years ago
0
Add refines2
#153
alxest
closed
3 years ago
0
Admmmmit
#152
minkiminki
closed
3 years ago
0
Impknot
#151
dongjaelee1
closed
3 years ago
0
Mori1116 prelude
#150
alxest
closed
3 years ago
0
Prelude
#149
dongjaelee1
closed
3 years ago
0
Impexs
#148
dongjaelee1
closed
3 years ago
0
Admmmmit
#147
minkiminki
closed
3 years ago
0
No hCallE, kCallE & Remove APC in the source
#146
minkiminki
closed
3 years ago
0
Mori1116 imp2csm
#145
alxest
closed
3 years ago
0
Imp2csm
#144
dongjaelee1
closed
3 years ago
1
ordinal 위치 옮기기
#143
alxest
closed
2 years ago
0
Next