Commit - rpms/alt-ergo - 0ed1c81296590044910c04b631e4655f90b9c6f4

    Add a desktop file for the gui.
    Update to version 0.94.  This means:
    - The theory of records replaces the theory of pairs
    - Bug fixes (intervals, term data-structure, stack-overflows, matching,
      existentials, distincts, CC, GUI)
    - Improvements (SMT-Lib2 front-end, intervals, case-splits, triggers, lets)
    - Multiset ordering for AC(X)
    - Manual lemma instantiation in the GUI

.gitignore

file modified

+1 -1

alt-ergo.desktop

file added

alt-ergo.spec

file modified

+49 -28

sources

file modified

+1 -1

rpms / alt-ergo

Source Code

0ed1c81 Add a desktop file for the gui.

Authored and Committed by jjames 12 years ago

`0ed1c81` Add a desktop file for the gui.