# |
Date |
Size |
|
Editor |
Comment |
Action |
82 |
2023-10-12 12:16:39 |
0 |
to previous |
GabiRoeger |
Info moved to repository |
view |
81 |
2023-09-15 10:35:29 |
11953 |
to previous |
RemoChristen |
|
view |
80 |
2023-09-15 10:06:56 |
11951 |
to previous |
RemoChristen |
Adapt instructions to CMake rework. |
view |
79 |
2023-08-17 08:34:02 |
11929 |
to previous |
SilvanSievers |
update windows build instructions |
view |
78 |
2023-07-28 09:59:59 |
12086 |
to previous |
MalteHelmert |
fix broken link |
view |
77 |
2023-07-28 09:47:17 |
12081 |
to previous |
MalteHelmert |
search engine => search algorithm |
view |
76 |
2023-03-16 17:52:24 |
12075 |
to previous |
MalteHelmert |
Mention alternative way of specifying compiler. |
view |
75 |
2023-01-31 15:15:34 |
11816 |
to previous |
FlorianPommerening |
Do not mention specific version in clang example. Update version we care about in mac HomeBrew example. |
view |
74 |
2023-01-31 14:57:27 |
11828 |
to previous |
GabiRoeger |
|
view |
73 |
2023-01-11 16:56:06 |
11835 |
to previous |
FlorianPommerening |
We have a release now |
view |
72 |
2020-07-08 20:10:38 |
12306 |
to previous |
JendrikSeipp |
|
view |
71 |
2020-07-08 18:25:35 |
12305 |
to previous |
FlorianPommerening |
link to legacy versions |
view |
70 |
2020-07-08 14:50:04 |
12738 |
to previous |
FlorianPommerening |
update clone instruction |
view |
69 |
2020-07-08 14:31:48 |
12725 |
to previous |
FlorianPommerening |
Dependency is Git not Mercurial |
view |
68 |
2020-07-08 14:27:14 |
12754 |
to previous |
FlorianPommerening |
update section on legacy version and remove section on contributing (outdated and covered by the page on our git workflow) |
view |
67 |
2020-01-29 13:18:33 |
13365 |
to previous |
FlorianPommerening |
Move downward-benchmarks to github |
view |
66 |
2019-12-03 16:08:35 |
13371 |
to previous |
JendrikSeipp |
Raise minimum Python version to 3.6 |
view |
65 |
2019-06-04 16:41:05 |
13381 |
to previous |
GuillemFrances |
Trimming down and updating the content a bit |
view |
64 |
2019-03-18 10:58:07 |
16755 |
to previous |
MalteHelmert |
Add custom build example with "-m32" and consolidate examples with CXXFLAGS etc. |
view |
63 |
2019-03-18 10:47:26 |
16466 |
to previous |
MalteHelmert |
modernize "apt-get" => "apt" |
view |
62 |
2019-03-18 10:30:02 |
16478 |
to previous |
MalteHelmert |
|
view |
61 |
2019-03-18 10:20:24 |
16475 |
to previous |
JendrikSeipp |
Document CXXFLAGS="-Werror" |
view |
60 |
2019-03-09 10:57:52 |
16253 |
to previous |
JendrikSeipp |
Newer GCC versions trigger warnings when compiling VAL -> ignore the warnings. |
view |
59 |
2019-01-21 11:14:10 |
16200 |
to previous |
MalteHelmert |
some polishing |
view |
58 |
2019-01-21 11:07:00 |
16151 |
to previous |
MalteHelmert |
Change Mac OS X => macOS. (The OS was renamed in 2016.) |
view |
57 |
2019-01-18 15:22:37 |
16172 |
to previous |
JendrikSeipp |
Simplify Windows build instructions. |
view |
56 |
2019-01-18 15:19:04 |
16308 |
to previous |
JendrikSeipp |
|
view |
55 |
2018-11-08 08:05:55 |
16727 |
to previous |
FlorianPommerening |
Raise minimum compiler requirements |
view |
54 |
2018-09-19 11:55:54 |
16307 |
to previous |
SilvanSievers |
Windows detail |
view |
53 |
2018-09-19 10:43:58 |
16206 |
to previous |
SilvanSievers |
fix link |
view |
52 |
2018-09-19 10:43:09 |
16205 |
to previous |
SilvanSievers |
remove another reference to VS 2013 |
view |
51 |
2018-09-19 08:25:38 |
16140 |
to previous |
SilvanSievers |
Updated instructions for Windows |
view |
50 |
2018-09-13 13:21:50 |
16229 |
to previous |
JendrikSeipp |
|
view |
49 |
2017-05-01 07:12:06 |
16229 |
to previous |
JendrikSeipp |
|
view |
48 |
2016-12-21 15:55:21 |
16225 |
to previous |
MalteHelmert |
The preprocessor is gone. |
view |
47 |
2016-09-05 09:27:01 |
16098 |
to previous |
FlorianPommerening |
Add link to LP build instructions |
view |
46 |
2016-05-12 12:03:54 |
15726 |
to previous |
MalteHelmert |
|
view |
45 |
2016-05-12 12:03:20 |
15723 |
to previous |
JendrikSeipp |
|
view |
44 |
2016-05-10 14:59:17 |
15662 |
to previous |
JendrikSeipp |
are there any 32bit computers anymore? |
view |
43 |
2016-05-10 14:56:39 |
15814 |
to previous |
JendrikSeipp |
|
view |
42 |
2016-05-02 08:16:22 |
15615 |
to previous |
JendrikSeipp |
|
view |
41 |
2016-01-31 14:11:48 |
15777 |
to previous |
FlorianPommerening |
Fixed dead link |
view |
40 |
2015-11-20 18:20:56 |
15779 |
to previous |
FlorianPommerening |
|
view |
39 |
2015-11-02 20:45:12 |
15878 |
to previous |
JendrikSeipp |
add pointer to downward.suites |
view |
38 |
2015-10-31 15:39:00 |
16639 |
to previous |
MalteHelmert |
|
view |
37 |
2015-10-28 11:14:58 |
16639 |
to previous |
MalteHelmert |
elaborate section on manual builds |
view |
36 |
2015-10-28 11:07:33 |
16376 |
to previous |
MalteHelmert |
fix anchor |
view |
35 |
2015-10-01 17:02:27 |
16375 |
to previous |
FlorianPommerening |
Updated build instructions for cmake |
view |
34 |
2015-06-23 14:47:15 |
11708 |
to previous |
SilvanSievers |
undo previous change and comment out link instead |
view |
33 |
2015-06-23 14:46:31 |
11523 |
to previous |
SilvanSievers |
remove windows link |
view |
32 |
2015-06-23 13:54:12 |
11702 |
to previous |
SilvanSievers |
Link to new Page |
view |
31 |
2015-03-13 13:13:29 |
11523 |
to previous |
MalteHelmert |
Updated caveats. |
view |
30 |
2014-12-23 11:29:07 |
12042 |
to previous |
JendrikSeipp |
Update dependecies |
view |
29 |
2014-10-21 13:26:45 |
11840 |
to previous |
MalteHelmert |
|
view |
28 |
2014-10-21 12:05:14 |
11710 |
to previous |
MalteHelmert |
server issues fixed (or so we hope) |
view |
27 |
2014-10-21 12:04:37 |
11930 |
to previous |
JendrikSeipp |
Remove note on gawk and gtime dependencies |
view |
26 |
2014-10-17 15:43:49 |
12060 |
to previous |
MalteHelmert |
|
view |
25 |
2014-09-29 09:17:30 |
11840 |
to previous |
MalteHelmert |
|
view |
24 |
2014-07-23 12:49:58 |
11835 |
to previous |
MalteHelmert |
Updated Mac OS X build instructions. |
view |
23 |
2014-07-22 15:10:33 |
11012 |
to previous |
GabiRoeger |
Removed section on script directories, directing readers to lab instead. |
view |
22 |
2014-02-12 21:06:01 |
12664 |
to previous |
MalteHelmert |
|
view |
21 |
2014-02-11 21:49:13 |
12664 |
to previous |
JendrikSeipp |
|
view |
20 |
2014-01-27 18:22:42 |
12706 |
to previous |
FlorianPommerening |
fixed link |
view |
19 |
2013-04-30 11:07:45 |
12669 |
to previous |
MalteHelmert |
Added notes on supported platforms (Linux, OS X, Windows). |
view |
18 |
2012-06-06 19:16:17 |
11471 |
to previous |
JendrikSeipp |
|
view |
17 |
2012-02-15 16:41:03 |
11447 |
to previous |
MalteHelmert |
|
view |
16 |
2012-01-23 09:54:19 |
11433 |
to previous |
MalteHelmert |
|
view |
15 |
2011-12-20 12:17:50 |
11163 |
to previous |
MalteHelmert |
|
view |
14 |
2011-11-16 13:39:38 |
11146 |
to previous |
MalteHelmert |
|
view |
13 |
2011-11-16 12:42:59 |
10961 |
to previous |
MalteHelmert |
|
view |
12 |
2011-08-03 09:52:23 |
10954 |
to previous |
MalteHelmert |
|
view |
11 |
2011-04-08 09:42:46 |
11401 |
to previous |
MoritzGronbach |
updated syntax |
view |
10 |
2010-11-02 15:03:30 |
11403 |
to previous |
MalteHelmert |
Source directory renamed from "downward" to "src". |
view |
9 |
2010-10-23 04:16:36 |
11455 |
to previous |
ChristianMuise |
Added dependencies for flex and bison (only issue I found when building FD on a fresh Ubuntu system). |
view |
8 |
2010-10-22 17:43:16 |
11390 |
to previous |
MalteHelmert |
|
view |
7 |
2010-10-22 17:00:23 |
12932 |
to previous |
MalteHelmert |
|
view |
6 |
2010-10-17 21:05:40 |
12924 |
to previous |
JendrikSeipp |
|
view |
5 |
2010-09-24 21:13:15 |
12761 |
to previous |
MalteHelmert |
|
view |
4 |
2010-09-24 20:30:05 |
11236 |
to previous |
MalteHelmert |
|
view |
3 |
2010-09-24 19:45:47 |
10817 |
to previous |
MalteHelmert |
|
view |
2 |
2010-09-24 18:28:00 |
2561 |
to previous |
MalteHelmert |
Renamed from 'NewToTheRepository'. |
view |
1 |
2010-09-24 18:27:29 |
2516 |
|
MalteHelmert |
|
view |