Timeline
Dec 18, 2013:
- 4:37 PM Changeset [1228] by
- C++ version of the Magnolia Standard Library. Taken from sophus …
- 1:30 PM Ticket #221 (Problems with generated guards) created by
- package BasicCxxExamples.IntegerCxxDemo has an implementation with …
Dec 11, 2013:
- 8:00 PM Changeset [1227] by
- Make unknown top expr a warning
- 7:52 PM Changeset [1226] by
- Implement some/most of the new syntax
- 4:51 PM Changeset [1225] by
- Release 0.4.29
Dec 10, 2013:
- 6:00 PM Changeset [1224] by
- revert 1222
- 2:29 PM Changeset [1223] by
- Fix and reactivate guard stuff (now called 'plainification')
- 11:23 AM Changeset [1222] by
Dec 9, 2013:
- 6:09 PM Changeset [1221] by
- Release 0.4.28
- 5:32 PM Changeset [1220] by
- * update solver integration * show guards in hover help * show axioms …
- 1:18 PM Changeset [1219] by
- New plugin 0.4.27
- 1:10 PM Changeset [1218] by
- Fix building of satisfactions
Note:
See TracTimeline
for information about the timeline view.
