Commits · 7c24494aff2428f2d9ee205f61fe566799092a11 · paradise / mirror / DIVINE · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Apr 18, 2017
- lart: Simplify call postorder computation. · 7c24494a
  Henrich Lauko authored Apr 18, 2017
  
  7c24494a
- lart: Fix computation of postorder roots. · dfd47d1d
  Henrich Lauko authored Apr 18, 2017
  
  dfd47d1d
- lart: Fix abstraction of arguments in recursive calls. · fb3cfe5c
  Henrich Lauko authored Apr 18, 2017
  
  fb3cfe5c
- test: Add 'sym-recursion-d' test. · 916119db
  Henrich Lauko authored Apr 18, 2017
  
  916119db
Apr 12, 2017
- lart: Fix annotating of abstract allocas. · 3d561deb
  Henrich Lauko authored Apr 12, 2017
  
  3d561deb
Apr 11, 2017
- test: Remove 'todo' mark from the sym-recursion tests. · aa8e8ba8
  Henrich Lauko authored Apr 11, 2017
  
  aa8e8ba8
- lart: Generalize postorder implementation. · 608977cb
  Henrich Lauko authored Apr 11, 2017
  
  608977cb
- lart: Skip composed types when creating abstract alternatives. · ddd40549
  Henrich Lauko authored Apr 11, 2017
  
  ddd40549
Apr 09, 2017
- lart: Optimize recursion handling in the abstraction. · c3fdd69b
  Henrich Lauko authored Apr 09, 2017
  
  c3fdd69b
- lart: Move cloning of functions to abstraction builder. · f005785d
  Henrich Lauko authored Apr 09, 2017
  
  f005785d
- lart: Allow BCP to assume about arguments. · dda7030d
  Henrich Lauko authored Apr 09, 2017
  
  dda7030d
Apr 03, 2017
- lart: Avoid propagating through calls not returning abstract value. · 8c41dda4
  Henrich Lauko authored Apr 03, 2017
  
  8c41dda4
- lart: Avoid abstraction of a bitcast to same value. · bcfab976
  Henrich Lauko authored Apr 03, 2017
  
  bcfab976
- lart: Fix memory leaking of LowerSwitchPass. · 4392ef8f
  Henrich Lauko authored Apr 03, 2017
  
  4392ef8f
Apr 01, 2017
- test: Mark '2.sym-cast-f' and '2.sym-cast-d' tests as todo. · 200328d6
  Henrich Lauko authored Apr 01, 2017
  
  200328d6
Mar 29, 2017
- lart: Refactore abstraction walker. · 1c263941
  Henrich Lauko authored Mar 29, 2017
  
  1c263941
- test: Mark '2.sym-cast-f' test as todo. · 34a2bc5a
  Henrich Lauko authored Mar 29, 2017
  
  34a2bc5a
- lart: Fix computation of function node successors. · bf475414
  Henrich Lauko authored Mar 29, 2017
  
  bf475414
- lart: Fix lifting of a function argument. · 57823c28
  Henrich Lauko authored Mar 29, 2017
  
  57823c28
- lart: Let abstraction preserve original functions and remove duplicates. · f179c977
  Henrich Lauko authored Mar 29, 2017
  
  f179c977
- lart: Add unittests for abstraction of calls. · 0a956a29
  Henrich Lauko authored Mar 29, 2017
  
  0a956a29
Mar 20, 2017

lart: Rework walking of llvm in abstraction pass. · ceb34012

Henrich Lauko authored Mar 20, 2017


Order of all llvm instrunctions that are to be abstracted is now
precomputed before the abstraction.

ceb34012

Feb 26, 2017
- test: Add tests on abstraction of recursion and global variables. · e9c8815d
  Henrich Lauko authored Feb 26, 2017
  
  e9c8815d
Feb 10, 2017
- lart: Make lifting and lowering of types idempotent. · e020a23e
  Henrich Lauko authored Feb 10, 2017
  
  e020a23e
- lart: Implement lifting and lowering of void type. · f9d42ef0
  Henrich Lauko authored Feb 10, 2017
  
  f9d42ef0
Feb 08, 2017
- test: Enable 2.sym-cast-d test. · 5a862ffe
  Henrich Lauko authored Feb 08, 2017
  
  5a862ffe
- lart: Enable annotation of abstract pointers. · 81eb5c9e
  Henrich Lauko authored Feb 08, 2017
  
  81eb5c9e
Apr 25, 2017
- UI: When walking the stack in 'sim', compare DNs using their address(). · 9c276b04
  Petr Rockai authored Apr 25, 2017
  
  9c276b04
Apr 21, 2017
- doc: Rework installation manual a bit. · 3c1da8c3
  Vladimír Štill authored Apr 21, 2017
  
  3c1da8c3
- VM: Report invalid debug node type in source/bitcode as exception, not assert. · 9baf1928
  Vladimír Štill authored Apr 21, 2017
  
  9baf1928
Apr 19, 2017
- UI: Add dot command to sim as generalization of draw. · 30c742b1
  Vladimír Štill authored Apr 19, 2017
  
  30c742b1
Apr 18, 2017
- UI: Implement walking up and down the stack in sim. · 31e76dbf
  Vladimír Štill authored Apr 18, 2017
  
  31e76dbf
Apr 17, 2017
- test: Also check that source works in DiOS. · 59419087
  Vladimír Štill authored Apr 17, 2017
  
  59419087
- tools: Fix runtime path rewriting in runtime-cc. · 5c76dc0f
  Vladimír Štill authored Apr 17, 2017
  
  5c76dc0f
- cmake: Fix order of source and binary dir in runtime-cc invocation. · 8b28154b
  Vladimír Štill authored Apr 17, 2017
  
  8b28154b
- bricks: Make exception handling in brick-fs more consistent. · bacae9d8
  Vladimír Štill authored Apr 17, 2017
  
  bacae9d8
Apr 15, 2017
- CC: Add support for reading archive libraries from real filesystem. · 91e4cc09
  Vladimír Štill authored Apr 15, 2017
  
  91e4cc09
Apr 16, 2017
- releng: Update for 4.0.6 · 72d8288a
  Release Bot authored Apr 15, 2017
  
  4.0.6
  
  72d8288a
Apr 15, 2017
- UI: A few more tweaks and cleanups in the help output. · 965b8b4e
  Petr Rockai authored Apr 15, 2017
  
  965b8b4e
- releng: Make building of VM images more robust. · 928f9a94
  Vladimír Štill authored Apr 15, 2017
  
  928f9a94