ivette/src/dome/renderer/frame/style.css · b7ce41a110ea5bec28f8559fc1adc3a2b8766c01 · pub / frama-c

3 years ago

Maxime Jacquemin authored 3 years ago and

The search field can have different modes, changing its behavior. The
main goal is to implement the "ACSL evaluation" of the old GUI using a
mode.

36e599ff

Maxime Jacquemin authored 3 years ago and

Valentin Perrelle committed 2 years ago

The search field can have different modes, changing its behavior. The
main goal is to implement the "ACSL evaluation" of the old GUI using a
mode.