Search results

Reduce the number of components for lexicographic ranking functions

infrastructure

Status: Open.

#18 In blexim/synth;

· cristina-david opened on Jun 16, 2014

Synthesise good abstract transformers

research

Status: Open.

#16 In blexim/synth;

· blexim opened on May 26, 2014

Characterise various safety proving procedures & compare to synthesis

research

Status: Open.

#15 In blexim/synth;

· blexim opened on May 26, 2014

·  

Safety paper

Write frontends for safety, reachability, termination etc.

infrastructure

Status: Open.

#14 In blexim/synth;

· blexim opened on May 26, 2014

Genetic seeding

enhancement

Status: Open.

#13 In blexim/synth;

· blexim opened on May 26, 2014

·  

Solving paper

Lattice synthesis

enhancement

Status: Open.

#12 In blexim/synth;

· blexim opened on May 26, 2014

·  

Solving paper

Breed diverse parents

enhancement

Status: Open.

#11 In blexim/synth;

· blexim opened on May 26, 2014

·  

Solving paper

Pluggable fitness functions

enhancement

Status: Open.

#10 In blexim/synth;

· blexim opened on May 26, 2014

·  

Solving paper

Floating point ranking functions

research

Status: Open.

#9 In blexim/synth;

· blexim opened on May 26, 2014

·  

Termination paper

Nonlinear bitvector (lexicographic) ranking functions

research

Status: Open.

#8 In blexim/synth;

· blexim opened on May 26, 2014

·  

Termination paper

Find termination benchmarks

Status: Open.

#7 In blexim/synth;

· blexim opened on May 26, 2014

·  

Termination paper

Make performance testing suite

infrastructure

Status: Open.

#6 In blexim/synth;

· blexim opened on May 26, 2014